Trace number 3742426

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.05 1797.22

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
MD5SUM786bb841dd145412a2aec0a596e79174
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 variables21539
Total number of constraints21903
Number of constraints which are clauses21722
Number of constraints which are cardinality constraints (but not clauses)181
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint181
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 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742426-1338768045.opb
0.10/0.10	c reading problem ... 
1.14/0.65	c ... done. Wall clock time 0.548s.
1.14/0.65	c CPU time (experimental) 0.63s.
1.14/0.65	c #vars     21539
1.14/0.65	c #constraints  21901
1271.98/1269.64	c cleaning 333506 clauses out of 668975 for limit 72940.19661318747
1272.80/1270.41	c cleaning 167190 clauses out of 335969 for limit 239515.43083177647
1273.20/1270.89	c cleaning 83441 clauses out of 169280 for limit 784724.9360119676
1273.50/1271.16	c cleaning 41960 clauses out of 86339 for limit 2537300.916985875
1273.70/1271.36	c cleaning 21280 clauses out of 44879 for limit 8049922.631080499
1273.90/1271.55	c cleaning 10903 clauses out of 24098 for limit 2.4698765845634095E7
1274.10/1271.71	c cleaning 5306 clauses out of 13695 for limit 7.16720956753305E7
1274.20/1271.84	c cleaning 4243 clauses out of 8889 for limit 1.8210216986433968E8
1274.30/1271.98	c cleaning 2270 clauses out of 5146 for limit 5.187452488391976E8
1274.50/1272.10	c cleaning 904 clauses out of 3376 for limit 1.30399931418723E9
1274.60/1272.22	c cleaning 490 clauses out of 2975 for limit 2.447666552364547E9
1274.70/1272.35	c cleaning 429 clauses out of 2982 for limit 4.014985080891339E9
1274.80/1272.48	c cleaning 379 clauses out of 3054 for limit 6.471618994636741E9
1274.90/1272.59	c cleaning 1098 clauses out of 3174 for limit 1.0258796773946093E10
1275.10/1272.71	c cleaning 443 clauses out of 2576 for limit 2.0845550913368362E10
1275.20/1272.83	c cleaning 365 clauses out of 2633 for limit 3.3632895963374123E10
1275.30/1272.95	c cleaning 313 clauses out of 2768 for limit 5.276001668514847E10
1275.40/1273.10	c cleaning 456 clauses out of 2957 for limit 8.161022891295596E10
1275.60/1273.24	c cleaning 310 clauses out of 2999 for limit 1.3243608022978691E11
1275.70/1273.39	c cleaning 365 clauses out of 3190 for limit 2.055334441115115E11
1275.90/1273.52	c cleaning 1168 clauses out of 3324 for limit 3.249627212890321E11
1276.00/1273.66	c cleaning 280 clauses out of 2658 for limit 6.715285663670408E11
1276.10/1273.79	c cleaning 446 clauses out of 2879 for limit 1.0234537049394059E12
1276.30/1273.98	c cleaning 860 clauses out of 2930 for limit 1.6534634480379624E12
1276.50/1274.13	c cleaning 445 clauses out of 2570 for limit 3.1087441622716567E12
1276.60/1274.27	c cleaning 383 clauses out of 2625 for limit 5.019317699095148E12
1276.80/1274.41	c cleaning 625 clauses out of 2742 for limit 7.924327749838079E12
1276.90/1274.54	c cleaning 340 clauses out of 2617 for limit 1.3692477768254816E13
1277.00/1274.69	c cleaning 368 clauses out of 2777 for limit 2.1279713393785574E13
1277.20/1274.87	c cleaning 434 clauses out of 2909 for limit 3.350069522661661E13
1277.30/1274.98	c cleaning 425 clauses out of 2975 for limit 5.4021477499175555E13
1277.40/1275.08	c cleaning 416 clauses out of 3054 for limit 8.713212974813852E13
1277.60/1275.21	c cleaning 575 clauses out of 3135 for limit 1.3956038818216325E14
1277.70/1275.33	c cleaning 417 clauses out of 3064 for limit 2.3643125475749E14
1277.80/1275.44	c cleaning 629 clauses out of 3144 for limit 3.7884665963515975E14
1277.90/1275.55	c cleaning 475 clauses out of 3015 for limit 6.515002253122334E14
1278.00/1275.68	c cleaning 1081 clauses out of 3038 for limit 1.0641454211026129E15
1278.10/1275.79	c cleaning 775 clauses out of 2458 for limit 2.1711872021288203E-5
1278.30/1275.90	c cleaning 593 clauses out of 2184 for limit 4.0338237041703126E-5
1278.40/1276.08	c cleaning 844 clauses out of 2089 for limit 6.940934901819711E-5
1278.70/1276.34	c cleaning 754 clauses out of 1745 for limit 1.3703038152924242E-4
1279.00/1276.61	c cleaning 620 clauses out of 1491 for limit 2.644786027083518E-4
1279.20/1276.84	c cleaning 562 clauses out of 1371 for limit 4.743365794282958E-4
1279.50/1277.16	c cleaning 439 clauses out of 1309 for limit 8.192950155445569E-4
1279.80/1277.42	c cleaning 466 clauses out of 1371 for limit 0.0012913171033197236
1280.10/1277.75	c cleaning 431 clauses out of 1404 for limit 0.002077421516668988
1280.40/1278.01	c cleaning 449 clauses out of 1473 for limit 0.003265463798252354
1280.60/1278.29	c cleaning 456 clauses out of 1524 for limit 0.005204973710199877
1280.90/1278.56	c cleaning 476 clauses out of 1568 for limit 0.008342828881719845
1281.20/1278.81	c cleaning 494 clauses out of 1592 for limit 0.013551027227581496
1281.40/1279.08	c cleaning 504 clauses out of 1598 for limit 0.02226354887475376
1281.70/1279.36	c cleaning 485 clauses out of 1594 for limit 0.03680770488901268
1282.00/1279.61	c cleaning 492 clauses out of 1610 for limit 0.060157749101513835
1282.20/1279.83	c cleaning 482 clauses out of 1617 for limit 0.09867992470118801
1282.40/1280.07	c cleaning 509 clauses out of 1635 for limit 0.16094480363497887
1282.70/1280.37	c cleaning 513 clauses out of 1626 for limit 0.26688862369477206
1283.00/1280.66	c cleaning 698 clauses out of 1612 for limit 0.4439575569847587
1283.30/1280.98	c cleaning 600 clauses out of 1414 for limit 0.8346664708007218
1283.60/1281.25	c cleaning 552 clauses out of 1314 for limit 1.4812313633386003
1283.90/1281.54	c cleaning 495 clauses out of 1262 for limit 2.5434007585450464
1284.20/1281.85	c cleaning 517 clauses out of 1267 for limit 4.177855582750243
1284.50/1282.15	c cleaning 508 clauses out of 1255 for limit 6.990604922502832
1284.70/1282.39	c cleaning 491 clauses out of 1242 for limit 11.590981604188716
1285.00/1282.64	c cleaning 505 clauses out of 1251 for limit 18.97756072311998
1285.30/1282.90	c cleaning 488 clauses out of 1246 for limit 31.422124432385615
1285.50/1283.18	c cleaning 483 clauses out of 1258 for limit 51.32498514304004
1285.70/1283.34	c cleaning 493 clauses out of 1276 for limit 83.5312918139596
1285.90/1283.55	c cleaning 513 clauses out of 1283 for limit 137.0026926478184
1286.21/1283.82	c cleaning 492 clauses out of 1270 for limit 228.248496403136
1286.41/1284.06	c cleaning 479 clauses out of 1277 for limit 373.9746153935485
1286.61/1284.25	c cleaning 503 clauses out of 1298 for limit 606.756190571596
1286.81/1284.47	c cleaning 503 clauses out of 1298 for limit 1003.6300087834959
1287.01/1284.65	c cleaning 520 clauses out of 1292 for limit 1657.8230315439487
1287.31/1284.93	c cleaning 483 clauses out of 1272 for limit 2776.958939094679
1287.51/1285.18	c cleaning 508 clauses out of 1289 for limit 4519.178953561171
1287.71/1285.35	c cleaning 483 clauses out of 1281 for limit 7499.273864109021
1288.01/1285.60	c cleaning 486 clauses out of 1298 for limit 12205.330336650602
1288.22/1285.82	c cleaning 498 clauses out of 1312 for limit 19913.439662707693
1288.41/1286.07	c cleaning 509 clauses out of 1314 for limit 32789.941309472386
1288.61/1286.24	c cleaning 483 clauses out of 1310 for limit 54512.13035766584
1288.71/1286.36	c cleaning 464 clauses out of 1323 for limit 88658.9219447347
1288.81/1286.48	c cleaning 442 clauses out of 1358 for limit 142299.67088459258
1289.01/1286.67	c cleaning 526 clauses out of 1416 for limit 225058.9556340416
1289.32/1286.92	c cleaning 518 clauses out of 1390 for limit 378094.7432917838
1289.42/1287.04	c cleaning 492 clauses out of 1375 for limit 632225.7259286165
1289.51/1287.19	c cleaning 496 clauses out of 1380 for limit 1035733.747596706
1289.81/1287.42	c cleaning 512 clauses out of 1384 for limit 1703126.908035386
1290.01/1287.63	c cleaning 616 clauses out of 1372 for limit 2833249.8618390425
1290.21/1287.89	c cleaning 494 clauses out of 1256 for limit 5103936.179338911
1290.42/1288.08	c cleaning 485 clauses out of 1262 for limit 8377055.769756695
1290.71/1288.35	c cleaning 471 clauses out of 1277 for limit 1.365261210729984E7
1291.01/1288.63	c cleaning 500 clauses out of 1306 for limit 2.201503390919737E7
1291.31/1288.91	c cleaning 537 clauses out of 1306 for limit 3.630573603481253E7
1291.52/1289.20	c cleaning 503 clauses out of 1269 for limit 6.161872213895848E7
1291.91/1289.51	c cleaning 469 clauses out of 1266 for limit 1.0185831581329042E8
1292.11/1289.78	c cleaning 513 clauses out of 1297 for limit 1.639630950258137E8
1292.41/1290.05	c cleaning 512 clauses out of 1284 for limit 2.7313474341084766E8
1292.72/1290.32	c cleaning 489 clauses out of 1272 for limit 4.546851248872824E8
1292.91/1290.55	c cleaning 490 clauses out of 1283 for limit 7.434077569613565E8
1293.11/1290.79	c cleaning 472 clauses out of 1293 for limit 1.2164971809578495E9
1293.41/1291.08	c cleaning 634 clauses out of 1321 for limit 1.963643756839293E9
1293.72/1291.35	c cleaning 448 clauses out of 1187 for limit 3.603883030114112E9
1294.01/1291.60	c cleaning 492 clauses out of 1239 for limit 5.693849535547878E9
1294.21/1291.88	c cleaning 450 clauses out of 1247 for limit 9.329679532134514E9
1294.51/1292.12	c cleaning 491 clauses out of 1297 for limit 1.4792755893915312E10
1294.71/1292.32	c cleaning 635 clauses out of 1306 for limit 2.422711924263638E10
1294.92/1292.57	c cleaning 535 clauses out of 1172 for limit 4.45664191873942E10
1295.11/1292.78	c cleaning 509 clauses out of 1136 for limit 7.574926033032358E10
1295.41/1293.07	c cleaning 527 clauses out of 1127 for limit 1.2591825565361086E11
1295.71/1293.30	c cleaning 476 clauses out of 1100 for limit 2.1275306071806088E11
1295.92/1293.59	c cleaning 481 clauses out of 1124 for limit 3.433666233018523E11
1296.21/1293.83	c cleaning 518 clauses out of 1143 for limit 5.568446423157935E11
1296.41/1294.06	c cleaning 448 clauses out of 1125 for limit 9.330042894586093E11
1296.61/1294.29	c cleaning 558 clauses out of 1179 for limit 1.4711171834769248E12
1296.91/1294.57	c cleaning 477 clauses out of 1119 for limit 2.5510434186334966E12
1297.12/1294.77	c cleaning 495 clauses out of 1142 for limit 4.122282208683807E12
1297.41/1295.01	c cleaning 507 clauses out of 1149 for limit 6.770312355000838E12
1297.61/1295.26	c cleaning 484 clauses out of 1140 for limit 1.1230801376728453E13
1297.81/1295.45	c cleaning 446 clauses out of 1158 for limit 1.8269722423784383E13
1297.91/1295.58	c cleaning 433 clauses out of 1210 for limit 2.877676707888196E13
1298.12/1295.78	c cleaning 596 clauses out of 1277 for limit 4.496683923737211E13
1298.41/1296.02	c cleaning 438 clauses out of 1182 for limit 8.0196641503244E13
1298.61/1296.25	c cleaning 469 clauses out of 1243 for limit 1.2563883604132567E14
1298.81/1296.49	c cleaning 451 clauses out of 1274 for limit 2.021536056755092E14
1299.11/1296.72	c cleaning 503 clauses out of 1323 for limit 3.210309934813243E14
1299.41/1297.04	c cleaning 536 clauses out of 1320 for limit 5.3062628922459056E14
1299.61/1297.22	c cleaning 462 clauses out of 1285 for limit 8.998082383061362E14
1299.71/1297.38	c cleaning 468 clauses out of 1322 for limit 1.4409304294063975E15
1300.01/1297.61	c cleaning 498 clauses out of 1354 for limit 2.3201266395427125E15
1300.21/1297.84	c cleaning 480 clauses out of 1356 for limit 3.8205558479287665E15
1300.42/1298.07	c cleaning 646 clauses out of 1376 for limit 6.209029097789465E-5
1300.61/1298.25	c cleaning 578 clauses out of 1230 for limit 1.1454942264356425E-4
1300.81/1298.46	c cleaning 551 clauses out of 1152 for limit 2.016979220198016E-4
1301.01/1298.66	c cleaning 502 clauses out of 1101 for limit 3.4803463959987376E-4
1301.11/1298.77	c cleaning 376 clauses out of 1099 for limit 5.750001852733126E-4
1301.31/1298.97	c cleaning 448 clauses out of 1223 for limit 8.521089110409237E-4
1301.61/1299.20	c cleaning 435 clauses out of 1275 for limit 0.0013479297736366724
1301.71/1299.38	c cleaning 474 clauses out of 1345 for limit 0.002117793507738251
1302.01/1299.60	c cleaning 472 clauses out of 1366 for limit 0.0034216731803866553
1302.11/1299.78	c cleaning 482 clauses out of 1397 for limit 0.005534166757269072
1302.31/1299.96	c cleaning 474 clauses out of 1412 for limit 0.009002565759811903
1302.52/1300.18	c cleaning 492 clauses out of 1438 for limit 0.014578001818385563
1302.71/1300.36	c cleaning 483 clauses out of 1448 for limit 0.023922867495912714
1302.91/1300.55	c cleaning 544 clauses out of 1463 for limit 0.03896945517159607
1303.21/1300.80	c cleaning 515 clauses out of 1419 for limit 0.06625858419262037
1303.31/1300.95	c cleaning 508 clauses out of 1409 for limit 0.11059665703547564
1303.51/1301.16	c cleaning 526 clauses out of 1396 for limit 0.18316854806122268
1303.71/1301.38	c cleaning 500 clauses out of 1370 for limit 0.3078021442961188
1304.01/1301.63	c cleaning 522 clauses out of 1370 for limit 0.5076069129784766
1304.21/1301.86	c cleaning 479 clauses out of 1348 for limit 0.8507737664221222
1304.41/1302.01	c cleaning 492 clauses out of 1369 for limit 1.3815175968996536
1304.61/1302.26	c cleaning 499 clauses out of 1377 for limit 2.265070979979416
1304.81/1302.48	c cleaning 476 clauses out of 1378 for limit 3.7326943178841265
1305.01/1302.68	c cleaning 510 clauses out of 1402 for limit 6.050336321940057
1305.31/1302.90	c cleaning 475 clauses out of 1392 for limit 10.04949369262715
1305.51/1303.16	c cleaning 520 clauses out of 1417 for limit 16.280564304112723
1305.71/1303.38	c cleaning 483 clauses out of 1398 for limit 27.240967721715645
1306.01/1303.61	c cleaning 499 clauses out of 1414 for limit 44.371250533512466
1306.11/1303.79	c cleaning 509 clauses out of 1415 for limit 73.12241484479016
1306.41/1304.05	c cleaning 471 clauses out of 1408 for limit 121.4309020011551
1306.71/1304.31	c cleaning 501 clauses out of 1435 for limit 196.09514357346453
1306.81/1304.50	c cleaning 482 clauses out of 1435 for limit 323.71083572734847
1307.11/1304.70	c cleaning 507 clauses out of 1452 for limit 527.064659327943
1307.21/1304.88	c cleaning 472 clauses out of 1445 for limit 873.4107907626267
1307.51/1305.10	c cleaning 497 clauses out of 1473 for limit 1412.991471240075
1307.61/1305.26	c cleaning 475 clauses out of 1477 for limit 2326.2275281682796
1307.81/1305.41	c cleaning 526 clauses out of 1501 for limit 3771.146196574301
1307.91/1305.58	c cleaning 491 clauses out of 1475 for limit 6328.749819775053
1308.21/1305.84	c cleaning 518 clauses out of 1484 for limit 10373.658200319409
1308.41/1306.07	c cleaning 508 clauses out of 1467 for limit 17323.120258002484
1308.71/1306.30	c cleaning 496 clauses out of 1458 for limit 28715.74482189364
1308.91/1306.52	c cleaning 515 clauses out of 1462 for limit 47226.53946888465
1309.11/1306.72	c cleaning 502 clauses out of 1447 for limit 78690.23680842131
1309.31/1306.92	c cleaning 496 clauses out of 1445 for limit 129950.34095228392
1309.51/1307.16	c cleaning 482 clauses out of 1449 for limit 213713.90110192436
1309.71/1307.31	c cleaning 480 clauses out of 1467 for limit 348118.36135738465
1309.91/1307.51	c cleaning 491 clauses out of 1487 for limit 566372.2453159059
1310.01/1307.70	c cleaning 463 clauses out of 1496 for limit 928404.4745108307
1310.21/1307.86	c cleaning 659 clauses out of 1533 for limit 1494109.924711429
1310.41/1308.09	c cleaning 598 clauses out of 1374 for limit 2749121.027809481
1310.71/1308.32	c cleaning 471 clauses out of 1276 for limit 4881865.444339374
1310.91/1308.57	c cleaning 618 clauses out of 1305 for limit 7871941.441946387
1311.21/1308.83	c cleaning 416 clauses out of 1187 for limit 1.4272417277226644E7
1311.51/1309.10	c cleaning 526 clauses out of 1271 for limit 2.1981564023214277E7
1311.71/1309.36	c cleaning 498 clauses out of 1245 for limit 3.7007579098918E7
1312.01/1309.62	c cleaning 445 clauses out of 1247 for limit 6.093256508079064E7
1312.21/1309.82	c cleaning 461 clauses out of 1302 for limit 9.624115298386286E7
1312.41/1310.08	c cleaning 462 clauses out of 1341 for limit 1.5409867718740174E8
1312.71/1310.35	c cleaning 490 clauses out of 1379 for limit 2.4712649485389423E8
1312.91/1310.58	c cleaning 489 clauses out of 1389 for limit 4.046105632519902E8
1313.21/1310.82	c cleaning 490 clauses out of 1400 for limit 6.620142134831641E8
1313.41/1311.09	c cleaning 528 clauses out of 1410 for limit 1.084007092904308E9
1313.71/1311.37	c cleaning 495 clauses out of 1382 for limit 1.8238918408276758E9
1313.91/1311.53	c cleaning 504 clauses out of 1387 for limit 2.9969986650531216E9
1314.11/1311.77	c cleaning 487 clauses out of 1383 for limit 4.956746601217449E9
1314.31/1312.00	c cleaning 504 clauses out of 1396 for limit 8.098216186064174E9
1314.61/1312.24	c cleaning 529 clauses out of 1393 for limit 1.3397200807207478E10
1314.81/1312.48	c cleaning 514 clauses out of 1363 for limit 2.255748632577698E10
1315.01/1312.70	c cleaning 528 clauses out of 1349 for limit 3.7586379633237465E10
1315.31/1312.93	c cleaning 449 clauses out of 1321 for limit 6.3298805559256195E10
1315.41/1313.08	c cleaning 475 clauses out of 1372 for limit 1.0050787900424815E11
1315.61/1313.23	c cleaning 515 clauses out of 1397 for limit 1.627847438690231E11
1315.82/1313.44	c cleaning 552 clauses out of 1382 for limit 2.7136757306226334E11
1316.01/1313.69	c cleaning 476 clauses out of 1330 for limit 4.650185093848438E11
1316.31/1313.93	c cleaning 509 clauses out of 1354 for limit 7.532846250233695E11
1316.51/1314.13	c cleaning 458 clauses out of 1346 for limit 1.2509014806055044E12
1316.71/1314.37	c cleaning 486 clauses out of 1387 for limit 1.9999221048332913E12
1317.01/1314.62	c cleaning 502 clauses out of 1401 for limit 3.26518124602726E12
1317.21/1314.86	c cleaning 485 clauses out of 1399 for limit 5.392418639490028E12
1317.41/1315.08	c cleaning 517 clauses out of 1414 for limit 8.798482878506797E12
1317.61/1315.28	c cleaning 678 clauses out of 1397 for limit 1.4686445013305424E13
1317.92/1315.53	c cleaning 541 clauses out of 1222 for limit 2.7771625882302617E13
1318.11/1315.76	c cleaning 512 clauses out of 1178 for limit 4.736740287530964E13
1318.31/1315.99	c cleaning 542 clauses out of 1166 for limit 7.89191138920645E13
1318.61/1316.22	c cleaning 490 clauses out of 1124 for limit 1.3501136450498823E14
1318.91/1316.50	c cleaning 498 clauses out of 1134 for limit 2.206883817990403E14
1319.02/1316.70	c cleaning 477 clauses out of 1136 for limit 3.6330391710093694E14
1319.21/1316.88	c cleaning 486 clauses out of 1159 for limit 5.872470757160931E14
1319.31/1316.97	c cleaning 526 clauses out of 1173 for limit 9.568903474117812E14
1319.41/1317.08	c cleaning 362 clauses out of 1148 for limit 1.614019199371565E15
1319.61/1317.20	c cleaning 499 clauses out of 1287 for limit 2.376634714853821E15
1319.71/1317.31	c cleaning 444 clauses out of 1286 for limit 3.9145953711609465E15
1319.81/1317.43	c cleaning 644 clauses out of 1342 for limit 6.18630343337247E-5
1319.91/1317.54	c cleaning 565 clauses out of 1198 for limit 1.1428330799306203E-4
1320.01/1317.64	c cleaning 487 clauses out of 1134 for limit 1.9930443599394752E-4
1320.12/1317.76	c cleaning 468 clauses out of 1147 for limit 3.2495445004301036E-4
1320.22/1317.88	c cleaning 390 clauses out of 1178 for limit 5.212691120110844E-4
1320.41/1318.03	c cleaning 386 clauses out of 1290 for limit 7.865792438558296E-4
1320.51/1318.16	c cleaning 428 clauses out of 1403 for limit 0.001191505075392148
1320.71/1318.30	c cleaning 471 clauses out of 1474 for limit 0.0018684326998631737
1320.81/1318.44	c cleaning 481 clauses out of 1503 for limit 0.0030218426695967264
1320.91/1318.55	c cleaning 499 clauses out of 1523 for limit 0.004922903529937382
1321.01/1318.66	c cleaning 472 clauses out of 1523 for limit 0.008110407968623516
1800.05/1797.21	c starts		: 22
1800.05/1797.21	c conflicts		: 1234592
1800.05/1797.21	c decisions		: 9320468
1800.05/1797.21	c propagations		: 1526770573
1800.05/1797.21	c inspects		: 7815846921
1800.05/1797.21	c learnt literals	: 28
1800.05/1797.21	c learnt binary clauses	: 122553
1800.05/1797.21	c learnt ternary clauses	: 80794
1800.05/1797.21	c learnt clauses	: 1234564
1800.05/1797.21	c root simplifications	: 0
1800.05/1797.21	c removed literals (reason simplification)	: 0
1800.05/1797.21	c reason swapping (by a shorter reason)	: 0
1800.05/1797.21	c Calls to reduceDB	: 233
1800.05/1797.21	c speed (decisions/second)	: 5187.995847585226
1800.05/1797.21	c non guided choices	21209
1800.05/1797.21	s UNKNOWN
1800.05/1797.21	c Total wall clock time (ms): 1797.108

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-3742426-1338768045/watcher-3742426-1338768045 -o /tmp/evaluation-result-3742426-1338768045/solver-3742426-1338768045 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742426-1338768045.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.96 2.01 2.00 3/195 14726
/proc/meminfo: memFree=26523372/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (java) R 14724 14726 14240 0 -1 4202496 1148 0 0 0 0 0 0 0 20 0 1 0 342928868 24780800 867 33554432000 1073741824 1073778376 140734635258416 140734635247480 254750365873 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 6050 867 654 9 0 385 0
[pid=14726/tid=14727] ppid=14724 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 342928869 24780800 867 33554432000 1073741824 1073778376 140734635258416 140734635247480 254750365873 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.0504259 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 14726
/proc/meminfo: memFree=26523372/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 3949 0 1 0 3 0 0 0 20 0 13 0 342928868 2686889984 5156 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 655979 5156 1708 9 0 646680 0
[pid=14726/tid=14727] ppid=14724 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 2766 0 1 0 2 0 0 0 20 0 13 0 342928869 2686889984 5156 33554432000 1073741824 1073778376 140734635258416 139788875747568 254753694989 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100289 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 14726
/proc/meminfo: memFree=26523372/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 4913 0 1 0 9 1 0 0 20 0 18 0 342928868 3028844544 6616 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 739464 6616 2127 9 0 729885 0
[pid=14726/tid=14727] ppid=14724 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3027 0 1 0 7 0 0 0 20 0 18 0 342928869 3028844544 6616 33554432000 1073741824 1073778376 140734635258416 139788875735720 139788878537236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300257 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 14726
/proc/meminfo: memFree=26523372/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 7429 0 1 0 53 2 0 0 20 0 18 0 342928868 3028844544 11069 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 739464 11069 2239 9 0 729885 0
[pid=14726/tid=14727] ppid=14724 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3048 0 1 0 26 1 0 0 20 0 18 0 342928869 3028844544 11069 33554432000 1073741824 1073778376 140734635258416 139788875735720 139788883516314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856

[startup+0.700264 s]
/proc/loadavg: 1.96 2.01 2.00 3/195 14726
/proc/meminfo: memFree=26523372/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=1.33 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 9273 0 1 0 129 4 0 0 20 0 19 0 342928868 3097006080 37163 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 37163 2267 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3114 0 1 0 64 3 0 0 20 0 19 0 342928869 3097006080 37163 33554432000 1073741824 1073778376 140734635258416 139788875750536 139788720097813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 1.96 2.01 2.00 3/214 14745
/proc/meminfo: memFree=26381008/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 9983 0 1 0 227 4 0 0 20 0 19 0 342928868 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 37588 2271 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3115 0 1 0 144 3 0 0 20 0 19 0 342928869 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788875751800 139788720526018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342928871 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 3745 0 0 0 44 0 0 0 20 0 19 0 342928874 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 1927 0 0 0 36 0 0 0 20 0 19 0 342928874 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 37588 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.97 2.01 2.00 3/214 14745
/proc/meminfo: memFree=26378200/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=3.93 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 9985 0 1 0 389 4 0 0 20 0 19 0 342928868 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 37589 2271 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3116 0 1 0 304 3 0 0 20 0 19 0 342928869 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788875751896 139788720893046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342928871 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 3745 0 0 0 45 0 0 0 20 0 19 0 342928874 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 1927 0 0 0 36 0 0 0 20 0 19 0 342928874 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 37589 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 1.97 2.01 2.00 3/214 14745
/proc/meminfo: memFree=26370388/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=7.18 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 10264 0 1 0 714 4 0 0 20 0 19 0 342928868 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 39080 2272 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3120 0 1 0 622 3 0 0 20 0 19 0 342928869 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788875751648 139788720751160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928870 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342928871 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 3856 0 0 0 49 0 0 0 20 0 19 0 342928874 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 2091 0 0 0 39 0 0 0 20 0 19 0 342928874 3097006080 39080 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 4063 0 0 0 55 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 2097 0 0 0 44 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 95 0 0 0 42 26 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.13
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 14779
/proc/meminfo: memFree=23332200/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=1725.15 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 12676 0 1 0 172387 128 0 0 20 0 19 0 342928868 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 414498 2302 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=1715.92 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3269 0 1 0 171558 34 0 0 20 0 19 0 342928869 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788875750704 139788720752094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 246 0 0 0 19 15 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 276 0 0 0 18 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 153 0 0 0 18 9 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 288 0 0 0 22 17 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 198 0 0 0 16 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 206 0 0 0 20 14 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 158 0 0 0 18 8 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 185 0 0 0 18 10 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 256 0 0 0 99 9 0 0 20 0 19 0 342928871 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 4063 0 0 0 55 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 2097 0 0 0 44 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 99 0 0 0 44 27 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.15
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14783
/proc/meminfo: memFree=23331696/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=1785.15 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 12680 0 1 0 178387 128 0 0 20 0 19 0 342928868 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 414498 2302 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=1775.76 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3269 0 1 0 177542 34 0 0 20 0 19 0 342928869 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788875750704 139788720776297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 246 0 0 0 19 15 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 276 0 0 0 18 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 153 0 0 0 18 9 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 288 0 0 0 22 17 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 198 0 0 0 16 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 206 0 0 0 20 14 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 158 0 0 0 18 8 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 185 0 0 0 18 10 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 256 0 0 0 99 9 0 0 20 0 19 0 342928871 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 4063 0 0 0 55 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 2097 0 0 0 44 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 103 0 0 0 46 28 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 14841
/proc/meminfo: memFree=24992820/32873844 swapFree=7628/7628
[pid=14726] ppid=14724 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/14726/stat : 14726 (java) S 14724 14726 14240 0 -1 4202496 12680 0 1 0 179877 128 0 0 20 0 19 0 342928868 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 140734635249552 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14726/statm: 756105 414498 2302 9 0 746526 0
[pid=14726/tid=14727] ppid=14724 vsize=3024420 CPUtime=1790.63 cores=0,2,4,6
/proc/14726/task/14727/stat : 14727 (java) R 14724 14726 14240 0 -1 4202560 3269 0 1 0 179028 35 0 0 20 0 19 0 342928869 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788875750704 139788720776306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14729] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14729/stat : 14729 (java) S 14724 14726 14240 0 -1 4202560 246 0 0 0 19 15 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788859177256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14730] ppid=14724 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/14726/task/14730/stat : 14730 (java) S 14724 14726 14240 0 -1 4202560 276 0 0 0 18 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788858124456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14731] ppid=14724 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/14726/task/14731/stat : 14731 (java) S 14724 14726 14240 0 -1 4202560 153 0 0 0 18 9 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788857072168 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14732] ppid=14724 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/14726/task/14732/stat : 14732 (java) S 14724 14726 14240 0 -1 4202560 288 0 0 0 22 17 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788856019368 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14733] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14733/stat : 14733 (java) S 14724 14726 14240 0 -1 4202560 198 0 0 0 16 12 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788854967080 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14734] ppid=14724 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/14726/task/14734/stat : 14734 (java) S 14724 14726 14240 0 -1 4202560 206 0 0 0 20 14 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788853914280 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14735] ppid=14724 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/14726/task/14735/stat : 14735 (java) S 14724 14726 14240 0 -1 4202560 158 0 0 0 18 8 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788852861992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14726/tid=14736] ppid=14724 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/14726/task/14736/stat : 14736 (java) S 14724 14726 14240 0 -1 4202560 185 0 0 0 18 10 0 0 20 0 19 0 342928870 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788851809192 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14737] ppid=14724 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/14726/task/14737/stat : 14737 (java) S 14724 14726 14240 0 -1 4202560 256 0 0 0 99 9 0 0 20 0 19 0 342928871 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788839397608 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14738/stat : 14738 (java) S 14724 14726 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788720006136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14739] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14739/stat : 14739 (java) S 14724 14726 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928872 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788718953736 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14740] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14740/stat : 14740 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788717902224 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14741] ppid=14724 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/14726/task/14741/stat : 14741 (java) S 14724 14726 14240 0 -1 4202560 4063 0 0 0 55 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788716849848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14726/tid=14742] ppid=14724 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/14726/task/14742/stat : 14742 (java) S 14724 14726 14240 0 -1 4202560 2097 0 0 0 44 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788715797048 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14743] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14743/stat : 14743 (java) S 14724 14726 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788714744952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14726/tid=14744] ppid=14724 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/14726/task/14744/stat : 14744 (java) S 14724 14726 14240 0 -1 4202560 103 0 0 0 46 28 0 0 20 0 19 0 342928874 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788713692360 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14726/tid=14745] ppid=14724 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/14726/task/14745/stat : 14745 (java) S 14724 14726 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928935 3097006080 414498 33554432000 1073741824 1073778376 140734635258416 139788711560104 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

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

Real time (s): 1797.22
CPU time (s): 1800.05
CPU user time (s): 1798.77
CPU system time (s): 1.28
CPU usage (%): 100.157
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.83172
maximum resident set size= 1658224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12711
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38067
involuntary context switches= 8248

runsolver used 6.99894 second user time and 14.2438 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 02:00:45
IDJOB=3742426
IDBENCH=90184
IDSOLVER=2319
FILE ID=node145/3742426-1338768045
RUNJOBID= node145-1338762649-14256
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= 786bb841dd145412a2aec0a596e79174
RANDOM SEED=1987444406

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26524140 kB
Buffers:          452128 kB
Cached:          4879232 kB
SwapCached:            0 kB
Active:          1839220 kB
Inactive:        3643548 kB
Active(anon):     142544 kB
Inactive(anon):    10916 kB
Active(file):    1696676 kB
Inactive(file):  3632632 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10172 kB
Writeback:             0 kB
AnonPages:        135948 kB
Mapped:            22204 kB
Shmem:               200 kB
Slab:             727076 kB
SReclaimable:     167860 kB
SUnreclaim:       559216 kB
KernelStack:        1600 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1823320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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= 70916 MiB
End job on node145 at 2012-06-04 02:30:44