Trace number 3742088

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark510.634
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
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 94
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version	1.6.0_24
0.00/0.07	c os.name	Linux
0.00/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch	amd64
0.00/0.07	c Free memory 1599470296
0.00/0.07	c Max memory 1607860224
0.00/0.07	c Total memory 1607860224
0.00/0.07	c Number of processors 8
0.08/0.09	--- Begin Solver configuration ---
0.08/0.09	c Stops conflict analysis at the first Unique Implication Point
0.08/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.09	c Learn all clauses as in MiniSAT
0.08/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.09	c No reason simplification
0.08/0.09	c --- End Solver configuration ---
0.08/0.09	c solving HOME/instance-3742088-1338761730.opb
0.08/0.09	c reading problem ... 
0.80/0.41	c ... done. Wall clock time 0.319s.
0.80/0.41	c CPU time (experimental) 0.39s.
0.80/0.41	c #vars     6324
0.80/0.41	c #constraints  6510
694.88/692.61	c cleaning 289973 clauses out of 580972 for limit 4866150.114941328
696.09/693.84	c cleaning 145403 clauses out of 291499 for limit 1.599408950581041E7
696.69/694.43	c cleaning 72587 clauses out of 146596 for limit 5.244817222054912E7
696.99/694.71	c cleaning 36569 clauses out of 74509 for limit 1.7017651697224572E8
697.29/695.01	c cleaning 18551 clauses out of 38445 for limit 5.466343840929534E8
697.50/695.24	c cleaning 9441 clauses out of 20389 for limit 1.6913138819279056E9
697.59/695.37	c cleaning 5052 clauses out of 11448 for limit 4.9675975658255825E9
697.69/695.46	c cleaning 2834 clauses out of 6896 for limit 1.3599866979377398E10
697.79/695.53	c cleaning 2212 clauses out of 4562 for limit 3.3902562044245056E10
697.79/695.59	c cleaning 1277 clauses out of 2850 for limit 8.949501133293413E10
697.89/695.65	c cleaning 946 clauses out of 2074 for limit 2.0301369423030722E11
697.99/695.71	c cleaning 453 clauses out of 1629 for limit 4.2668109468506287E11
697.99/695.77	c cleaning 326 clauses out of 1674 for limit 6.833699770782933E11
698.09/695.84	c cleaning 301 clauses out of 1848 for limit 1.0208578402362977E12
698.19/695.90	c cleaning 410 clauses out of 2047 for limit 1.519865929982064E12
698.19/695.98	c cleaning 1037 clauses out of 2137 for limit 2.4009022978635957E12
698.29/696.07	c cleaning 613 clauses out of 1602 for limit 5.292262876255948E12
698.39/696.15	c cleaning 373 clauses out of 1490 for limit 9.39308063074487E12
698.50/696.21	c cleaning 400 clauses out of 1614 for limit 1.4257492115018736E13
698.50/696.26	c cleaning 250 clauses out of 1714 for limit 2.2140720008734992E13
698.60/696.31	c cleaning 475 clauses out of 1965 for limit 3.188088740902116E13
698.60/696.35	c cleaning 378 clauses out of 1989 for limit 5.188950746137664E13
698.60/696.39	c cleaning 443 clauses out of 2111 for limit 8.062727559536562E13
698.69/696.46	c cleaning 535 clauses out of 2168 for limit 1.294693082651708E14
698.79/696.52	c cleaning 433 clauses out of 2133 for limit 2.1701569152838978E14
698.79/696.58	c cleaning 1090 clauses out of 2200 for limit 3.4698859363358256E14
698.89/696.64	c cleaning 654 clauses out of 1610 for limit 7.819300263675711E14
698.99/696.70	c cleaning 570 clauses out of 1458 for limit 1.4267936016402915E15
698.99/696.76	c cleaning 432 clauses out of 1386 for limit 2.470257976278546E15
699.09/696.81	c cleaning 670 clauses out of 1454 for limit 3.883264933399735E-5
699.09/696.86	c cleaning 489 clauses out of 1286 for limit 7.255132853981244E-5
699.19/696.92	c cleaning 467 clauses out of 1295 for limit 1.1857781218715989E-4
699.19/696.97	c cleaning 440 clauses out of 1328 for limit 1.9069135887164065E-4
699.29/697.02	c cleaning 347 clauses out of 1388 for limit 3.0088151658873904E-4
699.29/697.07	c cleaning 162 clauses out of 1541 for limit 4.469286790556961E-4
699.39/697.12	c cleaning 294 clauses out of 1879 for limit 6.044633441357498E-4
699.39/697.18	c cleaning 387 clauses out of 2085 for limit 8.983520792248363E-4
699.49/697.24	c cleaning 456 clauses out of 2198 for limit 0.0014053381485434162
699.49/697.29	c cleaning 486 clauses out of 2242 for limit 0.002272107118719525
699.60/697.35	c cleaning 482 clauses out of 2256 for limit 0.003723755882903506
699.70/697.41	c cleaning 492 clauses out of 2276 for limit 0.006099201065348712
699.70/697.48	c cleaning 494 clauses out of 2282 for limit 0.01001189834955337
699.79/697.54	c cleaning 498 clauses out of 2289 for limit 0.01647694445903171
699.79/697.59	c cleaning 480 clauses out of 2290 for limit 0.02713365903768208
699.89/697.65	c cleaning 499 clauses out of 2310 for limit 0.04435961342452173
699.99/697.72	c cleaning 494 clauses out of 2312 for limit 0.07316481886145948
699.99/697.79	c cleaning 498 clauses out of 2319 for limit 0.12041477586179505
700.09/697.87	c cleaning 501 clauses out of 2319 for limit 0.19818311262829774
700.19/697.95	c cleaning 484 clauses out of 2320 for limit 0.3273439505431674
700.29/698.02	c cleaning 493 clauses out of 2337 for limit 0.5364435040549133
700.29/698.07	c cleaning 471 clauses out of 2341 for limit 0.8805086789357154
700.39/698.16	c cleaning 510 clauses out of 2372 for limit 1.4359697149907067
700.49/698.22	c cleaning 482 clauses out of 2361 for limit 2.376760129249094
700.49/698.29	c cleaning 488 clauses out of 2378 for limit 3.887683178814955
700.59/698.36	c cleaning 496 clauses out of 2390 for limit 6.379118970765874
700.70/698.43	c cleaning 509 clauses out of 2394 for limit 10.502443255173878
700.70/698.50	c cleaning 491 clauses out of 2386 for limit 17.395401186304834
700.80/698.58	c cleaning 492 clauses out of 2394 for limit 28.562888052568898
700.89/698.65	c cleaning 504 clauses out of 2402 for limit 46.94714079747304
700.99/698.73	c cleaning 490 clauses out of 2398 for limit 77.55126013098523
700.99/698.79	c cleaning 512 clauses out of 2410 for limit 127.51048739873406
701.09/698.85	c cleaning 493 clauses out of 2396 for limit 211.0877341466736
701.19/698.93	c cleaning 516 clauses out of 2403 for limit 347.0978535820494
701.19/698.99	c cleaning 496 clauses out of 2387 for limit 576.2476494042863
701.29/699.06	c cleaning 487 clauses out of 2391 for limit 948.7196520033377
701.39/699.14	c cleaning 485 clauses out of 2404 for limit 1556.1049941857755
701.49/699.21	c cleaning 465 clauses out of 2419 for limit 2550.312376611633
701.49/699.28	c cleaning 509 clauses out of 2454 for limit 4145.821271521993
701.60/699.36	c cleaning 494 clauses out of 2445 for limit 6862.180817099061
701.71/699.43	c cleaning 519 clauses out of 2451 for limit 11288.951225729068
701.81/699.51	c cleaning 507 clauses out of 2432 for limit 18762.436020573015
701.81/699.59	c cleaning 490 clauses out of 2425 for limit 31031.08343251092
701.91/699.66	c cleaning 498 clauses out of 2435 for limit 50964.24600508682
702.01/699.73	c cleaning 494 clauses out of 2437 for limit 83977.88386261153
702.11/699.80	c cleaning 486 clauses out of 2444 for limit 138232.33787751032
702.11/699.87	c cleaning 614 clauses out of 2457 for limit 226530.70338386775
702.21/699.93	c cleaning 539 clauses out of 2343 for limit 391756.1548654924
702.21/699.99	c cleaning 510 clauses out of 2304 for limit 656994.1903844725
702.31/700.05	c cleaning 515 clauses out of 2294 for limit 1088194.376926427
702.41/700.11	c cleaning 642 clauses out of 2279 for limit 1806389.7190160945
702.41/700.15	c cleaning 421 clauses out of 2137 for limit 3176926.3211617363
702.51/700.22	c cleaning 454 clauses out of 2216 for limit 5052400.808484892
702.51/700.26	c cleaning 464 clauses out of 2262 for limit 8162643.672022657
702.61/700.32	c cleaning 494 clauses out of 2299 for limit 1.3257903894957647E7
702.61/700.38	c cleaning 470 clauses out of 2304 for limit 2.1794792483690128E7
702.71/700.43	c cleaning 746 clauses out of 2334 for limit 3.5480542233778015E7
702.71/700.48	c cleaning 886 clauses out of 2088 for limit 6.540583474456308E7
702.81/700.56	c cleaning 652 clauses out of 1703 for limit 1.3238011007875498E8
702.91/700.63	c cleaning 583 clauses out of 1550 for limit 2.396222064844216E8
703.01/700.70	c cleaning 549 clauses out of 1467 for limit 4.1752697041311383E8
703.01/700.78	c cleaning 519 clauses out of 1418 for limit 7.123514362242802E8
703.11/700.83	c cleaning 473 clauses out of 1399 for limit 1.1907174207832327E9
703.11/700.88	c cleaning 505 clauses out of 1426 for limit 1.9264723654694085E9
703.21/700.93	c cleaning 488 clauses out of 1421 for limit 3.188189434354273E9
703.21/700.97	c cleaning 704 clauses out of 1433 for limit 5.213722266881157E9
703.31/701.02	c cleaning 593 clauses out of 1230 for limit 1.00271929146514E10
703.31/701.06	c cleaning 334 clauses out of 1136 for limit 1.7886588915094307E10
703.41/701.10	c cleaning 610 clauses out of 1302 for limit 2.5736575535106384E10
703.41/701.15	c cleaning 321 clauses out of 1193 for limit 4.636728845979123E10
703.51/701.21	c cleaning 495 clauses out of 1372 for limit 6.648963036374672E10
703.51/701.28	c cleaning 674 clauses out of 1376 for limit 1.0922221289058748E11
703.61/701.34	c cleaning 418 clauses out of 1202 for limit 2.0619627935682678E11
703.71/701.40	c cleaning 622 clauses out of 1284 for limit 3.1832896372522864E11
703.71/701.44	c cleaning 368 clauses out of 1168 for limit 5.805789613330352E11
703.81/701.51	c cleaning 527 clauses out of 1298 for limit 8.598373531392623E11
703.81/701.58	c cleaning 493 clauses out of 1267 for limit 1.446879040014015E12
703.91/701.63	c cleaning 414 clauses out of 1275 for limit 2.3734990063763135E12
703.91/701.68	c cleaning 454 clauses out of 1360 for limit 3.665909217326624E12
704.01/701.73	c cleaning 467 clauses out of 1406 for limit 5.847782086535281E12
704.01/701.78	c cleaning 490 clauses out of 1439 for limit 9.422618205671656E12
704.11/701.82	c cleaning 470 clauses out of 1449 for limit 1.5431917390857168E13
704.11/701.88	c cleaning 501 clauses out of 1479 for limit 2.493308331737597E13
704.21/701.93	c cleaning 481 clauses out of 1478 for limit 4.114580989878037E13
704.21/701.99	c cleaning 460 clauses out of 1497 for limit 6.699372650537479E13
704.31/702.04	c cleaning 496 clauses out of 1537 for limit 1.0760636372792912E14
704.31/702.09	c cleaning 508 clauses out of 1541 for limit 1.7699666019517638E14
704.41/702.15	c cleaning 496 clauses out of 1533 for limit 2.93414412447521E14
704.51/702.21	c cleaning 732 clauses out of 1537 for limit 4.8262033507679806E14
704.51/702.26	c cleaning 388 clauses out of 1307 for limit 9.378401194966984E14
704.61/702.32	c cleaning 517 clauses out of 1420 for limit 1.4249723889431868E15
704.61/702.39	c cleaning 678 clauses out of 1406 for limit 2.3805038890676734E-5
704.71/702.45	c cleaning 599 clauses out of 1222 for limit 4.4898499424202585E-5
1505.96/1502.89	c cleaning 305697 clauses out of 612122 for limit 0.04533304126860336
1507.26/1504.12	c cleaning 153264 clauses out of 306926 for limit 0.1492483585813592
1507.87/1504.76	c cleaning 76577 clauses out of 154161 for limit 0.48954215963805436
1508.36/1505.21	c cleaning 38314 clauses out of 78085 for limit 1.5954654443083973
1508.76/1505.63	c cleaning 19337 clauses out of 40270 for limit 5.096766794431464
1508.97/1505.85	c cleaning 9932 clauses out of 21433 for limit 15.792442899551915
1509.16/1506.02	c cleaning 5174 clauses out of 12004 for limit 46.64077034257594
1509.26/1506.18	c cleaning 2817 clauses out of 7327 for limit 125.63708797568604
1509.36/1506.27	c cleaning 1710 clauses out of 5010 for limit 303.0136650747793
1509.46/1506.37	c cleaning 1102 clauses out of 3800 for limit 658.828276699344
1509.56/1506.47	c cleaning 801 clauses out of 3198 for limit 1291.0208461662107
1509.66/1506.55	c cleaning 627 clauses out of 2897 for limit 2350.277300604879
1509.76/1506.63	c cleaning 569 clauses out of 2770 for limit 4053.626395719275
1509.86/1506.72	c cleaning 599 clauses out of 2704 for limit 6868.726491558275
1509.96/1506.81	c cleaning 530 clauses out of 2602 for limit 11736.212654533743
1509.96/1506.90	c cleaning 538 clauses out of 2574 for limit 19604.31311469437
1510.07/1507.00	c cleaning 496 clauses out of 2534 for limit 32774.828346288086
1510.26/1507.10	c cleaning 490 clauses out of 2543 for limit 54128.89009787412
1510.36/1507.21	c cleaning 487 clauses out of 2548 for limit 88646.04962698129
1510.46/1507.30	c cleaning 478 clauses out of 2561 for limit 145447.1175608352
1510.56/1507.42	c cleaning 489 clauses out of 2584 for limit 237964.7267556519
1510.66/1507.51	c cleaning 523 clauses out of 2594 for limit 390531.88679179
1510.66/1507.59	c cleaning 516 clauses out of 2571 for limit 649800.8599656154
1510.76/1507.63	c cleaning 1242 clauses out of 2555 for limit 1078319.207063328
1510.76/1507.68	c cleaning 625 clauses out of 1813 for limit 2506088.0656551938
1510.86/1507.74	c cleaning 712 clauses out of 1688 for limit 4438922.648065967
1510.96/1507.80	c cleaning 333 clauses out of 1476 for limit 8371813.577495488
1510.96/1507.87	c cleaning 174 clauses out of 1644 for limit 1.2407791643528515E7
1511.06/1507.93	c cleaning 496 clauses out of 1969 for limit 1.706758067400562E7
1511.06/1507.99	c cleaning 297 clauses out of 1974 for limit 2.8103533698602322E7
1511.17/1508.05	c cleaning 388 clauses out of 2179 for limit 4.2070314589584075E7
1511.27/1508.11	c cleaning 390 clauses out of 2289 for limit 6.591345254795671E7
1511.36/1508.20	c cleaning 478 clauses out of 2400 for limit 1.0377649782228687E8
1511.36/1508.26	c cleaning 540 clauses out of 2421 for limit 1.6948717378198066E8
1511.46/1508.32	c cleaning 497 clauses out of 2380 for limit 2.8403773804834914E8
1511.46/1508.39	c cleaning 466 clauses out of 2383 for limit 4.67826530623007E8
1511.56/1508.45	c cleaning 506 clauses out of 2417 for limit 7.606557036959558E8
1511.66/1508.52	c cleaning 505 clauses out of 2413 for limit 1.2590192349274228E9
1511.66/1508.58	c cleaning 1160 clauses out of 2406 for limit 2.0781693128289826E9
1511.76/1508.65	c cleaning 540 clauses out of 1746 for limit 4.722676505010647E9
1511.86/1508.72	c cleaning 383 clauses out of 1706 for limit 7.970935552510818E9
1511.86/1508.78	c cleaning 386 clauses out of 1823 for limit 1.2301485043479733E10
1511.96/1508.85	c cleaning 366 clauses out of 1938 for limit 1.910208783260224E10
1512.06/1508.91	c cleaning 434 clauses out of 2071 for limit 2.944936174006517E10
1512.06/1508.99	c cleaning 465 clauses out of 2137 for limit 4.706600649901009E10
1512.16/1509.09	c cleaning 343 clauses out of 2172 for limit 7.636738836054189E10
1512.27/1509.20	c cleaning 437 clauses out of 2329 for limit 1.1745030748229126E11
1512.37/1509.29	c cleaning 455 clauses out of 2392 for limit 1.8858986877298508E11
1512.56/1509.40	c cleaning 630 clauses out of 2438 for limit 3.054472582169405E11
1512.56/1509.48	c cleaning 505 clauses out of 2308 for limit 5.3209602546682886E11
1512.66/1509.53	c cleaning 829 clauses out of 2302 for limit 8.78904879038148E11
1512.66/1509.57	c cleaning 321 clauses out of 1973 for limit 1.6911261161147068E12
1512.76/1509.62	c cleaning 404 clauses out of 2152 for limit 2.556917418284124E12
1512.76/1509.67	c cleaning 432 clauses out of 2249 for limit 4.0388703474504688E12
1512.86/1509.72	c cleaning 509 clauses out of 2318 for limit 6.468838885276118E12
1512.86/1509.78	c cleaning 582 clauses out of 2309 for limit 1.0709562269478598E13
1512.96/1509.83	c cleaning 426 clauses out of 2225 for limit 1.829163393520052E13
1512.96/1509.89	c cleaning 456 clauses out of 2299 for limit 2.919439182192005E13
1513.06/1509.96	c cleaning 493 clauses out of 2344 for limit 4.726843190622999E13
1513.16/1510.03	c cleaning 1152 clauses out of 2350 for limit 7.767518842925502E13
1513.26/1510.10	c cleaning 472 clauses out of 1698 for limit 1.7728352518463638E14
1513.26/1510.15	c cleaning 228 clauses out of 1727 for limit 2.8774257512438844E14
1513.37/1510.22	c cleaning 363 clauses out of 1999 for limit 4.09958179997725E14
1513.37/1510.29	c cleaning 374 clauses out of 2137 for limit 6.330503119866375E14
1513.47/1510.38	c cleaning 543 clauses out of 2261 for limit 9.847569406526589E14
1513.56/1510.46	c cleaning 1092 clauses out of 2218 for limit 1.6554800747455486E-5
1513.66/1510.52	c cleaning 629 clauses out of 1628 for limit 3.7269709684599856E-5
1513.66/1510.58	c cleaning 565 clauses out of 1497 for limit 6.670762419815651E-5
1513.76/1510.65	c cleaning 493 clauses out of 1433 for limit 1.1503804226049909E-4
1513.86/1510.71	c cleaning 320 clauses out of 1440 for limit 1.8879090464013089E-4
1513.86/1510.77	c cleaning 420 clauses out of 1620 for limit 2.767479624417342E-4
1513.96/1510.82	c cleaning 154 clauses out of 1699 for limit 4.347378397296273E-4
1513.96/1510.87	c cleaning 336 clauses out of 2048 for limit 5.965547277412133E-4
1514.06/1510.92	c cleaning 407 clauses out of 2209 for limit 9.09362162988559E-4
1514.16/1511.00	c cleaning 444 clauses out of 2302 for limit 0.001439074121923383
1514.16/1511.07	c cleaning 552 clauses out of 2358 for limit 0.0023168641476911797
1514.26/1511.12	c cleaning 506 clauses out of 2307 for limit 0.003909193555492391
1514.26/1511.17	c cleaning 493 clauses out of 2301 for limit 0.006463593521837306
1514.36/1511.23	c cleaning 506 clauses out of 2307 for limit 0.010620976217938657
1514.36/1511.29	c cleaning 477 clauses out of 2301 for limit 0.01756108315010497
1514.47/1511.34	c cleaning 486 clauses out of 2325 for limit 0.028690317836996767
1514.57/1511.40	c cleaning 490 clauses out of 2338 for limit 0.04700403977610572
1514.57/1511.48	c cleaning 505 clauses out of 2348 for limit 0.07718581360685554
1514.66/1511.55	c cleaning 497 clauses out of 2346 for limit 0.1277812091786875
1514.76/1511.62	c cleaning 482 clauses out of 2346 for limit 0.21009675524958743
1514.76/1511.69	c cleaning 478 clauses out of 2364 for limit 0.34383950090921206
1514.86/1511.76	c cleaning 513 clauses out of 2388 for limit 0.5624628305343323
1514.96/1511.84	c cleaning 488 clauses out of 2373 for limit 0.9315738215101043
1515.06/1511.92	c cleaning 498 clauses out of 2385 for limit 1.5285600951077234
1515.06/1512.00	c cleaning 558 clauses out of 2389 for limit 2.5216201243237184
1515.16/1512.05	c cleaning 505 clauses out of 2329 for limit 4.257093476850657
1515.26/1512.12	c cleaning 498 clauses out of 2325 for limit 7.0396345899032085
1515.26/1512.18	c cleaning 478 clauses out of 2327 for limit 11.599321273444465
1515.36/1512.26	c cleaning 475 clauses out of 2351 for limit 18.971481306850627
1515.46/1512.32	c cleaning 542 clauses out of 2373 for limit 30.903558083472856
1515.46/1512.39	c cleaning 514 clauses out of 2332 for limit 51.91203760397635
1515.57/1512.45	c cleaning 490 clauses out of 2318 for limit 86.12695184944045
1515.67/1512.52	c cleaning 503 clauses out of 2327 for limit 141.3440400995646
1800.07/1796.51	c starts		: 23
1800.07/1796.51	c conflicts		: 1598293
1800.07/1796.51	c decisions		: 4692200
1800.07/1796.51	c propagations		: 498693007
1800.07/1796.51	c inspects		: 10848994430
1800.07/1796.51	c learnt literals	: 30
1800.07/1796.51	c learnt binary clauses	: 64084
1800.07/1796.51	c learnt ternary clauses	: 48134
1800.07/1796.51	c learnt clauses	: 1598263
1800.07/1796.51	c root simplifications	: 0
1800.07/1796.51	c removed literals (reason simplification)	: 0
1800.07/1796.51	c reason swapping (by a shorter reason)	: 0
1800.07/1796.51	c Calls to reduceDB	: 220
1800.07/1796.51	c speed (decisions/second)	: 2612.4438782782213
1800.07/1796.51	c non guided choices	4549
1800.07/1796.51	s UNKNOWN
1800.07/1796.51	c Total wall clock time (ms): 1796.422

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-3742088-1338761730/watcher-3742088-1338761730 -o /tmp/evaluation-result-3742088-1338761730/solver-3742088-1338761730 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742088-1338761730.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.86 1.99 1.99 4/193 5366
/proc/meminfo: memFree=27872052/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 342298521 98570240 979 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 24065 979 745 9 0 16771 0
[pid=5366/tid=5367] ppid=5364 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 342298522 98570240 979 33554432000 1073741824 1073778376 140736591148288 140318866689576 260190324096 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.0833539 s]
/proc/loadavg: 1.86 1.99 1.99 4/193 5366
/proc/meminfo: memFree=27872052/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 4891 0 1 0 7 1 0 0 20 0 18 0 342298521 3028844544 6603 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 739464 6603 2099 9 0 729885 0
[pid=5366/tid=5367] ppid=5364 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3029 0 1 0 5 1 0 0 20 0 18 0 342298522 3028844544 6603 33554432000 1073741824 1073778376 140736591148288 140318866683000 260193707277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.100237 s]
/proc/loadavg: 1.86 1.99 1.99 4/193 5366
/proc/meminfo: memFree=27872052/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 4954 0 1 0 9 1 0 0 20 0 18 0 342298521 3028844544 7176 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 739464 7176 2130 9 0 729885 0
[pid=5366/tid=5367] ppid=5364 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3047 0 1 0 6 2 0 0 20 0 18 0 342298522 3028844544 7176 33554432000 1073741824 1073778376 140736591148288 140318866683000 260193707277 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.300194 s]
/proc/loadavg: 1.86 1.99 1.99 4/193 5366
/proc/meminfo: memFree=27872052/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=2957856 CPUtime=0.58 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 9152 0 1 0 55 3 0 0 20 0 18 0 342298521 3028844544 11771 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 739464 11771 2240 9 0 729885 0
[pid=5366/tid=5367] ppid=5364 vsize=2957856 CPUtime=0.28 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3058 0 1 0 26 2 0 0 20 0 18 0 342298522 3028844544 11771 33554432000 1073741824 1073778376 140736591148288 140318866683000 260193707277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 2957856

[startup+0.700199 s]
/proc/loadavg: 1.86 1.99 1.99 4/193 5366
/proc/meminfo: memFree=27872052/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=1.38 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 11462 0 1 0 135 3 0 0 20 0 19 0 342298521 3097006080 17552 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 17552 2270 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3092 0 1 0 66 2 0 0 20 0 19 0 342298522 3097006080 17552 33554432000 1073741824 1073778376 140736591148288 140318866694296 140318739475520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50056 s]
/proc/loadavg: 1.86 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27771272/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 11467 0 1 0 216 4 0 0 20 0 19 0 342298521 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 18067 2272 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3094 0 1 0 146 2 0 0 20 0 19 0 342298522 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318866694344 140318739944240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2856 0 0 0 33 0 0 0 20 0 19 0 342298526 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4321 0 0 0 33 2 0 0 20 0 19 0 342298526 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 18067 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420

[startup+3.10055 s]
/proc/loadavg: 1.86 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27760280/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=3.82 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 11473 0 1 0 378 4 0 0 20 0 19 0 342298521 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 20627 2272 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3100 0 1 0 305 2 0 0 20 0 19 0 342298522 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318866694672 140318739966319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2856 0 0 0 35 0 0 0 20 0 19 0 342298526 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4321 0 0 0 34 2 0 0 20 0 19 0 342298526 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 20627 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 3024420

[startup+6.30068 s]
/proc/loadavg: 1.87 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27734940/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=7.02 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 11481 0 1 0 698 4 0 0 20 0 19 0 342298521 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 23671 2273 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3107 0 1 0 624 2 0 0 20 0 19 0 342298522 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318866694608 140318739988333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298523 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2856 0 0 0 35 0 0 0 20 0 19 0 342298526 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4321 0 0 0 34 2 0 0 20 0 19 0 342298526 3097006080 23671 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2865 0 0 0 41 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4324 0 0 0 39 2 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 102 0 0 0 30 30 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.84
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 5401
/proc/meminfo: memFree=24563772/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=1785.86 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 13950 0 1 0 178430 156 0 0 20 0 19 0 342298521 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 418161 2302 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=1774.64 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3292 0 1 0 177429 35 0 0 20 0 19 0 342298522 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318866693424 140318739873181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 201 0 0 0 35 11 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 198 0 0 0 27 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 232 0 0 0 24 15 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 322 0 0 0 31 19 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 206 0 0 0 25 13 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 193 0 0 0 24 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 313 0 0 0 26 14 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 301 0 0 0 37 18 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=1.83 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 216 0 0 0 176 7 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2865 0 0 0 41 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4324 0 0 0 39 2 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 106 0 0 0 31 31 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.86
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 5404
/proc/meminfo: memFree=26233716/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 13950 0 1 0 179851 156 0 0 20 0 19 0 342298521 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 418161 2302 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=1788.81 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3292 0 1 0 178845 36 0 0 20 0 19 0 342298522 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318866693424 140318739873728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 201 0 0 0 35 11 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 198 0 0 0 27 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 232 0 0 0 24 15 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 322 0 0 0 31 19 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 206 0 0 0 25 13 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 193 0 0 0 24 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 313 0 0 0 26 14 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 301 0 0 0 37 18 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=1.83 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 216 0 0 0 176 7 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2865 0 0 0 41 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4324 0 0 0 39 2 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 106 0 0 0 31 32 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 5404
/proc/meminfo: memFree=26233716/32873648 swapFree=7116/7116
[pid=5366] ppid=5364 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/5366/stat : 5366 (java) S 5364 5366 32179 0 -1 4202496 13950 0 1 0 179851 156 0 0 20 0 19 0 342298521 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140736591139424 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5366/statm: 756105 418161 2302 9 0 746526 0
[pid=5366/tid=5367] ppid=5364 vsize=3024420 CPUtime=1788.81 cores=0,2,4,6
/proc/5366/task/5367/stat : 5367 (java) R 5364 5366 32179 0 -1 4202560 3292 0 1 0 178845 36 0 0 20 0 19 0 342298522 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318866693424 140318739873728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5369] ppid=5364 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/5366/task/5369/stat : 5369 (java) S 5364 5366 32179 0 -1 4202560 201 0 0 0 35 11 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318732642600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5370] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5370/stat : 5370 (java) S 5364 5366 32179 0 -1 4202560 198 0 0 0 27 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318731589800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5371] ppid=5364 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5366/task/5371/stat : 5371 (java) S 5364 5366 32179 0 -1 4202560 232 0 0 0 24 15 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318730537512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5372] ppid=5364 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/5366/task/5372/stat : 5372 (java) S 5364 5366 32179 0 -1 4202560 322 0 0 0 31 19 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318527711656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5373] ppid=5364 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/5366/task/5373/stat : 5373 (java) S 5364 5366 32179 0 -1 4202560 206 0 0 0 25 13 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318526659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5374] ppid=5364 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5366/task/5374/stat : 5374 (java) S 5364 5366 32179 0 -1 4202560 193 0 0 0 24 12 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318525606568 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5375] ppid=5364 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/5366/task/5375/stat : 5375 (java) S 5364 5366 32179 0 -1 4202560 313 0 0 0 26 14 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318524554280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5376] ppid=5364 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/5366/task/5376/stat : 5376 (java) S 5364 5366 32179 0 -1 4202560 301 0 0 0 37 18 0 0 20 0 19 0 342298523 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318523501480 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5377] ppid=5364 vsize=3024420 CPUtime=1.83 cores=0,2,4,6
/proc/5366/task/5377/stat : 5377 (java) S 5364 5366 32179 0 -1 4202560 216 0 0 0 176 7 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318511302888 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5378] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5378/stat : 5378 (java) S 5364 5366 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318510248952 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5379] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5379/stat : 5379 (java) S 5364 5366 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298524 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318509196552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5366/tid=5380] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5380/stat : 5380 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318508145040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5381] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5381/stat : 5381 (java) S 5364 5366 32179 0 -1 4202560 2865 0 0 0 41 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318507092664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5366/tid=5382] ppid=5364 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5366/task/5382/stat : 5382 (java) S 5364 5366 32179 0 -1 4202560 4324 0 0 0 39 2 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318506039864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5383] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5383/stat : 5383 (java) S 5364 5366 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318504987768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5366/tid=5384] ppid=5364 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5366/task/5384/stat : 5384 (java) S 5364 5366 32179 0 -1 4202560 106 0 0 0 31 32 0 0 20 0 19 0 342298526 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318503935176 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5366/tid=5386] ppid=5364 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5366/task/5386/stat : 5386 (java) S 5364 5366 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298563 3097006080 418161 33554432000 1073741824 1073778376 140736591148288 140318501733288 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1796.52
CPU time (s): 1800.07
CPU user time (s): 1798.51
CPU system time (s): 1.56
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.75
system time used= 2.04169
maximum resident set size= 1672760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13981
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38123
involuntary context switches= 18894

runsolver used 5.8811 second user time and 15.6436 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 00:15:31
IDJOB=3742088
IDBENCH=90131
IDSOLVER=2319
FILE ID=node123/3742088-1338761730
RUNJOBID= node123-1338758132-5019
PBS_JOBID= 14636768
Free space on /tmp= 71300 MiB

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

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=1288010772

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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.217
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.217
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.217
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.217
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:        27874192 kB
Buffers:         1808632 kB
Cached:          2259660 kB
SwapCached:         2268 kB
Active:          2197016 kB
Inactive:        1911396 kB
Active(anon):      32976 kB
Inactive(anon):     5504 kB
Active(file):    2164040 kB
Inactive(file):  1905892 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:         29044 kB
Mapped:            18056 kB
Shmem:                 0 kB
Slab:             750588 kB
SReclaimable:     194460 kB
SUnreclaim:       556128 kB
KernelStack:        1440 kB
PageTables:         3980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1822484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71300 MiB
End job on node123 at 2012-06-04 00:45:29