Trace number 3742166

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.07 1794.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
MD5SUM3a5151d7fc286e1b50737dee685a4276
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark28.7146
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7412
Total number of constraints7632
Number of constraints which are clauses7523
Number of constraints which are cardinality constraints (but not clauses)109
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint109
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 110
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3742166-1338763360.opb
0.06/0.12	c reading problem ... 
0.77/0.47	c ... done. Wall clock time 0.347s.
0.77/0.47	c CPU time (experimental) 0.43s.
0.77/0.47	c #vars     7412
0.77/0.47	c #constraints  7630
968.39/964.66	c cleaning 311610 clauses out of 624472 for limit 360653.294521861
969.60/965.88	c cleaning 156179 clauses out of 313364 for limit 1187623.226094039
970.40/966.63	c cleaning 77987 clauses out of 157684 for limit 3888315.8138227393
970.80/967.01	c cleaning 39150 clauses out of 80196 for limit 1.2595570060427321E7
971.00/967.26	c cleaning 20312 clauses out of 41546 for limit 4.0095645108451895E7
971.10/967.39	c cleaning 10492 clauses out of 21734 for limit 1.2639871138121729E8
971.20/967.49	c cleaning 5468 clauses out of 11742 for limit 3.858301129464675E8
971.30/967.57	c cleaning 3353 clauses out of 6774 for limit 1.102932389790478E9
971.40/967.65	c cleaning 1604 clauses out of 3921 for limit 3.1423396678745728E9
971.50/967.73	c cleaning 1391 clauses out of 2817 for limit 7.220271392282285E9
971.50/967.79	c cleaning 897 clauses out of 1928 for limit 1.743244284256757E10
971.60/967.87	c cleaning 718 clauses out of 1528 for limit 3.616548361086282E10
971.71/967.96	c cleaning 620 clauses out of 1310 for limit 6.956683136351254E10
971.81/968.03	c cleaning 531 clauses out of 1190 for limit 1.2629392011550284E11
971.90/968.10	c cleaning 515 clauses out of 1159 for limit 2.1384635702062622E11
971.90/968.16	c cleaning 499 clauses out of 1144 for limit 3.572853054398545E11
972.00/968.23	c cleaning 471 clauses out of 1145 for limit 5.886966704517104E11
972.10/968.30	c cleaning 457 clauses out of 1174 for limit 9.468580074850168E11
972.10/968.35	c cleaning 531 clauses out of 1217 for limit 1.5063235363169734E12
972.20/968.41	c cleaning 506 clauses out of 1187 for limit 2.5494618644732935E12
972.20/968.48	c cleaning 575 clauses out of 1180 for limit 4.2251157081052617E12
972.30/968.55	c cleaning 452 clauses out of 1105 for limit 7.440707342686521E12
972.40/968.60	c cleaning 540 clauses out of 1153 for limit 1.175988516735604E13
972.40/968.66	c cleaning 495 clauses out of 1113 for limit 2.0090609433380086E13
972.50/968.72	c cleaning 502 clauses out of 1119 for limit 3.298743804250994E13
972.50/968.78	c cleaning 425 clauses out of 1119 for limit 5.450966312920405E13
972.60/968.86	c cleaning 452 clauses out of 1195 for limit 8.426089700272302E13
972.70/968.94	c cleaning 501 clauses out of 1239 for limit 1.3348747461648673E14
972.70/969.00	c cleaning 498 clauses out of 1238 for limit 2.203165212930265E14
972.81/969.06	c cleaning 485 clauses out of 1243 for limit 3.62957691468593E14
972.91/969.12	c cleaning 614 clauses out of 1255 for limit 5.910657012056085E14
973.00/969.20	c cleaning 522 clauses out of 1141 for limit 1.0721356247737568E15
973.00/969.25	c cleaning 482 clauses out of 1119 for limit 1.8028565489556235E15
973.10/969.30	c cleaning 466 clauses out of 1137 for limit 2.926083267509594E15
973.10/969.38	c cleaning 541 clauses out of 1171 for limit 4.685394218307057E15
973.20/969.44	c cleaning 521 clauses out of 1132 for limit 8.00905942608069E-5
973.30/969.50	c cleaning 527 clauses out of 1109 for limit 1.3454986310691344E-4
973.30/969.57	c cleaning 499 clauses out of 1082 for limit 2.2742773839219186E-4
973.40/969.62	c cleaning 462 clauses out of 1083 for limit 3.747124506978036E-4
973.40/969.67	c cleaning 396 clauses out of 1121 for limit 5.970034691885387E-4
973.50/969.75	c cleaning 431 clauses out of 1225 for limit 9.00953269665304E-4
973.60/969.82	c cleaning 468 clauses out of 1297 for limit 0.0014075304554457802
973.60/969.88	c cleaning 462 clauses out of 1326 for limit 0.002263636063612094
973.70/969.93	c cleaning 480 clauses out of 1364 for limit 0.003629039081037425
973.70/969.99	c cleaning 482 clauses out of 1384 for limit 0.005898285799764511
973.80/970.07	c cleaning 481 clauses out of 1402 for limit 0.009602178517716772
973.91/970.14	c cleaning 496 clauses out of 1421 for limit 0.015623545572772667
973.91/970.19	c cleaning 507 clauses out of 1425 for limit 0.02569299303395149
974.01/970.25	c cleaning 506 clauses out of 1418 for limit 0.04258034928818346
974.10/970.31	c cleaning 498 clauses out of 1412 for limit 0.07051908048422521
974.10/970.38	c cleaning 497 clauses out of 1414 for limit 0.11613090622370711
974.20/970.45	c cleaning 496 clauses out of 1417 for limit 0.19110993345779942
974.30/970.50	c cleaning 497 clauses out of 1421 for limit 0.31427868014954263
974.30/970.56	c cleaning 497 clauses out of 1424 for limit 0.5171956890098842
974.40/970.61	c cleaning 495 clauses out of 1429 for limit 0.8516429729027709
974.40/970.68	c cleaning 521 clauses out of 1432 for limit 1.3987292007758105
974.50/970.75	c cleaning 493 clauses out of 1411 for limit 2.3410222035980985
974.60/970.82	c cleaning 485 clauses out of 1418 for limit 3.8416005308913195
974.60/970.87	c cleaning 470 clauses out of 1433 for limit 6.268997984166312
974.70/970.95	c cleaning 512 clauses out of 1465 for limit 10.13284983112404
974.80/971.02	c cleaning 473 clauses out of 1451 for limit 16.83792932008491
974.80/971.07	c cleaning 485 clauses out of 1478 for limit 27.260734153388956
974.90/971.13	c cleaning 502 clauses out of 1493 for limit 44.504923708760074
974.90/971.19	c cleaning 521 clauses out of 1492 for limit 73.51728231326354
975.01/971.27	c cleaning 509 clauses out of 1470 for limit 122.93125289209488
975.11/971.34	c cleaning 504 clauses out of 1461 for limit 203.97893207238002
975.20/971.41	c cleaning 503 clauses out of 1457 for limit 337.31205688112976
975.20/971.47	c cleaning 479 clauses out of 1454 for limit 557.4204494575669
975.32/971.53	c cleaning 499 clauses out of 1476 for limit 906.4656365602526
975.32/971.59	c cleaning 478 clauses out of 1476 for limit 1493.3882163917112
975.42/971.65	c cleaning 466 clauses out of 1498 for limit 2426.627703123749
975.52/971.71	c cleaning 512 clauses out of 1532 for limit 3913.020169010595
975.52/971.78	c cleaning 519 clauses out of 1520 for limit 6504.039210012176
975.62/971.84	c cleaning 473 clauses out of 1502 for limit 10865.43717032989
975.72/971.91	c cleaning 511 clauses out of 1530 for limit 17608.24634305705
975.72/971.96	c cleaning 514 clauses out of 1518 for limit 29238.63810676268
975.82/972.02	c cleaning 487 clauses out of 1503 for limit 48650.94787905569
975.82/972.08	c cleaning 467 clauses out of 1516 for limit 79543.91685638177
975.92/972.13	c cleaning 480 clauses out of 1552 for limit 128520.93581254824
975.92/972.19	c cleaning 463 clauses out of 1571 for limit 209175.48579692576
976.02/972.25	c cleaning 471 clauses out of 1606 for limit 336766.04288428946
976.12/972.33	c cleaning 803 clauses out of 1635 for limit 545521.6170599833
976.12/972.37	c cleaning 636 clauses out of 1332 for limit 1104285.5364503867
976.22/972.43	c cleaning 564 clauses out of 1196 for limit 2028197.8413651057
976.32/972.52	c cleaning 516 clauses out of 1132 for limit 3533873.1476726076
976.42/972.61	c cleaning 516 clauses out of 1119 for limit 5913256.510491697
976.42/972.65	c cleaning 524 clauses out of 1100 for limit 9890459.562873125
976.52/972.70	c cleaning 504 clauses out of 1077 for limit 1.6675691508876745E7
976.52/972.78	c cleaning 488 clauses out of 1074 for limit 2.760486788876288E7
976.62/972.86	c cleaning 519 clauses out of 1084 for limit 4.501399264696256E7
976.72/972.94	c cleaning 488 clauses out of 1065 for limit 7.555845988837716E7
976.82/973.03	c cleaning 504 clauses out of 1077 for limit 1.2321764060439983E8
976.82/973.07	c cleaning 522 clauses out of 1073 for limit 2.0395988429428992E8
976.92/973.13	c cleaning 497 clauses out of 1052 for limit 3.4341490281393915E8
976.92/973.18	c cleaning 477 clauses out of 1054 for limit 5.646972100076802E8
977.02/973.25	c cleaning 491 clauses out of 1077 for limit 9.113735842838051E8
977.12/973.36	c cleaning 485 clauses out of 1086 for limit 1.4905213516796763E9
977.22/973.45	c cleaning 511 clauses out of 1101 for limit 2.424580427362883E9
977.32/973.53	c cleaning 457 clauses out of 1090 for limit 4.0388088850423174E9
977.42/973.60	c cleaning 443 clauses out of 1133 for limit 6.407753228108485E9
977.42/973.68	c cleaning 524 clauses out of 1190 for limit 1.0061080261527803E10
977.52/973.74	c cleaning 491 clauses out of 1166 for limit 1.6933584978740284E10
977.62/973.81	c cleaning 515 clauses out of 1175 for limit 2.7711847625961895E10
977.72/973.90	c cleaning 530 clauses out of 1160 for limit 4.629149926968743E10
977.72/973.98	c cleaning 490 clauses out of 1130 for limit 7.836762395713698E10
977.82/974.04	c cleaning 492 clauses out of 1140 for limit 1.281050229688527E11
977.92/974.10	c cleaning 478 clauses out of 1148 for limit 2.097901091666103E11
977.92/974.15	c cleaning 478 clauses out of 1172 for limit 3.395659977273537E11
978.02/974.20	c cleaning 521 clauses out of 1193 for limit 5.495823023602084E11
978.02/974.27	c cleaning 488 clauses out of 1171 for limit 9.224390141458202E11
978.12/974.32	c cleaning 578 clauses out of 1186 for limit 1.5065005388218037E12
978.12/974.37	c cleaning 482 clauses out of 1105 for limit 2.658545233931353E12
978.22/974.41	c cleaning 494 clauses out of 1123 for limit 4.3140230656734453E12
978.22/974.46	c cleaning 413 clauses out of 1129 for limit 7.076592114294277E12
978.32/974.51	c cleaning 451 clauses out of 1216 for limit 1.083528697378693E13
978.32/974.55	c cleaning 458 clauses out of 1267 for limit 1.7183921843708953E13
978.32/974.59	c cleaning 453 clauses out of 1308 for limit 2.742284663832274E13
978.42/974.65	c cleaning 489 clauses out of 1354 for limit 4.364384349670835E13
978.52/974.72	c cleaning 654 clauses out of 1364 for limit 7.144686394005025E13
978.62/974.82	c cleaning 600 clauses out of 1210 for limit 1.3282140128929639E14
978.62/974.89	c cleaning 531 clauses out of 1110 for limit 2.3877361594488238E14
978.72/974.96	c cleaning 507 clauses out of 1079 for limit 4.050827573068899E14
978.82/975.03	c cleaning 478 clauses out of 1072 for limit 6.723978309394432E14
978.82/975.08	c cleaning 499 clauses out of 1094 for limit 1.0865748639772058E15
978.92/975.16	c cleaning 463 clauses out of 1095 for limit 1.7902708650510902E15
979.02/975.22	c cleaning 538 clauses out of 1132 for limit 2.8558955735951907E-5
979.02/975.28	c cleaning 514 clauses out of 1094 for limit 4.8733467684550554E-5
979.12/975.34	c cleaning 514 clauses out of 1080 for limit 8.140981516517735E-5
979.22/975.41	c cleaning 501 clauses out of 1066 for limit 1.360188837701822E-4
979.22/975.48	c cleaning 497 clauses out of 1065 for limit 2.2452395846810232E-4
979.32/975.54	c cleaning 465 clauses out of 1068 for limit 3.69229959399021E-4
979.32/975.59	c cleaning 400 clauses out of 1107 for limit 5.898132144366686E-4
979.42/975.65	c cleaning 490 clauses out of 1203 for limit 8.91485598792877E-4
979.52/975.71	c cleaning 474 clauses out of 1213 for limit 0.0014580588234976914
979.52/975.77	c cleaning 488 clauses out of 1239 for limit 0.002354075713804098
979.62/975.85	c cleaning 484 clauses out of 1252 for limit 0.003845721260258458
979.72/975.91	c cleaning 464 clauses out of 1267 for limit 0.0062607576435238085
979.72/975.97	c cleaning 492 clauses out of 1303 for limit 0.010039566912154109
979.82/976.05	c cleaning 476 clauses out of 1311 for limit 0.016455557091006764
979.82/976.09	c cleaning 472 clauses out of 1335 for limit 0.026649551387158566
979.92/976.15	c cleaning 515 clauses out of 1367 for limit 0.043091993715992094
980.02/976.21	c cleaning 499 clauses out of 1349 for limit 0.07179686883131035
980.02/976.27	c cleaning 516 clauses out of 1349 for limit 0.11828423887458976
980.12/976.32	c cleaning 472 clauses out of 1333 for limit 0.19740791743675265
980.12/976.38	c cleaning 507 clauses out of 1362 for limit 0.31893927857938736
980.22/976.43	c cleaning 475 clauses out of 1354 for limit 0.5285521284043075
980.22/976.48	c cleaning 501 clauses out of 1379 for limit 0.8558508989936359
980.32/976.54	c cleaning 482 clauses out of 1381 for limit 1.4136051578435138
980.42/976.61	c cleaning 499 clauses out of 1396 for limit 2.299263436449758
980.42/976.68	c cleaning 524 clauses out of 1398 for limit 3.7901585586620867
980.53/976.73	c cleaning 482 clauses out of 1373 for limit 6.357924818831708
980.53/976.79	c cleaning 537 clauses out of 1391 for limit 10.349388319484161
980.63/976.85	c cleaning 492 clauses out of 1354 for limit 17.53392057948538
980.72/976.92	c cleaning 522 clauses out of 1364 for limit 28.761281957143083
980.72/976.96	c cleaning 489 clauses out of 1342 for limit 48.208762244149796
980.82/977.02	c cleaning 499 clauses out of 1351 for limit 78.81520534882178
980.82/977.08	c cleaning 494 clauses out of 1352 for limit 129.88068063053575
980.92/977.15	c cleaning 523 clauses out of 1358 for limit 213.24426718818208
981.02/977.23	c cleaning 465 clauses out of 1336 for limit 357.8170864409037
981.02/977.28	c cleaning 482 clauses out of 1370 for limit 574.8682739868126
981.12/977.35	c cleaning 478 clauses out of 1388 for limit 935.7402903309219
981.22/977.41	c cleaning 473 clauses out of 1410 for limit 1519.0832317409831
981.22/977.46	c cleaning 519 clauses out of 1437 for limit 2458.101440868782
981.32/977.52	c cleaning 520 clauses out of 1418 for limit 4108.054775134246
981.32/977.58	c cleaning 497 clauses out of 1400 for limit 6875.579869819541
981.42/977.65	c cleaning 500 clauses out of 1401 for limit 11308.00769234298
981.52/977.72	c cleaning 512 clauses out of 1401 for limit 18648.417442878334
981.52/977.79	c cleaning 506 clauses out of 1389 for limit 31019.426119976088
981.63/977.85	c cleaning 492 clauses out of 1383 for limit 51377.114757668365
981.73/977.92	c cleaning 483 clauses out of 1393 for limit 84287.98772418086
981.73/977.97	c cleaning 516 clauses out of 1408 for limit 137246.4155264751
981.82/978.03	c cleaning 485 clauses out of 1393 for limit 229003.93658396605
981.82/978.08	c cleaning 509 clauses out of 1408 for limit 373634.7805017945
981.92/978.15	c cleaning 507 clauses out of 1398 for limit 619960.6932004306
982.02/978.22	c cleaning 507 clauses out of 1391 for limit 1027543.1859694144
982.02/978.28	c cleaning 479 clauses out of 1384 for limit 1703126.9080353873
982.12/978.33	c cleaning 515 clauses out of 1406 for limit 2767503.4995473213
982.22/978.40	c cleaning 493 clauses out of 1392 for limit 4614500.133791644
982.22/978.46	c cleaning 514 clauses out of 1397 for limit 7567533.558649216
982.32/978.53	c cleaning 493 clauses out of 1383 for limit 1.260620799784664E7
982.32/978.59	c cleaning 690 clauses out of 1390 for limit 2.068462898231063E7
982.42/978.65	c cleaning 377 clauses out of 1201 for limit 3.951936221105801E7
982.52/978.71	c cleaning 426 clauses out of 1326 for limit 5.914721781115228E7
982.52/978.77	c cleaning 477 clauses out of 1397 for limit 9.230682020016168E7
982.62/978.84	c cleaning 703 clauses out of 1420 for limit 1.4976065792146522E8
982.62/978.89	c cleaning 372 clauses out of 1217 for limit 2.88171742431823E8
982.72/978.94	c cleaning 664 clauses out of 1346 for limit 4.301176948543072E8
982.82/979.02	c cleaning 523 clauses out of 1181 for limit 8.076140153949376E8
982.82/979.08	c cleaning 496 clauses out of 1158 for limit 1.3583168004995694E9
982.92/979.14	c cleaning 477 clauses out of 1164 for limit 2.2329631803259163E9
983.02/979.20	c cleaning 426 clauses out of 1185 for limit 3.6099655331185274E9
983.02/979.25	c cleaning 368 clauses out of 1259 for limit 5.603399185499466E9
983.12/979.31	c cleaning 479 clauses out of 1391 for limit 8.363846424566317E9
983.12/979.37	c cleaning 468 clauses out of 1412 for limit 1.3587963452130444E10
983.22/979.41	c cleaning 515 clauses out of 1444 for limit 2.191178513219055E10
983.22/979.45	c cleaning 489 clauses out of 1430 for limit 3.6525764536801445E10
983.32/979.50	c cleaning 668 clauses out of 1440 for limit 5.975774981614418E10
983.32/979.55	c cleaning 438 clauses out of 1274 for limit 1.116123392212206E11
983.42/979.62	c cleaning 444 clauses out of 1335 for limit 1.7547762503317328E11
983.42/979.66	c cleaning 452 clauses out of 1390 for limit 2.776576148138721E11
983.52/979.71	c cleaning 483 clauses out of 1439 for limit 4.427453347488922E11
983.52/979.76	c cleaning 496 clauses out of 1455 for limit 7.213950691690281E11
983.62/979.82	c cleaning 709 clauses out of 1463 for limit 1.1879161065795513E12
983.62/979.87	c cleaning 408 clauses out of 1251 for limit 2.284152726228135E12
983.72/979.93	c cleaning 423 clauses out of 1344 for limit 3.5097289558590356E12
983.72/979.99	c cleaning 453 clauses out of 1419 for limit 5.471133542771719E12
983.83/980.04	c cleaning 488 clauses out of 1469 for limit 8.7417289701046455E12
983.83/980.09	c cleaning 479 clauses out of 1478 for limit 1.4285552805106498E13
983.93/980.15	c cleaning 719 clauses out of 1499 for limit 2.322874460670259E13
984.02/980.21	c cleaning 385 clauses out of 1280 for limit 4.486144820790952E13
984.02/980.27	c cleaning 477 clauses out of 1396 for limit 6.790288700346306E13
984.12/980.33	c cleaning 461 clauses out of 1419 for limit 1.101658904848244E14
984.12/980.39	c cleaning 724 clauses out of 1458 for limit 1.768185837624997E14
984.22/980.46	c cleaning 351 clauses out of 1234 for limit 3.4452929783575506E14
984.32/980.52	c cleaning 424 clauses out of 1384 for limit 5.071023549604997E14
984.42/980.60	c cleaning 451 clauses out of 1458 for limit 7.922478275975054E14
984.42/980.67	c cleaning 543 clauses out of 1507 for limit 1.2640411597048832E15
984.52/980.74	c cleaning 483 clauses out of 1464 for limit 2.1458001843858165E15
984.62/980.81	c cleaning 723 clauses out of 1481 for limit 3.498091647394604E-5
984.62/980.87	c cleaning 603 clauses out of 1259 for limit 6.792832577262173E-5
984.72/980.93	c cleaning 541 clauses out of 1155 for limit 1.2198769684119827E-4
984.72/980.99	c cleaning 458 clauses out of 1114 for limit 2.0857810248367273E-4
984.82/981.06	c cleaning 483 clauses out of 1156 for limit 3.314758980964195E-4
984.93/981.11	c cleaning 314 clauses out of 1173 for limit 5.387256637812196E-4
984.93/981.19	c cleaning 437 clauses out of 1359 for limit 7.668353187660409E-4
985.03/981.24	c cleaning 453 clauses out of 1422 for limit 0.0012085868223535563
985.12/981.31	c cleaning 489 clauses out of 1471 for limit 0.001930588384468113
985.12/981.38	c cleaning 469 clauses out of 1480 for limit 0.0031581118678433587
985.22/981.45	c cleaning 512 clauses out of 1511 for limit 0.005101297453995251
985.32/981.51	c cleaning 500 clauses out of 1499 for limit 0.00848006861431248
985.32/981.57	c cleaning 501 clauses out of 1499 for limit 0.013984767588284482
985.42/981.62	c cleaning 504 clauses out of 1499 for limit 0.02308583844025852
985.42/981.69	c cleaning 490 clauses out of 1494 for limit 0.038160852018771785
985.52/981.74	c cleaning 479 clauses out of 1504 for limit 0.06251391686790447
985.62/981.81	c cleaning 496 clauses out of 1525 for limit 0.1016741593859278
985.62/981.87	c cleaning 503 clauses out of 1530 for limit 0.1672936289841913
985.72/981.94	c cleaning 513 clauses out of 1528 for limit 0.27652721355807197
985.82/982.00	c cleaning 485 clauses out of 1513 for limit 0.45963084651719294
985.82/982.07	c cleaning 497 clauses out of 1530 for limit 0.7510720054467448
985.92/982.14	c cleaning 495 clauses out of 1531 for limit 1.2353348074171298
986.03/982.21	c cleaning 524 clauses out of 1536 for limit 2.030600741817484
986.03/982.26	c cleaning 497 clauses out of 1513 for limit 3.4030413559920314
986.13/982.32	c cleaning 480 clauses out of 1521 for limit 5.610549350819899
986.13/982.37	c cleaning 552 clauses out of 1535 for limit 9.113286788362862
986.22/982.43	c cleaning 518 clauses out of 1483 for limit 15.556007834745602
1800.07/1794.51	c starts		: 22
1800.07/1794.51	c conflicts		: 1097190
1800.07/1794.51	c decisions		: 3740068
1800.07/1794.51	c propagations		: 378129270
1800.07/1794.51	c inspects		: 7812714180
1800.07/1794.51	c learnt literals	: 31
1800.07/1794.51	c learnt binary clauses	: 58621
1800.07/1794.51	c learnt ternary clauses	: 41722
1800.07/1794.51	c learnt clauses	: 1097159
1800.07/1794.51	c root simplifications	: 0
1800.07/1794.51	c removed literals (reason simplification)	: 0
1800.07/1794.51	c reason swapping (by a shorter reason)	: 0
1800.07/1794.51	c Calls to reduceDB	: 245
1800.07/1794.51	c speed (decisions/second)	: 2084.7252616171154
1800.07/1794.51	c non guided choices	8004
1800.07/1794.51	s UNKNOWN
1800.07/1794.51	c Total wall clock time (ms): 1794.388

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 18050
/proc/meminfo: memFree=23868596/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18050/stat : 18050 (java) R 18048 18050 16961 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342460409 278528 33 33554432000 1073741824 1073778376 140734120839088 140734120836264 251035479335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18050/statm: 68 33 25 9 0 25 0

[startup+0.071419 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 18050
/proc/meminfo: memFree=23868596/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 3950 0 1 0 3 1 0 0 20 0 13 0 342460409 2686889984 5158 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 655979 5158 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100335 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 18050
/proc/meminfo: memFree=23868596/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 4128 0 1 0 5 1 0 0 20 0 18 0 342460409 3028844544 5846 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300307 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 18050
/proc/meminfo: memFree=23868596/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 8196 0 1 0 48 2 0 0 20 0 18 0 342460409 3028844544 10766 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 739464 10766 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700296 s]
/proc/loadavg: 2.01 2.03 2.00 3/194 18050
/proc/meminfo: memFree=23868596/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=1.38 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 9001 0 1 0 135 3 0 0 20 0 19 0 342460409 3097006080 19302 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 19302 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 18069
/proc/meminfo: memFree=23799924/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=2.19 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 9005 0 1 0 216 3 0 0 20 0 19 0 342460409 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 19305 2275 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3068 0 1 0 143 3 0 0 20 0 19 0 342460410 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771559725608 139771406658959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342460413 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1726 0 0 0 36 0 0 0 20 0 19 0 342460417 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3011 0 0 0 33 0 0 0 20 0 19 0 342460417 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 19305 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420

[startup+3.10082 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 18069
/proc/meminfo: memFree=23795332/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=3.82 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 9009 0 1 0 379 3 0 0 20 0 19 0 342460409 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 21353 2275 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3072 0 1 0 302 3 0 0 20 0 19 0 342460410 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771559725608 139771406580356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342460413 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1726 0 0 0 38 0 0 0 20 0 19 0 342460417 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 342460417 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 21353 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 3024420

[startup+6.30081 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 18069
/proc/meminfo: memFree=23784720/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=7.01 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 9017 0 1 0 698 3 0 0 20 0 19 0 342460409 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 23760 2276 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3079 0 1 0 621 3 0 0 20 0 19 0 342460410 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771559725600 139771406599912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342460412 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342460413 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1726 0 0 0 38 0 0 0 20 0 19 0 342460417 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 342460417 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 23760 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1825 0 0 0 44 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3019 0 0 0 40 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 100 0 0 0 51 53 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.8
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18166
/proc/meminfo: memFree=22203068/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=1787.84 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 11441 0 1 0 178526 258 0 0 20 0 19 0 342460409 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 418223 2304 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=1775.01 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3260 0 1 0 177467 34 0 0 20 0 19 0 342460410 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771559726384 139771406579632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 273 0 0 0 39 20 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 28 16 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 206 0 0 0 25 17 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 366 0 0 0 37 29 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 219 0 0 0 35 16 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 25 14 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 159 0 0 0 20 13 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 194 0 0 0 24 14 0 0 20 0 19 0 342460412 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 216 0 0 0 169 8 0 0 20 0 19 0 342460413 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1825 0 0 0 44 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3019 0 0 0 40 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 104 0 0 0 53 55 0 0 20 0 19 0 342460417 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 418223 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.84
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18166
/proc/meminfo: memFree=22201880/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 11441 0 1 0 179748 259 0 0 20 0 19 0 342460409 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 418411 2304 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=1787.19 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3260 0 1 0 178684 35 0 0 20 0 19 0 342460410 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771559726384 139771406659103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 273 0 0 0 39 20 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 28 16 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 206 0 0 0 25 17 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 366 0 0 0 37 29 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 219 0 0 0 35 16 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 25 14 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 159 0 0 0 20 13 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 194 0 0 0 24 14 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 216 0 0 0 169 8 0 0 20 0 19 0 342460413 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1825 0 0 0 44 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3019 0 0 0 40 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 104 0 0 0 53 55 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18166
/proc/meminfo: memFree=22201880/32873844 swapFree=7628/7628
[pid=18050] ppid=18048 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/18050/stat : 18050 (java) S 18048 18050 16961 0 -1 4202496 11441 0 1 0 179748 259 0 0 20 0 19 0 342460409 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 140735047836880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18050/statm: 756105 418411 2304 9 0 746526 0
[pid=18050/tid=18052] ppid=18048 vsize=3024420 CPUtime=1787.19 cores=1,3,5,7
/proc/18050/task/18052/stat : 18052 (java) R 18048 18050 16961 0 -1 4202560 3260 0 1 0 178684 35 0 0 20 0 19 0 342460410 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771559726384 139771406659103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18053] ppid=18048 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/18050/task/18053/stat : 18053 (java) S 18048 18050 16961 0 -1 4202560 273 0 0 0 39 20 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771543153448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18054] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18054/stat : 18054 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 28 16 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771542100648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18055] ppid=18048 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/18050/task/18055/stat : 18055 (java) S 18048 18050 16961 0 -1 4202560 206 0 0 0 25 17 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771541048360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18056] ppid=18048 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/18050/task/18056/stat : 18056 (java) S 18048 18050 16961 0 -1 4202560 366 0 0 0 37 29 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771539995560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18057] ppid=18048 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/18050/task/18057/stat : 18057 (java) S 18048 18050 16961 0 -1 4202560 219 0 0 0 35 16 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771538942248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18058] ppid=18048 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/18050/task/18058/stat : 18058 (java) S 18048 18050 16961 0 -1 4202560 207 0 0 0 25 14 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771537889448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18050/tid=18059] ppid=18048 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/18050/task/18059/stat : 18059 (java) S 18048 18050 16961 0 -1 4202560 159 0 0 0 20 13 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771536837160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18060] ppid=18048 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18050/task/18060/stat : 18060 (java) S 18048 18050 16961 0 -1 4202560 194 0 0 0 24 14 0 0 20 0 19 0 342460412 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771535784360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18061] ppid=18048 vsize=3024420 CPUtime=1.77 cores=1,3,5,7
/proc/18050/task/18061/stat : 18061 (java) S 18048 18050 16961 0 -1 4202560 216 0 0 0 169 8 0 0 20 0 19 0 342460413 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771405921000 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18062] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18062/stat : 18062 (java) S 18048 18050 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771404867064 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18063] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18063/stat : 18063 (java) S 18048 18050 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342460414 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771403814664 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18064] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18064/stat : 18064 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771402763152 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18065] ppid=18048 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18050/task/18065/stat : 18065 (java) S 18048 18050 16961 0 -1 4202560 1825 0 0 0 44 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771401709752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18050/tid=18066] ppid=18048 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/18050/task/18066/stat : 18066 (java) S 18048 18050 16961 0 -1 4202560 3019 0 0 0 40 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771400656952 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18067] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18067/stat : 18067 (java) S 18048 18050 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771399604856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18050/tid=18068] ppid=18048 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/18050/task/18068/stat : 18068 (java) S 18048 18050 16961 0 -1 4202560 104 0 0 0 53 55 0 0 20 0 19 0 342460417 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771398552264 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18050/tid=18069] ppid=18048 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18050/task/18069/stat : 18069 (java) S 18048 18050 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342460457 3097006080 418411 33554432000 1073741824 1073778376 140735047845744 139771396351400 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18050 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=359519
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=500619
# CPU time returned by wait4() is 1794.86
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.52
CPU time (s): 1800.07
CPU user time (s): 1797.48
CPU system time (s): 2.59
CPU usage (%): 100.309
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.36
system time used= 2.50062
maximum resident set size= 1673760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11472
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37971
involuntary context switches= 3044

runsolver used 4.6133 second user time and 18.6012 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 00:42:40
IDJOB=3742166
IDBENCH=90137
IDSOLVER=2319
FILE ID=node143/3742166-1338763360
RUNJOBID= node143-1338750755-16978
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 3a5151d7fc286e1b50737dee685a4276
RANDOM SEED=811866747

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23868752 kB
Buffers:         2377880 kB
Cached:          3975656 kB
SwapCached:          188 kB
Active:          5846328 kB
Inactive:        2190508 kB
Active(anon):    1670612 kB
Inactive(anon):    10988 kB
Active(file):    4175716 kB
Inactive(file):  2179520 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3984 kB
Writeback:             0 kB
AnonPages:       1688456 kB
Mapped:            18768 kB
Shmem:               160 kB
Slab:             822252 kB
SReclaimable:     263720 kB
SUnreclaim:       558532 kB
KernelStack:        1608 kB
PageTables:         7476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 01:12:37