Trace number 3741543

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-23? (TO) 1800.39 1796.82

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
MD5SUMca3efe2da0610ce6a80a42a3887418e6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark180.313
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3463
Total number of constraints2279
Number of constraints which are clauses678
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1456
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 7
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 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	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.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3741543-1338744641.opb
0.09/0.10	c reading problem ... 
0.50/0.36	c ... done. Wall clock time 0.261s.
0.50/0.36	c CPU time (experimental) 0.33s.
0.50/0.36	c #vars     3463
0.50/0.36	c #constraints  2260
1266.92/1264.28	c cleaning 540681 clauses out of 1081491 for limit 7770.709802486802
1274.43/1271.71	c cleaning 270594 clauses out of 541310 for limit 25603.152145198634
1275.84/1273.14	c cleaning 135520 clauses out of 271216 for limit 84271.37259125177
1276.34/1273.66	c cleaning 67946 clauses out of 136197 for limit 277024.5330213852
1276.64/1273.91	c cleaning 34259 clauses out of 68751 for limit 905029.3019917508
1276.84/1274.13	c cleaning 17362 clauses out of 34992 for limit 2932437.6125836573
1276.94/1274.21	c cleaning 8882 clauses out of 18129 for limit 9324919.112066379
1276.94/1274.26	c cleaning 4690 clauses out of 9747 for limit 2.8602490048457682E7
1277.04/1274.31	c cleaning 2636 clauses out of 5558 for limit 8.28031132090453E7
1277.04/1274.35	c cleaning 1556 clauses out of 3421 for limit 2.2163253254478195E8
1277.04/1274.39	c cleaning 1015 clauses out of 2366 for limit 5.290080024111584E8
1277.14/1274.42	c cleaning 906 clauses out of 1851 for limit 1.115132440917049E9
1277.14/1274.45	c cleaning 701 clauses out of 1445 for limit 2.3557050283696074E9
1277.14/1274.48	c cleaning 467 clauses out of 1244 for limit 4.51257323011512E9
1277.24/1274.51	c cleaning 603 clauses out of 1276 for limit 7.2479525904044695E9
1277.24/1274.53	c cleaning 549 clauses out of 1173 for limit 1.3002411102709143E10
1277.24/1274.56	c cleaning 419 clauses out of 1124 for limit 2.2377495634867706E10
1277.24/1274.59	c cleaning 470 clauses out of 1205 for limit 3.442283478382453E10
1277.34/1274.62	c cleaning 477 clauses out of 1236 for limit 5.539946967468092E10
1277.34/1274.65	c cleaning 501 clauses out of 1258 for limit 8.967364276527884E10
1277.34/1274.68	c cleaning 592 clauses out of 1257 for limit 1.48001481481723E11
1277.44/1274.70	c cleaning 560 clauses out of 1165 for limit 2.6334877468231305E11
1277.44/1274.73	c cleaning 418 clauses out of 1105 for limit 4.578791167033532E11
1277.44/1274.77	c cleaning 568 clauses out of 1188 for limit 7.030513920864331E11
1277.44/1274.80	c cleaning 537 clauses out of 1119 for limit 1.2296876231229604E12
1277.54/1274.82	c cleaning 515 clauses out of 1084 for limit 2.097589579008756E12
1277.54/1274.85	c cleaning 461 clauses out of 1067 for limit 3.507294570998878E12
1277.54/1274.87	c cleaning 498 clauses out of 1107 for limit 5.580581310641247E12
1277.64/1274.90	c cleaning 483 clauses out of 1110 for limit 9.187439266140916E12
1277.64/1274.94	c cleaning 551 clauses out of 1125 for limit 1.4919415222745506E13
1277.64/1274.97	c cleaning 526 clauses out of 1074 for limit 2.577246325345817E13
1277.74/1275.01	c cleaning 437 clauses out of 1049 for limit 4.355872118064222E13
1277.74/1275.05	c cleaning 547 clauses out of 1111 for limit 6.775758608297443E13
1277.74/1275.08	c cleaning 523 clauses out of 1064 for limit 1.166772658376481E14
1277.84/1275.11	c cleaning 510 clauses out of 1042 for limit 1.96675630585133E14
1277.84/1275.15	c cleaning 457 clauses out of 1032 for limit 3.274872979714008E14
1277.84/1275.18	c cleaning 468 clauses out of 1075 for limit 5.18467550228892E14
1277.94/1275.21	c cleaning 541 clauses out of 1107 for limit 8.303062564598732E14
1277.94/1275.24	c cleaning 518 clauses out of 1065 for limit 1.4218628221243472E15
1277.94/1275.28	c cleaning 511 clauses out of 1047 for limit 2.3851544771242415E-5
1278.03/1275.31	c cleaning 514 clauses out of 1038 for limit 3.975490779910955E-5
1278.03/1275.34	c cleaning 497 clauses out of 1022 for limit 6.64544505747106E-5
1278.03/1275.38	c cleaning 504 clauses out of 1026 for limit 1.092742930606788E-4
1278.13/1275.41	c cleaning 503 clauses out of 1023 for limit 1.8091731402068972E-4
1278.13/1275.44	c cleaning 494 clauses out of 1018 for limit 2.992229157493093E-4
1278.13/1275.47	c cleaning 440 clauses out of 1025 for limit 4.905792353419339E-4
1278.23/1275.51	c cleaning 472 clauses out of 1087 for limit 7.644135800276914E-4
1278.23/1275.55	c cleaning 487 clauses out of 1113 for limit 0.0012287106908535027
1278.23/1275.58	c cleaning 493 clauses out of 1127 for limit 0.002003139911387583
1278.33/1275.62	c cleaning 495 clauses out of 1135 for limit 0.003283444935386607
1278.33/1275.66	c cleaning 494 clauses out of 1139 for limit 0.005390428006799925
1278.43/1275.70	c cleaning 507 clauses out of 1145 for limit 0.008842954175647675
1278.43/1275.74	c cleaning 504 clauses out of 1136 for limit 0.014669367652503883
1278.43/1275.77	c cleaning 498 clauses out of 1132 for limit 0.02427723290633304
1278.53/1275.80	c cleaning 498 clauses out of 1135 for limit 0.03997055226850422
1278.53/1275.84	c cleaning 509 clauses out of 1138 for limit 0.065808826591165
1278.53/1275.88	c cleaning 497 clauses out of 1128 for limit 0.10938019286179529
1278.64/1275.91	c cleaning 497 clauses out of 1131 for limit 0.17990410229235326
1278.64/1275.94	c cleaning 501 clauses out of 1133 for limit 0.29586605216230355
1278.64/1275.98	c cleaning 500 clauses out of 1132 for limit 0.48835372738835586
1278.74/1276.01	c cleaning 506 clauses out of 1132 for limit 0.8053606272562365
1278.74/1276.06	c cleaning 498 clauses out of 1126 for limit 1.3352245756243286
1278.83/1276.10	c cleaning 502 clauses out of 1131 for limit 2.1988192231320034
1278.83/1276.14	c cleaning 505 clauses out of 1127 for limit 3.631742743597249
1278.83/1276.17	c cleaning 501 clauses out of 1122 for limit 6.015919601657367
1278.93/1276.21	c cleaning 509 clauses out of 1120 for limit 9.928833617887326
1278.93/1276.24	c cleaning 498 clauses out of 1111 for limit 16.50661735236131
1278.93/1276.27	c cleaning 500 clauses out of 1113 for limit 27.172704470184417
1279.05/1276.30	c cleaning 504 clauses out of 1116 for limit 44.82530543664641
1279.05/1276.33	c cleaning 496 clauses out of 1111 for limit 74.18135610782306
1279.05/1276.36	c cleaning 500 clauses out of 1113 for limit 121.871042585369
1279.15/1276.40	c cleaning 491 clauses out of 1114 for limit 201.00224067024828
1279.15/1276.44	c cleaning 500 clauses out of 1122 for limit 328.7869775719398
1279.15/1276.47	c cleaning 505 clauses out of 1123 for limit 542.2731574084398
1279.25/1276.51	c cleaning 501 clauses out of 1117 for limit 898.1855538413441
1279.25/1276.55	c cleaning 505 clauses out of 1117 for limit 1482.710846244315
1279.25/1276.58	c cleaning 506 clauses out of 1111 for limit 2455.93548373187
1279.35/1276.62	c cleaning 495 clauses out of 1105 for limit 4072.1580143073934
1279.35/1276.65	c cleaning 490 clauses out of 1110 for limit 6685.28317901455
1279.35/1276.69	c cleaning 514 clauses out of 1120 for limit 10926.489461383824
1279.45/1276.72	c cleaning 501 clauses out of 1107 for limit 18249.1000326456
1279.45/1276.75	c cleaning 496 clauses out of 1105 for limit 30119.528559913037
1279.45/1276.79	c cleaning 490 clauses out of 1109 for limit 49491.975441553346
1279.55/1276.82	c cleaning 495 clauses out of 1121 for limit 80906.91334712053
1279.55/1276.86	c cleaning 512 clauses out of 1124 for limit 132804.1962248117
1279.55/1276.89	c cleaning 497 clauses out of 1115 for limit 221443.36071944964
1279.65/1276.93	c cleaning 492 clauses out of 1115 for limit 364095.252015193
1279.65/1276.96	c cleaning 504 clauses out of 1124 for limit 596230.2007313027
1279.65/1276.99	c cleaning 470 clauses out of 1119 for limit 986669.1977466578
1279.76/1277.02	c cleaning 523 clauses out of 1149 for limit 1584665.1801445417
1279.76/1277.05	c cleaning 493 clauses out of 1129 for limit 2667614.223464947
1279.76/1277.08	c cleaning 555 clauses out of 1133 for limit 4370583.3618295705
1279.86/1277.11	c cleaning 526 clauses out of 1078 for limit 7575415.254422267
1279.86/1277.14	c cleaning 473 clauses out of 1052 for limit 1.2801632398431955E7
1279.86/1277.17	c cleaning 530 clauses out of 1080 for limit 2.0584851356345978E7
1279.95/1277.20	c cleaning 463 clauses out of 1049 for limit 3.491542862296426E7
1279.95/1277.24	c cleaning 507 clauses out of 1089 for limit 5.56319660865783E7
1279.95/1277.27	c cleaning 472 clauses out of 1079 for limit 9.231732150040951E7
1280.05/1277.30	c cleaning 538 clauses out of 1107 for limit 1.4839282618149117E8
1280.05/1277.33	c cleaning 461 clauses out of 1069 for limit 2.5341872924744478E8
1280.05/1277.36	c cleaning 546 clauses out of 1108 for limit 4.032111569796356E8
1280.05/1277.39	c cleaning 521 clauses out of 1063 for limit 6.937922357344406E8
1280.15/1277.43	c cleaning 442 clauses out of 1041 for limit 1.1671679287283876E9
1280.15/1277.47	c cleaning 473 clauses out of 1100 for limit 1.8233993208451643E9
1280.15/1277.49	c cleaning 553 clauses out of 1127 for limit 2.93498877646656E9
1280.25/1277.52	c cleaning 492 clauses out of 1076 for limit 5.079757732589037E9
1280.25/1277.55	c cleaning 524 clauses out of 1081 for limit 8.313462251751258E9
1280.25/1277.58	c cleaning 525 clauses out of 1060 for limit 1.402365374608036E10
1280.35/1277.61	c cleaning 512 clauses out of 1032 for limit 2.368316277126636E10
1280.35/1277.64	c cleaning 446 clauses out of 1026 for limit 3.9521643287512405E10
1280.35/1277.67	c cleaning 468 clauses out of 1074 for limit 6.189091306234782E10
1280.45/1277.70	c cleaning 547 clauses out of 1106 for limit 9.911329883103726E10
1280.45/1277.73	c cleaning 504 clauses out of 1059 for limit 1.7070529210291275E11
1280.45/1277.76	c cleaning 456 clauses out of 1055 for limit 2.825832219462397E11
1280.45/1277.78	c cleaning 441 clauses out of 1100 for limit 4.4740058312199274E11
1280.55/1277.81	c cleaning 499 clauses out of 1158 for limit 7.001676592115658E11
1280.55/1277.85	c cleaning 570 clauses out of 1159 for limit 1.1536738726548208E12
1280.55/1277.87	c cleaning 523 clauses out of 1089 for limit 2.0248576652557725E12
1280.65/1277.90	c cleaning 524 clauses out of 1067 for limit 3.4115234398447847E12
1280.65/1277.93	c cleaning 508 clauses out of 1042 for limit 5.755279707594903E12
1280.65/1277.96	c cleaning 443 clauses out of 1035 for limit 9.564983016169998E12
1280.65/1277.98	c cleaning 528 clauses out of 1091 for limit 1.4949311026528252E13
1280.75/1278.02	c cleaning 469 clauses out of 1066 for limit 2.5307435921535605E13
1280.75/1278.04	c cleaning 476 clauses out of 1096 for limit 4.0552363550250164E13
1280.75/1278.07	c cleaning 488 clauses out of 1118 for limit 6.54292264390629E13
1280.86/1278.10	c cleaning 493 clauses out of 1131 for limit 1.0676806776024823E14
1280.86/1278.13	c cleaning 506 clauses out of 1139 for limit 1.7501314241269303E14
1280.86/1278.16	c cleaning 504 clauses out of 1131 for limit 2.9008057350437825E14
1280.86/1278.19	c cleaning 489 clauses out of 1127 for limit 4.800795661266444E14
1280.96/1278.22	c cleaning 502 clauses out of 1138 for limit 7.840626431017855E14
1280.96/1278.25	c cleaning 565 clauses out of 1138 for limit 1.2956141211268112E15
1280.96/1278.28	c cleaning 532 clauses out of 1072 for limit 2.265919749804573E15
1281.05/1278.30	c cleaning 499 clauses out of 1039 for limit 3.851635117779074E-5
1281.05/1278.33	c cleaning 501 clauses out of 1040 for limit 6.345754012541736E-5
1281.05/1278.36	c cleaning 495 clauses out of 1039 for limit 1.0475069468646726E-4
1281.05/1278.39	c cleaning 510 clauses out of 1045 for limit 1.7192798279598738E-4
1281.15/1278.43	c cleaning 479 clauses out of 1037 for limit 2.86291868045131E-4
1281.15/1278.46	c cleaning 490 clauses out of 1055 for limit 4.626873871010946E-4
1281.15/1278.48	c cleaning 463 clauses out of 1065 for limit 7.558687656908174E-4
1281.25/1278.51	c cleaning 478 clauses out of 1103 for limit 0.00120478872279311
1281.25/1278.54	c cleaning 490 clauses out of 1124 for limit 0.0019477870325672617
1281.25/1278.58	c cleaning 490 clauses out of 1134 for limit 0.0031838354488339595
1281.35/1278.61	c cleaning 506 clauses out of 1145 for limit 0.005205333751978377
1281.35/1278.63	c cleaning 486 clauses out of 1138 for limit 0.00862845781953927
1281.35/1278.66	c cleaning 506 clauses out of 1153 for limit 0.01405842064945982
1281.45/1278.70	c cleaning 505 clauses out of 1147 for limit 0.023305493857723743
1281.45/1278.73	c cleaning 496 clauses out of 1141 for limit 0.03859734741877886
1281.45/1278.75	c cleaning 497 clauses out of 1145 for limit 0.06342982362732397
1281.45/1278.78	c cleaning 495 clauses out of 1148 for limit 0.10433090855915578
1281.55/1278.81	c cleaning 508 clauses out of 1153 for limit 0.17130950382097043
1281.55/1278.84	c cleaning 501 clauses out of 1145 for limit 0.28448617416607064
1281.55/1278.87	c cleaning 491 clauses out of 1144 for limit 0.4695658602673544
1281.66/1278.90	c cleaning 483 clauses out of 1153 for limit 0.7683323483075541
1281.66/1278.93	c cleaning 508 clauses out of 1172 for limit 1.249038210239901
1281.66/1278.96	c cleaning 485 clauses out of 1162 for limit 2.0734046657449645
1281.66/1278.99	c cleaning 516 clauses out of 1178 for limit 3.3762555248740975
1281.76/1279.02	c cleaning 507 clauses out of 1162 for limit 5.644563424154223
1281.76/1279.04	c cleaning 489 clauses out of 1154 for limit 9.363798332343094
1281.76/1279.08	c cleaning 511 clauses out of 1167 for limit 15.300721668334248
1281.86/1279.11	c cleaning 493 clauses out of 1155 for limit 25.4696022113354
1281.86/1279.13	c cleaning 509 clauses out of 1164 for limit 41.76149877195556
1281.86/1279.16	c cleaning 489 clauses out of 1153 for limit 69.38835841153835
1281.86/1279.19	c cleaning 483 clauses out of 1163 for limit 113.33331208071466
1281.96/1279.22	c cleaning 477 clauses out of 1181 for limit 184.23740027278274
1281.96/1279.24	c cleaning 497 clauses out of 1203 for limit 297.9774795132729
1281.96/1279.27	c cleaning 520 clauses out of 1206 for limit 490.1823266144302
1281.96/1279.30	c cleaning 518 clauses out of 1186 for limit 822.008208936614
1282.06/1279.33	c cleaning 503 clauses out of 1168 for limit 1376.4926218777132
1282.06/1279.35	c cleaning 505 clauses out of 1165 for limit 2275.866023658485
1282.06/1279.38	c cleaning 504 clauses out of 1160 for limit 3769.3851515988713
1282.16/1279.41	c cleaning 497 clauses out of 1159 for limit 6240.285951866385
1282.16/1279.44	c cleaning 494 clauses out of 1159 for limit 10260.224009019461
1282.16/1279.47	c cleaning 500 clauses out of 1166 for limit 16835.736777737304
1282.26/1279.50	c cleaning 508 clauses out of 1168 for limit 27772.357383142367
1282.26/1279.53	c cleaning 495 clauses out of 1157 for limit 46097.203624745634
1282.26/1279.56	c cleaning 501 clauses out of 1162 for limit 75693.34515684228
1282.26/1279.59	c cleaning 493 clauses out of 1164 for limit 124988.56120440546
1282.36/1279.61	c cleaning 494 clauses out of 1169 for limit 204830.9604258721
1282.36/1279.65	c cleaning 491 clauses out of 1175 for limit 336068.75176495133
1282.36/1279.68	c cleaning 489 clauses out of 1183 for limit 549923.944775286
1282.46/1279.71	c cleaning 505 clauses out of 1194 for limit 898543.1443390135
1282.46/1279.73	c cleaning 510 clauses out of 1189 for limit 1488049.211824896
1282.46/1279.76	c cleaning 584 clauses out of 1180 for limit 2475184.2920514094
1282.46/1279.79	c cleaning 531 clauses out of 1095 for limit 4394371.846507545
1282.56/1279.81	c cleaning 440 clauses out of 1066 for limit 7458966.019570205
1282.56/1279.84	c cleaning 438 clauses out of 1125 for limit 1.1644066743560825E7
1282.56/1279.87	c cleaning 590 clauses out of 1189 for limit 1.8205401636939652E7
1282.66/1279.90	c cleaning 435 clauses out of 1098 for limit 3.247888819851516E7
1282.66/1279.93	c cleaning 493 clauses out of 1161 for limit 5.055430428301376E7
1282.66/1279.96	c cleaning 579 clauses out of 1170 for limit 8.289520438087437E7
1282.66/1279.99	c cleaning 527 clauses out of 1089 for limit 1.4657984297089404E8
1282.76/1280.02	c cleaning 512 clauses out of 1062 for limit 2.4787544228227767E8
1282.76/1280.05	c cleaning 440 clauses out of 1050 for limit 4.134515332441061E8
1282.76/1280.08	c cleaning 548 clauses out of 1110 for limit 6.449808408287457E8
1282.86/1280.10	c cleaning 436 clauses out of 1065 for limit 1.1119355296190724E9
1282.86/1280.13	c cleaning 472 clauses out of 1127 for limit 1.7293868909738944E9
1282.86/1280.16	c cleaning 486 clauses out of 1156 for limit 2.7832270931701226E9
1282.86/1280.19	c cleaning 579 clauses out of 1168 for limit 4.533676189797307E9
1282.96/1280.23	c cleaning 455 clauses out of 1089 for limit 8.019020951577905E9
1282.96/1280.26	c cleaning 565 clauses out of 1136 for limit 1.2702693145375896E10
1282.96/1280.28	c cleaning 530 clauses out of 1071 for limit 2.2219820931696224E10
1283.06/1280.30	c cleaning 447 clauses out of 1039 for limit 3.7696527097184E10
1283.06/1280.33	c cleaning 459 clauses out of 1093 for limit 5.915440982031631E10
1283.06/1280.36	c cleaning 457 clauses out of 1135 for limit 9.403766243306912E10
1283.06/1280.38	c cleaning 488 clauses out of 1176 for limit 1.4937476265868884E11
1283.16/1280.41	c cleaning 490 clauses out of 1191 for limit 2.4396763198257956E11
1283.16/1280.44	c cleaning 592 clauses out of 1199 for limit 3.9885188847140686E11
1283.16/1280.47	c cleaning 552 clauses out of 1106 for limit 7.123559957877001E11
1283.16/1280.49	c cleaning 483 clauses out of 1055 for limit 1.232792972852956E12
1283.26/1280.52	c cleaning 433 clauses out of 1072 for limit 2.0008001507517996E12
1283.26/1280.54	c cleaning 469 clauses out of 1138 for limit 3.105114433605666E12
1283.26/1280.57	c cleaning 480 clauses out of 1171 for limit 4.98640888260516E12
1283.36/1280.60	c cleaning 497 clauses out of 1190 for limit 8.083867684484985E12
1283.36/1280.62	c cleaning 596 clauses out of 1194 for limit 1.3300018033194271E13
1283.36/1280.65	c cleaning 532 clauses out of 1096 for limit 2.3846951362094785E13
1283.36/1280.67	c cleaning 427 clauses out of 1064 for limit 4.050957427692984E13
1283.46/1280.71	c cleaning 471 clauses out of 1143 for limit 6.256277939837513E13
1283.46/1280.73	c cleaning 495 clauses out of 1166 for limit 1.0053390005968306E14
1283.46/1280.75	c cleaning 490 clauses out of 1171 for limit 1.650859347109496E14
1283.46/1280.78	c cleaning 584 clauses out of 1183 for limit 2.700269643111748E14
1283.56/1280.81	c cleaning 493 clauses out of 1098 for limit 4.7930384593427175E14
1283.56/1280.83	c cleaning 524 clauses out of 1104 for limit 7.853541730467238E14
1283.56/1280.86	c cleaning 436 clauses out of 1082 for limit 1.3241350420191075E15
1283.56/1280.88	c cleaning 549 clauses out of 1144 for limit 2.0612011623434438E15
1283.66/1280.91	c cleaning 431 clauses out of 1096 for limit 3.5516179951816935E15
1283.66/1280.93	c cleaning 553 clauses out of 1164 for limit 5.509411318005379E-5
1283.66/1280.96	c cleaning 510 clauses out of 1112 for limit 9.520149945204232E-5
1283.66/1280.99	c cleaning 530 clauses out of 1102 for limit 1.5842469089725892E-4
1283.76/1281.02	c cleaning 502 clauses out of 1072 for limit 2.685749877612361E-4
1283.76/1281.04	c cleaning 432 clauses out of 1069 for limit 4.437149075332392E-4
1283.76/1281.07	c cleaning 462 clauses out of 1139 for limit 6.881496790872214E-4
1283.86/1281.10	c cleaning 491 clauses out of 1175 for limit 0.0010978819186548284
1283.86/1281.12	c cleaning 475 clauses out of 1184 for limit 0.0017967914975977697
1283.86/1281.15	c cleaning 492 clauses out of 1209 for limit 0.0029018768132388437
1283.86/1281.18	c cleaning 502 clauses out of 1217 for limit 0.004754124842267262
1283.96/1281.21	c cleaning 507 clauses out of 1215 for limit 0.007853093519371086
1283.96/1281.24	c cleaning 505 clauses out of 1211 for limit 0.01303263782489503
1283.96/1281.27	c cleaning 500 clauses out of 1203 for limit 0.021570648103011732
1284.06/1281.30	c cleaning 499 clauses out of 1206 for limit 0.03559106107500774
1284.06/1281.33	c cleaning 498 clauses out of 1204 for limit 0.05861572059471558
1284.06/1281.36	c cleaning 505 clauses out of 1208 for limit 0.09653806098848833
1284.06/1281.39	c cleaning 495 clauses out of 1202 for limit 0.15983887471918876
1284.16/1281.43	c cleaning 495 clauses out of 1206 for limit 0.26245868498117897
1284.16/1281.47	c cleaning 506 clauses out of 1211 for limit 0.43104240796877447
1284.26/1281.50	c cleaning 497 clauses out of 1206 for limit 0.714508227974928
1284.26/1281.54	c cleaning 505 clauses out of 1208 for limit 1.1751924239856617
1284.26/1281.56	c cleaning 511 clauses out of 1204 for limit 1.9464346589706385
1284.26/1281.59	c cleaning 503 clauses out of 1193 for limit 3.239528160086591
1284.36/1281.62	c cleaning 501 clauses out of 1189 for limit 5.355027725916099
1284.36/1281.64	c cleaning 519 clauses out of 1188 for limit 8.838590736753167
1284.36/1281.67	c cleaning 509 clauses out of 1169 for limit 14.812925589512172
1284.46/1281.70	c cleaning 496 clauses out of 1160 for limit 24.618027368815266
1284.46/1281.73	c cleaning 497 clauses out of 1164 for limit 40.458906999545285
1284.46/1281.77	c cleaning 496 clauses out of 1169 for limit 66.56984194263732
1284.56/1281.80	c cleaning 509 clauses out of 1171 for limit 109.3759921044186
1284.56/1281.83	c cleaning 506 clauses out of 1162 for limit 181.77270051483526
1284.56/1281.86	c cleaning 492 clauses out of 1159 for limit 301.4468665076051
1284.66/1281.90	c cleaning 505 clauses out of 1165 for limit 493.57726581170806
1284.66/1281.94	c cleaning 499 clauses out of 1159 for limit 817.3705999591089
1284.66/1281.97	c cleaning 501 clauses out of 1160 for limit 1346.7914363658329
1284.76/1282.01	c cleaning 503 clauses out of 1159 for limit 2222.9555901282083
1284.76/1282.05	c cleaning 500 clauses out of 1160 for limit 3677.4787117655774
1284.76/1282.09	c cleaning 491 clauses out of 1158 for limit 6062.984537552723
1284.86/1282.13	c cleaning 491 clauses out of 1166 for limit 9920.140995686668
1284.86/1282.17	c cleaning 508 clauses out of 1174 for limit 16231.911778146981
1284.96/1282.21	c cleaning 507 clauses out of 1168 for limit 26959.996922947677
1284.96/1282.25	c cleaning 502 clauses out of 1160 for limit 44722.49941739403
1284.96/1282.28	c cleaning 495 clauses out of 1157 for limit 73870.6758752104
1285.06/1282.31	c cleaning 504 clauses out of 1163 for limit 121315.45058543446
1285.06/1282.35	c cleaning 494 clauses out of 1159 for limit 200755.88325874615
1285.06/1282.39	c cleaning 488 clauses out of 1164 for limit 329321.52075998805
1285.16/1282.42	c cleaning 505 clauses out of 1176 for limit 537553.455378302
1285.16/1282.45	c cleaning 504 clauses out of 1173 for limit 890545.017210982
1285.16/1282.49	c cleaning 578 clauses out of 1167 for limit 1473227.7731875097
1285.26/1282.53	c cleaning 446 clauses out of 1091 for limit 2603999.6022730395
1285.26/1282.56	c cleaning 568 clauses out of 1145 for limit 4091815.701111008
1285.26/1282.60	c cleaning 526 clauses out of 1076 for limit 7173492.6070984
1285.36/1282.63	c cleaning 440 clauses out of 1049 for limit 1.2122405672249356E7
1285.36/1282.66	c cleaning 481 clauses out of 1110 for limit 1.8911750150415666E7
1285.36/1282.70	c cleaning 474 clauses out of 1129 for limit 3.066314138445124E7
1285.46/1282.73	c cleaning 481 clauses out of 1154 for limit 4.9422664298957035E7
1285.46/1282.76	c cleaning 489 clauses out of 1175 for limit 8.020824366310838E7
1285.46/1282.79	c cleaning 509 clauses out of 1185 for limit 1.310267286485854E8
1285.56/1282.82	c cleaning 494 clauses out of 1175 for limit 2.1770166825952312E8
1285.56/1282.85	c cleaning 522 clauses out of 1181 for limit 3.571951990834093E8
1285.56/1282.88	c cleaning 571 clauses out of 1159 for limit 6.002441854328796E8
1285.66/1282.91	c cleaning 542 clauses out of 1089 for limit 1.054566367846101E9
1285.66/1282.94	c cleaning 448 clauses out of 1047 for limit 1.8088851848518193E9
1285.66/1282.97	c cleaning 460 clauses out of 1099 for limit 2.841946369503589E9
1285.76/1283.00	c cleaning 467 clauses out of 1139 for limit 4.522158013654327E9
1285.76/1283.03	c cleaning 487 clauses out of 1171 for limit 7.246594126732956E9
1285.76/1283.07	c cleaning 515 clauses out of 1186 for limit 1.1823091598839882E10
1285.86/1283.10	c cleaning 584 clauses out of 1172 for limit 1.9750519818198185E10
1285.86/1283.13	c cleaning 505 clauses out of 1085 for limit 3.507750987701793E10
1285.86/1283.17	c cleaning 523 clauses out of 1080 for limit 5.811531890202261E10
1285.96/1283.20	c cleaning 439 clauses out of 1060 for limit 9.794176764114975E10
1285.96/1283.23	c cleaning 463 clauses out of 1118 for limit 1.5268077342096033E11
1285.96/1283.26	c cleaning 575 clauses out of 1157 for limit 2.4379102111645203E11
1285.96/1283.29	c cleaning 533 clauses out of 1080 for limit 4.2984727048605096E11
1286.06/1283.32	c cleaning 502 clauses out of 1047 for limit 7.312184385942705E11
1286.06/1283.34	c cleaning 458 clauses out of 1047 for limit 1.2082924024069983E12
1286.06/1283.37	c cleaning 521 clauses out of 1088 for limit 1.9156281319826992E12
1286.16/1283.40	c cleaning 519 clauses out of 1069 for limit 3.221716393363439E12
1286.16/1283.44	c cleaning 454 clauses out of 1048 for limit 5.408671350148691E12
1286.16/1283.47	c cleaning 464 clauses out of 1094 for limit 8.544574498215356E12
1286.26/1283.50	c cleaning 546 clauses out of 1129 for limit 1.3640654091767889E13
1286.26/1283.54	c cleaning 514 clauses out of 1084 for limit 2.3452559932119086E13
1286.26/1283.57	c cleaning 528 clauses out of 1070 for limit 3.918245522509807E13
1286.26/1283.60	c cleaning 500 clauses out of 1041 for limit 6.635078561116981E13
1286.36/1283.63	c cleaning 449 clauses out of 1041 for limit 1.0942132172211575E14
1286.36/1283.66	c cleaning 451 clauses out of 1092 for limit 1.7202276918098575E14
1286.36/1283.69	c cleaning 511 clauses out of 1143 for limit 2.7157341472916694E14
1286.46/1283.72	c cleaning 480 clauses out of 1131 for limit 4.5216011829462244E14
1286.46/1283.76	c cleaning 545 clauses out of 1150 for limit 7.326193643315159E14
1286.46/1283.79	c cleaning 467 clauses out of 1105 for limit 1.2573895392081142E15
1286.56/1283.83	c cleaning 560 clauses out of 1138 for limit 2.0134727017510132E15
1286.56/1283.86	c cleaning 523 clauses out of 1080 for limit 3.505816357496296E-5
1286.56/1283.89	c cleaning 511 clauses out of 1057 for limit 5.9073651722720795E-5
1286.66/1283.93	c cleaning 487 clauses out of 1046 for limit 9.844485145754457E-5
1286.66/1283.96	c cleaning 489 clauses out of 1058 for limit 1.6034683796615167E-4
1286.66/1283.98	c cleaning 515 clauses out of 1069 for limit 2.617123695477043E-4
1286.76/1284.02	c cleaning 466 clauses out of 1053 for limit 4.377185569944106E-4
1286.76/1284.05	c cleaning 483 clauses out of 1087 for limit 6.99277690587139E-4
1286.76/1284.07	c cleaning 491 clauses out of 1104 for limit 0.0011354448129060153
1286.86/1284.10	c cleaning 493 clauses out of 1115 for limit 0.0018577409196166828
1286.86/1284.13	c cleaning 500 clauses out of 1120 for limit 0.0030438893097973693
1286.86/1284.16	c cleaning 503 clauses out of 1124 for limit 0.005021974474043645
1286.86/1284.20	c cleaning 499 clauses out of 1118 for limit 0.008301400374790997
1286.96/1284.23	c cleaning 494 clauses out of 1118 for limit 0.013676429639744612
1286.96/1284.26	c cleaning 484 clauses out of 1124 for limit 0.0224338656591876
1287.06/1284.30	c cleaning 501 clauses out of 1140 for limit 0.03647719726126462
1287.06/1284.34	c cleaning 503 clauses out of 1139 for limit 0.06020859267094577
1287.06/1284.38	c cleaning 497 clauses out of 1139 for limit 0.09959049669399765
1287.16/1284.41	c cleaning 504 clauses out of 1139 for limit 0.1637458304205301
1287.16/1284.43	c cleaning 502 clauses out of 1135 for limit 0.27099045840817465
1287.16/1284.46	c cleaning 505 clauses out of 1136 for limit 0.4478483227778831
1287.16/1284.49	c cleaning 497 clauses out of 1131 for limit 0.741826879433578
1287.26/1284.52	c cleaning 487 clauses out of 1132 for limit 1.2198476871016493
1287.26/1284.55	c cleaning 487 clauses out of 1146 for limit 1.989105485543847
1287.26/1284.58	c cleaning 496 clauses out of 1157 for limit 3.2426191054517233
1287.36/1284.61	c cleaning 499 clauses out of 1161 for limit 5.329088878366027
1287.36/1284.64	c cleaning 495 clauses out of 1162 for limit 8.780817323032158
1287.36/1284.67	c cleaning 486 clauses out of 1169 for limit 14.422862712378477
1287.46/1284.70	c cleaning 484 clauses out of 1181 for limit 23.49648762694421
1287.46/1284.74	c cleaning 507 clauses out of 1197 for limit 38.23090518315645
1287.46/1284.77	c cleaning 496 clauses out of 1191 for limit 63.42892756061287
1287.46/1284.80	c cleaning 512 clauses out of 1194 for limit 104.2356258790681
1287.56/1284.83	c cleaning 500 clauses out of 1182 for limit 173.64365381705812
1800.06/1796.81	c starts		: 23
1800.06/1796.81	c conflicts		: 1873818
1800.06/1796.81	c decisions		: 2719453
1800.06/1796.81	c propagations		: 320128736
1800.06/1796.81	c inspects		: 14890283214
1800.06/1796.81	c learnt literals	: 9
1800.06/1796.81	c learnt binary clauses	: 1950
1800.06/1796.81	c learnt ternary clauses	: 4773
1800.06/1796.81	c learnt clauses	: 1873809
1800.06/1796.81	c root simplifications	: 0
1800.06/1796.81	c removed literals (reason simplification)	: 0
1800.06/1796.81	c reason swapping (by a shorter reason)	: 0
1800.06/1796.81	c Calls to reduceDB	: 348
1800.06/1796.81	c speed (decisions/second)	: 1513.7961285783153
1800.06/1796.81	c non guided choices	0
1800.06/1796.81	s UNKNOWN
1800.06/1796.81	c Total wall clock time (ms): 1796.712

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741543-1338744641/watcher-3741543-1338744641 -o /tmp/evaluation-result-3741543-1338744641/solver-3741543-1338744641 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741543-1338744641.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 11301
/proc/meminfo: memFree=26374976/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11301/stat : 11301 (java) R 11299 11301 4424 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 340590025 9515008 182 33554432000 1073741824 1073778376 140734121622512 140734121605240 242167398069 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11301/statm: 2323 182 140 9 0 71 0

[startup+0.021186 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 11301
/proc/meminfo: memFree=26374976/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=1880456 CPUtime=0 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 2090 0 1 0 0 0 0 0 20 0 2 0 340590025 1925586944 2282 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 470114 2300 942 9 0 461223 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1880456

[startup+0.100238 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 11301
/proc/meminfo: memFree=26374976/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 4908 0 1 0 8 1 0 0 20 0 18 0 340590025 3028844544 6617 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 739464 6617 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300158 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 11301
/proc/meminfo: memFree=26374976/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 7500 0 1 0 49 1 0 0 20 0 18 0 340590025 3028844544 10446 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 739464 10446 2241 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700124 s]
/proc/loadavg: 1.99 1.98 1.99 3/195 11301
/proc/meminfo: memFree=26374976/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=1.34 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 9624 0 1 0 132 2 0 0 20 0 19 0 340590025 3097006080 12895 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 12895 2270 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.50056 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 11320
/proc/meminfo: memFree=26329816/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=2.18 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 9633 0 1 0 216 2 0 0 20 0 19 0 340590025 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 14436 2273 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3051 0 1 0 144 2 0 0 20 0 19 0 340590026 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387159310760 140386996219317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340590028 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3341 0 0 0 35 0 0 0 20 0 19 0 340590031 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2043 0 0 0 33 0 0 0 20 0 19 0 340590031 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 14436 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 3024420

[startup+3.10055 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 11320
/proc/meminfo: memFree=26321004/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=3.79 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 9639 0 1 0 377 2 0 0 20 0 19 0 340590025 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 16996 2273 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3057 0 1 0 304 2 0 0 20 0 19 0 340590026 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387159310760 140386996241975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340590028 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3341 0 0 0 35 0 0 0 20 0 19 0 340590031 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2043 0 0 0 33 0 0 0 20 0 19 0 340590031 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 16996 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 3024420

[startup+6.30063 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 11320
/proc/meminfo: memFree=26302084/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=7 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 9650 0 1 0 697 3 0 0 20 0 19 0 340590025 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 21553 2274 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3067 0 1 0 624 3 0 0 20 0 19 0 340590026 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387159310696 140386996218811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340590027 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340590028 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3341 0 0 0 36 0 0 0 20 0 19 0 340590031 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2043 0 0 0 33 0 0 0 20 0 19 0 340590031 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 21553 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 241 0 0 0 21 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 192 0 0 0 14 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 191 0 0 0 123 6 0 0 20 0 19 0 340590028 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3349 0 0 0 37 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2295 0 0 0 44 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 98 0 0 0 30 29 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.5
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/213 11454
/proc/meminfo: memFree=24279472/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=1725.52 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 12296 0 1 0 172399 153 0 0 20 0 19 0 340590025 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 420363 2303 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=1720.22 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3251 0 1 0 171987 35 0 0 20 0 19 0 340590026 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387159309568 140386996179599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 171 0 0 0 13 10 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 235 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 250 0 0 0 18 15 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 328 0 0 0 29 17 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 275 0 0 0 19 16 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 241 0 0 0 21 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 192 0 0 0 14 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 191 0 0 0 123 6 0 0 20 0 19 0 340590028 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3349 0 0 0 37 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2295 0 0 0 44 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 100 0 0 0 32 30 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.52
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/214 11457
/proc/meminfo: memFree=24279156/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=1785.54 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 12300 0 1 0 178400 154 0 0 20 0 19 0 340590025 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 420363 2303 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=1780.22 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3251 0 1 0 177986 36 0 0 20 0 19 0 340590026 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387159309568 140386996219056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 171 0 0 0 13 10 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 235 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 250 0 0 0 18 15 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 328 0 0 0 29 17 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 275 0 0 0 19 16 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 241 0 0 0 21 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 192 0 0 0 14 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 191 0 0 0 123 6 0 0 20 0 19 0 340590028 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3349 0 0 0 37 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2295 0 0 0 44 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 104 0 0 0 34 30 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.05 2.04 2.05 3/214 11457
/proc/meminfo: memFree=24279280/32873648 swapFree=7112/7112
[pid=11301] ppid=11299 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/11301/stat : 11301 (java) S 11299 11301 4424 0 -1 4202496 12300 0 1 0 179851 155 0 0 20 0 19 0 340590025 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140736844307968 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11301/statm: 756105 420363 2303 9 0 746526 0
[pid=11301/tid=11303] ppid=11299 vsize=3024420 CPUtime=1794.72 cores=0,2,4,6
/proc/11301/task/11303/stat : 11303 (java) R 11299 11301 4424 0 -1 4202560 3251 0 1 0 179436 36 0 0 20 0 19 0 340590026 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387159309568 140386996143512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11304] ppid=11299 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/11301/task/11304/stat : 11304 (java) S 11299 11301 4424 0 -1 4202560 171 0 0 0 13 10 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387142736296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11305] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11305/stat : 11305 (java) S 11299 11301 4424 0 -1 4202560 235 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387141683752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11306] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11306/stat : 11306 (java) S 11299 11301 4424 0 -1 4202560 250 0 0 0 18 15 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387140630696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11307] ppid=11299 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/11301/task/11307/stat : 11307 (java) S 11299 11301 4424 0 -1 4202560 328 0 0 0 29 17 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387139578152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11308] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11308/stat : 11308 (java) S 11299 11301 4424 0 -1 4202560 275 0 0 0 19 16 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387138526120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11309] ppid=11299 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11301/task/11309/stat : 11309 (java) S 11299 11301 4424 0 -1 4202560 232 0 0 0 21 14 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387137473576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11301/tid=11310] ppid=11299 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/11301/task/11310/stat : 11310 (java) S 11299 11301 4424 0 -1 4202560 241 0 0 0 21 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387136420520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11301/tid=11311] ppid=11299 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/11301/task/11311/stat : 11311 (java) S 11299 11301 4424 0 -1 4202560 192 0 0 0 14 12 0 0 20 0 19 0 340590027 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387135367976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11312] ppid=11299 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/11301/task/11312/stat : 11312 (java) S 11299 11301 4424 0 -1 4202560 191 0 0 0 123 6 0 0 20 0 19 0 340590028 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387122956648 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11313] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11313/stat : 11313 (java) S 11299 11301 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387121902968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11314] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11314/stat : 11314 (java) S 11299 11301 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340590029 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387120849800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11315] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11315/stat : 11315 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387119798544 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11316] ppid=11299 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/11301/task/11316/stat : 11316 (java) S 11299 11301 4424 0 -1 4202560 3349 0 0 0 37 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387118746424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11317] ppid=11299 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11301/task/11317/stat : 11317 (java) S 11299 11301 4424 0 -1 4202560 2295 0 0 0 44 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387117693880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11318] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11318/stat : 11318 (java) S 11299 11301 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387116641016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11301/tid=11319] ppid=11299 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/11301/task/11319/stat : 11319 (java) S 11299 11301 4424 0 -1 4202560 104 0 0 0 34 30 0 0 20 0 19 0 340590031 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140387115588680 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11301/tid=11320] ppid=11299 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11301/task/11320/stat : 11320 (java) S 11299 11301 4424 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340590062 3097006080 420363 33554432000 1073741824 1073778376 140736844316832 140386995528744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1796.82
CPU time (s): 1800.39
CPU user time (s): 1798.44
CPU system time (s): 1.9517
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.9517
maximum resident set size= 1681572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38051
involuntary context switches= 5168

runsolver used 6.42002 second user time and 14.8037 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 19:30:41
IDJOB=3741543
IDBENCH=89875
IDSOLVER=2319
FILE ID=node126/3741543-1338744641
RUNJOBID= node126-1338713124-4440
PBS_JOBID= 14636723
Free space on /tmp= 70788 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741543-1338744641/watcher-3741543-1338744641 -o /tmp/evaluation-result-3741543-1338744641/solver-3741543-1338744641 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741543-1338744641.opb           

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

MD5SUM BENCH= ca3efe2da0610ce6a80a42a3887418e6
RANDOM SEED=1755047150

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:        26374868 kB
Buffers:          425784 kB
Cached:          3840708 kB
SwapCached:         9476 kB
Active:          2910772 kB
Inactive:        2724164 kB
Active(anon):    1357980 kB
Inactive(anon):    12168 kB
Active(file):    1552792 kB
Inactive(file):  2711996 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              3548 kB
Writeback:             0 kB
AnonPages:       1419052 kB
Mapped:            18040 kB
Shmem:                 0 kB
Slab:             723928 kB
SReclaimable:     167960 kB
SUnreclaim:       555968 kB
KernelStack:        1776 kB
PageTables:         6920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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 20:00:40