Trace number 3742075

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.08 1795.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
MD5SUMa293d07a49a0e06ee574b1553fbf5b2b
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 benchmark105.854
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7344
Total number of constraints7562
Number of constraints which are clauses7454
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint108
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 109
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	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@1cb1c5fa
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-3742075-1338761730.opb
0.08/0.10	c reading problem ... 
0.81/0.44	c ... done. Wall clock time 0.34s.
0.81/0.44	c CPU time (experimental) 0.41s.
0.81/0.44	c #vars     7344
0.81/0.44	c #constraints  7560
519.26/516.97	c cleaning 259014 clauses out of 518480 for limit 0.379859349115878
520.37/518.05	c cleaning 129863 clauses out of 259966 for limit 1.249378888962195
520.86/518.59	c cleaning 64885 clauses out of 130605 for limit 4.109375451701358
521.16/518.86	c cleaning 32566 clauses out of 66220 for limit 13.36602706979064
521.47/519.13	c cleaning 16531 clauses out of 34153 for limit 42.69568934571223
521.66/519.32	c cleaning 8552 clauses out of 18121 for limit 132.57208996316686
521.76/519.47	c cleaning 4496 clauses out of 10069 for limit 393.4629188564495
521.96/519.62	c cleaning 2476 clauses out of 6073 for limit 1075.8277842103505
521.96/519.69	c cleaning 1485 clauses out of 4097 for limit 2629.8801694985073
522.06/519.78	c cleaning 1035 clauses out of 3112 for limit 5709.764853314047
522.16/519.87	c cleaning 764 clauses out of 2579 for limit 11384.95660756624
522.26/519.95	c cleaning 619 clauses out of 2314 for limit 20904.5461138336
522.36/520.02	c cleaning 538 clauses out of 2194 for limit 36323.59703375672
522.36/520.09	c cleaning 562 clauses out of 2156 for limit 60958.2657322971
522.46/520.16	c cleaning 517 clauses out of 2094 for limit 103504.8186980332
522.57/520.22	c cleaning 482 clauses out of 2077 for limit 172090.39712565704
522.67/520.32	c cleaning 481 clauses out of 2096 for limit 281508.98039229395
522.67/520.37	c cleaning 505 clauses out of 2116 for limit 460318.3284808728
522.76/520.43	c cleaning 464 clauses out of 2109 for limit 760123.5966351526
522.76/520.48	c cleaning 513 clauses out of 2145 for limit 1232506.9725201442
522.86/520.55	c cleaning 526 clauses out of 2133 for limit 2046049.9160987039
522.96/520.62	c cleaning 1006 clauses out of 2107 for limit 3415847.170501687
522.96/520.69	c cleaning 634 clauses out of 1600 for limit 7410787.490223098
523.06/520.74	c cleaning 336 clauses out of 1466 for limit 1.333847745570698E7
523.16/520.80	c cleaning 298 clauses out of 1630 for limit 1.9783745291287467E7
523.16/520.86	c cleaning 575 clauses out of 1832 for limit 2.9028629612504303E7
523.26/520.92	c cleaning 346 clauses out of 1760 for limit 4.998028841554031E7
523.26/520.97	c cleaning 419 clauses out of 1911 for limit 7.568382805543233E7
523.36/521.03	c cleaning 463 clauses out of 1993 for limit 1.197972579368151E8
523.46/521.10	c cleaning 479 clauses out of 2029 for limit 1.938623640451884E8
523.46/521.15	c cleaning 1024 clauses out of 2050 for limit 3.1642994620343274E8
523.56/521.21	c cleaning 541 clauses out of 1529 for limit 7.017515416267301E8
523.56/521.27	c cleaning 295 clauses out of 1485 for limit 1.1880008703672922E9
523.68/521.34	c cleaning 579 clauses out of 1690 for limit 1.7215212776780603E9
523.68/521.39	c cleaning 373 clauses out of 1611 for limit 2.978238311936505E9
523.78/521.46	c cleaning 744 clauses out of 1737 for limit 4.5552378147037E9
523.87/521.51	c cleaning 615 clauses out of 1494 for limit 8.742802641406223E9
523.87/521.56	c cleaning 556 clauses out of 1378 for limit 1.5616130511641745E10
523.97/521.63	c cleaning 533 clauses out of 1322 for limit 2.684399068117757E10
523.97/521.69	c cleaning 516 clauses out of 1289 for limit 4.540268160138976E10
524.07/521.76	c cleaning 527 clauses out of 1272 for limit 7.58757849965028E10
524.17/521.83	c cleaning 508 clauses out of 1245 for limit 1.278429678424672E11
524.17/521.88	c cleaning 489 clauses out of 1239 for limit 2.1227546443275546E11
524.27/521.95	c cleaning 495 clauses out of 1248 for limit 3.4685134604374164E11
524.37/522.02	c cleaning 509 clauses out of 1253 for limit 5.697217315803544E11
524.37/522.08	c cleaning 588 clauses out of 1244 for limit 9.463447196835032E11
524.47/522.14	c cleaning 457 clauses out of 1156 for limit 1.6794527758280576E12
524.57/522.22	c cleaning 471 clauses out of 1199 for limit 2.6703140111704043E12
524.67/522.30	c cleaning 484 clauses out of 1228 for limit 4.2997087411499746E12
524.67/522.38	c cleaning 585 clauses out of 1244 for limit 6.99959498425263E12
524.78/522.45	c cleaning 424 clauses out of 1159 for limit 1.2389841273953883E13
524.88/522.52	c cleaning 510 clauses out of 1234 for limit 1.919065977096262E13
524.97/522.60	c cleaning 486 clauses out of 1224 for limit 3.1906527050390688E13
524.97/522.68	c cleaning 487 clauses out of 1238 for limit 5.202309607232673E13
525.07/522.75	c cleaning 501 clauses out of 1251 for limit 8.490151050863561E13
525.17/522.82	c cleaning 518 clauses out of 1250 for limit 1.4012595990861455E14
525.17/522.89	c cleaning 473 clauses out of 1232 for limit 2.3446271672569788E14
525.27/522.93	c cleaning 623 clauses out of 1259 for limit 3.7836822496731525E14
525.27/522.98	c cleaning 554 clauses out of 1137 for limit 6.916244244154672E14
525.37/523.03	c cleaning 537 clauses out of 1082 for limit 1.1973604281506625E15
525.37/523.08	c cleaning 364 clauses out of 1045 for limit 2.044521859490405E15
525.47/523.14	c cleaning 581 clauses out of 1182 for limit 2.9838773715594355E15
525.57/523.20	c cleaning 492 clauses out of 1100 for limit 5.2823495634353043E-5
525.57/523.26	c cleaning 516 clauses out of 1109 for limit 8.649254483704112E-5
525.67/523.32	c cleaning 480 clauses out of 1092 for limit 1.4471347034982805E-4
525.67/523.37	c cleaning 497 clauses out of 1112 for limit 2.3435957217194674E-4
525.77/523.42	c cleaning 497 clauses out of 1115 for limit 3.854504023950714E-4
525.77/523.47	c cleaning 370 clauses out of 1118 for limit 6.339535734997141E-4
525.90/523.55	c cleaning 488 clauses out of 1248 for limit 9.365706836289678E-4
526.00/523.63	c cleaning 508 clauses out of 1260 for limit 0.0015298205366363836
526.09/523.71	c cleaning 495 clauses out of 1252 for limit 0.002538999351446185
526.09/523.76	c cleaning 499 clauses out of 1257 for limit 0.004170494263263801
526.19/523.83	c cleaning 494 clauses out of 1259 for limit 0.006873650949830511
526.29/523.90	c cleaning 487 clauses out of 1264 for limit 0.011279439155925705
526.29/523.96	c cleaning 482 clauses out of 1284 for limit 0.018440259380151574
526.39/524.03	c cleaning 488 clauses out of 1295 for limit 0.029941709017381118
526.39/524.09	c cleaning 478 clauses out of 1307 for limit 0.04892452899103468
526.49/524.14	c cleaning 474 clauses out of 1329 for limit 0.07934748153467336
526.49/524.19	c cleaning 465 clauses out of 1355 for limit 0.12834374856379394
526.59/524.25	c cleaning 508 clauses out of 1392 for limit 0.2064427759274205
526.69/524.31	c cleaning 482 clauses out of 1384 for limit 0.3424196841440032
526.69/524.37	c cleaning 500 clauses out of 1401 for limit 0.557285896630182
526.79/524.44	c cleaning 496 clauses out of 1401 for limit 0.9190389959166245
526.89/524.51	c cleaning 496 clauses out of 1404 for limit 1.5108673708166673
526.89/524.56	c cleaning 500 clauses out of 1408 for limit 2.4845439419284503
527.00/524.62	c cleaning 470 clauses out of 1409 for limit 4.098535891397155
527.00/524.68	c cleaning 481 clauses out of 1438 for limit 6.616102500035994
527.10/524.73	c cleaning 490 clauses out of 1457 for limit 10.768555388210432
527.10/524.79	c cleaning 472 clauses out of 1467 for limit 17.63773329089246
527.19/524.84	c cleaning 496 clauses out of 1495 for limit 28.542208828453052
527.29/524.91	c cleaning 500 clauses out of 1499 for limit 46.94431714237718
527.29/524.98	c cleaning 468 clauses out of 1499 for limit 77.41745906617179
527.39/525.04	c cleaning 512 clauses out of 1531 for limit 125.00323209472906
527.49/525.13	c cleaning 499 clauses out of 1519 for limit 207.7756004998071
527.59/525.20	c cleaning 521 clauses out of 1520 for limit 342.42433347242445
527.59/525.26	c cleaning 462 clauses out of 1499 for limit 572.61465817064
527.69/525.32	c cleaning 490 clauses out of 1537 for limit 920.9713359391461
527.69/525.39	c cleaning 496 clauses out of 1547 for limit 1508.9871946828634
527.79/525.46	c cleaning 502 clauses out of 1551 for limit 2482.103901656507
527.89/525.52	c cleaning 552 clauses out of 1549 for limit 4098.606498513685
527.89/525.58	c cleaning 527 clauses out of 1497 for limit 6993.937205877365
527.99/525.63	c cleaning 488 clauses out of 1471 for limit 11749.550578963766
527.99/525.68	c cleaning 476 clauses out of 1482 for limit 19213.52719684977
528.09/525.73	c cleaning 507 clauses out of 1508 for limit 31201.74420348079
528.09/525.79	c cleaning 480 clauses out of 1499 for limit 51661.3135307214
528.20/525.86	c cleaning 498 clauses out of 1520 for limit 84103.46484077447
528.29/525.93	c cleaning 510 clauses out of 1521 for limit 138468.06940390798
528.29/525.98	c cleaning 495 clauses out of 1511 for limit 229863.6368886816
528.39/526.02	c cleaning 493 clauses out of 1516 for limit 377825.6375469305
528.39/526.07	c cleaning 476 clauses out of 1523 for limit 620221.2027061008
528.49/526.12	c cleaning 494 clauses out of 1547 for limit 1006959.6899547339
528.49/526.17	c cleaning 771 clauses out of 1554 for limit 1654785.7923859654
528.59/526.23	c cleaning 445 clauses out of 1283 for limit 3305384.822460587
528.59/526.28	c cleaning 399 clauses out of 1337 for limit 5225629.959241562
528.69/526.35	c cleaning 717 clauses out of 1438 for limit 8012481.894264982
528.79/526.40	c cleaning 311 clauses out of 1221 for limit 1.5562027207464857E7
528.79/526.46	c cleaning 418 clauses out of 1410 for limit 2.2223814764588196E7
528.89/526.50	c cleaning 456 clauses out of 1492 for limit 3.463576506014264E7
528.89/526.58	c cleaning 748 clauses out of 1537 for limit 5.550219251802299E7
528.99/526.63	c cleaning 635 clauses out of 1290 for limit 1.091653208358091E8
528.99/526.69	c cleaning 438 clauses out of 1154 for limit 2.0104347030607083E8
529.09/526.75	c cleaning 415 clauses out of 1216 for limit 3.146430136570243E8
529.09/526.80	c cleaning 401 clauses out of 1302 for limit 4.850997854990512E8
529.19/526.86	c cleaning 399 clauses out of 1399 for limit 7.430383268470402E8
529.29/526.92	c cleaning 529 clauses out of 1500 for limit 1.1428613829338744E9
529.29/526.97	c cleaning 504 clauses out of 1471 for limit 1.9218878073267863E9
529.39/527.02	c cleaning 596 clauses out of 1467 for limit 3.1780920905618596E9
529.39/527.07	c cleaning 435 clauses out of 1374 for limit 5.612667060235902E9
529.49/527.12	c cleaning 708 clauses out of 1437 for limit 8.832550088770126E9
529.49/527.18	c cleaning 489 clauses out of 1235 for limit 1.7050569023878483E10
529.59/527.23	c cleaning 384 clauses out of 1239 for limit 2.7832283082024372E10
529.59/527.28	c cleaning 415 clauses out of 1355 for limit 4.196978371481291E10
529.69/527.33	c cleaning 446 clauses out of 1441 for limit 6.514820350523101E10
529.69/527.39	c cleaning 471 clauses out of 1496 for limit 1.0359176445977971E11
529.79/527.44	c cleaning 474 clauses out of 1523 for limit 1.6747260820673877E11
529.89/527.51	c cleaning 763 clauses out of 1550 for limit 2.7164542053784415E11
529.89/527.57	c cleaning 362 clauses out of 1286 for limit 5.394044100303176E11
529.99/527.61	c cleaning 705 clauses out of 1424 for limit 8.033436387844564E11
529.99/527.67	c cleaning 559 clauses out of 1219 for limit 1.5476171359775903E12
530.09/527.73	c cleaning 462 clauses out of 1163 for limit 2.6831622987971235E12
530.09/527.78	c cleaning 301 clauses out of 1200 for limit 4.284170899740677E12
530.19/527.84	c cleaning 438 clauses out of 1397 for limit 6.056733855198028E12
530.19/527.90	c cleaning 616 clauses out of 1459 for limit 9.563910241579967E12
530.29/527.95	c cleaning 416 clauses out of 1345 for limit 1.7143259914591797E13
530.29/528.00	c cleaning 530 clauses out of 1427 for limit 2.659368892429704E13
530.39/528.05	c cleaning 372 clauses out of 1397 for limit 4.479835205080027E13
530.49/528.11	c cleaning 631 clauses out of 1525 for limit 6.767752809224817E13
530.49/528.17	c cleaning 374 clauses out of 1394 for limit 1.220976892265548E14
530.59/528.23	c cleaning 426 clauses out of 1520 for limit 1.8466411863084944E14
530.59/528.28	c cleaning 449 clauses out of 1594 for limit 2.9039803640530544E14
530.69/528.34	c cleaning 496 clauses out of 1645 for limit 4.640576936133032E14
530.69/528.39	c cleaning 497 clauses out of 1649 for limit 7.634368359319546E14
530.79/528.45	c cleaning 495 clauses out of 1652 for limit 1.2567231363887645E15
530.89/528.51	c cleaning 807 clauses out of 1657 for limit 2.0662507876415662E15
530.89/528.57	c cleaning 582 clauses out of 1350 for limit 4.1824201578986885E-5
530.99/528.63	c cleaning 512 clauses out of 1268 for limit 7.343414809637471E-5
530.99/528.69	c cleaning 580 clauses out of 1256 for limit 1.2225976654647486E-4
531.09/528.74	c cleaning 359 clauses out of 1180 for limit 2.1546916485995894E-4
531.09/528.79	c cleaning 535 clauses out of 1317 for limit 3.1710216023171655E-4
531.19/528.85	c cleaning 310 clauses out of 1282 for limit 5.372208224842661E-4
531.29/528.91	c cleaning 405 clauses out of 1474 for limit 7.720906436818461E-4
531.29/528.99	c cleaning 455 clauses out of 1570 for limit 0.0011966207226640935
531.39/529.06	c cleaning 464 clauses out of 1612 for limit 0.00191621169385759
531.49/529.14	c cleaning 496 clauses out of 1649 for limit 0.0030922761209779726
531.59/529.20	c cleaning 474 clauses out of 1652 for limit 0.00508522595147114
531.59/529.26	c cleaning 508 clauses out of 1678 for limit 0.008256276485855689
531.69/529.32	c cleaning 507 clauses out of 1670 for limit 0.013680929361485525
531.69/529.39	c cleaning 494 clauses out of 1665 for limit 0.022674762370011852
1206.24/1202.93	c cleaning 288016 clauses out of 577163 for limit 1241668.9543484012
1207.44/1204.17	c cleaning 144444 clauses out of 289646 for limit 4076224.9659133963
1207.84/1204.59	c cleaning 72156 clauses out of 145704 for limit 1.3389954950609783E7
1208.04/1204.78	c cleaning 36231 clauses out of 74049 for limit 4.3493242999303564E7
1208.24/1204.92	c cleaning 18260 clauses out of 38315 for limit 1.382052404980586E8
1208.34/1205.04	c cleaning 9507 clauses out of 20555 for limit 4.248462085267873E8
1208.44/1205.14	c cleaning 4761 clauses out of 11549 for limit 1.2482318082720158E9
1208.54/1205.22	c cleaning 2653 clauses out of 7288 for limit 3.2620239832091413E9
1208.64/1205.30	c cleaning 2402 clauses out of 5134 for limit 7.628884233341105E9
1208.64/1205.38	c cleaning 729 clauses out of 3232 for limit 1.99848744318288E10
1208.74/1205.45	c cleaning 1025 clauses out of 3004 for limit 3.5494678466933914E10
1208.84/1205.51	c cleaning 383 clauses out of 2479 for limit 7.093205383140866E10
1208.84/1205.57	c cleaning 459 clauses out of 2595 for limit 1.116356935444915E11
1208.94/1205.64	c cleaning 438 clauses out of 2638 for limit 1.8146403199150827E11
1208.94/1205.69	c cleaning 479 clauses out of 2699 for limit 2.922024400618396E11
1209.04/1205.76	c cleaning 487 clauses out of 2719 for limit 4.7785803228152997E11
1209.14/1205.83	c cleaning 477 clauses out of 2732 for limit 7.843019413778456E11
1209.24/1205.91	c cleaning 478 clauses out of 2756 for limit 1.2834388181516658E12
1209.34/1206.01	c cleaning 721 clauses out of 2778 for limit 2.099800473984513E12
1209.34/1206.09	c cleaning 1062 clauses out of 2556 for limit 3.7598524029704077E12
1209.44/1206.15	c cleaning 523 clauses out of 1997 for limit 7.959998822875747E12
1209.54/1206.21	c cleaning 313 clauses out of 1972 for limit 1.3266947826556406E13
1209.54/1206.27	c cleaning 302 clauses out of 2159 for limit 1.9983942734143297E13
1209.64/1206.34	c cleaning 385 clauses out of 2358 for limit 3.0205109666881793E13
1209.74/1206.41	c cleaning 465 clauses out of 2471 for limit 4.743930694843709E13
1209.74/1206.48	c cleaning 512 clauses out of 2506 for limit 7.714111314705419E13
1209.84/1206.55	c cleaning 399 clauses out of 2495 for limit 1.279047923372076E14
1209.94/1206.61	c cleaning 458 clauses out of 2595 for limit 2.0260090451367388E14
1209.94/1206.68	c cleaning 456 clauses out of 2639 for limit 3.2920336249455744E14
1210.04/1206.74	c cleaning 497 clauses out of 2681 for limit 5.333271614874408E14
1210.14/1206.81	c cleaning 473 clauses out of 2684 for limit 8.785447577201365E14
1210.14/1206.88	c cleaning 473 clauses out of 2711 for limit 1.4344082439676632E15
1210.24/1206.95	c cleaning 1241 clauses out of 2741 for limit 2.346673542661486E-5
1210.34/1207.00	c cleaning 679 clauses out of 1997 for limit 5.295853947084539E-5
1210.34/1207.05	c cleaning 505 clauses out of 1819 for limit 9.597801504605587E-5
1210.44/1207.11	c cleaning 276 clauses out of 1813 for limit 1.5864560093389911E-4
1210.44/1207.18	c cleaning 430 clauses out of 2037 for limit 2.328577497069331E-4
1210.54/1207.26	c cleaning 48 clauses out of 2107 for limit 3.712556541593988E-4
1210.64/1207.35	c cleaning 217 clauses out of 2559 for limit 5.0410756327448E-4
1210.74/1207.44	c cleaning 348 clauses out of 2844 for limit 7.495296505434867E-4
1210.84/1207.53	c cleaning 434 clauses out of 2995 for limit 0.0011725812848593809
1210.94/1207.63	c cleaning 459 clauses out of 3060 for limit 0.0018907744879212863
1211.04/1207.71	c cleaning 488 clauses out of 3101 for limit 0.0030769134556709638
1211.14/1207.82	c cleaning 494 clauses out of 3115 for limit 0.0050615543760968145
1211.24/1207.90	c cleaning 523 clauses out of 3120 for limit 0.008325469593928039
1211.24/1207.98	c cleaning 500 clauses out of 3096 for limit 0.013822409535860777
1211.33/1208.04	c cleaning 527 clauses out of 3100 for limit 0.02285688001730204
1211.43/1208.11	c cleaning 502 clauses out of 3071 for limit 0.037973942583552765
1211.53/1208.20	c cleaning 487 clauses out of 3067 for limit 0.0625804372628127
1211.53/1208.29	c cleaning 500 clauses out of 3080 for limit 0.10276791366470506
1211.63/1208.36	c cleaning 502 clauses out of 3080 for limit 0.16947803767862618
1211.73/1208.45	c cleaning 507 clauses out of 3078 for limit 0.2796735627078612
1211.83/1208.52	c cleaning 502 clauses out of 3072 for limit 0.4625825200769238
1211.93/1208.61	c cleaning 498 clauses out of 3069 for limit 0.762842561769688
1211.93/1208.69	c cleaning 494 clauses out of 3075 for limit 1.260609623907746
1212.03/1208.78	c cleaning 495 clauses out of 3077 for limit 2.069264857365622
1212.14/1208.85	c cleaning 497 clauses out of 3082 for limit 3.406958402096816
1212.24/1208.94	c cleaning 488 clauses out of 3085 for limit 5.61306645515044
1212.33/1209.03	c cleaning 497 clauses out of 3097 for limit 9.220830399685058
1212.43/1209.13	c cleaning 486 clauses out of 3100 for limit 15.191667015312573
1212.53/1209.26	c cleaning 484 clauses out of 3114 for limit 24.940456891658165
1212.63/1209.35	c cleaning 647 clauses out of 3133 for limit 41.003604970625524
1212.73/1209.43	c cleaning 472 clauses out of 2984 for limit 70.8549964167352
1212.83/1209.51	c cleaning 479 clauses out of 3012 for limit 115.76311879902194
1212.93/1209.61	c cleaning 497 clauses out of 3032 for limit 189.4599265026207
1213.03/1209.71	c cleaning 494 clauses out of 3037 for limit 312.55516502960825
1213.03/1209.79	c cleaning 490 clauses out of 3041 for limit 513.738265762675
1213.13/1209.87	c cleaning 517 clauses out of 3052 for limit 845.0145850170206
1213.24/1209.95	c cleaning 478 clauses out of 3034 for limit 1400.4078387006875
1213.34/1210.04	c cleaning 486 clauses out of 3057 for limit 2294.37852744235
1213.43/1210.15	c cleaning 522 clauses out of 3070 for limit 3763.94707380103
1213.53/1210.23	c cleaning 516 clauses out of 3050 for limit 6260.470230004106
1213.63/1210.31	c cleaning 1056 clauses out of 3032 for limit 10364.88434777896
1213.63/1210.37	c cleaning 801 clauses out of 2476 for limit 20931.430220052767
1213.73/1210.44	c cleaning 637 clauses out of 2176 for limit 39317.061541143376
1213.73/1210.49	c cleaning 569 clauses out of 2038 for limit 69160.34306271965
1213.83/1210.56	c cleaning 530 clauses out of 1969 for limit 118051.49447850586
1213.93/1210.61	c cleaning 470 clauses out of 1939 for limit 197694.81700082845
1213.93/1210.67	c cleaning 522 clauses out of 1969 for limit 321057.82809794275
1214.03/1210.72	c cleaning 510 clauses out of 1951 for limit 536494.9573605263
1214.03/1210.77	c cleaning 523 clauses out of 1937 for limit 887587.4090396148
1214.13/1210.82	c cleaning 473 clauses out of 1914 for limit 1481339.8536630822
1214.13/1210.88	c cleaning 627 clauses out of 1946 for limit 2414806.0238441424
1214.23/1210.93	c cleaning 434 clauses out of 1815 for limit 4252715.176439372
1214.23/1211.00	c cleaning 442 clauses out of 1881 for limit 6767215.674041325
1214.34/1211.07	c cleaning 501 clauses out of 1939 for limit 1.0826221076307476E7
1214.44/1211.12	c cleaning 457 clauses out of 1937 for limit 1.7854449115343537E7
1214.44/1211.18	c cleaning 514 clauses out of 1980 for limit 2.880492656615811E7
1214.53/1211.23	c cleaning 498 clauses out of 1966 for limit 4.7841450242230326E7
1214.53/1211.29	c cleaning 486 clauses out of 1968 for limit 7.881677173532312E7
1214.63/1211.34	c cleaning 486 clauses out of 1982 for limit 1.2906128163719676E8
1214.63/1211.39	c cleaning 507 clauses out of 1996 for limit 2.1134645797469047E8
1214.73/1211.45	c cleaning 670 clauses out of 1990 for limit 3.499393921140563E8
1214.73/1211.49	c cleaning 394 clauses out of 1820 for limit 6.31001524496887E8
1214.83/1211.55	c cleaning 454 clauses out of 1925 for limit 9.828617588317952E8
1214.83/1211.59	c cleaning 451 clauses out of 1975 for limit 1.586171001690526E9
1214.93/1211.64	c cleaning 450 clauses out of 2020 for limit 2.547320415630909E9
1214.93/1211.69	c cleaning 546 clauses out of 2070 for limit 4.09940179826272E9
1215.03/1211.74	c cleaning 1007 clauses out of 2025 for limit 6.917612073870173E9
1215.03/1211.78	c cleaning 416 clauses out of 1518 for limit 1.5218272171332283E10
1215.13/1211.85	c cleaning 403 clauses out of 1601 for limit 2.3772078836079E10
1215.23/1211.90	c cleaning 319 clauses out of 1698 for limit 3.696380707548946E10
1215.23/1211.96	c cleaning 557 clauses out of 1880 for limit 5.5112096260897705E10
1215.33/1212.02	c cleaning 897 clauses out of 1822 for limit 9.368666557882799E10
1215.33/1212.07	c cleaning 416 clauses out of 1425 for limit 1.975455165439079E11
1800.08/1795.91	c starts		: 23
1800.08/1795.91	c conflicts		: 1713487
1800.08/1795.91	c decisions		: 5597929
1800.08/1795.91	c propagations		: 582472250
1800.08/1795.91	c inspects		: 10675262643
1800.08/1795.91	c learnt literals	: 37
1800.08/1795.91	c learnt binary clauses	: 91515
1800.08/1795.91	c learnt ternary clauses	: 62095
1800.08/1795.91	c learnt clauses	: 1713450
1800.08/1795.91	c root simplifications	: 0
1800.08/1795.91	c removed literals (reason simplification)	: 0
1800.08/1795.91	c reason swapping (by a shorter reason)	: 0
1800.08/1795.91	c Calls to reduceDB	: 273
1800.08/1795.91	c speed (decisions/second)	: 3117.8174555435253
1800.08/1795.91	c non guided choices	7401
1800.08/1795.91	s UNKNOWN
1800.08/1795.91	c Total wall clock time (ms): 1795.811

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

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

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


[startup+0 s]
/proc/loadavg: 1.86 1.99 1.99 2/174 5311
/proc/meminfo: memFree=27902352/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5311/stat : 5311 (java) D 5309 5311 32179 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342298496 9515008 183 33554432000 1073741824 1073778376 140735102063568 140735102054600 260190322357 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5311/statm: 2323 183 140 9 0 71 0

[startup+0.031609 s]
/proc/loadavg: 1.86 1.99 1.99 2/174 5311
/proc/meminfo: memFree=27902352/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=2414972 CPUtime=0 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 3690 0 1 0 0 0 0 0 20 0 10 0 342298496 2472931328 4389 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 603743 4389 1540 9 0 594444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2414972

[startup+0.100232 s]
/proc/loadavg: 1.86 1.99 1.99 2/174 5311
/proc/meminfo: memFree=27902352/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 4925 0 1 0 7 1 0 0 20 0 18 0 342298496 3028844544 6624 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 739464 6624 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300164 s]
/proc/loadavg: 1.86 1.99 1.99 2/174 5311
/proc/meminfo: memFree=27902352/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 8147 0 1 0 52 2 0 0 20 0 18 0 342298496 3028844544 11351 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 739464 11351 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700169 s]
/proc/loadavg: 1.86 1.99 1.99 2/174 5311
/proc/meminfo: memFree=27902352/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=1.4 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 9520 0 1 0 137 3 0 0 20 0 19 0 342298496 3097006080 18751 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 18751 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 3024420

[startup+1.50052 s]
/proc/loadavg: 1.86 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27773692/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=2.21 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 9525 0 1 0 218 3 0 0 20 0 19 0 342298496 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 19266 2275 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3076 0 1 0 144 2 0 0 20 0 19 0 342298497 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700409786824 140700260438475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2923 0 0 0 35 0 0 0 20 0 19 0 342298502 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2331 0 0 0 36 0 0 0 20 0 19 0 342298502 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 19266 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.86 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27764376/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=3.85 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 9529 0 1 0 381 4 0 0 20 0 19 0 342298496 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 21314 2275 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3080 0 1 0 303 2 0 0 20 0 19 0 342298497 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700409784984 140700260438031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2923 0 0 0 37 0 0 0 20 0 19 0 342298502 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2331 0 0 0 37 0 0 0 20 0 19 0 342298502 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 21314 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 3024420

[startup+6.30063 s]
/proc/loadavg: 1.87 1.99 1.99 3/213 5386
/proc/meminfo: memFree=27734940/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=7.05 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 9538 0 1 0 701 4 0 0 20 0 19 0 342298496 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 24322 2276 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3088 0 1 0 623 2 0 0 20 0 19 0 342298497 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700409784752 140700260438092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342298499 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2923 0 0 0 37 0 0 0 20 0 19 0 342298502 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2331 0 0 0 37 0 0 0 20 0 19 0 342298502 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 24322 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2933 0 0 0 41 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 100 0 0 0 29 39 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.47
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=5311] ppid=5309 vsize=3024420 CPUtime=1786.46 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 12044 0 1 0 178474 172 0 0 20 0 19 0 342298496 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 418853 2304 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=1773.69 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3274 0 1 0 177333 36 0 0 20 0 19 0 342298497 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700409785648 140700260369399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 254 0 0 0 35 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 202 0 0 0 36 12 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 343 0 0 0 56 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 178 0 0 0 32 11 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 334 0 0 0 41 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 194 0 0 0 37 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 173 0 0 0 27 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 236 0 0 0 36 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 223 0 0 0 255 8 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2933 0 0 0 41 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 104 0 0 0 30 40 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5401
/proc/meminfo: memFree=24563900/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 12044 0 1 0 179835 173 0 0 20 0 19 0 342298496 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 418853 2304 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=1787.26 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3274 0 1 0 178689 37 0 0 20 0 19 0 342298497 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700409785648 140700260369555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 254 0 0 0 35 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 202 0 0 0 36 12 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 343 0 0 0 56 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 178 0 0 0 32 11 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 334 0 0 0 41 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 194 0 0 0 37 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 173 0 0 0 27 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 236 0 0 0 36 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 223 0 0 0 255 8 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2933 0 0 0 41 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 104 0 0 0 30 41 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 5401
/proc/meminfo: memFree=24563900/32873648 swapFree=7116/7116
[pid=5311] ppid=5309 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/5311/stat : 5311 (java) S 5309 5311 32179 0 -1 4202496 12044 0 1 0 179835 173 0 0 20 0 19 0 342298496 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140735346068384 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5311/statm: 756105 418853 2304 9 0 746526 0
[pid=5311/tid=5313] ppid=5309 vsize=3024420 CPUtime=1787.26 cores=1,3,5,7
/proc/5311/task/5313/stat : 5313 (java) R 5309 5311 32179 0 -1 4202560 3274 0 1 0 178689 37 0 0 20 0 19 0 342298497 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700409785648 140700260369555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5318] ppid=5309 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5311/task/5318/stat : 5318 (java) S 5309 5311 32179 0 -1 4202560 254 0 0 0 35 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700393212072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5319] ppid=5309 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/5311/task/5319/stat : 5319 (java) S 5309 5311 32179 0 -1 4202560 202 0 0 0 36 12 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700392159528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5320] ppid=5309 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/5311/task/5320/stat : 5320 (java) S 5309 5311 32179 0 -1 4202560 343 0 0 0 56 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700391106984 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5321] ppid=5309 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/5311/task/5321/stat : 5321 (java) S 5309 5311 32179 0 -1 4202560 178 0 0 0 32 11 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700390054440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5311/tid=5322] ppid=5309 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/5311/task/5322/stat : 5322 (java) S 5309 5311 32179 0 -1 4202560 334 0 0 0 41 20 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700389001896 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5323] ppid=5309 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/5311/task/5323/stat : 5323 (java) S 5309 5311 32179 0 -1 4202560 194 0 0 0 37 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700387949352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5324] ppid=5309 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5311/task/5324/stat : 5324 (java) S 5309 5311 32179 0 -1 4202560 173 0 0 0 27 10 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700386896808 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5325] ppid=5309 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5311/task/5325/stat : 5325 (java) S 5309 5311 32179 0 -1 4202560 236 0 0 0 36 14 0 0 20 0 19 0 342298499 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700385844264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5329] ppid=5309 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/5311/task/5329/stat : 5329 (java) S 5309 5311 32179 0 -1 4202560 223 0 0 0 255 8 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700255496296 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5333] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5333/stat : 5333 (java) S 5309 5311 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700254442616 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5334] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5334/stat : 5334 (java) S 5309 5311 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342298500 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700253389960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5335] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5335/stat : 5335 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700252338704 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5336] ppid=5309 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5311/task/5336/stat : 5336 (java) S 5309 5311 32179 0 -1 4202560 2933 0 0 0 41 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700251286072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5311/tid=5337] ppid=5309 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5311/task/5337/stat : 5337 (java) S 5309 5311 32179 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700250233528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5338] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5338/stat : 5338 (java) S 5309 5311 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700249181176 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5311/tid=5339] ppid=5309 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/5311/task/5339/stat : 5339 (java) S 5309 5311 32179 0 -1 4202560 104 0 0 0 30 41 0 0 20 0 19 0 342298502 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700248128840 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5311/tid=5385] ppid=5309 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5311/task/5385/stat : 5385 (java) S 5309 5311 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342298541 3097006080 418853 33554432000 1073741824 1073778376 140735346077248 140700245996328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1795.92
CPU time (s): 1800.08
CPU user time (s): 1798.35
CPU system time (s): 1.73
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 2.10168
maximum resident set size= 1675528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12075
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38153
involuntary context switches= 18556

runsolver used 6.05208 second user time and 15.3317 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 00:15:30
IDJOB=3742075
IDBENCH=90130
IDSOLVER=2319
FILE ID=node123/3742075-1338761730
RUNJOBID= node123-1338758132-5020
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_K108.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742075-1338761730/watcher-3742075-1338761730 -o /tmp/evaluation-result-3742075-1338761730/solver-3742075-1338761730 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742075-1338761730.opb           

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

MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b
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:        27902996 kB
Buffers:         1808608 kB
Cached:          2260072 kB
SwapCached:         2268 kB
Active:          2170612 kB
Inactive:        1911396 kB
Active(anon):       6312 kB
Inactive(anon):     5504 kB
Active(file):    2164300 kB
Inactive(file):  1905892 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              3916 kB
Writeback:             0 kB
AnonPages:         14688 kB
Mapped:            10296 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:     137496 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= 71296 MiB
End job on node123 at 2012-06-04 00:45:28