Trace number 3742582

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.78 1796.02

General information on the benchmark

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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.10/0.10	--- Begin Solver configuration ---
0.10/0.10	c Stops conflict analysis at the first Unique Implication Point
0.10/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.10/0.10	c No reason simplification
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3742582-1338770744.opb
0.10/0.10	c reading problem ... 
0.96/0.59	c ... done. Wall clock time 0.489s.
0.96/0.59	c CPU time (experimental) 0.56s.
0.96/0.59	c #vars     15708
0.96/0.59	c #constraints  15972
884.44/881.72	c cleaning 319752 clauses out of 640936 for limit 5.190778291683418E-8
885.35/882.68	c cleaning 160541 clauses out of 321684 for limit 1.7055858014814378E-7
885.65/882.97	c cleaning 80247 clauses out of 161643 for limit 5.597602015576263E-7
885.96/883.21	c cleaning 40230 clauses out of 81896 for limit 1.8220157051085104E-6
886.15/883.41	c cleaning 20820 clauses out of 42168 for limit 5.847318008494811E-6
886.25/883.57	c cleaning 10415 clauses out of 21846 for limit 1.8576104737971215E-5
886.45/883.72	c cleaning 5330 clauses out of 11931 for limit 5.6092606567793854E-5
886.55/883.84	c cleaning 2821 clauses out of 7101 for limit 1.554242719814098E-4
886.75/884.00	c cleaning 1132 clauses out of 4780 for limit 3.807731745996782E-4
886.85/884.14	c cleaning 815 clauses out of 4148 for limit 7.236213645973047E-4
887.06/884.35	c cleaning 624 clauses out of 3835 for limit 0.0012933309504565389
887.35/884.63	c cleaning 1615 clauses out of 3709 for limit 0.0022009241161698666
887.55/884.82	c cleaning 993 clauses out of 2594 for limit 0.005189766492613272
887.65/884.98	c cleaning 739 clauses out of 2102 for limit 0.010572446023049605
887.85/885.12	c cleaning 661 clauses out of 1862 for limit 0.01966300487292194
888.05/885.30	c cleaning 637 clauses out of 1702 for limit 0.03551079592556349
888.16/885.45	c cleaning 538 clauses out of 1565 for limit 0.06368857141085196
888.35/885.65	c cleaning 540 clauses out of 1526 for limit 0.10760753695958115
888.55/885.82	c cleaning 491 clauses out of 1486 for limit 0.1822360536404442
888.65/885.98	c cleaning 510 clauses out of 1495 for limit 0.2987224110317705
888.85/886.17	c cleaning 478 clauses out of 1485 for limit 0.4959506135690708
889.05/886.37	c cleaning 529 clauses out of 1507 for limit 0.8059489247905132
889.15/886.49	c cleaning 522 clauses out of 1479 for limit 1.355635700278335
889.45/886.70	c cleaning 485 clauses out of 1456 for limit 2.2686691821956697
889.55/886.83	c cleaning 482 clauses out of 1471 for limit 3.703188003265711
889.65/886.96	c cleaning 498 clauses out of 1489 for limit 6.033226401148614
889.75/887.09	c cleaning 494 clauses out of 1491 for limit 9.936251238911106
889.95/887.27	c cleaning 511 clauses out of 1497 for limit 16.32053135834543
890.15/887.44	c cleaning 482 clauses out of 1486 for limit 27.1139738080139
890.25/887.57	c cleaning 481 clauses out of 1504 for limit 44.17942227206011
890.46/887.71	c cleaning 445 clauses out of 1525 for limit 71.99841494700513
890.55/887.88	c cleaning 523 clauses out of 1581 for limit 114.64399407975147
890.75/888.00	c cleaning 496 clauses out of 1555 for limit 191.648372834563
890.85/888.14	c cleaning 509 clauses out of 1559 for limit 315.2428908760766
891.05/888.30	c cleaning 506 clauses out of 1550 for limit 522.8963442008372
891.15/888.45	c cleaning 587 clauses out of 1544 for limit 865.6770312716083
891.35/888.62	c cleaning 546 clauses out of 1460 for limit 1514.2924506423983
891.45/888.77	c cleaning 495 clauses out of 1411 for limit 2576.249680566518
891.65/888.93	c cleaning 500 clauses out of 1416 for limit 4233.578318449297
891.75/889.09	c cleaning 515 clauses out of 1416 for limit 6981.7370050977825
891.95/889.25	c cleaning 520 clauses out of 1401 for limit 11637.092607570014
892.15/889.44	c cleaning 482 clauses out of 1381 for limit 19469.053303174736
892.25/889.54	c cleaning 466 clauses out of 1400 for limit 31703.03760433249
892.45/889.73	c cleaning 517 clauses out of 1433 for limit 51027.47708459194
892.55/889.88	c cleaning 500 clauses out of 1416 for limit 85161.42510895054
892.75/890.03	c cleaning 490 clauses out of 1416 for limit 140442.5826962874
892.85/890.18	c cleaning 503 clauses out of 1426 for limit 229984.42315938478
893.05/890.34	c cleaning 498 clauses out of 1423 for limit 380074.6766494489
893.25/890.51	c cleaning 635 clauses out of 1429 for limit 626665.145148288
893.35/890.64	c cleaning 551 clauses out of 1290 for limit 1140239.019032486
893.55/890.83	c cleaning 556 clauses out of 1239 for limit 1957808.4086139265
893.75/891.01	c cleaning 524 clauses out of 1183 for limit 3381525.2774009905
893.95/891.21	c cleaning 522 clauses out of 1159 for limit 5692064.777670084
894.15/891.41	c cleaning 507 clauses out of 1136 for limit 9577029.506303158
894.25/891.59	c cleaning 511 clauses out of 1129 for limit 1.5891727223476602E7
894.45/891.74	c cleaning 509 clauses out of 1119 for limit 2.6468257805557318E7
894.65/891.94	c cleaning 466 clauses out of 1110 for limit 4.400361445166526E7
894.86/892.11	c cleaning 489 clauses out of 1143 for limit 7.04022395285399E7
894.95/892.26	c cleaning 489 clauses out of 1156 for limit 1.1502699686546919E8
895.15/892.44	c cleaning 520 clauses out of 1165 for limit 1.8785318098521185E8
895.25/892.60	c cleaning 463 clauses out of 1146 for limit 3.152464901922005E8
895.55/892.80	c cleaning 578 clauses out of 1182 for limit 5.035455662843405E8
895.65/892.98	c cleaning 501 clauses out of 1104 for limit 8.890845564072928E8
895.85/893.15	c cleaning 502 clauses out of 1103 for limit 1.4675486744552271E9
896.05/893.33	c cleaning 514 clauses out of 1101 for limit 2.4245804273628616E9
896.25/893.56	c cleaning 504 clauses out of 1087 for limit 4.0499555516983337E9
896.45/893.73	c cleaning 482 clauses out of 1084 for limit 6.704106696592205E9
896.65/893.91	c cleaning 452 clauses out of 1101 for limit 1.0874373761324226E10
896.77/894.06	c cleaning 456 clauses out of 1151 for limit 1.7188625993170067E10
896.87/894.19	c cleaning 446 clauses out of 1195 for limit 2.7302628968282413E10
896.97/894.29	c cleaning 468 clauses out of 1249 for limit 4.307902060898432E10
897.17/894.42	c cleaning 464 clauses out of 1281 for limit 6.926837776941248E10
897.27/894.56	c cleaning 587 clauses out of 1314 for limit 1.1114134412822752E11
897.47/894.72	c cleaning 531 clauses out of 1227 for limit 1.9647931984410364E11
897.57/894.85	c cleaning 513 clauses out of 1195 for limit 3.3236469004948193E11
897.77/895.00	c cleaning 478 clauses out of 1182 for limit 5.541421616150643E11
897.87/895.13	c cleaning 481 clauses out of 1208 for limit 8.97771203070568E11
897.97/895.23	c cleaning 483 clauses out of 1223 for limit 1.4565452726637092E12
898.07/895.33	c cleaning 480 clauses out of 1240 for limit 2.3691068415275103E12
898.17/895.45	c cleaning 483 clauses out of 1260 for limit 3.8449586529771665E12
898.27/895.55	c cleaning 535 clauses out of 1280 for limit 6.260538227639838E12
898.37/895.67	c cleaning 445 clauses out of 1248 for limit 1.0621026156471834E13
898.47/895.79	c cleaning 478 clauses out of 1297 for limit 1.6752896445686979E13
898.57/895.88	c cleaning 483 clauses out of 1319 for limit 2.716695551138958E13
898.67/895.99	c cleaning 487 clauses out of 1337 for limit 4.4243019455163875E13
898.87/896.11	c cleaning 496 clauses out of 1350 for limit 7.226005443534477E13
898.97/896.24	c cleaning 660 clauses out of 1353 for limit 1.1878336700668681E14
899.07/896.35	c cleaning 424 clauses out of 1193 for limit 2.221615370484637E14
899.17/896.45	c cleaning 618 clauses out of 1269 for limit 3.4443206866361756E14
899.27/896.57	c cleaning 555 clauses out of 1151 for limit 6.26247154445767E14
899.37/896.69	c cleaning 445 clauses out of 1098 for limit 1.0847849707585996E15
899.57/896.82	c cleaning 417 clauses out of 1153 for limit 1.7036194096412692E15
899.67/896.93	c cleaning 422 clauses out of 1234 for limit 2.6198328924714245E15
899.77/897.04	c cleaning 620 clauses out of 1312 for limit 4.063598601135522E-5
899.87/897.17	c cleaning 553 clauses out of 1192 for limit 7.376057078724088E-5
899.97/897.28	c cleaning 438 clauses out of 1139 for limit 1.2730125557419993E-4
900.07/897.39	c cleaning 551 clauses out of 1203 for limit 1.9916622619433206E-4
900.27/897.51	c cleaning 396 clauses out of 1151 for limit 3.429472884162638E-4
900.37/897.62	c cleaning 391 clauses out of 1255 for limit 5.18698340090045E-4
900.47/897.74	c cleaning 452 clauses out of 1363 for limit 7.868357852882062E-4
900.57/897.88	c cleaning 488 clauses out of 1413 for limit 0.001254188192900148
900.77/898.01	c cleaning 500 clauses out of 1423 for limit 0.0020496836327500065
900.87/898.15	c cleaning 488 clauses out of 1423 for limit 0.0033802025121754866
900.97/898.27	c cleaning 501 clauses out of 1436 for limit 0.005529470929386639
901.17/898.41	c cleaning 500 clauses out of 1434 for limit 0.009122423770248756
901.27/898.56	c cleaning 503 clauses out of 1434 for limit 0.015044097173158815
901.37/898.69	c cleaning 486 clauses out of 1431 for limit 0.024861740811919292
901.57/898.81	c cleaning 491 clauses out of 1445 for limit 0.040603101448502564
901.67/898.93	c cleaning 506 clauses out of 1454 for limit 0.06654547598169451
901.77/899.06	c cleaning 476 clauses out of 1450 for limit 0.11026555065771032
901.97/899.20	c cleaning 503 clauses out of 1472 for limit 0.17876681653749352
902.07/899.33	c cleaning 480 clauses out of 1469 for limit 0.2954124589024502
902.27/899.50	c cleaning 505 clauses out of 1490 for limit 0.4807892334343948
902.37/899.67	c cleaning 496 clauses out of 1485 for limit 0.7955554138058738
902.47/899.79	c cleaning 509 clauses out of 1488 for limit 1.3080228571417478
902.66/899.92	c cleaning 512 clauses out of 1479 for limit 2.170231073214232
902.76/900.05	c cleaning 508 clauses out of 1468 for limit 3.6094289271182345
902.86/900.19	c cleaning 482 clauses out of 1460 for limit 5.985047222740472
903.06/900.30	c cleaning 519 clauses out of 1477 for limit 9.74678344780121
903.16/900.44	c cleaning 501 clauses out of 1458 for limit 16.28321568218319
903.26/900.58	c cleaning 500 clauses out of 1464 for limit 26.931099975501525
903.46/900.72	c cleaning 514 clauses out of 1459 for limit 44.34280941168523
903.57/900.89	c cleaning 492 clauses out of 1445 for limit 73.83572385853844
903.76/901.04	c cleaning 490 clauses out of 1453 for limit 121.09456646402153
903.86/901.19	c cleaning 493 clauses out of 1461 for limit 198.21061933028795
904.07/901.38	c cleaning 493 clauses out of 1468 for limit 325.3171552163225
904.37/901.61	c cleaning 588 clauses out of 1477 for limit 534.2904809041859
904.47/901.71	c cleaning 558 clauses out of 1390 for limit 937.2026988496242
904.57/901.82	c cleaning 513 clauses out of 1329 for limit 1611.6684399960734
904.68/901.93	c cleaning 501 clauses out of 1318 for limit 2685.4074090224963
904.78/902.03	c cleaning 506 clauses out of 1315 for limit 4429.826365886197
904.87/902.13	c cleaning 471 clauses out of 1309 for limit 7338.861588940914
904.97/902.24	c cleaning 481 clauses out of 1339 for limit 11843.448210699486
905.07/902.34	c cleaning 507 clauses out of 1359 for limit 19263.255472466866
905.17/902.44	c cleaning 507 clauses out of 1350 for limit 31915.54287455312
905.27/902.53	c cleaning 474 clauses out of 1343 for limit 52907.33411009327
905.37/902.64	c cleaning 473 clauses out of 1370 for limit 85617.3384911562
905.47/902.76	c cleaning 491 clauses out of 1397 for limit 138465.56152521653
905.57/902.85	c cleaning 495 clauses out of 1407 for limit 226952.2426914935
905.67/902.99	c cleaning 500 clauses out of 1411 for limit 372840.3762909469
905.88/903.12	c cleaning 550 clauses out of 1410 for limit 614684.4319817028
905.97/903.24	c cleaning 466 clauses out of 1360 for limit 1050965.126237834
906.07/903.35	c cleaning 490 clauses out of 1394 for limit 1690909.3548930946
906.17/903.46	c cleaning 503 clauses out of 1412 for limit 2775111.1675325884
906.27/903.57	c cleaning 531 clauses out of 1401 for limit 4575691.535510115
906.37/903.68	c cleaning 452 clauses out of 1371 for limit 7718764.995070162
906.57/903.80	c cleaning 533 clauses out of 1418 for limit 1.2295053357561281E7
906.67/903.92	c cleaning 679 clauses out of 1385 for limit 2.075930273314929E7
906.77/904.02	c cleaning 381 clauses out of 1208 for limit 3.932968897331161E7
906.88/904.15	c cleaning 644 clauses out of 1325 for limit 5.901445916553834E7
906.98/904.24	c cleaning 533 clauses out of 1181 for limit 1.0918935463135111E8
907.07/904.34	c cleaning 555 clauses out of 1148 for limit 1.852440193802094E8
907.17/904.47	c cleaning 392 clauses out of 1093 for limit 3.208646025064304E8
907.37/904.60	c cleaning 379 clauses out of 1203 for limit 4.8172729443815976E8
907.47/904.74	c cleaning 652 clauses out of 1322 for limit 7.214766657953255E8
907.57/904.87	c cleaning 349 clauses out of 1172 for limit 1.3447793871848285E9
907.67/904.98	c cleaning 529 clauses out of 1322 for limit 1.9641225209965687E9
907.87/905.10	c cleaning 442 clauses out of 1293 for limit 3.311748838355332E9
907.87/905.19	c cleaning 463 clauses out of 1350 for limit 5.225688573736164E9
907.98/905.30	c cleaning 479 clauses out of 1387 for limit 8.387967106396351E9
908.17/905.43	c cleaning 493 clauses out of 1409 for limit 1.363052505621886E10
1483.28/1479.76	c cleaning 288739 clauses out of 578907 for limit 0.04657851603573985
1484.38/1480.89	c cleaning 145236 clauses out of 290668 for limit 0.15298650163074173
1485.19/1481.70	c cleaning 72074 clauses out of 145932 for limit 0.5025227046301111
1485.79/1482.27	c cleaning 36205 clauses out of 74358 for limit 1.6264263807630763
1486.49/1482.92	c cleaning 18318 clauses out of 38653 for limit 5.159822836846212
1486.79/1483.28	c cleaning 9348 clauses out of 20836 for limit 15.801344698109906
1487.09/1483.57	c cleaning 4913 clauses out of 11987 for limit 45.250071081338334
1487.39/1483.85	c cleaning 2681 clauses out of 7575 for limit 118.20545871858087
1487.59/1484.09	c cleaning 1613 clauses out of 5395 for limit 273.9801629483984
1487.79/1484.27	c cleaning 1093 clauses out of 4280 for limit 568.3994684250391
1487.89/1484.38	c cleaning 831 clauses out of 3687 for limit 1088.1284902979328
1488.08/1484.53	c cleaning 631 clauses out of 3356 for limit 1971.4567502286473
1488.28/1484.71	c cleaning 589 clauses out of 3225 for limit 3383.260000138822
1488.38/1484.83	c cleaning 557 clauses out of 3137 for limit 5741.7062939605885
1488.49/1484.99	c cleaning 506 clauses out of 3079 for limit 9637.561851249784
1488.68/1485.18	c cleaning 459 clauses out of 3073 for limit 15924.660924776426
1488.88/1485.34	c cleaning 513 clauses out of 3116 for limit 25951.365582297716
1488.98/1485.45	c cleaning 534 clauses out of 3101 for limit 42918.32478247043
1489.18/1485.60	c cleaning 476 clauses out of 3067 for limit 71562.68705509427
1489.28/1485.76	c cleaning 504 clauses out of 3091 for limit 117100.10840955903
1489.48/1485.90	c cleaning 487 clauses out of 3087 for limit 193363.97250907245
1489.59/1486.03	c cleaning 448 clauses out of 3100 for limit 317545.80690152897
1489.69/1486.17	c cleaning 488 clauses out of 3152 for limit 515036.1992087081
1489.88/1486.31	c cleaning 1091 clauses out of 3164 for limit 846142.2391030461
1489.98/1486.45	c cleaning 458 clauses out of 2573 for limit 1715915.7124090847
1490.08/1486.56	c cleaning 250 clauses out of 2617 for limit 2787769.9033903955
1490.18/1486.68	c cleaning 350 clauses out of 2869 for limit 4201989.957283323
1490.38/1486.83	c cleaning 540 clauses out of 3015 for limit 6567741.965178957
1490.48/1486.97	c cleaning 453 clauses out of 2975 for limit 1.097671315257278E7
1490.69/1487.13	c cleaning 717 clauses out of 3022 for limit 1.78205339412127E7
1490.79/1487.25	c cleaning 404 clauses out of 2809 for limit 3.1743686922436837E7
1490.88/1487.36	c cleaning 443 clauses out of 2905 for limit 5.0619617211612634E7
1490.98/1487.47	c cleaning 472 clauses out of 2958 for limit 8.165535356964785E7
1491.08/1487.59	c cleaning 466 clauses out of 2986 for limit 1.3339787669497687E8
1491.18/1487.69	c cleaning 476 clauses out of 3020 for limit 2.1751422507801545E8
1491.38/1487.81	c cleaning 479 clauses out of 3045 for limit 3.5612110243970615E8
1491.48/1487.93	c cleaning 1052 clauses out of 3065 for limit 5.828756362092032E8
1491.58/1488.04	c cleaning 430 clauses out of 2513 for limit 1.172383721821612E9
1491.68/1488.15	c cleaning 258 clauses out of 2584 for limit 1.8821756813617442E9
1491.89/1488.32	c cleaning 517 clauses out of 2825 for limit 2.8363223698302336E9
1491.98/1488.43	c cleaning 379 clauses out of 2808 for limit 4.705793071067649E9
1492.08/1488.53	c cleaning 432 clauses out of 2930 for limit 7.444794388047103E9
1492.18/1488.63	c cleaning 476 clauses out of 2997 for limit 1.1990987781835857E10
1492.28/1488.74	c cleaning 478 clauses out of 3024 for limit 1.9657095106425144E10
1492.38/1488.84	c cleaning 493 clauses out of 3044 for limit 3.2139812669186104E10
1492.48/1488.95	c cleaning 655 clauses out of 3051 for limit 5.288124466272549E10
1492.58/1489.04	c cleaning 434 clauses out of 2895 for limit 9.181564371335576E10
1492.68/1489.16	c cleaning 460 clauses out of 2963 for limit 1.4823764624090714E11
1492.78/1489.25	c cleaning 515 clauses out of 3002 for limit 2.4104651078029498E11
1492.89/1489.35	c cleaning 459 clauses out of 2986 for limit 3.992483307860751E11
1492.99/1489.46	c cleaning 496 clauses out of 3027 for limit 6.494958470914442E11
1493.08/1489.57	c cleaning 667 clauses out of 3034 for limit 1.0718466263792115E12
1493.18/1489.68	c cleaning 378 clauses out of 2865 for limit 1.868144471257382E12
1493.38/1489.81	c cleaning 460 clauses out of 2986 for limit 2.953021827581048E12
1493.38/1489.89	c cleaning 443 clauses out of 3026 for limit 4.805553579984934E12
1493.48/1489.99	c cleaning 1532 clauses out of 3084 for limit 7.783741006085503E12
1800.01/1796.01	c starts		: 23
1800.01/1796.01	c conflicts		: 1628827
1800.01/1796.01	c decisions		: 6694638
1800.01/1796.01	c propagations		: 1255192316
1800.01/1796.01	c inspects		: 9399641431
1800.01/1796.01	c learnt literals	: 75
1800.01/1796.01	c learnt binary clauses	: 98753
1800.01/1796.01	c learnt ternary clauses	: 76046
1800.01/1796.01	c learnt clauses	: 1628752
1800.01/1796.01	c root simplifications	: 0
1800.01/1796.01	c removed literals (reason simplification)	: 0
1800.01/1796.01	c reason swapping (by a shorter reason)	: 0
1800.01/1796.01	c Calls to reduceDB	: 217
1800.01/1796.01	c speed (decisions/second)	: 3728.7599573578345
1800.01/1796.01	c non guided choices	1745
1800.01/1796.01	s UNKNOWN
1800.01/1796.01	c Total wall clock time (ms): 1795.907

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-3742582-1338770744/watcher-3742582-1338770744 -o /tmp/evaluation-result-3742582-1338770744/solver-3742582-1338770744 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742582-1338770744.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.94 1.99 1.99 4/194 18371
/proc/meminfo: memFree=26397380/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/18371/stat : 18371 (runsolver) D 18369 18371 17886 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 343199263 12095488 50 33554432000 4194304 5436572 140734421700608 140734421696904 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/18371/statm: 2953 50 31 304 0 2645 0

[startup+0.088627 s]
/proc/loadavg: 1.94 1.99 1.99 4/194 18371
/proc/meminfo: memFree=26397380/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 4200 0 1 0 6 0 0 0 20 0 18 0 343199263 3028844544 5406 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 739464 5406 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.100178 s]
/proc/loadavg: 1.94 1.99 1.99 4/194 18371
/proc/meminfo: memFree=26397380/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 4942 0 1 0 9 1 0 0 20 0 18 0 343199263 3028844544 6146 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 739464 6146 2118 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300157 s]
/proc/loadavg: 1.94 1.99 1.99 4/194 18371
/proc/meminfo: memFree=26397380/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 8513 0 1 0 54 1 0 0 20 0 18 0 343199263 3028844544 11455 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 739464 11455 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856

[startup+0.700143 s]
/proc/loadavg: 1.94 1.99 1.99 4/194 18371
/proc/meminfo: memFree=26397380/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=1.52 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 10069 0 1 0 149 3 0 0 20 0 19 0 343199263 3097006080 30020 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 30020 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 3024420

[startup+1.5007 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 18390
/proc/meminfo: memFree=26285392/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=2.45 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 10095 0 1 0 242 3 0 0 20 0 19 0 343199263 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 30557 2273 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3137 0 1 0 144 3 0 0 20 0 19 0 343199264 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750452740504 139750325775559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343199266 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3037 0 0 0 53 0 0 0 20 0 19 0 343199269 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2720 0 0 0 42 0 0 0 20 0 19 0 343199269 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 30557 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.94 1.99 1.99 3/213 18390
/proc/meminfo: memFree=26280668/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=4.06 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 10098 0 1 0 403 3 0 0 20 0 19 0 343199263 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 31070 2273 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3139 0 1 0 304 3 0 0 20 0 19 0 343199264 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750452740520 139750325702945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343199266 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3037 0 0 0 54 0 0 0 20 0 19 0 343199269 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2720 0 0 0 42 0 0 0 20 0 19 0 343199269 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 31070 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 1.95 1.99 1.99 3/213 18390
/proc/meminfo: memFree=26268132/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=7.29 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 10108 0 1 0 726 3 0 0 20 0 19 0 343199263 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 33090 2273 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3145 0 1 0 624 3 0 0 20 0 19 0 343199264 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750452738544 139750325710009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343199265 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343199266 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3039 0 0 0 55 0 0 0 20 0 19 0 343199269 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2722 0 0 0 44 0 0 0 20 0 19 0 343199269 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 33090 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 302 0 0 0 29 16 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 145 0 0 0 20 8 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 321 0 0 0 39 19 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 249 0 0 0 199 8 0 0 20 0 19 0 343199266 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3049 0 0 0 59 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2736 0 0 0 50 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 95 0 0 0 40 34 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.28
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 18429
/proc/meminfo: memFree=23175828/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=1726.29 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 12462 0 1 0 172492 137 0 0 20 0 19 0 343199263 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 418386 2302 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=1719.38 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3312 0 1 0 171904 34 0 0 20 0 19 0 343199264 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750452739376 139750325670213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 211 0 0 0 30 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 177 0 0 0 32 10 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 244 0 0 0 31 15 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 251 0 0 0 37 12 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 179 0 0 0 25 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 302 0 0 0 29 16 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 145 0 0 0 20 8 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 321 0 0 0 39 19 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=2.07 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 249 0 0 0 199 8 0 0 20 0 19 0 343199266 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3049 0 0 0 59 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2736 0 0 0 50 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 99 0 0 0 42 35 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.29
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 18429
/proc/meminfo: memFree=23175580/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=1786.3 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 12466 0 1 0 178492 138 0 0 20 0 19 0 343199263 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 418386 2302 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=1779.38 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3312 0 1 0 177903 35 0 0 20 0 19 0 343199264 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750452739376 139750325759060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 211 0 0 0 30 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 177 0 0 0 32 10 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 244 0 0 0 31 15 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 251 0 0 0 37 12 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 179 0 0 0 25 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 302 0 0 0 29 16 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 145 0 0 0 20 8 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 321 0 0 0 39 19 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=2.08 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 249 0 0 0 200 8 0 0 20 0 19 0 343199266 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3049 0 0 0 59 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2736 0 0 0 50 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0.79 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 103 0 0 0 43 36 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.3
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 1.93 1.99 1.99 4/213 18487
/proc/meminfo: memFree=24612356/32873844 swapFree=7628/7628
[pid=18371] ppid=18369 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/18371/stat : 18371 (java) S 18369 18371 17886 0 -1 4202496 12466 0 1 0 179863 138 0 0 20 0 19 0 343199263 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 140733841660224 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18371/statm: 756105 418386 2302 9 0 746526 0
[pid=18371/tid=18373] ppid=18369 vsize=3024420 CPUtime=1793.09 cores=0,2,4,6
/proc/18371/task/18373/stat : 18373 (java) R 18369 18371 17886 0 -1 4202560 3312 0 1 0 179274 35 0 0 20 0 19 0 343199264 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750452739376 139750325759060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18374] ppid=18369 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/18371/task/18374/stat : 18374 (java) S 18369 18371 17886 0 -1 4202560 211 0 0 0 30 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750318447272 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18375] ppid=18369 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18371/task/18375/stat : 18375 (java) S 18369 18371 17886 0 -1 4202560 177 0 0 0 32 10 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750249851688 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18376] ppid=18369 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/18371/task/18376/stat : 18376 (java) S 18369 18371 17886 0 -1 4202560 244 0 0 0 31 15 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750248799144 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18377] ppid=18369 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/18371/task/18377/stat : 18377 (java) S 18369 18371 17886 0 -1 4202560 251 0 0 0 37 12 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750247746600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18378] ppid=18369 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18371/task/18378/stat : 18378 (java) S 18369 18371 17886 0 -1 4202560 179 0 0 0 25 11 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750246693032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18379] ppid=18369 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18371/task/18379/stat : 18379 (java) S 18369 18371 17886 0 -1 4202560 302 0 0 0 29 16 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750245640488 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18380] ppid=18369 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/18371/task/18380/stat : 18380 (java) S 18369 18371 17886 0 -1 4202560 145 0 0 0 20 8 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750244587944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18371/tid=18381] ppid=18369 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/18371/task/18381/stat : 18381 (java) S 18369 18371 17886 0 -1 4202560 321 0 0 0 39 19 0 0 20 0 19 0 343199265 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750243535400 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18382] ppid=18369 vsize=3024420 CPUtime=2.08 cores=0,2,4,6
/proc/18371/task/18382/stat : 18382 (java) S 18369 18371 17886 0 -1 4202560 249 0 0 0 200 8 0 0 20 0 19 0 343199266 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750231337576 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18383] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18383/stat : 18383 (java) S 18369 18371 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750230283896 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18384] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18384/stat : 18384 (java) S 18369 18371 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343199267 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750229231240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18385] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18385/stat : 18385 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750228179984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18371/tid=18386] ppid=18369 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/18371/task/18386/stat : 18386 (java) S 18369 18371 17886 0 -1 4202560 3049 0 0 0 59 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750227126328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18371/tid=18387] ppid=18369 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18371/task/18387/stat : 18387 (java) S 18369 18371 17886 0 -1 4202560 2736 0 0 0 50 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750226073784 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18388] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18388/stat : 18388 (java) S 18369 18371 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750225021432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18389] ppid=18369 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/18371/task/18389/stat : 18389 (java) S 18369 18371 17886 0 -1 4202560 103 0 0 0 43 37 0 0 20 0 19 0 343199269 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750223969096 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18371/tid=18390] ppid=18369 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18371/task/18390/stat : 18390 (java) S 18369 18371 17886 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343199324 3097006080 418386 33554432000 1073741824 1073778376 140733841669088 139750221767976 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1796.02
CPU time (s): 1800.78
CPU user time (s): 1798.83
CPU system time (s): 1.9517
CPU usage (%): 100.265
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.9517
maximum resident set size= 1673660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12497
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38068
involuntary context switches= 3252

runsolver used 5.01124 second user time and 15.9736 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-04 02:45:44
IDJOB=3742582
IDBENCH=90214
IDSOLVER=2319
FILE ID=node144/3742582-1338770744
RUNJOBID= node144-1338765348-17902
PBS_JOBID= 14636814
Free space on /tmp= 70832 MiB

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

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

MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63
RANDOM SEED=1922255628

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26398032 kB
Buffers:         1721860 kB
Cached:          3723244 kB
SwapCached:          464 kB
Active:          3667144 kB
Inactive:        1924696 kB
Active(anon):     127012 kB
Inactive(anon):    11188 kB
Active(file):    3540132 kB
Inactive(file):  1913508 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:              9500 kB
Writeback:             0 kB
AnonPages:        142384 kB
Mapped:            22432 kB
Shmem:               172 kB
Slab:             742728 kB
SReclaimable:     184156 kB
SUnreclaim:       558572 kB
KernelStack:        1600 kB
PageTables:         4436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node144 at 2012-06-04 03:15:42