Trace number 3741867

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.68 1796.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
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 variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 89
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3741867-1338756587.opb
0.08/0.10	c reading problem ... 
0.79/0.43	c ... done. Wall clock time 0.326s.
0.79/0.43	c CPU time (experimental) 0.39s.
0.79/0.43	c #vars     5984
0.79/0.43	c #constraints  6160
772.71/770.25	c cleaning 300292 clauses out of 600974 for limit 2.3052631134235134E-5
773.82/771.32	c cleaning 150475 clauses out of 301182 for limit 7.585829177600518E-5
774.22/771.76	c cleaning 75442 clauses out of 151208 for limit 2.4942943406912056E-4
774.53/772.02	c cleaning 37682 clauses out of 76266 for limit 8.155439838691649E-4
774.73/772.25	c cleaning 19076 clauses out of 39088 for limit 0.002634685867784596
774.93/772.42	c cleaning 9732 clauses out of 20508 for limit 0.008248345094972416
775.03/772.54	c cleaning 5156 clauses out of 11276 for limit 0.024739501894136148
775.13/772.62	c cleaning 2878 clauses out of 6619 for limit 0.06943445205998225
775.13/772.69	c cleaning 1671 clauses out of 4242 for limit 0.1788492520732881
775.23/772.77	c cleaning 1146 clauses out of 3070 for limit 0.40713720629353134
775.33/772.83	c cleaning 839 clauses out of 2424 for limit 0.85035924809757
775.33/772.89	c cleaning 670 clauses out of 2085 for limit 1.6303651461631672
775.42/772.96	c cleaning 563 clauses out of 1916 for limit 2.928773833589306
775.53/773.02	c cleaning 516 clauses out of 1853 for limit 4.994152597941689
775.53/773.09	c cleaning 470 clauses out of 1839 for limit 8.315347608704094
775.63/773.18	c cleaning 469 clauses out of 1866 for limit 13.474195687506038
775.73/773.24	c cleaning 598 clauses out of 1897 for limit 21.857628784023618
775.73/773.30	c cleaning 540 clauses out of 1800 for limit 38.026667777694335
775.83/773.35	c cleaning 538 clauses out of 1760 for limit 64.13631369752152
775.93/773.41	c cleaning 505 clauses out of 1721 for limit 108.05806031034433
775.93/773.46	c cleaning 519 clauses out of 1716 for limit 178.7214343717726
776.02/773.52	c cleaning 499 clauses out of 1698 for limit 298.1581174905353
776.02/773.58	c cleaning 482 clauses out of 1698 for limit 491.2109199986247
776.12/773.64	c cleaning 729 clauses out of 1716 for limit 801.5752559021162
776.22/773.70	c cleaning 614 clauses out of 1487 for limit 1525.4799515400005
776.22/773.76	c cleaning 554 clauses out of 1373 for limit 2724.6004413857277
776.32/773.83	c cleaning 482 clauses out of 1319 for limit 4677.183956803291
776.42/773.90	c cleaning 507 clauses out of 1337 for limit 7609.458040624511
776.42/773.96	c cleaning 501 clauses out of 1330 for limit 12615.061727674589
776.52/774.02	c cleaning 520 clauses out of 1329 for limit 20819.57821991117
776.52/774.09	c cleaning 535 clauses out of 1309 for limit 34858.85744998745
776.62/774.16	c cleaning 480 clauses out of 1274 for limit 59066.230238492135
776.72/774.21	c cleaning 486 clauses out of 1295 for limit 95924.44879040153
776.72/774.27	c cleaning 500 clauses out of 1308 for limit 156463.38147796967
776.83/774.33	c cleaning 459 clauses out of 1308 for limit 258029.04735387047
776.83/774.39	c cleaning 453 clauses out of 1349 for limit 412591.5034945612
776.93/774.45	c cleaning 480 clauses out of 1396 for limit 657510.5092047628
777.02/774.51	c cleaning 475 clauses out of 1416 for limit 1069007.4962188026
777.02/774.57	c cleaning 468 clauses out of 1441 for limit 1732351.0761063315
777.12/774.63	c cleaning 587 clauses out of 1476 for limit 2797518.426794763
777.22/774.70	c cleaning 522 clauses out of 1386 for limit 4898334.450449228
777.22/774.75	c cleaning 504 clauses out of 1364 for limit 8208299.260705661
777.32/774.81	c cleaning 669 clauses out of 1360 for limit 1.3576397048614154E7
777.32/774.86	c cleaning 557 clauses out of 1191 for limit 2.5566281388289772E7
777.42/774.90	c cleaning 396 clauses out of 1137 for limit 4.429740482162439E7
777.42/774.95	c cleaning 619 clauses out of 1238 for limit 6.689142614994982E7
777.52/775.01	c cleaning 540 clauses out of 1120 for limit 1.2205722056578696E8
777.52/775.07	c cleaning 420 clauses out of 1080 for limit 2.087438217260368E8
777.62/775.12	c cleaning 492 clauses out of 1160 for limit 3.2050535022164714E8
777.62/775.18	c cleaning 471 clauses out of 1167 for limit 5.2486038183036673E8
777.72/775.25	c cleaning 425 clauses out of 1196 for limit 8.445772044866467E8
777.82/775.30	c cleaning 496 clauses out of 1271 for limit 1.3106323144577045E9
777.82/775.37	c cleaning 475 clauses out of 1275 for limit 2.154627131889707E9
777.93/775.41	c cleaning 495 clauses out of 1300 for limit 3.4849362970903244E9
777.93/775.47	c cleaning 537 clauses out of 1306 for limit 5.726449273500682E9
778.03/775.52	c cleaning 482 clauses out of 1269 for limit 9.719028593397337E9
778.03/775.58	c cleaning 625 clauses out of 1286 for limit 1.5800283831685173E10
778.12/775.64	c cleaning 475 clauses out of 1164 for limit 2.8874355498685806E10
778.12/775.69	c cleaning 444 clauses out of 1186 for limit 4.6594316152949745E10
778.22/775.75	c cleaning 606 clauses out of 1242 for limit 7.337564338663562E10
778.22/775.79	c cleaning 561 clauses out of 1139 for limit 1.3234551139245438E11
778.32/775.85	c cleaning 532 clauses out of 1078 for limit 2.3060571534326114E11
778.42/775.91	c cleaning 451 clauses out of 1043 for limit 3.9188340309031024E11
778.42/775.96	c cleaning 395 clauses out of 1092 for limit 6.172689447501909E11
778.52/776.02	c cleaning 452 clauses out of 1199 for limit 9.289723625311903E11
778.52/776.07	c cleaning 614 clauses out of 1247 for limit 1.4730293842135876E12
778.62/776.12	c cleaning 418 clauses out of 1132 for limit 2.6733314780298584E12
778.62/776.18	c cleaning 448 clauses out of 1213 for limit 4.1101702683958853E12
778.74/776.23	c cleaning 514 clauses out of 1266 for limit 6.500957208131201E12
778.74/776.29	c cleaning 455 clauses out of 1252 for limit 1.0840830925143605E13
778.84/776.36	c cleaning 527 clauses out of 1296 for limit 1.725374097172225E13
778.94/776.43	c cleaning 460 clauses out of 1269 for limit 2.9059125473915727E13
778.94/776.49	c cleaning 439 clauses out of 1309 for limit 4.645798856409273E13
779.05/776.55	c cleaning 477 clauses out of 1370 for limit 7.320409385295333E13
779.15/776.60	c cleaning 505 clauses out of 1393 for limit 1.1873006536240278E14
779.15/776.65	c cleaning 682 clauses out of 1388 for limit 1.9650709896308847E14
779.24/776.71	c cleaning 558 clauses out of 1206 for limit 3.729720516434906E14
779.24/776.76	c cleaning 455 clauses out of 1148 for limit 6.461563196977688E14
779.34/776.82	c cleaning 438 clauses out of 1193 for limit 1.0254038121264514E15
779.34/776.87	c cleaning 378 clauses out of 1257 for limit 1.60814425736438E15
779.44/776.93	c cleaning 543 clauses out of 1377 for limit 2.416090541146266E15
779.44/776.98	c cleaning 413 clauses out of 1335 for limit 4.11392413359994E15
779.54/777.02	c cleaning 682 clauses out of 1422 for limit 6.369331234214497E-5
779.54/777.07	c cleaning 582 clauses out of 1239 for limit 1.2043244405614769E-4
779.64/777.13	c cleaning 473 clauses out of 1159 for limit 2.1274349075255415E-4
779.64/777.18	c cleaning 462 clauses out of 1186 for limit 3.4285533755478147E-4
779.74/777.24	c cleaning 421 clauses out of 1222 for limit 5.476603019315482E-4
779.74/777.30	c cleaning 369 clauses out of 1301 for limit 8.483226405380457E-4
779.84/777.35	c cleaning 406 clauses out of 1432 for limit 0.0012710166023648549
779.94/777.41	c cleaning 488 clauses out of 1526 for limit 0.0019669603016707975
779.94/777.47	c cleaning 583 clauses out of 1538 for limit 0.0032184715907249985
780.04/777.53	c cleaning 542 clauses out of 1455 for limit 0.005610465667954696
780.04/777.59	c cleaning 514 clauses out of 1413 for limit 0.009527426951053726
780.15/777.64	c cleaning 472 clauses out of 1399 for limit 0.015869233923452436
780.15/777.69	c cleaning 502 clauses out of 1427 for limit 0.025656983232922828
780.25/777.75	c cleaning 467 clauses out of 1425 for limit 0.042371182660101155
780.34/777.81	c cleaning 516 clauses out of 1459 for limit 0.06831570545440986
780.34/777.86	c cleaning 485 clauses out of 1444 for limit 0.11394599230476812
780.44/777.92	c cleaning 480 clauses out of 1457 for limit 0.1858632640423485
780.44/777.98	c cleaning 504 clauses out of 1477 for limit 0.3023629008073799
780.54/778.04	c cleaning 499 clauses out of 1474 for limit 0.5001518894403734
780.64/778.11	c cleaning 492 clauses out of 1477 for limit 0.8247908086001097
780.64/778.19	c cleaning 501 clauses out of 1482 for limit 1.3515386069574633
780.74/778.25	c cleaning 497 clauses out of 1481 for limit 2.2303729434685464
780.84/778.32	c cleaning 508 clauses out of 1484 for limit 3.670747677091571
780.84/778.38	c cleaning 487 clauses out of 1478 for limit 6.090303143392523
780.94/778.46	c cleaning 519 clauses out of 1489 for limit 9.949597446082286
781.04/778.53	c cleaning 506 clauses out of 1473 for limit 16.636305353341175
781.14/778.60	c cleaning 482 clauses out of 1464 for limit 27.521424234090762
781.14/778.68	c cleaning 485 clauses out of 1482 for limit 44.83525715059297
781.25/778.76	c cleaning 508 clauses out of 1497 for limit 73.19846187453426
781.35/778.83	c cleaning 520 clauses out of 1489 for limit 121.36262038373368
781.35/778.89	c cleaning 502 clauses out of 1469 for limit 202.86808696919482
781.44/778.95	c cleaning 489 clauses out of 1467 for limit 335.0127245233852
781.54/779.03	c cleaning 478 clauses out of 1478 for limit 548.3689671930326
781.64/779.10	c cleaning 490 clauses out of 1500 for limit 891.0702241889132
781.64/779.17	c cleaning 485 clauses out of 1510 for limit 1459.7622565524277
781.74/779.25	c cleaning 490 clauses out of 1526 for limit 2384.4869110784284
781.84/779.32	c cleaning 527 clauses out of 1535 for limit 3905.372572589076
781.84/779.39	c cleaning 503 clauses out of 1508 for limit 6555.79549019795
781.94/779.47	c cleaning 518 clauses out of 1505 for limit 10832.93471309346
782.04/779.53	c cleaning 501 clauses out of 1487 for limit 18081.212247265925
782.14/779.60	c cleaning 498 clauses out of 1486 for limit 29838.40403325685
782.14/779.67	c cleaning 478 clauses out of 1488 for limit 49141.38082138488
782.24/779.77	c cleaning 465 clauses out of 1512 for limit 79914.09878232486
782.35/779.83	c cleaning 540 clauses out of 1545 for limit 128716.3088012584
782.35/779.88	c cleaning 522 clauses out of 1506 for limit 217985.44057024128
782.45/779.94	c cleaning 510 clauses out of 1483 for limit 364697.4139394261
782.54/780.02	c cleaning 668 clauses out of 1473 for limit 605517.8845166821
782.54/780.08	c cleaning 602 clauses out of 1305 for limit 1127132.8234114293
782.64/780.15	c cleaning 514 clauses out of 1203 for limit 2016396.1914153504
782.74/780.20	c cleaning 591 clauses out of 1189 for limit 3364461.2305848543
782.74/780.26	c cleaning 530 clauses out of 1098 for limit 6008290.598651783
782.84/780.32	c cleaning 488 clauses out of 1068 for limit 1.0186802920562208E7
782.84/780.37	c cleaning 451 clauses out of 1080 for limit 1.6612740773430733E7
782.94/780.43	c cleaning 479 clauses out of 1133 for limit 2.621978149195028E7
782.94/780.49	c cleaning 470 clauses out of 1150 for limit 4.243058089504993E7
783.04/780.55	c cleaning 495 clauses out of 1180 for limit 6.819471167891668E7
783.14/780.61	c cleaning 503 clauses out of 1186 for limit 1.1200525899503097E8
783.14/780.66	c cleaning 488 clauses out of 1182 for limit 1.8515140088644084E8
783.24/780.72	c cleaning 489 clauses out of 1194 for limit 3.022706911913766E8
783.24/780.78	c cleaning 581 clauses out of 1205 for limit 4.939343231104522E8
783.34/780.84	c cleaning 559 clauses out of 1125 for limit 8.733616730273902E8
783.34/780.90	c cleaning 466 clauses out of 1065 for limit 1.5199119135437825E9
783.45/780.95	c cleaning 493 clauses out of 1100 for limit 2.429213805192951E9
783.45/781.00	c cleaning 429 clauses out of 1106 for limit 3.98038127006883E9
783.55/781.04	c cleaning 524 clauses out of 1177 for limit 6.168211051356767E9
783.55/781.09	c cleaning 416 clauses out of 1153 for limit 1.0383942334100681E10
783.64/781.13	c cleaning 438 clauses out of 1237 for limit 1.5961649220057535E10
783.64/781.19	c cleaning 472 clauses out of 1299 for limit 2.5066528837956295E10
783.74/781.24	c cleaning 650 clauses out of 1327 for limit 4.046581699535601E10
783.84/781.30	c cleaning 560 clauses out of 1177 for limit 7.523824560030992E10
783.84/781.36	c cleaning 484 clauses out of 1117 for limit 1.3074281663786221E11
783.94/781.42	c cleaning 494 clauses out of 1133 for limit 2.1256755986166693E11
783.94/781.47	c cleaning 454 clauses out of 1140 for limit 3.48748577181686E11
784.04/781.52	c cleaning 461 clauses out of 1185 for limit 5.527392700666775E11
784.04/781.57	c cleaning 604 clauses out of 1227 for limit 8.829854162151178E11
784.14/781.63	c cleaning 470 clauses out of 1120 for limit 1.5904954182747666E12
784.14/781.68	c cleaning 437 clauses out of 1152 for limit 2.5551881018264414E12
784.24/781.74	c cleaning 498 clauses out of 1214 for limit 3.994643657455874E12
784.34/781.80	c cleaning 524 clauses out of 1215 for limit 6.575697528426534E12
784.34/781.85	c cleaning 590 clauses out of 1191 for limit 1.1062727926217385E13
784.44/781.90	c cleaning 512 clauses out of 1101 for limit 1.9735246766626938E13
784.44/781.95	c cleaning 419 clauses out of 1089 for limit 3.290469634483307E13
784.55/782.00	c cleaning 460 clauses out of 1170 for limit 5.050749067909668E13
784.55/782.06	c cleaning 586 clauses out of 1210 for limit 8.054010116878392E13
784.65/782.12	c cleaning 541 clauses out of 1125 for limit 1.429997958492258E14
784.65/782.17	c cleaning 449 clauses out of 1083 for limit 2.4472642077453316E14
784.74/782.23	c cleaning 517 clauses out of 1134 for limit 3.854358863616703E14
784.74/782.28	c cleaning 450 clauses out of 1117 for limit 6.453092880636375E14
784.84/782.34	c cleaning 487 clauses out of 1167 for limit 1.0186057422374148E15
784.84/782.38	c cleaning 443 clauses out of 1180 for limit 1.6613106756194438E15
784.94/782.43	c cleaning 479 clauses out of 1237 for limit 2.6134792152867885E15
784.94/782.49	c cleaning 509 clauses out of 1258 for limit 4.2380297016612355E15
785.04/782.55	c cleaning 512 clauses out of 1250 for limit 7.040848879150477E15
785.04/782.60	c cleaning 597 clauses out of 1237 for limit 1.1721594995878257E-4
785.14/782.65	c cleaning 491 clauses out of 1141 for limit 2.0977859171049108E-4
785.14/782.69	c cleaning 486 clauses out of 1151 for limit 3.432905789952601E-4
785.24/782.74	c cleaning 436 clauses out of 1163 for limit 5.591706366261353E-4
785.24/782.79	c cleaning 494 clauses out of 1228 for limit 8.742106726823144E-4
785.34/782.84	c cleaning 501 clauses out of 1233 for limit 0.0014344082343087552
785.34/782.90	c cleaning 497 clauses out of 1232 for limit 0.0023674511439961614
785.44/782.95	c cleaning 502 clauses out of 1235 for limit 0.003894759655729341
785.54/783.00	c cleaning 490 clauses out of 1233 for limit 0.006433398162485521
785.54/783.05	c cleaning 461 clauses out of 1246 for limit 0.010530400460628059
785.54/783.10	c cleaning 449 clauses out of 1282 for limit 0.016827796681988947
785.65/783.16	c cleaning 484 clauses out of 1333 for limit 0.026689535710320053
785.75/783.21	c cleaning 486 clauses out of 1349 for limit 0.04349257345669859
785.75/783.28	c cleaning 497 clauses out of 1364 for limit 0.07100731382216831
785.84/783.34	c cleaning 481 clauses out of 1370 for limit 0.11693817434019978
785.94/783.41	c cleaning 507 clauses out of 1386 for limit 0.19004917900815033
785.94/783.48	c cleaning 493 clauses out of 1379 for limit 0.3150074673133614
786.04/783.55	c cleaning 489 clauses out of 1385 for limit 0.5167217197541026
786.14/783.60	c cleaning 495 clauses out of 1396 for limit 0.8454286459256615
786.14/783.67	c cleaning 492 clauses out of 1401 for limit 1.3892491159364209
786.24/783.74	c cleaning 491 clauses out of 1409 for limit 2.2780495083632784
786.34/783.81	c cleaning 516 clauses out of 1418 for limit 3.732964050313524
786.34/783.87	c cleaning 495 clauses out of 1402 for limit 6.226412821865847
786.44/783.94	c cleaning 501 clauses out of 1407 for limit 10.23169804719434
786.54/784.01	c cleaning 493 clauses out of 1406 for limit 16.885439875265405
786.54/784.08	c cleaning 507 clauses out of 1413 for limit 27.708398473285623
786.64/784.15	c cleaning 494 clauses out of 1408 for limit 45.94897651395519
786.75/784.23	c cleaning 485 clauses out of 1412 for limit 75.41029916873799
786.75/784.30	c cleaning 493 clauses out of 1428 for limit 123.09135480892945
786.85/784.38	c cleaning 502 clauses out of 1435 for limit 202.00389577141672
786.94/784.45	c cleaning 492 clauses out of 1432 for limit 333.49551945360463
787.04/784.53	c cleaning 499 clauses out of 1440 for limit 546.9232884457866
787.14/784.62	c cleaning 492 clauses out of 1441 for limit 901.3237494651756
787.14/784.69	c cleaning 501 clauses out of 1450 for limit 1478.6561435606534
1800.04/1796.51	c starts		: 22
1800.04/1796.51	c conflicts		: 1239461
1800.04/1796.51	c decisions		: 3566894
1800.04/1796.51	c propagations		: 391709422
1800.04/1796.51	c inspects		: 10660549689
1800.04/1796.51	c learnt literals	: 31
1800.04/1796.51	c learnt binary clauses	: 46656
1800.04/1796.51	c learnt ternary clauses	: 35501
1800.04/1796.51	c learnt clauses	: 1239430
1800.04/1796.51	c root simplifications	: 0
1800.04/1796.51	c removed literals (reason simplification)	: 0
1800.04/1796.51	c reason swapping (by a shorter reason)	: 0
1800.04/1796.51	c Calls to reduceDB	: 209
1800.04/1796.51	c speed (decisions/second)	: 1985.9393321210596
1800.04/1796.51	c non guided choices	2636
1800.04/1796.51	s UNKNOWN
1800.04/1796.51	c Total wall clock time (ms): 1796.406

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-3741867-1338756587/watcher-3741867-1338756587 -o /tmp/evaluation-result-3741867-1338756587/solver-3741867-1338756587 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741867-1338756587.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: 2.02 2.01 2.00 3/194 11914
/proc/meminfo: memFree=25395644/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11914/stat : 11914 (java) D 11912 11914 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341786109 9515008 182 33554432000 1073741824 1073778376 140734323466256 140734323457288 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 2323 182 140 9 0 71 0

[startup+0.098307 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 11914
/proc/meminfo: memFree=25395644/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 4829 0 1 0 8 0 0 0 20 0 18 0 341786109 3028844544 6539 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 739464 6550 2075 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.100198 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 11914
/proc/meminfo: memFree=25395644/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 4908 0 1 0 8 0 0 0 20 0 18 0 341786109 3028844544 6617 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 739464 6617 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300261 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 11914
/proc/meminfo: memFree=25395644/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=2957856 CPUtime=0.51 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 8372 0 1 0 50 1 0 0 20 0 18 0 341786109 3028844544 10730 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 739464 10730 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700278 s]
/proc/loadavg: 2.02 2.01 2.00 3/194 11914
/proc/meminfo: memFree=25395644/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=1.36 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 9662 0 1 0 134 2 0 0 20 0 19 0 341786109 3097006080 17175 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 17175 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 3024420

[startup+1.5006 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11933
/proc/meminfo: memFree=25332816/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 9670 0 1 0 219 3 0 0 20 0 19 0 341786109 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 17693 2272 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3083 0 1 0 144 1 0 0 20 0 19 0 341786110 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669981118512 140669853516087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341786112 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3087 0 0 0 35 0 0 0 20 0 19 0 341786115 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2304 0 0 0 37 0 0 0 20 0 19 0 341786115 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 17693 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11933
/proc/meminfo: memFree=25327976/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=3.84 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 9674 0 1 0 381 3 0 0 20 0 19 0 341786109 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 19229 2272 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3087 0 1 0 303 2 0 0 20 0 19 0 341786110 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669981118888 140669853516475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341786112 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3087 0 0 0 36 0 0 0 20 0 19 0 341786115 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2304 0 0 0 38 0 0 0 20 0 19 0 341786115 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 19229 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420

[startup+6.30068 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 11933
/proc/meminfo: memFree=25315328/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=7.04 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 9683 0 1 0 701 3 0 0 20 0 19 0 341786109 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 22800 2273 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3095 0 1 0 623 2 0 0 20 0 19 0 341786110 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669981116960 140669853582307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341786111 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341786112 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3087 0 0 0 36 0 0 0 20 0 19 0 341786115 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2304 0 0 0 39 0 0 0 20 0 19 0 341786115 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 22800 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 259 0 0 0 32 16 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 226 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 205 0 0 0 20 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 206 0 0 0 133 6 0 0 20 0 19 0 341786112 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3097 0 0 0 40 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2384 0 0 0 45 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 100 0 0 0 43 33 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.82
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/213 12030
/proc/meminfo: memFree=23724180/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=1785.84 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 12151 0 1 0 178438 146 0 0 20 0 19 0 341786109 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 418303 2302 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=1780.09 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3278 0 1 0 177974 35 0 0 20 0 19 0 341786110 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669981117744 140669853515952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 209 0 0 0 32 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 203 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 238 0 0 0 22 14 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 317 0 0 0 23 18 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 243 0 0 0 23 15 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 259 0 0 0 32 16 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 226 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 205 0 0 0 20 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 206 0 0 0 133 6 0 0 20 0 19 0 341786112 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3097 0 0 0 40 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2384 0 0 0 45 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 104 0 0 0 45 33 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.84
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.05 2.04 2.00 3/213 12030
/proc/meminfo: memFree=23724060/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 12151 0 1 0 179858 146 0 0 20 0 19 0 341786109 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 418303 2302 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=1794.3 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3278 0 1 0 179395 35 0 0 20 0 19 0 341786110 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669981117744 140669853578967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 209 0 0 0 32 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 203 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 238 0 0 0 22 14 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 317 0 0 0 23 18 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 243 0 0 0 23 15 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 259 0 0 0 32 16 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 226 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 205 0 0 0 20 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 206 0 0 0 133 6 0 0 20 0 19 0 341786112 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3097 0 0 0 40 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2384 0 0 0 45 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 104 0 0 0 46 33 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.5 s]
/proc/loadavg: 2.05 2.04 2.00 3/213 12030
/proc/meminfo: memFree=23724060/32873648 swapFree=7120/7120
[pid=11914] ppid=11912 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/11914/stat : 11914 (java) S 11912 11914 11123 0 -1 4202496 12151 0 1 0 179858 146 0 0 20 0 19 0 341786109 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140736086908272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11914/statm: 756105 418303 2302 9 0 746526 0
[pid=11914/tid=11916] ppid=11912 vsize=3024420 CPUtime=1794.3 cores=0,2,4,6
/proc/11914/task/11916/stat : 11916 (java) R 11912 11914 11123 0 -1 4202560 3278 0 1 0 179395 35 0 0 20 0 19 0 341786110 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669981117744 140669853578967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11917] ppid=11912 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/11914/task/11917/stat : 11917 (java) S 11912 11914 11123 0 -1 4202560 209 0 0 0 32 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669847071528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11918] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11918/stat : 11918 (java) S 11912 11914 11123 0 -1 4202560 203 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669846018728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11919] ppid=11912 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/11914/task/11919/stat : 11919 (java) S 11912 11914 11123 0 -1 4202560 238 0 0 0 22 14 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669844966440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11920] ppid=11912 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/11914/task/11920/stat : 11920 (java) S 11912 11914 11123 0 -1 4202560 317 0 0 0 23 18 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669843913640 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11914/tid=11921] ppid=11912 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/11914/task/11921/stat : 11921 (java) S 11912 11914 11123 0 -1 4202560 243 0 0 0 23 15 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669641287976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11922] ppid=11912 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/11914/task/11922/stat : 11922 (java) S 11912 11914 11123 0 -1 4202560 259 0 0 0 32 16 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669640235176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11923] ppid=11912 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/11914/task/11923/stat : 11923 (java) S 11912 11914 11123 0 -1 4202560 226 0 0 0 23 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669639182888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11924] ppid=11912 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/11914/task/11924/stat : 11924 (java) S 11912 11914 11123 0 -1 4202560 205 0 0 0 20 12 0 0 20 0 19 0 341786111 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669638130088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11925] ppid=11912 vsize=3024420 CPUtime=1.39 cores=0,2,4,6
/proc/11914/task/11925/stat : 11925 (java) S 11912 11914 11123 0 -1 4202560 206 0 0 0 133 6 0 0 20 0 19 0 341786112 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669625932520 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11926] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11926/stat : 11926 (java) S 11912 11914 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669624878584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11927] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11927/stat : 11927 (java) S 11912 11914 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341786113 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669623826184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11928] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11928/stat : 11928 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669622774672 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11914/tid=11929] ppid=11912 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/11914/task/11929/stat : 11929 (java) S 11912 11914 11123 0 -1 4202560 3097 0 0 0 40 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669621721272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11930] ppid=11912 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/11914/task/11930/stat : 11930 (java) S 11912 11914 11123 0 -1 4202560 2384 0 0 0 45 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669620668472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11931] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11931/stat : 11931 (java) S 11912 11914 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669619616376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11914/tid=11932] ppid=11912 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/11914/task/11932/stat : 11932 (java) S 11912 11914 11123 0 -1 4202560 104 0 0 0 46 33 0 0 20 0 19 0 341786115 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669618563784 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11914/tid=11933] ppid=11912 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/11914/task/11933/stat : 11933 (java) S 11912 11914 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341786153 3097006080 418303 33554432000 1073741824 1073778376 140736086917136 140669616432552 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.52
CPU time (s): 1800.68
CPU user time (s): 1798.7
CPU system time (s): 1.9817
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.9817
maximum resident set size= 1673328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12182
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38110
involuntary context switches= 3366

runsolver used 10.3014 second user time and 10.5924 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 22:49:47
IDJOB=3741867
IDBENCH=90114
IDSOLVER=2319
FILE ID=node114/3741867-1338756587
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=53271055

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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.242
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:       32873648 kB
MemFree:        25395644 kB
Buffers:         1062184 kB
Cached:          3726600 kB
SwapCached:         2244 kB
Active:          4599104 kB
Inactive:        1872212 kB
Active(anon):    1669448 kB
Inactive(anon):     8360 kB
Active(file):    2929656 kB
Inactive(file):  1863852 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:       1680568 kB
Mapped:            19172 kB
Shmem:               100 kB
Slab:             865404 kB
SReclaimable:     309264 kB
SUnreclaim:       556140 kB
KernelStack:        1616 kB
PageTables:         7588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1829484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-03 23:19:46