Trace number 3742296

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.09 1797.43

General information on the benchmark

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

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.10	c no version file found!!!
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version	1.6.0_24
0.00/0.10	c os.name	Linux
0.00/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch	amd64
0.00/0.10	c Free memory 1599470296
0.00/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742296-1338765933.opb
0.07/0.12	c reading problem ... 
1.27/0.70	c ... done. Wall clock time 0.579s.
1.27/0.70	c CPU time (experimental) 0.66s.
1.27/0.70	c #vars     23324
1.27/0.70	c #constraints  23716
1647.33/1644.79	c cleaning 402579 clauses out of 808454 for limit 248378.48811194886
1648.94/1646.40	c cleaning 202809 clauses out of 406375 for limit 814888.5167220448
1649.84/1647.29	c cleaning 100802 clauses out of 204066 for limit 2676149.7740839254
1650.24/1647.66	c cleaning 50470 clauses out of 103764 for limit 8679410.90295124
1650.55/1647.97	c cleaning 25426 clauses out of 53794 for limit 2.7609529305326905E7
1650.94/1648.31	c cleaning 13334 clauses out of 28868 for limit 8.48461287650772E7
1651.24/1648.67	c cleaning 7057 clauses out of 16034 for limit 2.519200513346773E8
1651.44/1648.90	c cleaning 3791 clauses out of 9477 for limit 7.028936530589423E8
1651.65/1649.08	c cleaning 2087 clauses out of 6187 for limit 1.7773411054958704E9
1651.84/1649.21	c cleaning 1327 clauses out of 4599 for limit 3.939207579086182E9
1652.04/1649.41	c cleaning 1788 clauses out of 3772 for limit 7.920570781503042E9
1652.14/1649.53	c cleaning 844 clauses out of 2484 for limit 1.983501160599002E10
1652.34/1649.75	c cleaning 590 clauses out of 2140 for limit 3.796873815175016E10
1652.54/1649.95	c cleaning 683 clauses out of 2050 for limit 6.5364503004578674E10
1652.75/1650.15	c cleaning 497 clauses out of 1867 for limit 1.1836066417284763E11
1652.94/1650.32	c cleaning 390 clauses out of 1870 for limit 1.9487942606820862E11
1653.14/1650.52	c cleaning 465 clauses out of 1980 for limit 3.035276749735823E11
1653.24/1650.60	c cleaning 303 clauses out of 2015 for limit 4.9186318990071075E11
1653.34/1650.72	c cleaning 281 clauses out of 2215 for limit 7.401249832424905E11
1653.44/1650.83	c cleaning 1172 clauses out of 2431 for limit 1.1087820528079795E12
1653.54/1650.97	c cleaning 278 clauses out of 1760 for limit 2.528185158277107E12
1653.85/1651.23	c cleaning 624 clauses out of 1981 for limit 3.7004832690719946E12
1654.04/1651.45	c cleaning 432 clauses out of 1859 for limit 6.516110512818412E12
1654.24/1651.67	c cleaning 418 clauses out of 1925 for limit 1.03567611531131E13
1654.44/1651.86	c cleaning 403 clauses out of 2007 for limit 1.6381859960184664E13
1654.64/1652.06	c cleaning 792 clauses out of 2104 for limit 2.5770374691505004E13
1654.85/1652.27	c cleaning 465 clauses out of 1812 for limit 4.93473871129552E13
1655.14/1652.51	c cleaning 535 clauses out of 1847 for limit 7.983831217075411E13
1655.34/1652.75	c cleaning 526 clauses out of 1814 for limit 1.3432779022816653E14
1655.54/1652.98	c cleaning 472 clauses out of 1786 for limit 2.2454767467251484E14
1655.74/1653.18	c cleaning 396 clauses out of 1814 for limit 3.645932474112709E14
1655.95/1653.34	c cleaning 387 clauses out of 1918 for limit 5.68660663951664E14
1656.14/1653.53	c cleaning 428 clauses out of 2031 for limit 8.856206903527572E14
1656.34/1653.70	c cleaning 379 clauses out of 2105 for limit 1.4119863164893725E15
1656.44/1653.87	c cleaning 1051 clauses out of 2224 for limit 2.1995542034226905E-5
1656.54/1653.99	c cleaning 540 clauses out of 1673 for limit 4.82202433399353E-5
1656.64/1654.09	c cleaning 574 clauses out of 1633 for limit 8.146949812013873E-5
1656.84/1654.20	c cleaning 505 clauses out of 1560 for limit 1.407819661011969E-4
1656.94/1654.32	c cleaning 285 clauses out of 1555 for limit 2.329148174260788E-4
1657.05/1654.43	c cleaning 210 clauses out of 1769 for limit 3.3730366010242515E-4
1657.15/1654.53	c cleaning 105 clauses out of 2059 for limit 4.7791254099014725E-4
1657.24/1654.65	c cleaning 295 clauses out of 2454 for limit 6.61281087737797E-4
1657.34/1654.79	c cleaning 355 clauses out of 2660 for limit 0.0010070926417775697
1657.44/1654.88	c cleaning 459 clauses out of 2805 for limit 0.0015749765100441038
1657.54/1654.99	c cleaning 480 clauses out of 2846 for limit 0.002559929103102701
1657.64/1655.10	c cleaning 471 clauses out of 2865 for limit 0.004189474799795297
1657.84/1655.22	c cleaning 475 clauses out of 2894 for limit 0.006839771117466483
1657.94/1655.35	c cleaning 485 clauses out of 2919 for limit 0.011183091743460043
1658.04/1655.48	c cleaning 476 clauses out of 2936 for limit 0.018372355574396714
1658.25/1655.62	c cleaning 470 clauses out of 2958 for limit 0.03001301236170552
1658.44/1655.80	c cleaning 1174 clauses out of 2987 for limit 0.04901493388590485
1658.74/1656.15	c cleaning 947 clauses out of 2314 for limit 0.1044457295909498
1658.84/1656.24	c cleaning 693 clauses out of 1866 for limit 0.21338494652315185
1659.04/1656.44	c cleaning 608 clauses out of 1673 for limit 0.3924961163261889
1659.44/1656.81	c cleaning 589 clauses out of 1565 for limit 0.691947030569101
1659.74/1657.18	c cleaning 541 clauses out of 1476 for limit 1.2099201829043753
1660.14/1657.52	c cleaning 510 clauses out of 1435 for limit 2.0523293916023193
1660.44/1657.85	c cleaning 546 clauses out of 1427 for limit 3.4103574669724543
1660.74/1658.14	c cleaning 530 clauses out of 1379 for limit 5.808265682065841
1661.04/1658.44	c cleaning 523 clauses out of 1349 for limit 9.791622851159083
1661.24/1658.62	c cleaning 489 clauses out of 1327 for limit 16.431836417390134
1661.34/1658.71	c cleaning 468 clauses out of 1337 for limit 26.86872099353253
1661.64/1659.01	c cleaning 546 clauses out of 1368 for limit 43.30601186036971
1661.84/1659.26	c cleaning 523 clauses out of 1322 for limit 73.90243016904728
1662.14/1659.53	c cleaning 497 clauses out of 1300 for limit 124.06155529001717
1662.34/1659.71	c cleaning 508 clauses out of 1302 for limit 204.07554485315057
1662.65/1660.02	c cleaning 505 clauses out of 1294 for limit 338.62854112013105
1662.84/1660.21	c cleaning 500 clauses out of 1289 for limit 560.6099551577826
1663.16/1660.52	c cleaning 492 clauses out of 1289 for limit 924.520813113234
1663.36/1660.78	c cleaning 505 clauses out of 1297 for limit 1515.254285116365
1663.67/1661.09	c cleaning 493 clauses out of 1292 for limit 2508.527522564551
1664.06/1661.45	c cleaning 494 clauses out of 1299 for limit 4114.60471948887
1664.36/1661.73	c cleaning 501 clauses out of 1305 for limit 6754.335768664304
1664.56/1661.99	c cleaning 475 clauses out of 1304 for limit 11147.345288441858
1664.87/1662.22	c cleaning 495 clauses out of 1329 for limit 18037.649807479895
1664.96/1662.33	c cleaning 481 clauses out of 1334 for limit 29635.00394709118
1665.16/1662.56	c cleaning 472 clauses out of 1353 for limit 48185.78177054253
1665.36/1662.77	c cleaning 500 clauses out of 1383 for limit 77896.76757656485
1665.66/1663.10	c cleaning 523 clauses out of 1381 for limit 128391.06503396553
1665.97/1663.30	c cleaning 515 clauses out of 1358 for limit 215535.64767038322
1666.06/1663.44	c cleaning 522 clauses out of 1344 for limit 359509.2001856049
1666.36/1663.76	c cleaning 489 clauses out of 1320 for limit 602451.6662023141
1666.56/1663.96	c cleaning 526 clauses out of 1335 for limit 986299.4920440563
1666.86/1664.22	c cleaning 537 clauses out of 1305 for limit 1657285.7776986896
1667.16/1664.56	c cleaning 482 clauses out of 1268 for limit 2812836.8860179125
1667.46/1664.83	c cleaning 481 clauses out of 1287 for limit 4574837.306063489
1667.76/1665.18	c cleaning 518 clauses out of 1306 for limit 7434759.2676563235
1668.07/1665.43	c cleaning 485 clauses out of 1287 for limit 1.2429478750258144E7
1668.26/1665.67	c cleaning 479 clauses out of 1302 for limit 2.026172263167168E7
1668.56/1665.98	c cleaning 495 clauses out of 1323 for limit 3.2883905610030957E7
1668.86/1666.23	c cleaning 468 clauses out of 1329 for limit 5.403916813241755E7
1669.06/1666.45	c cleaning 499 clauses out of 1360 for limit 8.699936900935881E7
1669.36/1666.74	c cleaning 499 clauses out of 1361 for limit 1.4336818028417617E8
1669.66/1667.03	c cleaning 553 clauses out of 1361 for limit 2.3643330874063072E8
1669.96/1667.36	c cleaning 522 clauses out of 1308 for limit 4.057092674047659E8
1670.27/1667.65	c cleaning 515 clauses out of 1286 for limit 6.805148247658869E8
1670.56/1667.92	c cleaning 501 clauses out of 1271 for limit 1.1355045940337937E9
1670.76/1668.16	c cleaning 494 clauses out of 1270 for limit 1.8740734680349617E9
1671.06/1668.47	c cleaning 496 clauses out of 1276 for limit 3.076065266044752E9
1671.37/1668.77	c cleaning 505 clauses out of 1280 for limit 5.056990497568288E9
1671.56/1668.98	c cleaning 447 clauses out of 1276 for limit 8.374171129198761E9
1671.76/1669.15	c cleaning 505 clauses out of 1328 for limit 1.3256101055747738E10
1672.06/1669.41	c cleaning 485 clauses out of 1323 for limit 2.1943703375519066E10
1672.36/1669.71	c cleaning 505 clauses out of 1338 for limit 3.5782406226627525E10
1672.66/1670.05	c cleaning 475 clauses out of 1333 for limit 5.9231317493379616E10
1673.06/1670.40	c cleaning 521 clauses out of 1358 for limit 9.588212693066446E10
1673.26/1670.66	c cleaning 526 clauses out of 1337 for limit 1.606060529470375E11
1673.57/1670.95	c cleaning 585 clauses out of 1311 for limit 2.7011363761682794E11
1673.86/1671.29	c cleaning 434 clauses out of 1226 for limit 4.763373323176049E11
1674.16/1671.60	c cleaning 486 clauses out of 1292 for limit 7.454155763953186E11
1674.56/1671.90	c cleaning 485 clauses out of 1306 for limit 1.21611231773416E12
1674.77/1672.16	c cleaning 482 clauses out of 1321 for limit 1.9827590174896133E12
1674.96/1672.39	c cleaning 499 clauses out of 1339 for limit 3.2258789106912856E12
1675.36/1672.71	c cleaning 468 clauses out of 1340 for limit 5.315935795079347E12
1675.66/1673.06	c cleaning 519 clauses out of 1372 for limit 8.56221839227379E12
1675.87/1673.25	c cleaning 482 clauses out of 1353 for limit 1.4318532274195365E13
1676.16/1673.59	c cleaning 505 clauses out of 1371 for limit 2.3303155413185793E13
1676.46/1673.84	c cleaning 523 clauses out of 1367 for limit 3.858105245157189E13
1676.76/1674.10	c cleaning 485 clauses out of 1343 for limit 6.469756680666061E13
1677.06/1674.42	c cleaning 506 clauses out of 1358 for limit 1.0551642718189636E14
1677.36/1674.73	c cleaning 487 clauses out of 1352 for limit 1.747829410108072E14
1677.66/1675.06	c cleaning 502 clauses out of 1365 for limit 2.854953046106301E14
1678.07/1675.45	c cleaning 483 clauses out of 1364 for limit 4.7163676286089894E14
1678.36/1675.77	c cleaning 508 clauses out of 1380 for limit 7.680054625477912E14
1678.76/1676.15	c cleaning 514 clauses out of 1372 for limit 1.2739288444242462E15
1679.06/1676.42	c cleaning 473 clauses out of 1358 for limit 2.1225376349023238E15
1679.36/1676.74	c cleaning 531 clauses out of 1385 for limit 3.432110667009325E15
1679.66/1677.06	c cleaning 471 clauses out of 1354 for limit 5.789596260551684E15
1680.06/1677.45	c cleaning 658 clauses out of 1383 for limit 9.347611417340573E-5
1680.36/1677.79	c cleaning 582 clauses out of 1225 for limit 1.7403741689965706E-4
1680.56/1677.95	c cleaning 505 clauses out of 1143 for limit 3.076014469828275E-4
1680.86/1678.21	c cleaning 494 clauses out of 1138 for limit 5.09504740900915E-4
1681.16/1678.58	c cleaning 478 clauses out of 1144 for limit 8.35834617171439E-4
1681.46/1678.87	c cleaning 461 clauses out of 1166 for limit 0.0013523954940161639
1681.66/1679.08	c cleaning 427 clauses out of 1205 for limit 0.0021580977184918284
1682.06/1679.40	c cleaning 444 clauses out of 1278 for limit 0.0033557004465911565
1682.26/1679.68	c cleaning 474 clauses out of 1334 for limit 0.005301687153835063
1682.56/1679.98	c cleaning 461 clauses out of 1360 for limit 0.008576042117033696
1682.86/1680.25	c cleaning 506 clauses out of 1399 for limit 0.013748774408429686
1683.16/1680.54	c cleaning 486 clauses out of 1396 for limit 0.022790597153355487
1683.26/1680.65	c cleaning 480 clauses out of 1407 for limit 0.037179143198592196
1683.36/1680.76	c cleaning 457 clauses out of 1428 for limit 0.06047218569120929
1683.57/1680.92	c cleaning 509 clauses out of 1470 for limit 0.09678051166775717
1683.86/1681.20	c cleaning 502 clauses out of 1461 for limit 0.16058719773022917
1684.06/1681.44	c cleaning 509 clauses out of 1460 for limit 0.26527643872165035
1684.36/1681.73	c cleaning 535 clauses out of 1450 for limit 0.4400529202612479
1684.56/1681.97	c cleaning 492 clauses out of 1415 for limit 0.7436564631583209
1684.86/1682.27	c cleaning 510 clauses out of 1423 for limit 1.219494324769331
1685.16/1682.55	c cleaning 502 clauses out of 1413 for limit 2.0253421862042646
1685.46/1682.83	c cleaning 483 clauses out of 1413 for limit 3.34675036445965
1685.66/1683.08	c cleaning 517 clauses out of 1428 for limit 5.450346804441489
1686.06/1683.41	c cleaning 497 clauses out of 1411 for limit 9.096644400596169
1686.36/1683.71	c cleaning 498 clauses out of 1414 for limit 14.969755573155524
1686.66/1684.03	c cleaning 479 clauses out of 1416 for limit 24.652260731146164
1686.96/1684.30	c cleaning 491 clauses out of 1437 for limit 40.06075450688616
1687.16/1684.51	c cleaning 502 clauses out of 1446 for limit 65.65434708541173
1687.46/1684.80	c cleaning 474 clauses out of 1444 for limit 108.42276375410523
1687.76/1685.14	c cleaning 519 clauses out of 1470 for limit 175.64112857299932
1687.96/1685.37	c cleaning 502 clauses out of 1451 for limit 293.4485908091114
1688.16/1685.57	c cleaning 504 clauses out of 1450 for limit 484.7544865347641
1688.46/1685.85	c cleaning 485 clauses out of 1445 for limit 801.3889828790334
1688.76/1686.10	c cleaning 484 clauses out of 1460 for limit 1308.0195827155667
1688.96/1686.38	c cleaning 491 clauses out of 1476 for limit 2133.716085647467
1689.26/1686.63	c cleaning 494 clauses out of 1485 for limit 3497.4573094597977
1689.56/1686.95	c cleaning 530 clauses out of 1491 for limit 5744.5646226555855
1689.66/1687.08	c cleaning 528 clauses out of 1461 for limit 9668.08441840267
1689.96/1687.40	c cleaning 497 clauses out of 1433 for limit 16255.500523463905
1690.36/1687.70	c cleaning 516 clauses out of 1436 for limit 26751.490469160774
1690.66/1688.05	c cleaning 494 clauses out of 1420 for limit 44613.877086510605
1690.96/1688.32	c cleaning 505 clauses out of 1426 for limit 73264.6825720644
1691.26/1688.60	c cleaning 469 clauses out of 1421 for limit 121248.39736834762
1691.46/1688.88	c cleaning 455 clauses out of 1452 for limit 195685.8195539488
1691.66/1689.08	c cleaning 512 clauses out of 1497 for limit 313011.3304515528
1691.96/1689.31	c cleaning 480 clauses out of 1485 for limit 520368.8512177799
1692.16/1689.57	c cleaning 473 clauses out of 1505 for limit 846753.7583362324
1692.46/1689.86	c cleaning 611 clauses out of 1532 for limit 1371799.8612287163
1692.66/1690.08	c cleaning 467 clauses out of 1421 for limit 2438997.3529170426
1692.96/1690.30	c cleaning 540 clauses out of 1454 for limit 3930944.275616266
1693.16/1690.54	c cleaning 488 clauses out of 1414 for limit 6666037.791374192
1693.46/1690.84	c cleaning 474 clauses out of 1426 for limit 1.0900678787913196E7
1693.76/1691.13	c cleaning 421 clauses out of 1454 for limit 1.766581068214951E7
1694.06/1691.40	c cleaning 496 clauses out of 1531 for limit 2.761274938536841E7
1694.26/1691.69	c cleaning 471 clauses out of 1535 for limit 4.54184542050947E7
1694.56/1691.94	c cleaning 535 clauses out of 1564 for limit 7.351227568920857E7
1694.86/1692.24	c cleaning 457 clauses out of 1529 for limit 1.2400666205611871E8
1695.06/1692.41	c cleaning 454 clauses out of 1572 for limit 1.9890964773778462E8
1695.16/1692.59	c cleaning 502 clauses out of 1618 for limit 3.187027124327636E8
1695.46/1692.84	c cleaning 511 clauses out of 1616 for limit 5.2623388260268086E8
1695.66/1693.06	c cleaning 480 clauses out of 1611 for limit 8.757649931996242E8
1695.96/1693.35	c cleaning 452 clauses out of 1625 for limit 1.4232414145747674E9
1800.09/1797.42	c starts		: 22
1800.09/1797.42	c conflicts		: 1073950
1800.09/1797.42	c decisions		: 9917965
1800.09/1797.42	c propagations		: 1565954058
1800.09/1797.42	c inspects		: 8484119541
1800.09/1797.42	c learnt literals	: 52
1800.09/1797.42	c learnt binary clauses	: 121694
1800.09/1797.42	c learnt ternary clauses	: 74783
1800.09/1797.42	c learnt clauses	: 1073898
1800.09/1797.42	c root simplifications	: 0
1800.09/1797.42	c removed literals (reason simplification)	: 0
1800.09/1797.42	c reason swapping (by a shorter reason)	: 0
1800.09/1797.42	c Calls to reduceDB	: 190
1800.09/1797.42	c speed (decisions/second)	: 5520.107998116545
1800.09/1797.42	c non guided choices	25543
1800.09/1797.42	s UNKNOWN
1800.09/1797.42	c Total wall clock time (ms): 1797.292

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18271
/proc/meminfo: memFree=23868472/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/18271/stat : 18271 (java) D 18269 18271 16961 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 342717702 2560000 46 33554432000 1073741824 1073778376 140736250099488 140736250096616 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 625 46 37 9 0 29 0

[startup+0.105796 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18271
/proc/meminfo: memFree=23868472/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 4180 0 1 0 6 1 0 0 20 0 18 0 342717702 3028844544 5388 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 739464 5388 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200244 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18271
/proc/meminfo: memFree=23868472/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 5190 0 1 0 20 1 0 0 20 0 18 0 342717702 3028844544 7381 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 739464 7381 2189 9 0 729885 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2957856

[startup+0.300264 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18271
/proc/meminfo: memFree=23868472/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 8342 0 1 0 47 2 0 0 20 0 18 0 342717702 3028844544 10443 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 739464 10443 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700239 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18271
/proc/meminfo: memFree=23868472/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=2957856 CPUtime=1.27 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 9518 0 1 0 123 4 0 0 20 0 18 0 342717702 3028844544 38843 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 739464 38843 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2957856

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 18290
/proc/meminfo: memFree=23717168/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=2.36 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 9824 0 1 0 232 4 0 0 20 0 19 0 342717702 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 39940 2271 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3172 0 1 0 142 3 0 0 20 0 19 0 342717704 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421944115688 140421816932333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2674 0 0 0 38 2 0 0 20 0 19 0 342717710 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2784 0 0 0 48 0 0 0 20 0 19 0 342717710 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 39940 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 3024420

[startup+3.10077 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 18290
/proc/meminfo: memFree=23716532/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=3.96 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 9827 0 1 0 392 4 0 0 20 0 19 0 342717702 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 40453 2271 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3174 0 1 0 302 3 0 0 20 0 19 0 342717704 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421944115400 140421817078741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2674 0 0 0 38 2 0 0 20 0 19 0 342717710 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2784 0 0 0 48 0 0 0 20 0 19 0 342717710 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 40453 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 18290
/proc/meminfo: memFree=23713864/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=7.17 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 9829 0 1 0 712 5 0 0 20 0 19 0 342717702 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 40855 2271 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3176 0 1 0 621 3 0 0 20 0 19 0 342717704 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421944115680 140421816999455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342717706 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2674 0 0 0 38 2 0 0 20 0 19 0 342717710 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2784 0 0 0 49 0 0 0 20 0 19 0 342717710 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 40855 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2849 0 0 0 47 2 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2812 0 0 0 58 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 99 0 0 0 44 31 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.96
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 18364
/proc/meminfo: memFree=22236540/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=1784.98 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 12049 0 1 0 178370 128 0 0 20 0 19 0 342717702 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 408561 2302 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=1775.95 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3321 0 1 0 177561 34 0 0 20 0 19 0 342717704 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421944114568 140421816953471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 137 0 0 0 7 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 176 0 0 0 11 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 153 0 0 0 9 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 347 0 0 0 21 22 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 165 0 0 0 10 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 197 0 0 0 12 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 185 0 0 0 12 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 177 0 0 0 11 9 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=1.15 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 247 0 0 0 107 8 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2849 0 0 0 47 2 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2812 0 0 0 58 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 103 0 0 0 45 33 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.01 2.01 2.00 4/213 18364
/proc/meminfo: memFree=22236788/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 12049 0 1 0 179881 128 0 0 20 0 19 0 342717702 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 408561 2302 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=1791.03 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3321 0 1 0 179068 35 0 0 20 0 19 0 342717704 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421944114568 140421817078607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 137 0 0 0 7 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 176 0 0 0 11 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 153 0 0 0 9 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 347 0 0 0 21 22 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 165 0 0 0 10 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 197 0 0 0 12 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 185 0 0 0 12 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 177 0 0 0 11 9 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=1.15 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 247 0 0 0 107 8 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2849 0 0 0 47 2 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2812 0 0 0 58 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 103 0 0 0 45 33 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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+1797.4 s]
/proc/loadavg: 2.01 2.01 2.00 4/213 18364
/proc/meminfo: memFree=22236788/32873844 swapFree=7628/7628
[pid=18271] ppid=18269 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/18271/stat : 18271 (java) S 18269 18271 16961 0 -1 4202496 12049 0 1 0 179881 128 0 0 20 0 19 0 342717702 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140734540481264 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18271/statm: 756105 408561 2302 9 0 746526 0
[pid=18271/tid=18273] ppid=18269 vsize=3024420 CPUtime=1791.03 cores=0,2,4,6
/proc/18271/task/18273/stat : 18273 (java) R 18269 18271 16961 0 -1 4202560 3321 0 1 0 179068 35 0 0 20 0 19 0 342717704 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421944114568 140421817078607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18274] ppid=18269 vsize=3024420 CPUtime=0.15 cores=0,2,4,6
/proc/18271/task/18274/stat : 18274 (java) S 18269 18271 16961 0 -1 4202560 137 0 0 0 7 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421809739944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18275] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18275/stat : 18275 (java) S 18269 18271 16961 0 -1 4202560 176 0 0 0 11 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421741144360 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18276] ppid=18269 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/18271/task/18276/stat : 18276 (java) S 18269 18271 16961 0 -1 4202560 153 0 0 0 9 8 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421740091816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18277] ppid=18269 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/18271/task/18277/stat : 18277 (java) S 18269 18271 16961 0 -1 4202560 347 0 0 0 21 22 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421739039272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18278] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18278/stat : 18278 (java) S 18269 18271 16961 0 -1 4202560 165 0 0 0 10 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421737986728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18279] ppid=18269 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/18271/task/18279/stat : 18279 (java) S 18269 18271 16961 0 -1 4202560 197 0 0 0 12 11 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421736934184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18280] ppid=18269 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18271/task/18280/stat : 18280 (java) S 18269 18271 16961 0 -1 4202560 185 0 0 0 12 10 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421735881640 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18281] ppid=18269 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/18271/task/18281/stat : 18281 (java) S 18269 18271 16961 0 -1 4202560 177 0 0 0 11 9 0 0 20 0 19 0 342717706 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421734829096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18271/tid=18282] ppid=18269 vsize=3024420 CPUtime=1.15 cores=0,2,4,6
/proc/18271/task/18282/stat : 18282 (java) S 18269 18271 16961 0 -1 4202560 247 0 0 0 107 8 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421722630248 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18283] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18283/stat : 18283 (java) S 18269 18271 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421721576568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18284] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18284/stat : 18284 (java) S 18269 18271 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342717707 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421720523912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18285] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18285/stat : 18285 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421719472656 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18286] ppid=18269 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18271/task/18286/stat : 18286 (java) S 18269 18271 16961 0 -1 4202560 2849 0 0 0 47 2 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421718420024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18271/tid=18287] ppid=18269 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18271/task/18287/stat : 18287 (java) S 18269 18271 16961 0 -1 4202560 2812 0 0 0 58 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421717367480 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18288] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18288/stat : 18288 (java) S 18269 18271 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421716315128 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18271/tid=18289] ppid=18269 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/18271/task/18289/stat : 18289 (java) S 18269 18271 16961 0 -1 4202560 103 0 0 0 45 33 0 0 20 0 19 0 342717710 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421715262792 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18271/tid=18290] ppid=18269 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18271/task/18290/stat : 18290 (java) S 18269 18271 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342717775 3097006080 408561 33554432000 1073741824 1073778376 140734540490128 140421713060648 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18271 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=308223
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=813724
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.43
CPU time (s): 1800.09
CPU user time (s): 1798.81
CPU system time (s): 1.28
CPU usage (%): 100.148
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 1.81372
maximum resident set size= 1634860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12080
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38064
involuntary context switches= 4016

runsolver used 6.02008 second user time and 15.6226 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 01:25:33
IDJOB=3742296
IDBENCH=90154
IDSOLVER=2319
FILE ID=node143/3742296-1338765933
RUNJOBID= node143-1338750755-16977
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/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742296-1338765933/watcher-3742296-1338765933 -o /tmp/evaluation-result-3742296-1338765933/solver-3742296-1338765933 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742296-1338765933.opb           

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

MD5SUM BENCH= bcce2e1d61aa4147a6a5a8b58d6d164e
RANDOM SEED=1654418967

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:        23868736 kB
Buffers:         2378520 kB
Cached:          3978276 kB
SwapCached:          188 kB
Active:          5838148 kB
Inactive:        2190848 kB
Active(anon):    1659880 kB
Inactive(anon):    10988 kB
Active(file):    4178268 kB
Inactive(file):  2179860 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              5124 kB
Writeback:             0 kB
AnonPages:       1685660 kB
Mapped:            18724 kB
Shmem:               160 kB
Slab:             822228 kB
SReclaimable:     263744 kB
SUnreclaim:       558484 kB
KernelStack:        1600 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827352 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:55:33