Trace number 3732374

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)68 1800.49 1794.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark1.46878
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 807
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 807
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 807
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3732374-1338690279.opb
0.08/0.11	c reading problem ... 
0.53/0.39	c ... done. Wall clock time 0.288s.
0.53/0.39	c CPU time (experimental) 0.35s.
0.53/0.39	c #vars     807
0.53/0.39	c #constraints  1695
0.82/0.41	c SATISFIABLE
0.82/0.41	c OPTIMIZING...
0.82/0.41	c Got one! Elapsed wall clock time (in seconds):0.308
0.82/0.42	o 68
791.92/788.20	c cleaning 1966481 clauses out of 3933000 for limit 218.81811138248122
886.41/882.68	c cleaning 983508 clauses out of 1967023 for limit 724.42212814129
903.90/900.19	c cleaning 492001 clauses out of 984011 for limit 2378.5869533289915
914.51/910.79	c cleaning 246221 clauses out of 492510 for limit 7837.179969939464
918.10/914.39	c cleaning 123386 clauses out of 246791 for limit 25844.638718828974
919.80/916.06	c cleaning 61946 clauses out of 123903 for limit 84723.68267135561
920.20/916.40	c cleaning 31209 clauses out of 62457 for limit 277179.6958481521
920.30/916.52	c cleaning 15854 clauses out of 31748 for limit 899253.3184914825
920.40/916.61	c cleaning 8177 clauses out of 16394 for limit 2871900.4193724026
920.40/916.69	c cleaning 4324 clauses out of 8717 for limit 8907239.888405781
920.50/916.76	c cleaning 2434 clauses out of 4893 for limit 2.616922529126903E7
920.60/916.81	c cleaning 1453 clauses out of 2959 for limit 7.136364163516454E7
920.60/916.86	c cleaning 977 clauses out of 2006 for limit 1.7359888328625938E8
920.70/916.91	c cleaning 730 clauses out of 1529 for limit 3.7560058277136284E8
920.70/916.97	c cleaning 649 clauses out of 1299 for limit 7.290888872483866E8
920.80/917.03	c cleaning 575 clauses out of 1151 for limit 1.3583281622019796E9
920.80/917.08	c cleaning 537 clauses out of 1075 for limit 2.3960337968120923E9
920.90/917.14	c cleaning 498 clauses out of 1038 for limit 4.0922290815082855E9
920.90/917.18	c cleaning 496 clauses out of 1040 for limit 6.735655063242479E9
921.00/917.23	c cleaning 491 clauses out of 1044 for limit 1.1065436906383392E10
921.00/917.29	c cleaning 526 clauses out of 1053 for limit 1.8092416657178173E10
921.11/917.34	c cleaning 513 clauses out of 1027 for limit 3.059217784378105E10
921.11/917.39	c cleaning 464 clauses out of 1014 for limit 5.1097396297506874E10
921.21/917.43	c cleaning 500 clauses out of 1050 for limit 8.137730702144553E10
921.21/917.49	c cleaning 508 clauses out of 1051 for limit 1.3420858444240352E11
921.30/917.55	c cleaning 501 clauses out of 1042 for limit 2.2301633168692267E11
921.40/917.62	c cleaning 520 clauses out of 1041 for limit 3.6813706406880347E11
921.40/917.68	c cleaning 511 clauses out of 1022 for limit 6.190130101703793E11
921.50/917.73	c cleaning 479 clauses out of 1010 for limit 1.0319310356583821E12
921.50/917.79	c cleaning 484 clauses out of 1031 for limit 1.6671292437783433E12
921.60/917.83	c cleaning 493 clauses out of 1047 for limit 2.707304719316833E12
921.60/917.88	c cleaning 526 clauses out of 1054 for limit 4.435055900253752E12
921.70/917.95	c cleaning 513 clauses out of 1029 for limit 7.499196492098361E12
921.80/918.03	c cleaning 486 clauses out of 1019 for limit 1.252608476018073E13
921.80/918.09	c cleaning 487 clauses out of 1029 for limit 2.03747362379433E13
921.90/918.16	c cleaning 521 clauses out of 1043 for limit 3.3182832925228914E13
922.00/918.21	c cleaning 479 clauses out of 1021 for limit 5.584617102196864E13
922.00/918.27	c cleaning 498 clauses out of 1042 for limit 9.024170914486905E13
922.10/918.35	c cleaning 522 clauses out of 1044 for limit 1.4853555366776425E14
922.21/918.42	c cleaning 491 clauses out of 1022 for limit 2.5022800261554588E14
922.21/918.49	c cleaning 511 clauses out of 1031 for limit 4.090571863657567E14
922.31/918.56	c cleaning 511 clauses out of 1022 for limit 6.818937452462176E14
922.40/918.62	c cleaning 502 clauses out of 1009 for limit 1.1367456471378705E15
922.40/918.69	c cleaning 482 clauses out of 1008 for limit 1.8783837945401175E15
922.50/918.74	c cleaning 485 clauses out of 1026 for limit 3.0433604407291275E15
922.60/918.81	c cleaning 508 clauses out of 1041 for limit 4.946589933952335E15
922.60/918.88	c cleaning 504 clauses out of 1032 for limit 8.220501574303679E-5
922.70/918.94	c cleaning 510 clauses out of 1031 for limit 1.361064702296572E-4
922.80/919.00	c cleaning 500 clauses out of 1018 for limit 2.2664284343527663E-4
922.80/919.06	c cleaning 494 clauses out of 1018 for limit 3.737643685619252E-4
922.90/919.12	c cleaning 497 clauses out of 1024 for limit 6.12775799875375E-4
922.90/919.16	c cleaning 491 clauses out of 1027 for limit 0.001007597324388104
923.00/919.22	c cleaning 497 clauses out of 1036 for limit 0.0016472274874373479
923.00/919.29	c cleaning 497 clauses out of 1039 for limit 0.0027086548936830403
923.10/919.34	c cleaning 495 clauses out of 1043 for limit 0.004454257434670735
923.10/919.39	c cleaning 482 clauses out of 1047 for limit 0.007310285114023258
923.20/919.45	c cleaning 513 clauses out of 1066 for limit 0.01185261536999267
923.30/919.51	c cleaning 498 clauses out of 1052 for limit 0.01978686685439052
923.30/919.56	c cleaning 509 clauses out of 1054 for limit 0.032569271715061125
923.40/919.63	c cleaning 466 clauses out of 1047 for limit 0.05417848880352383
923.40/919.67	c cleaning 522 clauses out of 1081 for limit 0.08653738387894103
923.50/919.73	c cleaning 516 clauses out of 1059 for limit 0.14567646111963242
923.50/919.79	c cleaning 501 clauses out of 1041 for limit 0.24390543436322273
923.60/919.84	c cleaning 504 clauses out of 1041 for limit 0.4026353256758819
923.70/919.90	c cleaning 501 clauses out of 1041 for limit 0.6666621669906831
923.70/919.96	c cleaning 499 clauses out of 1040 for limit 1.1004722277385297
923.82/920.00	c cleaning 485 clauses out of 1036 for limit 1.8127420072344513
923.82/920.06	c cleaning 501 clauses out of 1051 for limit 2.9467882215875982
923.92/920.12	c cleaning 502 clauses out of 1050 for limit 4.864276227856005
923.92/920.18	c cleaning 509 clauses out of 1048 for limit 8.037151090185668
924.02/920.25	c cleaning 498 clauses out of 1039 for limit 13.369148730321085
924.12/920.31	c cleaning 495 clauses out of 1041 for limit 22.005156411364926
924.12/920.38	c cleaning 483 clauses out of 1047 for limit 36.1176018759909
924.22/920.44	c cleaning 512 clauses out of 1067 for limit 58.6219945898827
924.32/920.51	c cleaning 509 clauses out of 1051 for limit 97.75525982246396
924.32/920.58	c cleaning 472 clauses out of 1043 for limit 162.6106331244434
924.42/920.64	c cleaning 512 clauses out of 1070 for limit 261.13846485855635
924.42/920.68	c cleaning 496 clauses out of 1058 for limit 435.53678775304974
924.52/920.74	c cleaning 512 clauses out of 1062 for limit 715.5531232600026
924.62/920.80	c cleaning 489 clauses out of 1050 for limit 1193.529028957013
924.62/920.87	c cleaning 503 clauses out of 1061 for limit 1947.8826465762465
924.72/920.92	c cleaning 498 clauses out of 1058 for limit 3221.4277224829057
924.72/920.98	c cleaning 503 clauses out of 1061 for limit 5302.846725030688
924.82/921.04	c cleaning 500 clauses out of 1057 for limit 8769.419507567774
924.92/921.11	c cleaning 510 clauses out of 1058 for limit 14462.73952342572
924.92/921.17	c cleaning 512 clauses out of 1052 for limit 24083.212989069285
925.02/921.23	c cleaning 499 clauses out of 1036 for limit 40168.74385886243
925.02/921.29	c cleaning 485 clauses out of 1036 for limit 66177.38866937695
925.12/921.34	c cleaning 502 clauses out of 1051 for limit 107577.77371963521
925.22/921.41	c cleaning 497 clauses out of 1049 for limit 177748.3865769036
925.22/921.46	c cleaning 503 clauses out of 1052 for limit 292294.9436899099
925.32/921.53	c cleaning 502 clauses out of 1053 for limit 483506.8212689693
925.32/921.59	c cleaning 505 clauses out of 1047 for limit 798733.9324494324
925.42/921.64	c cleaning 506 clauses out of 1042 for limit 1323539.7364367596
925.42/921.69	c cleaning 495 clauses out of 1038 for limit 2195494.030474099
925.52/921.75	c cleaning 520 clauses out of 1041 for limit 3603012.3276966517
925.62/921.81	c cleaning 511 clauses out of 1023 for limit 6058508.958722132
925.62/921.86	c cleaning 505 clauses out of 1011 for limit 1.0099772883182136E7
925.71/921.91	c cleaning 501 clauses out of 1007 for limit 1.6738775767323432E7
925.71/921.97	c cleaning 484 clauses out of 1005 for limit 2.763175538845249E7
925.81/922.03	c cleaning 493 clauses out of 1021 for limit 4.485436185248692E7
925.91/922.11	c cleaning 496 clauses out of 1027 for limit 7.346514769259721E7
925.91/922.18	c cleaning 501 clauses out of 1032 for limit 1.2068755835604292E8
926.01/922.25	c cleaning 500 clauses out of 1030 for limit 1.9921697850851357E8
926.11/922.32	c cleaning 515 clauses out of 1030 for limit 3.28535448331122E8
926.11/922.39	c cleaning 507 clauses out of 1015 for limit 5.498057853532094E8
926.21/922.44	c cleaning 503 clauses out of 1009 for limit 9.130079942437555E8
926.31/922.52	c cleaning 485 clauses out of 1006 for limit 1.5101623990407956E9
926.31/922.57	c cleaning 510 clauses out of 1021 for limit 2.453871283899319E9
926.41/922.62	c cleaning 505 clauses out of 1011 for limit 4.086789339862542E9
926.41/922.67	c cleaning 502 clauses out of 1005 for limit 6.773119233301016E9
926.51/922.74	c cleaning 488 clauses out of 1003 for limit 1.1192052448585003E10
926.51/922.79	c cleaning 470 clauses out of 1015 for limit 1.8238978629465588E10
926.62/922.85	c cleaning 510 clauses out of 1045 for limit 2.9215017667751694E10
926.62/922.90	c cleaning 520 clauses out of 1040 for limit 4.865388791533982E10
926.72/922.94	c cleaning 506 clauses out of 1025 for limit 8.181924545945221E10
926.72/922.99	c cleaning 505 clauses out of 1010 for limit 1.3570731024562012E11
926.81/923.05	c cleaning 486 clauses out of 1004 for limit 2.2491181950383423E11
926.91/923.12	c cleaning 485 clauses out of 1018 for limit 3.6580875956860876E11
926.91/923.19	c cleaning 487 clauses out of 1033 for limit 5.945076457084741E11
927.01/923.25	c cleaning 524 clauses out of 1049 for limit 9.683708324614392E11
927.11/923.30	c cleaning 486 clauses out of 1022 for limit 1.6342505658304958E12
927.11/923.35	c cleaning 519 clauses out of 1039 for limit 2.658969860244318E12
927.21/923.41	c cleaning 508 clauses out of 1017 for limit 4.466428241260913E12
927.21/923.46	c cleaning 481 clauses out of 1010 for limit 7.424211556550749E12
927.31/923.52	c cleaning 514 clauses out of 1028 for limit 1.2017108246376285E13
927.31/923.58	c cleaning 503 clauses out of 1014 for limit 2.009143792264827E13
927.41/923.63	c cleaning 473 clauses out of 1011 for limit 3.3231787817795137E13
927.41/923.69	c cleaning 496 clauses out of 1040 for limit 5.338219570360456E13
927.51/923.76	c cleaning 498 clauses out of 1042 for limit 8.76897671602722E13
927.61/923.83	c cleaning 500 clauses out of 1044 for limit 1.4433512219098866E14
927.61/923.90	c cleaning 488 clauses out of 1044 for limit 2.3802792530013856E14
927.72/923.95	c cleaning 504 clauses out of 1056 for limit 3.880792110394259E14
927.82/924.02	c cleaning 498 clauses out of 1055 for limit 6.425268187215735E14
927.82/924.08	c cleaning 527 clauses out of 1054 for limit 1.0574393316737076E15
927.91/924.15	c cleaning 514 clauses out of 1028 for limit 1.7897540549236575E15
928.01/924.22	c cleaning 483 clauses out of 1013 for limit 2.9922536097981485E15
928.01/924.29	c cleaning 515 clauses out of 1030 for limit 4.853181207351026E15
928.11/924.35	c cleaning 503 clauses out of 1015 for limit 8.121824048891534E-5
928.21/924.41	c cleaning 503 clauses out of 1012 for limit 1.3433679832437623E-4
928.21/924.48	c cleaning 500 clauses out of 1009 for limit 2.2219804153871615E-4
928.31/924.53	c cleaning 495 clauses out of 1010 for limit 3.664379273135633E-4
928.31/924.58	c cleaning 493 clauses out of 1015 for limit 6.013282906031992E-4
928.41/924.63	c cleaning 484 clauses out of 1021 for limit 9.848573080692995E-4
928.41/924.69	c cleaning 503 clauses out of 1038 for limit 0.0015991606668034793
928.51/924.74	c cleaning 503 clauses out of 1035 for limit 0.0026448740160004624
928.51/924.79	c cleaning 501 clauses out of 1033 for limit 0.004374570470766959
928.61/924.84	c cleaning 488 clauses out of 1030 for limit 0.0072208010167564675
928.71/924.90	c cleaning 497 clauses out of 1042 for limit 0.011770929811758766
928.71/924.96	c cleaning 499 clauses out of 1045 for limit 0.01935611018196874
928.82/925.01	c cleaning 487 clauses out of 1046 for limit 0.0318902980725118
928.82/925.07	c cleaning 508 clauses out of 1059 for limit 0.05194577020290029
928.92/925.12	c cleaning 490 clauses out of 1051 for limit 0.08631759293612999
928.92/925.17	c cleaning 500 clauses out of 1061 for limit 0.14100760629257036
929.01/925.21	c cleaning 506 clauses out of 1062 for limit 0.23255399583120057
929.01/925.26	c cleaning 501 clauses out of 1057 for limit 0.3857125184981247
929.11/925.33	c cleaning 502 clauses out of 1054 for limit 0.636626883740439
929.11/925.39	c cleaning 496 clauses out of 1053 for limit 1.0519318693670647
929.21/925.46	c cleaning 494 clauses out of 1056 for limit 1.7281181874969964
929.31/925.52	c cleaning 492 clauses out of 1062 for limit 2.8337969556315454
929.31/925.56	c cleaning 499 clauses out of 1070 for limit 4.638369640815203
929.41/925.63	c cleaning 504 clauses out of 1071 for limit 7.642149851570485
929.41/925.69	c cleaning 510 clauses out of 1067 for limit 12.650173667266191
929.51/925.75	c cleaning 504 clauses out of 1057 for limit 21.05919698138707
929.61/925.80	c cleaning 502 clauses out of 1053 for limit 34.861358742962615
929.61/925.86	c cleaning 498 clauses out of 1051 for limit 57.60044679429551
929.71/925.93	c cleaning 495 clauses out of 1053 for limit 94.8104229599285
929.71/925.98	c cleaning 502 clauses out of 1058 for limit 155.61615286760411
929.81/926.04	c cleaning 486 clauses out of 1056 for limit 257.1178992132583
929.81/926.10	c cleaning 499 clauses out of 1070 for limit 418.4738634722908
929.92/926.17	c cleaning 513 clauses out of 1072 for limit 689.5213685033309
930.02/926.23	c cleaning 503 clauses out of 1058 for limit 1151.0076829562333
930.02/926.28	c cleaning 506 clauses out of 1059 for limit 1903.9777296485033
930.11/926.34	c cleaning 498 clauses out of 1052 for limit 3157.6461426082296
930.21/926.41	c cleaning 492 clauses out of 1051 for limit 5196.714228127503
930.21/926.47	c cleaning 502 clauses out of 1060 for limit 8505.817979723945
930.31/926.52	c cleaning 497 clauses out of 1057 for limit 14052.977081445544
930.31/926.59	c cleaning 501 clauses out of 1061 for limit 23110.978852799428
930.41/926.64	c cleaning 504 clauses out of 1065 for limit 38160.368703068314
930.51/926.70	c cleaning 501 clauses out of 1056 for limit 63151.19599453792
930.51/926.75	c cleaning 495 clauses out of 1055 for limit 104243.48583303887
930.61/926.83	c cleaning 518 clauses out of 1060 for limit 171100.5504997845
930.71/926.90	c cleaning 504 clauses out of 1043 for limit 287053.8410203675
930.71/926.97	c cleaning 479 clauses out of 1037 for limit 475177.401159497
930.81/927.03	c cleaning 502 clauses out of 1058 for limit 768076.9880944567
930.81/927.09	c cleaning 515 clauses out of 1059 for limit 1269269.614912649
930.91/927.16	c cleaning 501 clauses out of 1041 for limit 2123007.19426854
931.02/927.21	c cleaning 521 clauses out of 1042 for limit 3504768.904451796
931.02/927.27	c cleaning 509 clauses out of 1019 for limit 5898475.575064063
931.12/927.32	c cleaning 502 clauses out of 1010 for limit 9814054.889171366
931.12/927.36	c cleaning 488 clauses out of 1009 for limit 1.6216946686178869E7
931.21/927.43	c cleaning 492 clauses out of 1020 for limit 2.642904428528531E7
931.21/927.48	c cleaning 496 clauses out of 1028 for limit 4.324584653068077E7
931.31/927.56	c cleaning 500 clauses out of 1035 for limit 7.104877428146037E7
931.41/927.64	c cleaning 516 clauses out of 1032 for limit 1.1715736467844667E8
931.51/927.70	c cleaning 508 clauses out of 1016 for limit 1.962508156919047E8
931.51/927.76	c cleaning 503 clauses out of 1008 for limit 3.262124510168829E8
931.61/927.81	c cleaning 479 clauses out of 1005 for limit 5.395738461900207E8
931.61/927.89	c cleaning 501 clauses out of 1026 for limit 8.716165716777881E8
931.71/927.97	c cleaning 494 clauses out of 1025 for limit 1.4388146829676962E9
931.81/928.02	c cleaning 514 clauses out of 1033 for limit 2.359137833987403E9
931.81/928.08	c cleaning 509 clauses out of 1019 for limit 3.943985776608713E9
931.91/928.14	c cleaning 504 clauses out of 1008 for limit 6.561994399824242E9
932.01/928.20	c cleaning 475 clauses out of 1004 for limit 1.086472058378623E10
932.01/928.25	c cleaning 494 clauses out of 1032 for limit 1.7483645800241276E10
932.12/928.31	c cleaning 486 clauses out of 1035 for limit 2.866313563343125E10
932.12/928.37	c cleaning 496 clauses out of 1049 for limit 4.663848639208181E10
932.22/928.43	c cleaning 501 clauses out of 1053 for limit 7.66209357119324E10
932.22/928.49	c cleaning 526 clauses out of 1052 for limit 1.2647828548626906E11
932.31/928.54	c cleaning 512 clauses out of 1027 for limit 2.1387088411790308E11
932.31/928.59	c cleaning 486 clauses out of 1014 for limit 3.5686629218415515E11
932.41/928.65	c cleaning 498 clauses out of 1028 for limit 5.80505389223294E11
932.51/928.72	c cleaning 513 clauses out of 1030 for limit 9.554721502169288E11
932.51/928.78	c cleaning 508 clauses out of 1017 for limit 1.5958431055847822E12
932.61/928.84	c cleaning 486 clauses out of 1009 for limit 2.652625042870751E12
932.71/928.91	c cleaning 510 clauses out of 1023 for limit 4.3146670181242285E12
932.71/928.96	c cleaning 492 clauses out of 1013 for limit 7.185704610507735E12
932.81/929.02	c cleaning 495 clauses out of 1021 for limit 1.175733656762991E13
932.81/929.08	c cleaning 498 clauses out of 1026 for limit 1.9294930513258977E13
932.91/929.13	c cleaning 514 clauses out of 1028 for limit 3.1758015183641773E13
933.01/929.20	c cleaning 483 clauses out of 1014 for limit 5.309631714443988E13
933.01/929.27	c cleaning 510 clauses out of 1031 for limit 8.611911841938038E13
933.11/929.31	c cleaning 469 clauses out of 1021 for limit 1.4341295537970716E14
933.11/929.37	c cleaning 525 clauses out of 1052 for limit 2.2953783173877438E14
933.22/929.42	c cleaning 490 clauses out of 1027 for limit 3.877532602921772E14
933.22/929.47	c cleaning 517 clauses out of 1037 for limit 6.332905862062639E14
933.32/929.52	c cleaning 509 clauses out of 1021 for limit 1.0618091058079754E15
933.32/929.58	c cleaning 505 clauses out of 1011 for limit 1.7666170075399418E15
933.41/929.63	c cleaning 495 clauses out of 1006 for limit 2.927867837773323E-5
933.41/929.69	c cleaning 503 clauses out of 1016 for limit 4.804898165190024E-5
933.51/929.74	c cleaning 489 clauses out of 1008 for limit 7.946953862727098E-5
933.51/929.79	c cleaning 503 clauses out of 1020 for limit 1.2964371002823936E-4
933.62/929.85	c cleaning 500 clauses out of 1019 for limit 2.1443829678436361E-4
933.62/929.89	c cleaning 490 clauses out of 1016 for limit 3.5361866223411676E-4
933.72/929.94	c cleaning 485 clauses out of 1026 for limit 5.774806159521127E-4
933.72/929.99	c cleaning 491 clauses out of 1042 for limit 9.386581420301102E-4
933.82/930.03	c cleaning 491 clauses out of 1050 for limit 0.0015346425900393044
933.82/930.08	c cleaning 508 clauses out of 1059 for limit 0.0025093224536136987
933.92/930.14	c cleaning 493 clauses out of 1053 for limit 0.004170124030238041
933.92/930.19	c cleaning 510 clauses out of 1058 for limit 0.006830909619100022
934.02/930.24	c cleaning 504 clauses out of 1053 for limit 0.01137533725757544
934.12/930.30	c cleaning 496 clauses out of 1045 for limit 0.018827567018757162
934.12/930.36	c cleaning 496 clauses out of 1048 for limit 0.030929335194224222
934.22/930.41	c cleaning 492 clauses out of 1052 for limit 0.050812669899546185
934.22/930.47	c cleaning 501 clauses out of 1060 for limit 0.08316446090125124
934.33/930.52	c cleaning 493 clauses out of 1059 for limit 0.13727882989879192
934.33/930.58	c cleaning 504 clauses out of 1066 for limit 0.22490453424133228
934.43/930.63	c cleaning 497 clauses out of 1063 for limit 0.3723167287592833
934.43/930.68	c cleaning 489 clauses out of 1065 for limit 0.6122341945048668
934.52/930.73	c cleaning 492 clauses out of 1076 for limit 0.9993343269622704
934.52/930.78	c cleaning 502 clauses out of 1085 for limit 1.6360016507176482
934.62/930.83	c cleaning 495 clauses out of 1083 for limit 2.7029680119337516
934.72/930.90	c cleaning 521 clauses out of 1088 for limit 4.4370707570557
934.72/930.95	c cleaning 509 clauses out of 1066 for limit 7.460869097734786
934.82/931.00	c cleaning 501 clauses out of 1059 for limit 12.410108412168883
934.82/931.05	c cleaning 493 clauses out of 1056 for limit 20.483043192372968
934.92/931.10	c cleaning 500 clauses out of 1063 for limit 33.55683724076561
934.92/931.16	c cleaning 496 clauses out of 1063 for limit 55.33971376339434
935.02/931.21	c cleaning 498 clauses out of 1067 for limit 90.9204634081952
935.02/931.27	c cleaning 522 clauses out of 1069 for limit 149.65948341440824
935.12/931.32	c cleaning 504 clauses out of 1047 for limit 251.99455241191117
935.12/931.38	c cleaning 502 clauses out of 1043 for limit 417.16648741960415
935.22/931.43	c cleaning 490 clauses out of 1041 for limit 689.2850808228742
935.22/931.49	c cleaning 514 clauses out of 1054 for limit 1126.0778591853416
935.32/931.54	c cleaning 499 clauses out of 1040 for limit 1882.0518246370846
935.32/931.60	c cleaning 482 clauses out of 1038 for limit 3100.4156153934046
935.43/931.65	c cleaning 504 clauses out of 1056 for limit 5025.8467048967195
935.53/931.70	c cleaning 495 clauses out of 1052 for limit 8319.807986308699
935.53/931.76	c cleaning 502 clauses out of 1057 for limit 13655.573457749322
935.62/931.80	c cleaning 492 clauses out of 1055 for limit 22562.559133595583
935.62/931.86	c cleaning 493 clauses out of 1063 for limit 36928.65069347566
935.72/931.92	c cleaning 519 clauses out of 1070 for limit 60501.8721391682
935.72/931.98	c cleaning 508 clauses out of 1051 for limit 101579.42780195903
935.82/932.04	c cleaning 497 clauses out of 1043 for limit 168802.95957676915
935.82/932.08	c cleaning 505 clauses out of 1046 for limit 277580.25323243765
935.92/932.14	c cleaning 499 clauses out of 1044 for limit 460022.60803999193
935.92/932.18	c cleaning 500 clauses out of 1044 for limit 757880.1825600608
936.02/932.24	c cleaning 496 clauses out of 1042 for limit 1249741.50748634
936.02/932.29	c cleaning 499 clauses out of 1046 for limit 2053109.5147898658
936.12/932.34	c cleaning 502 clauses out of 1051 for limit 3383257.2276389142
936.12/932.38	c cleaning 522 clauses out of 1045 for limit 5589066.587299576
936.22/932.44	c cleaning 512 clauses out of 1024 for limit 9415556.989271192
936.22/932.49	c cleaning 506 clauses out of 1012 for limit 1.5711633774279581E7
936.32/932.54	c cleaning 502 clauses out of 1005 for limit 2.6064966643842805E7
936.32/932.59	c cleaning 501 clauses out of 1003 for limit 4.307032900206766E7
936.42/932.64	c cleaning 501 clauses out of 1002 for limit 7.109962133038902E7
936.42/932.70	c cleaning 482 clauses out of 1001 for limit 1.1736992276244435E8
936.52/932.75	c cleaning 509 clauses out of 1019 for limit 1.901396102126891E8
936.52/932.80	c cleaning 478 clauses out of 1010 for limit 3.163598030517768E8
936.62/932.85	c cleaning 484 clauses out of 1032 for limit 5.105977068416288E8
936.72/932.90	c cleaning 510 clauses out of 1049 for limit 8.292270637891344E8
936.72/932.95	c cleaning 519 clauses out of 1038 for limit 1.380616240537751E9
936.82/933.01	c cleaning 507 clauses out of 1019 for limit 2.3192738660235806E9
936.82/933.06	c cleaning 506 clauses out of 1012 for limit 3.8512489491575074E9
936.92/933.11	c cleaning 477 clauses out of 1009 for limit 6.389257058519104E9
936.92/933.15	c cleaning 476 clauses out of 1029 for limit 1.0300979065985218E10
937.02/933.20	c cleaning 501 clauses out of 1053 for limit 1.6600508645032137E10
937.02/933.25	c cleaning 506 clauses out of 1052 for limit 2.740248278247887E10
937.12/933.30	c cleaning 523 clauses out of 1047 for limit 4.545162035398064E10
937.12/933.35	c cleaning 511 clauses out of 1023 for limit 7.663758197373894E10
937.22/933.40	c cleaning 506 clauses out of 1012 for limit 1.277593818611957E11
937.22/933.45	c cleaning 503 clauses out of 1006 for limit 2.1194892622051898E11
937.32/933.52	c cleaning 501 clauses out of 1004 for limit 3.505789914993271E11
937.32/933.58	c cleaning 486 clauses out of 1003 for limit 5.787280789902378E11
937.42/933.64	c cleaning 493 clauses out of 1016 for limit 9.412460235810535E11
937.52/933.71	c cleaning 488 clauses out of 1023 for limit 1.5416192182735479E12
937.52/933.75	c cleaning 491 clauses out of 1035 for limit 2.5128599618732925E12
937.52/933.80	c cleaning 521 clauses out of 1044 for limit 4.1083177394384614E12
937.62/933.85	c cleaning 511 clauses out of 1023 for limit 6.914245198036553E12
937.62/933.90	c cleaning 481 clauses out of 1015 for limit 1.1526933575985588E13
937.72/933.95	c cleaning 515 clauses out of 1031 for limit 1.8658362189654445E13
937.82/934.00	c cleaning 508 clauses out of 1016 for limit 3.122441881570133E13
937.82/934.06	c cleaning 484 clauses out of 1009 for limit 5.190238370698803E13
937.92/934.12	c cleaning 512 clauses out of 1024 for limit 8.425581597324458E13
937.92/934.16	c cleaning 480 clauses out of 1013 for limit 1.4059853611878017E14
938.02/934.22	c cleaning 495 clauses out of 1032 for limit 2.2736935104664422E14
938.02/934.27	c cleaning 492 clauses out of 1037 for limit 3.731545574360958E14
938.12/934.33	c cleaning 495 clauses out of 1049 for limit 6.107816100255001E14
938.12/934.39	c cleaning 524 clauses out of 1050 for limit 1.0022821166712509E15
938.22/934.45	c cleaning 513 clauses out of 1026 for limit 1.6915615574642305E15
938.32/934.52	c cleaning 485 clauses out of 1014 for limit 2.825449902712693E15
938.32/934.57	c cleaning 503 clauses out of 1029 for limit 4.591621476870585E15
938.42/934.62	c cleaning 498 clauses out of 1026 for limit 7.594339001524888E15
938.42/934.68	c cleaning 494 clauses out of 1027 for limit 1.2499374259060554E-4
938.52/934.73	c cleaning 501 clauses out of 1033 for limit 2.0493412466003594E-4
938.52/934.78	c cleaning 506 clauses out of 1032 for limit 3.382912714509964E-4
938.62/934.83	c cleaning 477 clauses out of 1026 for limit 5.611500627843545E-4
938.62/934.88	c cleaning 504 clauses out of 1051 for limit 9.052083911530715E-4
938.72/934.93	c cleaning 511 clauses out of 1045 for limit 0.0014983796295896937
938.72/934.98	c cleaning 507 clauses out of 1036 for limit 0.0024974873995913167
938.82/935.04	c cleaning 500 clauses out of 1027 for limit 0.004146479103457215
938.82/935.09	c cleaning 490 clauses out of 1027 for limit 0.006838098747651319
938.92/935.15	c cleaning 503 clauses out of 1037 for limit 0.01116819381782457
939.02/935.20	c cleaning 503 clauses out of 1034 for limit 0.018471282349367287
939.02/935.25	c cleaning 494 clauses out of 1031 for limit 0.030550252734960533
939.12/935.31	c cleaning 494 clauses out of 1037 for limit 0.05008995059241223
939.12/935.37	c cleaning 497 clauses out of 1043 for limit 0.08212983272281485
939.22/935.42	c cleaning 516 clauses out of 1050 for limit 0.13507963602355452
939.22/935.49	c cleaning 506 clauses out of 1030 for limit 0.22618291455861933
939.32/935.54	c cleaning 497 clauses out of 1025 for limit 0.3752006258410767
939.32/935.59	c cleaning 494 clauses out of 1028 for limit 0.6169503172081765
939.42/935.64	c cleaning 496 clauses out of 1033 for limit 1.011496443820792
939.52/935.70	c cleaning 508 clauses out of 1037 for limit 1.6616586488246519
939.52/935.75	c cleaning 497 clauses out of 1029 for limit 2.761601951992405
939.62/935.81	c cleaning 505 clauses out of 1032 for limit 4.541011957418395
939.62/935.87	c cleaning 496 clauses out of 1027 for limit 7.525195483939689
939.72/935.92	c cleaning 501 clauses out of 1031 for limit 12.361906416256577
939.72/935.98	c cleaning 493 clauses out of 1031 for limit 20.406844270931693
939.82/936.02	c cleaning 498 clauses out of 1044 for limit 33.43466488000821
939.82/936.08	c cleaning 503 clauses out of 1044 for limit 55.02801386442147
939.92/936.12	c cleaning 503 clauses out of 1036 for limit 90.9929844235188
939.92/936.17	c cleaning 495 clauses out of 1033 for limit 150.49540163313492
940.02/936.23	c cleaning 498 clauses out of 1039 for limit 247.0008245632845
940.02/936.28	c cleaning 491 clauses out of 1040 for limit 406.53878657200033
940.12/936.33	c cleaning 505 clauses out of 1049 for limit 664.6847651447272
940.12/936.38	c cleaning 500 clauses out of 1044 for limit 1101.4038778219062
940.22/936.43	c cleaning 489 clauses out of 1044 for limit 1816.36233770302
940.22/936.48	c cleaning 496 clauses out of 1055 for limit 2964.192569432828
940.32/936.53	c cleaning 502 clauses out of 1060 for limit 4870.161996439143
940.32/936.58	c cleaning 507 clauses out of 1057 for limit 8046.289619885286
940.42/936.63	c cleaning 498 clauses out of 1055 for limit 13361.23597343426
940.42/936.68	c cleaning 506 clauses out of 1052 for limit 21987.035727488626
940.52/936.73	c cleaning 494 clauses out of 1046 for limit 36467.55313441935
940.52/936.78	c cleaning 491 clauses out of 1052 for limit 59796.87057892053
940.62/936.83	c cleaning 509 clauses out of 1066 for limit 97805.98633752551
940.62/936.87	c cleaning 500 clauses out of 1052 for limit 162626.0936376164
940.72/936.95	c cleaning 507 clauses out of 1052 for limit 268192.18413801066
940.82/937.01	c cleaning 508 clauses out of 1046 for limit 445267.0632575191
940.82/937.06	c cleaning 507 clauses out of 1038 for limit 739964.3371493921
940.92/937.12	c cleaning 494 clauses out of 1030 for limit 1228548.464045883
940.92/937.17	c cleaning 500 clauses out of 1036 for limit 2014306.9426345031
941.02/937.22	c cleaning 494 clauses out of 1036 for limit 3321861.6175660854
941.02/937.29	c cleaning 521 clauses out of 1042 for limit 5446649.893659773
941.12/937.36	c cleaning 506 clauses out of 1022 for limit 9167199.484844914
941.22/937.41	c cleaning 487 clauses out of 1015 for limit 1.5206977760117857E7
941.22/937.47	c cleaning 492 clauses out of 1030 for limit 2.4762622608532254E7
941.32/937.54	c cleaning 504 clauses out of 1036 for limit 4.051921021374678E7
941.42/937.60	c cleaning 516 clauses out of 1033 for limit 6.708274173576158E7
941.42/937.66	c cleaning 507 clauses out of 1016 for limit 1.1236700181349438E8
941.52/937.73	c cleaning 504 clauses out of 1009 for limit 1.865938054210927E8
941.62/937.83	c cleaning 481 clauses out of 1005 for limit 3.0894289605670696E8
941.72/937.92	c cleaning 503 clauses out of 1024 for limit 5.0003477154777443E8
941.72/937.99	c cleaning 466 clauses out of 1021 for limit 8.270472216444068E8
941.82/938.04	c cleaning 523 clauses out of 1055 for limit 1.3199560668968563E9
941.92/938.11	c cleaning 499 clauses out of 1032 for limit 2.225297734781584E9
941.92/938.16	c cleaning 517 clauses out of 1035 for limit 3.6665058638391385E9
942.02/938.21	c cleaning 499 clauses out of 1017 for limit 6.147423825895233E9
942.02/938.26	c cleaning 509 clauses out of 1019 for limit 1.0128154640655241E10
942.12/938.31	c cleaning 480 clauses out of 1008 for limit 1.6851200231680548E10
942.12/938.36	c cleaning 491 clauses out of 1029 for limit 2.724999300879027E10
942.22/938.40	c cleaning 508 clauses out of 1037 for limit 4.454760793847308E10
942.22/938.45	c cleaning 515 clauses out of 1031 for limit 7.404050810717145E10
942.22/938.50	c cleaning 507 clauses out of 1014 for limit 1.2390161413520189E11
942.32/938.54	c cleaning 497 clauses out of 1007 for limit 2.0575070674074307E11
942.32/938.59	c cleaning 486 clauses out of 1010 for limit 3.3830258745976416E11
942.42/938.65	c cleaning 497 clauses out of 1024 for limit 5.502785998749349E11
942.52/938.70	c cleaning 513 clauses out of 1027 for limit 9.048321507063119E11
942.52/938.75	c cleaning 507 clauses out of 1015 for limit 1.5113422515024084E12
942.62/938.80	c cleaning 503 clauses out of 1007 for limit 2.509693990252223E12
942.62/938.86	c cleaning 470 clauses out of 1006 for limit 4.151233583026658E12
942.72/938.91	c cleaning 502 clauses out of 1038 for limit 6.648179071840574E12
942.72/938.97	c cleaning 500 clauses out of 1032 for limit 1.0983435525479209E13
942.82/939.02	c cleaning 497 clauses out of 1032 for limit 1.8113154519232293E13
942.82/939.08	c cleaning 518 clauses out of 1037 for limit 2.9786532105690434E13
942.92/939.13	c cleaning 485 clauses out of 1017 for limit 4.998786754569494E13
942.92/939.18	c cleaning 516 clauses out of 1032 for limit 8.123847326978069E13
943.02/939.23	c cleaning 508 clauses out of 1016 for limit 1.3608292307118156E14
943.02/939.28	c cleaning 501 clauses out of 1009 for limit 2.262020673914777E14
943.12/939.34	c cleaning 493 clauses out of 1009 for limit 3.734108807805167E14
943.12/939.40	c cleaning 492 clauses out of 1014 for limit 6.11543061895204E14
943.22/939.45	c cleaning 511 clauses out of 1022 for limit 1.00062186723093E15
943.32/939.50	c cleaning 505 clauses out of 1011 for limit 1.6681135755680592E15
943.32/939.55	c cleaning 504 clauses out of 1009 for limit 2.7646810036844855E15
943.42/939.61	c cleaning 501 clauses out of 1003 for limit 4.577434358643805E15
943.42/939.67	c cleaning 496 clauses out of 1001 for limit 7.556320252190812E-5
943.52/939.72	c cleaning 490 clauses out of 1009 for limit 1.2412155313183196E-4
943.52/939.77	c cleaning 489 clauses out of 1015 for limit 2.0267032558010715E-4
943.62/939.82	c cleaning 503 clauses out of 1026 for limit 3.306471119173263E-4
943.62/939.89	c cleaning 505 clauses out of 1023 for limit 5.468803861876291E-4
943.72/939.94	c cleaning 488 clauses out of 1021 for limit 9.063619428376299E-4
943.72/939.99	c cleaning 498 clauses out of 1030 for limit 0.00147721099251442
943.82/940.04	c cleaning 499 clauses out of 1032 for limit 0.002431397384437555
943.92/940.10	c cleaning 509 clauses out of 1034 for limit 0.004005949798126075
943.92/940.15	c cleaning 497 clauses out of 1024 for limit 0.006664191369881825
944.02/940.20	c cleaning 506 clauses out of 1033 for limit 0.010959987343120207
944.02/940.27	c cleaning 488 clauses out of 1021 for limit 0.018177470496080265
944.12/940.33	c cleaning 497 clauses out of 1033 for limit 0.029628847317377548
944.12/940.39	c cleaning 494 clauses out of 1036 for limit 0.048720440818941765
944.22/940.45	c cleaning 500 clauses out of 1042 for limit 0.07988387667996122
944.22/940.50	c cleaning 496 clauses out of 1042 for limit 0.1317391993190859
944.32/940.56	c cleaning 500 clauses out of 1046 for limit 0.21642475821806734
944.42/940.61	c cleaning 498 clauses out of 1047 for limit 0.3569294170252377
944.42/940.67	c cleaning 508 clauses out of 1048 for limit 0.5874746306808
944.52/940.71	c cleaning 499 clauses out of 1040 for limit 0.9762767512268579
944.52/940.76	c cleaning 506 clauses out of 1041 for limit 1.608464366387972
944.62/940.82	c cleaning 485 clauses out of 1035 for limit 2.6679501509866737
944.62/940.87	c cleaning 503 clauses out of 1051 for limit 4.337162991580078
944.72/940.93	c cleaning 509 clauses out of 1050 for limit 7.173714206898132
944.72/940.99	c cleaning 494 clauses out of 1038 for limit 11.93131654909478
944.82/941.05	c cleaning 501 clauses out of 1046 for limit 19.56495924785904
944.92/941.12	c cleaning 502 clauses out of 1045 for limit 32.29611097625448
944.92/941.18	c cleaning 505 clauses out of 1041 for limit 53.35838215300019
945.02/941.22	c cleaning 493 clauses out of 1036 for limit 88.41979715285734
945.02/941.28	c cleaning 497 clauses out of 1044 for limit 144.84355309455395
945.12/941.34	c cleaning 504 clauses out of 1047 for limit 238.18196494304294
945.22/941.43	c cleaning 509 clauses out of 1042 for limit 394.2840525678276
945.22/941.49	c cleaning 495 clauses out of 1033 for limit 655.8922452292361
945.32/941.54	c cleaning 503 clauses out of 1039 for limit 1076.4842223632156
945.32/941.59	c cleaning 504 clauses out of 1035 for limit 1780.3452980373509
945.42/941.64	c cleaning 492 clauses out of 1031 for limit 2947.4185563864253
945.52/941.72	c cleaning 509 clauses out of 1040 for limit 4823.447303574659
945.52/941.79	c cleaning 501 clauses out of 1030 for limit 8023.7063858990505
945.62/941.85	c cleaning 492 clauses out of 1029 for limit 13245.024469641983
945.72/941.92	c cleaning 495 clauses out of 1037 for limit 21674.309486999126
945.72/941.98	c cleaning 498 clauses out of 1042 for limit 35572.3203540483
945.82/942.04	c cleaning 503 clauses out of 1044 for limit 58551.13283097724
945.92/942.11	c cleaning 482 clauses out of 1041 for limit 96836.9178740821
945.92/942.17	c cleaning 519 clauses out of 1059 for limit 156982.63503783883
946.02/942.22	c cleaning 504 clauses out of 1040 for limit 263615.00243170175
946.02/942.28	c cleaning 498 clauses out of 1038 for limit 436446.50375342084
946.12/942.33	c cleaning 510 clauses out of 1038 for limit 718319.8738738375
946.12/942.38	c cleaning 494 clauses out of 1028 for limit 1196128.9675899534
946.22/942.43	c cleaning 483 clauses out of 1034 for limit 1961130.3964656335
946.22/942.48	c cleaning 505 clauses out of 1051 for limit 3181853.507128473
946.32/942.54	c cleaning 523 clauses out of 1046 for limit 5272384.799995932
946.32/942.59	c cleaning 497 clauses out of 1023 for limit 8890353.64992652
946.42/942.64	c cleaning 493 clauses out of 1026 for limit 1.4618512959491512E7
946.42/942.69	c cleaning 516 clauses out of 1033 for limit 2.3944519332889087E7
946.52/942.74	c cleaning 507 clauses out of 1017 for limit 4.010895795073368E7
946.52/942.80	c cleaning 505 clauses out of 1010 for limit 6.66034682930281E7
946.62/942.85	c cleaning 492 clauses out of 1006 for limit 1.1038514614063555E8
946.72/942.90	c cleaning 506 clauses out of 1013 for limit 1.806011650272064E8
946.72/942.96	c cleaning 501 clauses out of 1008 for limit 2.996124525132801E8
946.82/943.01	c cleaning 500 clauses out of 1006 for limit 4.945882404895664E8
946.82/943.06	c cleaning 503 clauses out of 1006 for limit 8.156421733983723E8
946.92/943.12	c cleaning 472 clauses out of 1003 for limit 1.3491262980491352E9
946.92/943.17	c cleaning 517 clauses out of 1034 for limit 2.1646736195394907E9
947.02/943.23	c cleaning 484 clauses out of 1016 for limit 3.6294484347384324E9
947.02/943.28	c cleaning 493 clauses out of 1030 for limit 5.892288154231903E9
947.12/943.34	c cleaning 519 clauses out of 1039 for limit 9.652294518273563E9
947.22/943.40	c cleaning 509 clauses out of 1018 for limit 1.6213814424526043E10
947.22/943.49	c cleaning 503 clauses out of 1009 for limit 2.697725125262178E10
947.32/943.55	c cleaning 503 clauses out of 1006 for limit 4.4621767528914734E10
947.42/943.61	c cleaning 491 clauses out of 1003 for limit 7.3807365536126E10
947.42/943.67	c cleaning 469 clauses out of 1012 for limit 1.2063574525732156E11
947.52/943.72	c cleaning 494 clauses out of 1043 for limit 1.9303146316211334E11
947.52/943.77	c cleaning 486 clauses out of 1049 for limit 3.165139164930911E11
947.62/943.83	c cleaning 497 clauses out of 1064 for limit 5.151302679739082E11
947.72/943.93	c cleaning 534 clauses out of 1068 for limit 8.471841909038759E11
947.82/944.00	c cleaning 480 clauses out of 1032 for limit 1.442966543763739E12
947.82/944.09	c cleaning 498 clauses out of 1052 for limit 2.334404470560776E12
947.92/944.15	c cleaning 515 clauses out of 1057 for limit 3.843052178690478E12
948.02/944.21	c cleaning 507 clauses out of 1040 for limit 6.428428125920994E12
948.02/944.28	c cleaning 516 clauses out of 1033 for limit 1.0673176648352045E13
948.12/944.36	c cleaning 476 clauses out of 1016 for limit 1.7878113338378523E13
948.22/944.43	c cleaning 499 clauses out of 1040 for limit 2.880301441882573E13
948.22/944.49	c cleaning 478 clauses out of 1041 for limit 4.7454394749255734E13
948.32/944.54	c cleaning 531 clauses out of 1063 for limit 7.663899316390202E13
948.42/944.61	c cleaning 516 clauses out of 1033 for limit 1.3018865264468748E14
948.42/944.67	c cleaning 507 clauses out of 1017 for limit 2.180762587877932E14
948.52/944.74	c cleaning 455 clauses out of 1009 for limit 3.6212586860722806E14
948.52/944.80	c cleaning 490 clauses out of 1055 for limit 5.717269380093891E14
948.62/944.86	c cleaning 510 clauses out of 1064 for limit 9.339440555730411E14
948.72/944.92	c cleaning 529 clauses out of 1058 for limit 1.5551445280392545E15
948.72/944.98	c cleaning 492 clauses out of 1025 for limit 2.636637343353946E15
948.81/945.04	c cleaning 514 clauses out of 1033 for limit 4.314493605788559E15
948.81/945.09	c cleaning 482 clauses out of 1019 for limit 7.212932270997678E15
948.91/945.16	c cleaning 509 clauses out of 1038 for limit 1.1689046424383203E-4
949.01/945.22	c cleaning 503 clauses out of 1029 for limit 1.9445403046985222E-4
949.11/945.30	c cleaning 481 clauses out of 1026 for limit 3.2161837273384853E-4
949.11/945.37	c cleaning 517 clauses out of 1044 for limit 5.207257900755294E-4
949.21/945.43	c cleaning 485 clauses out of 1027 for limit 8.729613776172997E-4
949.21/945.48	c cleaning 500 clauses out of 1042 for limit 0.0014189060527090374
949.31/945.53	c cleaning 497 clauses out of 1042 for limit 0.0023399658987729617
949.41/945.60	c cleaning 486 clauses out of 1045 for limit 0.003847838572060218
949.41/945.66	c cleaning 487 clauses out of 1059 for limit 0.006261711600718068
949.51/945.72	c cleaning 501 clauses out of 1073 for limit 0.010201867956168217
949.51/945.77	c cleaning 509 clauses out of 1071 for limit 0.016838807202874007
949.61/945.82	c cleaning 491 clauses out of 1062 for limit 0.028004780018737
949.61/945.86	c cleaning 519 clauses out of 1071 for limit 0.045795530943482154
949.72/945.92	c cleaning 515 clauses out of 1052 for limit 0.07688696471980114
949.72/945.97	c cleaning 496 clauses out of 1038 for limit 0.12863569628113705
949.82/946.03	c cleaning 502 clauses out of 1041 for limit 0.21131459843779163
949.82/946.09	c cleaning 499 clauses out of 1039 for limit 0.34915685246057054
949.91/946.14	c cleaning 495 clauses out of 1041 for limit 0.5752753782403773
949.91/946.19	c cleaning 505 clauses out of 1045 for limit 0.9441295722875911
950.01/946.26	c cleaning 509 clauses out of 1041 for limit 1.5645432047427945
950.11/946.33	c cleaning 494 clauses out of 1031 for limit 2.6025614951523175
950.11/946.39	c cleaning 495 clauses out of 1037 for limit 4.267139058941814
950.21/946.46	c cleaning 503 clauses out of 1043 for limit 7.003604978527684
950.31/946.52	c cleaning 504 clauses out of 1039 for limit 11.582752564650882
950.31/946.58	c cleaning 488 clauses out of 1035 for limit 19.17533074706717
950.41/946.64	c cleaning 508 clauses out of 1047 for limit 31.26024797409663
950.41/946.68	c cleaning 505 clauses out of 1041 for limit 51.95331710112775
950.51/946.74	c cleaning 495 clauses out of 1035 for limit 86.08847932078373
950.61/946.80	c cleaning 496 clauses out of 1039 for limit 141.2834247938292
950.61/946.85	c cleaning 501 clauses out of 1043 for limit 232.10170996849808
950.71/946.90	c cleaning 507 clauses out of 1048 for limit 383.2342571004008
950.71/946.97	c cleaning 491 clauses out of 1035 for limit 636.1127092979061
950.82/947.04	c cleaning 501 clauses out of 1044 for limit 1039.9915504812463
950.92/947.11	c cleaning 498 clauses out of 1043 for limit 1716.7295713081182
950.92/947.17	c cleaning 491 clauses out of 1045 for limit 2825.6983178487494
951.01/947.24	c cleaning 496 clauses out of 1055 for limit 4620.404760825909
951.01/947.29	c cleaning 490 clauses out of 1058 for limit 7590.461640624389
951.11/947.34	c cleaning 521 clauses out of 1068 for limit 12400.479875068879
951.21/947.42	c cleaning 514 clauses out of 1047 for limit 20860.22314756614
951.21/947.48	c cleaning 502 clauses out of 1036 for limit 34871.07199218068
951.31/947.53	c cleaning 502 clauses out of 1031 for limit 57612.76785821711
951.31/947.59	c cleaning 502 clauses out of 1029 for limit 95195.82847695175
951.41/947.65	c cleaning 500 clauses out of 1027 for limit 157296.38292036662
951.51/947.72	c cleaning 498 clauses out of 1027 for limit 259402.77816932247
951.51/947.78	c cleaning 488 clauses out of 1029 for limit 426958.416266371
951.61/947.84	c cleaning 488 clauses out of 1041 for limit 695994.9862914048
951.71/947.90	c cleaning 519 clauses out of 1054 for limit 1134766.8193966958
951.71/947.97	c cleaning 517 clauses out of 1034 for limit 1905671.6618800971
951.81/948.03	c cleaning 509 clauses out of 1018 for limit 3195297.0277347867
951.81/948.10	c cleaning 504 clauses out of 1008 for limit 5316427.019650344
951.92/948.17	c cleaning 490 clauses out of 1006 for limit 8802526.040091097
952.02/948.24	c cleaning 488 clauses out of 1016 for limit 1.4373663660533415E7
952.02/948.29	c cleaning 490 clauses out of 1027 for limit 2.342675403972018E7
952.11/948.34	c cleaning 505 clauses out of 1036 for limit 3.825993089637902E7
952.11/948.39	c cleaning 505 clauses out of 1031 for limit 6.3401737310803086E7
952.21/948.45	c cleaning 513 clauses out of 1026 for limit 1.0506748820808123E8
952.31/948.50	c cleaning 506 clauses out of 1013 for limit 1.7549395130234003E8
952.31/948.56	c cleaning 503 clauses out of 1007 for limit 2.911374100253218E8
952.41/948.62	c cleaning 500 clauses out of 1004 for limit 4.815591718677797E8
952.41/948.67	c cleaning 497 clauses out of 1009 for limit 7.941831186955948E8
952.51/948.74	c cleaning 489 clauses out of 1007 for limit 1.3057669594251187E9
952.61/948.80	c cleaning 474 clauses out of 1018 for limit 2.1301160012376776E9
952.61/948.84	c cleaning 508 clauses out of 1044 for limit 3.42536157119053E9
952.61/948.90	c cleaning 518 clauses out of 1036 for limit 5.692500158435222E9
952.71/948.95	c cleaning 509 clauses out of 1019 for limit 9.55386326931211E9
952.81/949.00	c cleaning 489 clauses out of 1009 for limit 1.58958375053687E10
952.81/949.05	c cleaning 493 clauses out of 1020 for limit 2.5931658643559586E10
952.91/949.12	c cleaning 490 clauses out of 1027 for limit 4.247329081015385E10
952.91/949.17	c cleaning 518 clauses out of 1037 for limit 6.936868877647481E10
953.02/949.24	c cleaning 507 clauses out of 1019 for limit 1.1641902152800755E11
953.02/949.30	c cleaning 484 clauses out of 1012 for limit 1.933185385693156E11
953.12/949.36	c cleaning 494 clauses out of 1029 for limit 3.13854991409012E11
953.21/949.42	c cleaning 505 clauses out of 1034 for limit 5.145709340606982E11
953.21/949.48	c cleaning 495 clauses out of 1030 for limit 8.527445725506548E11
953.31/949.54	c cleaning 515 clauses out of 1034 for limit 1.3994488356260295E12
953.41/949.61	c cleaning 509 clauses out of 1019 for limit 2.3418510388503345E12
953.41/949.65	c cleaning 477 clauses out of 1010 for limit 3.8964397402443354E12
953.51/949.72	c cleaning 499 clauses out of 1033 for limit 6.282679469434823E12
953.51/949.78	c cleaning 488 clauses out of 1036 for limit 1.035166907867845E13
953.61/949.84	c cleaning 508 clauses out of 1047 for limit 1.6875040702527984E13
953.71/949.90	c cleaning 519 clauses out of 1038 for limit 2.804242276609875E13
953.71/949.95	c cleaning 510 clauses out of 1020 for limit 4.7108916210229195E13
953.81/950.01	c cleaning 501 clauses out of 1011 for limit 7.845895653091644E13
953.81/950.07	c cleaning 481 clauses out of 1009 for limit 1.2951613998230336E14
953.91/950.13	c cleaning 496 clauses out of 1027 for limit 2.0963606077370338E14
953.91/950.19	c cleaning 508 clauses out of 1031 for limit 3.443766172304746E14
954.01/950.25	c cleaning 500 clauses out of 1024 for limit 5.723777763653841E14
954.12/950.31	c cleaning 498 clauses out of 1023 for limit 9.43905379628264E14
954.12/950.37	c cleaning 513 clauses out of 1027 for limit 1.553669220049353E15
954.22/950.43	c cleaning 489 clauses out of 1012 for limit 2.5949880157078615E15
954.22/950.48	c cleaning 500 clauses out of 1023 for limit 4.233466449519527E-5
954.31/950.55	c cleaning 502 clauses out of 1023 for limit 6.981552518267038E-5
954.41/950.61	c cleaning 473 clauses out of 1021 for limit 1.1536067484625821E-4
954.41/950.66	c cleaning 497 clauses out of 1048 for limit 1.8534383052660783E-4
954.51/950.72	c cleaning 513 clauses out of 1051 for limit 3.047842972590512E-4
954.51/950.78	c cleaning 502 clauses out of 1038 for limit 5.08925061221765E-4
954.61/950.84	c cleaning 504 clauses out of 1039 for limit 8.40998199164898E-4
954.61/950.89	c cleaning 509 clauses out of 1033 for limit 0.0013921856576826323
954.71/950.95	c cleaning 500 clauses out of 1023 for limit 0.0023160248686608467
954.81/951.01	c cleaning 478 clauses out of 1023 for limit 0.003819434840685538
954.81/951.06	c cleaning 504 clauses out of 1047 for limit 0.006166702083985809
954.91/951.13	c cleaning 500 clauses out of 1041 for limit 0.010207885349762403
954.91/951.19	c cleaning 502 clauses out of 1041 for limit 0.01683416852822896
955.01/951.25	c cleaning 508 clauses out of 1039 for limit 0.027815235391025563
955.11/951.30	c cleaning 491 clauses out of 1031 for limit 0.04622697860312392
955.11/951.36	c cleaning 492 clauses out of 1040 for limit 0.0755747504600911
955.22/951.42	c cleaning 499 clauses out of 1048 for limit 0.12368147773534838
1800.04/1794.91	c starts		: 28
1800.04/1794.91	c conflicts		: 8276000
1800.04/1794.91	c decisions		: 32257481
1800.04/1794.91	c propagations		: 979070249
1800.04/1794.91	c inspects		: 3201651285
1800.04/1794.91	c learnt literals	: 0
1800.04/1794.91	c learnt binary clauses	: 0
1800.04/1794.91	c learnt ternary clauses	: 0
1800.04/1794.91	c learnt clauses	: 8276000
1800.04/1794.91	c root simplifications	: 0
1800.04/1794.91	c removed literals (reason simplification)	: 0
1800.04/1794.91	c reason swapping (by a shorter reason)	: 0
1800.04/1794.91	c Calls to reduceDB	: 615
1800.04/1794.91	c speed (decisions/second)	: 17975.918969419046
1800.04/1794.91	c non guided choices	318
1800.04/1794.91	s SATISFIABLE
1800.04/1794.91	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 x54 x55 x56 x57 x58 x59 -x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 
1800.04/1794.91	c objective function=68
1800.04/1794.91	c Total wall clock time (ms): 1794.807

Verifier Data 

OK	68

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-3732374-1338690279/watcher-3732374-1338690279 -o /tmp/evaluation-result-3732374-1338690279/solver-3732374-1338690279 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732374-1338690279.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.00 2.01 2.00 4/194 32633
/proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/32633/stat : 32633 (java) D 32631 32633 29837 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 335153776 2560000 46 33554432000 1073741824 1073778376 140733771367920 140733771365048 242158234919 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/32633/statm: 625 46 37 9 0 29 0

[startup+0.0336089 s]
/proc/loadavg: 2.00 2.01 2.00 4/194 32633
/proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=2414972 CPUtime=0 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 3170 0 1 0 0 0 0 0 20 0 10 0 335153776 2472931328 4379 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 603743 4379 1537 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972

[startup+0.100192 s]
/proc/loadavg: 2.00 2.01 2.00 4/194 32633
/proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 4285 0 1 0 7 1 0 0 20 0 18 0 335153776 3028844544 6502 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 739464 6504 2057 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300181 s]
/proc/loadavg: 2.00 2.01 2.00 4/194 32633
/proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 8354 0 1 0 51 2 0 0 20 0 18 0 335153776 3028844544 11850 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 739464 11850 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856

[startup+0.700168 s]
/proc/loadavg: 2.00 2.01 2.00 4/194 32633
/proc/meminfo: memFree=26200168/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=1.36 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9220 0 1 0 134 2 0 0 20 0 19 0 335153776 3097006080 15815 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 15815 2278 9 0 746526 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 3024420

[startup+1.50053 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 32653
/proc/meminfo: memFree=26143580/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=2.19 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9225 0 1 0 217 2 0 0 20 0 19 0 335153776 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 16841 2279 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2533 0 1 0 144 1 0 0 20 0 19 0 335153777 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065952363144 140065813155380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2262 0 0 0 33 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 36 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 16841 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420

[startup+3.10054 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 32653
/proc/meminfo: memFree=26138988/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=3.84 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9263 0 1 0 382 2 0 0 20 0 19 0 335153776 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 17865 2279 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2536 0 1 0 303 1 0 0 20 0 19 0 335153777 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065952363024 140065813155359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2297 0 0 0 35 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 40 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 17865 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420

[startup+6.30058 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 32653
/proc/meminfo: memFree=26130440/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=7.04 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 9270 0 1 0 702 2 0 0 20 0 19 0 335153776 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 20873 2279 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2543 0 1 0 623 1 0 0 20 0 19 0 335153777 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065952362856 140065813180032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335153779 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2297 0 0 0 35 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3229 0 0 0 41 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 20873 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 99 0 0 0 16 20 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.44
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 856
/proc/meminfo: memFree=24473124/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=1787.43 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 178576 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 419948 2306 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1776.43 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 177607 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 856
/proc/meminfo: memFree=24473128/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 179837 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 419948 2306 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1789.04 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 178868 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1794.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 856
/proc/meminfo: memFree=24473128/32873648 swapFree=7112/7112
[pid=32633] ppid=32631 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/32633/stat : 32633 (java) S 32631 32633 29837 0 -1 4202496 12936 0 1 0 179837 167 0 0 20 0 19 0 335153776 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140737081938400 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32633/statm: 756105 419948 2306 9 0 746526 0
[pid=32633/tid=32635] ppid=32631 vsize=3024420 CPUtime=1789.04 cores=1,3,5,7
/proc/32633/task/32635/stat : 32635 (java) R 32631 32633 29837 0 -1 4202560 2731 0 1 0 178868 36 0 0 20 0 19 0 335153777 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065952361864 140065813372317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32636] ppid=32631 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/32633/task/32636/stat : 32636 (java) S 32631 32633 29837 0 -1 4202560 271 0 0 0 49 13 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065935788968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32637] ppid=32631 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/32633/task/32637/stat : 32637 (java) S 32631 32633 29837 0 -1 4202560 570 0 0 0 74 24 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065934736424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32638] ppid=32631 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/32633/task/32638/stat : 32638 (java) S 32631 32633 29837 0 -1 4202560 553 0 0 0 54 19 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065933683368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32639] ppid=32631 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/32633/task/32639/stat : 32639 (java) S 32631 32633 29837 0 -1 4202560 502 0 0 0 55 21 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065932630824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32640] ppid=32631 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/32633/task/32640/stat : 32640 (java) S 32631 32633 29837 0 -1 4202560 282 0 0 0 54 12 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065931577768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32641] ppid=32631 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/32633/task/32641/stat : 32641 (java) S 32631 32633 29837 0 -1 4202560 274 0 0 0 37 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065812507176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32633/tid=32642] ppid=32631 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/32633/task/32642/stat : 32642 (java) S 32631 32633 29837 0 -1 4202560 453 0 0 0 67 22 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065811454120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32643] ppid=32631 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/32633/task/32643/stat : 32643 (java) S 32631 32633 29837 0 -1 4202560 306 0 0 0 49 14 0 0 20 0 19 0 335153779 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065810401576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32644] ppid=32631 vsize=3024420 CPUtime=4.14 cores=1,3,5,7
/proc/32633/task/32644/stat : 32644 (java) S 32631 32633 29837 0 -1 4202560 49 0 0 0 412 2 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065798204264 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32645] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32645/stat : 32645 (java) S 32631 32633 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065797150584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32646] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32646/stat : 32646 (java) S 32631 32633 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335153780 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065191749000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32647] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32647/stat : 32647 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065190697744 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32633/tid=32648] ppid=32631 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/32633/task/32648/stat : 32648 (java) S 32631 32633 29837 0 -1 4202560 2419 0 0 0 42 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065189644600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32633/tid=32649] ppid=32631 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/32633/task/32649/stat : 32649 (java) S 32631 32633 29837 0 -1 4202560 3235 0 0 0 47 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065188592056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32650] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32650/stat : 32650 (java) S 32631 32633 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065187539192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32651] ppid=32631 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/32633/task/32651/stat : 32651 (java) S 32631 32633 29837 0 -1 4202560 103 0 0 0 16 21 0 0 20 0 19 0 335153783 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065186486856 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32633/tid=32653] ppid=32631 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/32633/task/32653/stat : 32653 (java) S 32631 32633 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335153819 3097006080 419948 33554432000 1073741824 1073778376 140737081947264 140065184356008 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1794.92
CPU time (s): 1800.49
CPU user time (s): 1798.38
CPU system time (s): 2.11068
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 2.11068
maximum resident set size= 1679904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12965
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38135
involuntary context switches= 19345

runsolver used 6.00209 second user time and 14.7728 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 04:24:39
IDJOB=3732374
IDBENCH=2052
IDSOLVER=2319
FILE ID=node126/3732374-1338690279
RUNJOBID= node126-1338678624-29857
PBS_JOBID= 14636687
Free space on /tmp= 70788 MiB

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

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

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=477491994

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26200432 kB
Buffers:          405264 kB
Cached:          3776836 kB
SwapCached:         9476 kB
Active:          3093616 kB
Inactive:        2716788 kB
Active(anon):    1618232 kB
Inactive(anon):    12168 kB
Active(file):    1475384 kB
Inactive(file):  2704620 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              3940 kB
Writeback:             0 kB
AnonPages:       1626440 kB
Mapped:            17836 kB
Shmem:                 0 kB
Slab:             722524 kB
SReclaimable:     166624 kB
SUnreclaim:       555900 kB
KernelStack:        1632 kB
PageTables:         7040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1585152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node126 at 2012-06-03 04:54:36