Trace number 3731967

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 596.333 591.528

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM38f65eab3d9896915eed9a127435e25b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4561
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version	1.6.0_24
0.01/0.07	c os.name	Linux
0.01/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.07	c os.arch	amd64
0.01/0.07	c Free memory 1599470296
0.01/0.07	c Max memory 1607860224
0.01/0.07	c Total memory 1607860224
0.01/0.07	c Number of processors 8
0.01/0.09	--- Begin Solver configuration ---
0.01/0.09	c Stops conflict analysis at the first Unique Implication Point
0.01/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.01/0.09	c No reason simplification
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3731967-1338688506.opb
0.01/0.09	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.147s.
0.28/0.23	c CPU time (experimental) 0.21s.
0.28/0.23	c #vars     577
0.28/0.24	c #constraints  1322
0.28/0.25	c SATISFIABLE
0.28/0.25	c OPTIMIZING...
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.166
0.28/0.26	o 6092
334.79/332.03	c cleaning 1135737 clauses out of 2271486 for limit 4.341293306161357
389.71/386.94	c cleaning 568121 clauses out of 1136250 for limit 14.326684452821386
395.31/392.59	c cleaning 284301 clauses out of 568628 for limit 47.16422754288284
399.11/396.36	c cleaning 142400 clauses out of 284827 for limit 155.2800629634671
401.41/398.64	c cleaning 71459 clauses out of 142928 for limit 510.82240354931366
401.71/398.96	c cleaning 35966 clauses out of 71969 for limit 1673.0066668257573
401.81/399.06	c cleaning 18231 clauses out of 36503 for limit 5439.643880024916
401.91/399.13	c cleaning 9370 clauses out of 18771 for limit 17427.415771031032
401.91/399.17	c cleaning 4935 clauses out of 9903 for limit 54585.65595908291
401.91/399.20	c cleaning 2718 clauses out of 5466 for limit 162765.57200307059
402.02/399.23	c cleaning 1605 clauses out of 3249 for limit 452035.83378095186
402.02/399.25	c cleaning 1058 clauses out of 2144 for limit 1129675.4242127936
402.02/399.27	c cleaning 793 clauses out of 1587 for limit 2519369.886063898
402.02/399.30	c cleaning 646 clauses out of 1293 for limit 5094384.390929963
402.12/399.32	c cleaning 573 clauses out of 1147 for limit 9470713.633937709
402.12/399.35	c cleaning 519 clauses out of 1074 for limit 1.6680064611988693E7
402.12/399.37	c cleaning 509 clauses out of 1054 for limit 2.8001595283676777E7
402.12/399.39	c cleaning 504 clauses out of 1045 for limit 4.6576085115863614E7
402.21/399.41	c cleaning 521 clauses out of 1042 for limit 7.710844623601343E7
402.21/399.44	c cleaning 510 clauses out of 1021 for limit 1.2977762315581796E8
402.21/399.46	c cleaning 484 clauses out of 1010 for limit 2.1613522844389918E8
402.21/399.49	c cleaning 497 clauses out of 1027 for limit 3.508866849470051E8
402.31/399.51	c cleaning 514 clauses out of 1029 for limit 5.76956848060219E8
402.31/399.53	c cleaning 490 clauses out of 1015 for limit 9.646028749969743E8
402.31/399.56	c cleaning 512 clauses out of 1025 for limit 1.5752395813472943E9
402.31/399.58	c cleaning 492 clauses out of 1014 for limit 2.6285904459274945E9
402.41/399.60	c cleaning 511 clauses out of 1022 for limit 4.300964632054113E9
402.41/399.63	c cleaning 505 clauses out of 1010 for limit 7.169960589138617E9
402.41/399.65	c cleaning 481 clauses out of 1005 for limit 1.1883051177684908E10
402.41/399.67	c cleaning 512 clauses out of 1024 for limit 1.9233129671424885E10
402.51/399.70	c cleaning 495 clauses out of 1013 for limit 3.2094518883345963E10
402.51/399.72	c cleaning 488 clauses out of 1017 for limit 5.266726151675622E10
402.51/399.74	c cleaning 500 clauses out of 1030 for limit 8.584497221525082E10
402.51/399.76	c cleaning 514 clauses out of 1029 for limit 1.4156571591719214E11
402.51/399.79	c cleaning 505 clauses out of 1015 for limit 2.3668095288900302E11
402.62/399.81	c cleaning 487 clauses out of 1011 for limit 3.922550960795192E11
402.62/399.83	c cleaning 493 clauses out of 1023 for limit 6.38653786876329E11
402.62/399.86	c cleaning 515 clauses out of 1030 for limit 1.0460676887118652E12
402.62/399.88	c cleaning 489 clauses out of 1015 for limit 1.7505997299420278E12
402.72/399.90	c cleaning 495 clauses out of 1026 for limit 2.8560211919124575E12
402.72/399.92	c cleaning 515 clauses out of 1031 for limit 4.687119305129867E12
402.72/399.95	c cleaning 508 clauses out of 1017 for limit 7.843937403972673E12
402.72/399.97	c cleaning 504 clauses out of 1008 for limit 1.3038148263238527E13
402.72/399.99	c cleaning 484 clauses out of 1005 for limit 2.1587422152437562E13
402.82/400.01	c cleaning 510 clauses out of 1020 for limit 3.504193257693647E13
402.82/400.04	c cleaning 483 clauses out of 1010 for limit 5.836100132489565E13
402.82/400.06	c cleaning 514 clauses out of 1028 for limit 9.465452764596177E13
402.82/400.08	c cleaning 506 clauses out of 1013 for limit 1.5825099054989944E14
402.92/400.11	c cleaning 491 clauses out of 1008 for limit 2.6253411700953678E14
402.92/400.13	c cleaning 493 clauses out of 1016 for limit 4.291152496697427E14
402.92/400.15	c cleaning 498 clauses out of 1024 for limit 7.028426355651898E14
402.92/400.18	c cleaning 496 clauses out of 1025 for limit 1.1567927686837945E15
403.02/400.20	c cleaning 515 clauses out of 1030 for limit 1.9003456653165022E15
403.02/400.22	c cleaning 506 clauses out of 1015 for limit 3.180238376921998E15
403.02/400.25	c cleaning 504 clauses out of 1009 for limit 5.275825675070652E15
403.02/400.27	c cleaning 483 clauses out of 1004 for limit 8.735127847855128E15
403.02/400.29	c cleaning 499 clauses out of 1022 for limit 1.4165844869480584E16
403.12/400.32	c cleaning 509 clauses out of 1022 for limit 2.3338011889333312E16
403.12/400.34	c cleaning 497 clauses out of 1013 for limit 3.8829445992576427E-4
403.12/400.36	c cleaning 488 clauses out of 1017 for limit 6.38469396776199E-4
403.12/400.38	c cleaning 496 clauses out of 1028 for limit 0.0010406131242200395
403.22/400.41	c cleaning 498 clauses out of 1032 for limit 0.0017094586624457758
403.22/400.43	c cleaning 500 clauses out of 1034 for limit 0.0028136731666873653
403.22/400.45	c cleaning 496 clauses out of 1035 for limit 0.00464028052778647
403.22/400.47	c cleaning 499 clauses out of 1038 for limit 0.007622696141163352
403.32/400.50	c cleaning 503 clauses out of 1040 for limit 0.012559230209797729
403.32/400.52	c cleaning 502 clauses out of 1037 for limit 0.02077176932507572
403.32/400.54	c cleaning 498 clauses out of 1034 for limit 0.0343204587183608
403.32/400.57	c cleaning 493 clauses out of 1036 for limit 0.056489763203094755
403.32/400.59	c cleaning 500 clauses out of 1043 for limit 0.09253394721415459
403.43/400.61	c cleaning 499 clauses out of 1044 for limit 0.15260729581780444
403.43/400.64	c cleaning 508 clauses out of 1045 for limit 0.2514290138535987
403.43/400.66	c cleaning 503 clauses out of 1037 for limit 0.41783884569915747
403.43/400.68	c cleaning 501 clauses out of 1033 for limit 0.6910486504495025
403.53/400.71	c cleaning 500 clauses out of 1033 for limit 1.1407724438696158
403.53/400.73	c cleaning 502 clauses out of 1033 for limit 1.8812863697482396
403.53/400.76	c cleaning 503 clauses out of 1032 for limit 3.1086077970673673
403.53/400.78	c cleaning 502 clauses out of 1029 for limit 5.141456213117886
403.63/400.80	c cleaning 499 clauses out of 1026 for limit 8.495237614633437
403.63/400.83	c cleaning 495 clauses out of 1027 for limit 13.99614183530921
403.63/400.86	c cleaning 500 clauses out of 1031 for limit 22.968968305219175
403.63/400.88	c cleaning 499 clauses out of 1032 for limit 37.88007718420864
403.73/400.91	c cleaning 499 clauses out of 1033 for limit 62.408841099588436
403.73/400.93	c cleaning 500 clauses out of 1033 for limit 102.81760735073688
403.73/400.96	c cleaning 501 clauses out of 1033 for limit 169.55998921479514
403.73/400.98	c cleaning 501 clauses out of 1032 for limit 279.89806204235373
403.83/401.01	c cleaning 498 clauses out of 1032 for limit 462.05139980048006
403.83/401.03	c cleaning 496 clauses out of 1033 for limit 760.4856811012431
403.83/401.06	c cleaning 501 clauses out of 1037 for limit 1249.3050440551747
403.83/401.08	c cleaning 505 clauses out of 1036 for limit 2062.2598253987358
403.93/401.11	c cleaning 496 clauses out of 1031 for limit 3417.4357520579742
403.93/401.13	c cleaning 501 clauses out of 1035 for limit 5614.027828209081
403.93/401.15	c cleaning 503 clauses out of 1034 for limit 9267.236771876638
403.93/401.18	c cleaning 501 clauses out of 1031 for limit 15327.383350038455
404.03/401.20	c cleaning 498 clauses out of 1030 for limit 25301.446289927026
404.03/401.22	c cleaning 501 clauses out of 1032 for limit 41644.60638564823
404.03/401.25	c cleaning 503 clauses out of 1032 for limit 68746.27331902391
404.03/401.27	c cleaning 497 clauses out of 1028 for limit 113699.12389221645
404.13/401.30	c cleaning 503 clauses out of 1032 for limit 186965.2671415527
404.13/401.32	c cleaning 498 clauses out of 1029 for limit 309229.66071469046
404.13/401.34	c cleaning 498 clauses out of 1030 for limit 508956.5047085279
404.13/401.37	c cleaning 501 clauses out of 1032 for limit 837710.7404504467
404.13/401.39	c cleaning 497 clauses out of 1032 for limit 1382879.957898585
404.24/401.42	c cleaning 502 clauses out of 1034 for limit 2273866.7763380385
404.24/401.44	c cleaning 500 clauses out of 1033 for limit 3757297.9212147156
404.24/401.46	c cleaning 499 clauses out of 1032 for limit 6196088.777324784
404.24/401.49	c cleaning 516 clauses out of 1033 for limit 1.020828754024314E7
404.34/401.51	c cleaning 508 clauses out of 1017 for limit 1.709968657162465E7
404.34/401.53	c cleaning 484 clauses out of 1009 for limit 2.8423255811548434E7
404.34/401.56	c cleaning 498 clauses out of 1025 for limit 4.614206340432548E7
404.34/401.58	c cleaning 498 clauses out of 1027 for limit 7.594624752848403E7
404.43/401.60	c cleaning 499 clauses out of 1029 for limit 1.2500209055189739E8
404.43/401.63	c cleaning 515 clauses out of 1031 for limit 2.0595122739110845E8
404.43/401.65	c cleaning 493 clauses out of 1017 for limit 3.446612792977406E8
404.43/401.67	c cleaning 493 clauses out of 1022 for limit 5.644811140842807E8
404.53/401.70	c cleaning 498 clauses out of 1030 for limit 9.245991420961418E8
404.53/401.72	c cleaning 498 clauses out of 1031 for limit 1.5217854267215314E9
404.53/401.74	c cleaning 517 clauses out of 1034 for limit 2.5048512823362455E9
404.53/401.76	c cleaning 492 clauses out of 1018 for limit 4.1999595300012746E9
404.53/401.79	c cleaning 513 clauses out of 1026 for limit 6.872288925696933E9
404.63/401.81	c cleaning 504 clauses out of 1011 for limit 1.1478482555010529E10
404.63/401.84	c cleaning 503 clauses out of 1007 for limit 1.9004745167234093E10
404.63/401.86	c cleaning 486 clauses out of 1004 for limit 3.1435016693647987E10
404.63/401.88	c cleaning 493 clauses out of 1018 for limit 5.112761298667923E10
404.73/401.91	c cleaning 497 clauses out of 1026 for limit 8.374257929326703E10
404.73/401.93	c cleaning 497 clauses out of 1028 for limit 1.3769619977550455E11
404.73/401.95	c cleaning 515 clauses out of 1031 for limit 2.264186991392764E11
404.73/401.97	c cleaning 508 clauses out of 1016 for limit 3.789074420235584E11
404.73/402.00	c cleaning 504 clauses out of 1008 for limit 6.298283394912842E11
404.83/402.02	c cleaning 484 clauses out of 1004 for limit 1.0428093209750608E12
404.83/402.04	c cleaning 491 clauses out of 1020 for limit 1.6927558854140127E12
404.83/402.07	c cleaning 499 clauses out of 1031 for limit 2.767328714577872E12
404.83/402.09	c cleaning 496 clauses out of 1030 for limit 4.558994345113145E12
404.93/402.11	c cleaning 517 clauses out of 1034 for limit 7.489306879532866E12
404.93/402.14	c cleaning 496 clauses out of 1018 for limit 1.2557546239815332E13
404.93/402.16	c cleaning 493 clauses out of 1022 for limit 2.0628020542034617E13
404.93/402.18	c cleaning 514 clauses out of 1028 for limit 3.3785994855305953E13
405.03/402.20	c cleaning 507 clauses out of 1014 for limit 5.6486902204195945E13
405.03/402.23	c cleaning 504 clauses out of 1008 for limit 9.380275199320714E13
405.03/402.25	c cleaning 482 clauses out of 1004 for limit 1.5530959465977153E14
405.03/402.27	c cleaning 490 clauses out of 1021 for limit 2.516098461608695E14
405.03/402.30	c cleaning 499 clauses out of 1032 for limit 4.1092643059728775E14
405.13/402.32	c cleaning 496 clauses out of 1032 for limit 6.76994984152502E14
405.13/402.34	c cleaning 502 clauses out of 1037 for limit 1.1121843782997154E15
405.13/402.36	c cleaning 517 clauses out of 1035 for limit 1.8376850586590938E15
405.13/402.39	c cleaning 508 clauses out of 1017 for limit 3.0811430101638175E15
405.23/402.41	c cleaning 487 clauses out of 1010 for limit 5.121554922146467E15
405.23/402.43	c cleaning 494 clauses out of 1022 for limit 8.338610486918661E15
405.23/402.46	c cleaning 514 clauses out of 1029 for limit 1.3671608308943116E16
405.23/402.48	c cleaning 507 clauses out of 1014 for limit 2.2856956531603932E16
405.34/402.50	c cleaning 504 clauses out of 1008 for limit 3.7956505688752376E16
405.34/402.53	c cleaning 491 clauses out of 1004 for limit 6.284473949813681E-4
405.34/402.55	c cleaning 491 clauses out of 1012 for limit 0.0010271727889495015
405.34/402.57	c cleaning 489 clauses out of 1021 for limit 0.0016790134043049632
405.34/402.59	c cleaning 497 clauses out of 1032 for limit 0.0027394040602457077
405.44/402.62	c cleaning 493 clauses out of 1035 for limit 0.004504549146651568
405.44/402.64	c cleaning 507 clauses out of 1044 for limit 0.007379315711786329
405.44/402.66	c cleaning 501 clauses out of 1036 for limit 0.01225118815355989
405.44/402.69	c cleaning 497 clauses out of 1034 for limit 0.02022268428269753
405.53/402.71	c cleaning 502 clauses out of 1037 for limit 0.03325343174841177
405.53/402.73	c cleaning 496 clauses out of 1035 for limit 0.05494532729062329
405.53/402.75	c cleaning 501 clauses out of 1039 for limit 0.09026335128690997
405.53/402.78	c cleaning 499 clauses out of 1040 for limit 0.14901108354563908
405.63/402.80	c cleaning 507 clauses out of 1041 for limit 0.24550315039134574
405.63/402.82	c cleaning 501 clauses out of 1032 for limit 0.40758197104957467
405.63/402.85	c cleaning 496 clauses out of 1031 for limit 0.672809142444792
405.63/402.87	c cleaning 501 clauses out of 1035 for limit 1.1052641579242397
405.63/402.89	c cleaning 501 clauses out of 1036 for limit 1.8246164739406587
405.73/402.92	c cleaning 497 clauses out of 1033 for limit 3.0117428571729117
405.73/402.94	c cleaning 502 clauses out of 1038 for limit 4.952742711979803
405.73/402.96	c cleaning 498 clauses out of 1034 for limit 8.182941488471826
405.73/402.99	c cleaning 495 clauses out of 1036 for limit 13.46871353853022
405.83/403.01	c cleaning 506 clauses out of 1043 for limit 22.106830108555314
405.83/403.03	c cleaning 495 clauses out of 1035 for limit 36.665473324082846
405.83/403.05	c cleaning 500 clauses out of 1041 for limit 60.17793970652054
405.83/403.08	c cleaning 499 clauses out of 1041 for limit 99.24147303679783
405.93/403.10	c cleaning 498 clauses out of 1041 for limit 163.49880285909612
405.93/403.12	c cleaning 495 clauses out of 1043 for limit 269.114367907289
405.93/403.15	c cleaning 508 clauses out of 1048 for limit 441.68820105328086
405.93/403.17	c cleaning 501 clauses out of 1041 for limit 734.0349689176022
405.93/403.19	c cleaning 499 clauses out of 1039 for limit 1211.6391763595707
406.03/403.22	c cleaning 506 clauses out of 1040 for limit 1996.2337890329554
406.03/403.24	c cleaning 502 clauses out of 1034 for limit 3311.159412256914
406.03/403.26	c cleaning 497 clauses out of 1033 for limit 5471.302235445443
406.03/403.29	c cleaning 504 clauses out of 1035 for limit 8996.468276644424
406.13/403.31	c cleaning 495 clauses out of 1031 for limit 14893.940838193108
406.13/403.33	c cleaning 498 clauses out of 1036 for limit 24443.557959840793
406.13/403.36	c cleaning 498 clauses out of 1039 for limit 40234.53884222163
406.13/403.38	c cleaning 504 clauses out of 1042 for limit 66227.33133838962
406.24/403.40	c cleaning 498 clauses out of 1036 for limit 109630.67354338549
406.24/403.43	c cleaning 498 clauses out of 1038 for limit 180447.29295475857
406.24/403.45	c cleaning 501 clauses out of 1041 for limit 297021.1628277333
406.24/403.47	c cleaning 499 clauses out of 1040 for limit 490298.62039117573
406.34/403.50	c cleaning 505 clauses out of 1041 for limit 807791.2936033193
406.34/403.52	c cleaning 498 clauses out of 1035 for limit 1338538.6719295506
406.34/403.54	c cleaning 503 clauses out of 1038 for limit 2203252.735673674
406.34/403.57	c cleaning 517 clauses out of 1035 for limit 3643990.270792068
406.34/403.59	c cleaning 509 clauses out of 1019 for limit 6109895.372568115
406.44/403.61	c cleaning 505 clauses out of 1010 for limit 1.016582128558301E7
406.44/403.63	c cleaning 501 clauses out of 1003 for limit 1.6848055124329746E7
406.44/403.66	c cleaning 479 clauses out of 1003 for limit 2.781250930181237E7
406.44/403.68	c cleaning 495 clauses out of 1024 for limit 4.4925925952349655E7
406.54/403.70	c cleaning 492 clauses out of 1028 for limit 7.372677789016204E7
406.54/403.73	c cleaning 498 clauses out of 1037 for limit 1.2065074591011924E8
406.54/403.75	c cleaning 519 clauses out of 1039 for limit 1.9858621898714414E8
406.54/403.77	c cleaning 509 clauses out of 1021 for limit 3.336025113432151E8
406.54/403.80	c cleaning 488 clauses out of 1011 for limit 5.550412659613626E8
406.64/403.82	c cleaning 511 clauses out of 1023 for limit 9.04600205238233E8
406.64/403.84	c cleaning 505 clauses out of 1011 for limit 1.508004145117765E9
406.64/403.86	c cleaning 484 clauses out of 1007 for limit 2.499278303906528E9
406.64/403.89	c cleaning 492 clauses out of 1023 for limit 4.0571806261054964E9
406.74/403.91	c cleaning 499 clauses out of 1030 for limit 6.638716565689939E9
406.74/403.93	c cleaning 498 clauses out of 1031 for limit 1.0937512783985445E10
406.74/403.95	c cleaning 516 clauses out of 1033 for limit 1.8002499370863472E10
589.52/584.92	Exception in thread "main"

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.03 3/194 4097
/proc/meminfo: memFree=28057292/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 334976062 95129600 927 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 23225 927 703 9 0 16769 0
[pid=4097/tid=4098] ppid=4095 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) D 4095 4097 1585 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 334976063 95129600 927 33554432000 1073741824 1073778376 140736338630688 139790566673960 214528257319 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0

[startup+0.027269 s]
/proc/loadavg: 2.00 2.02 2.03 3/194 4097
/proc/meminfo: memFree=28057292/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=2490788 CPUtime=0.01 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 3817 0 1 0 1 0 0 0 20 0 11 0 334976062 2550566912 5028 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 622697 5028 1632 9 0 613398 0
[pid=4097/tid=4098] ppid=4095 vsize=2490788 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 2659 0 1 0 0 0 0 0 20 0 11 0 334976063 2550566912 5028 33554432000 1073741824 1073778376 140736338630688 139790566681352 214540805389 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788

[startup+0.100251 s]
/proc/loadavg: 2.00 2.02 2.03 3/194 4097
/proc/meminfo: memFree=28057292/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 4914 0 1 0 9 1 0 0 20 0 18 0 334976062 3028844544 7133 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 739464 7133 2130 9 0 729885 0
[pid=4097/tid=4098] ppid=4095 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3022 0 1 0 7 1 0 0 20 0 18 0 334976063 3028844544 7133 33554432000 1073741824 1073778376 140736338630688 139790566679136 139790397852160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300192 s]
/proc/loadavg: 2.00 2.02 2.03 3/194 4097
/proc/meminfo: memFree=28057292/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024716 CPUtime=0.48 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 6333 0 1 0 47 1 0 0 20 0 19 0 334976062 3097309184 9015 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756179 9046 2256 9 0 746600 0
[pid=4097/tid=4098] ppid=4095 vsize=3024716 CPUtime=0.28 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3049 0 1 0 26 2 0 0 20 0 19 0 334976063 3097309184 9060 33554432000 1073741824 1073778376 140736338630688 139790566679144 139790397858324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 3024716

[startup+0.700249 s]
/proc/loadavg: 2.00 2.02 2.03 3/194 4097
/proc/meminfo: memFree=28057292/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=1.15 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 9324 0 1 0 113 2 0 0 20 0 19 0 334976062 3097006080 11489 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 11489 2265 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3052 0 1 0 66 2 0 0 20 0 19 0 334976063 3097006080 11489 33554432000 1073741824 1073778376 140736338630688 139790566678904 139790398244480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 3024420

[startup+1.50065 s]
/proc/loadavg: 2.00 2.02 2.03 3/213 4117
/proc/meminfo: memFree=28015212/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=1.97 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 9333 0 1 0 195 2 0 0 20 0 19 0 334976062 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 15074 2265 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3060 0 1 0 146 2 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790566676960 139790398291791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790530325352 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2310 0 0 0 19 0 0 0 20 0 19 0 334976067 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 2766 0 0 0 26 0 0 0 20 0 19 0 334976067 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 15074 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 2.00 2.02 2.03 3/213 4117
/proc/meminfo: memFree=27994484/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=3.58 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 9347 0 1 0 355 3 0 0 20 0 19 0 334976062 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 22242 2265 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3074 0 1 0 306 2 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790566678888 139790397800361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790530325352 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2310 0 0 0 20 0 0 0 20 0 19 0 334976067 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 2766 0 0 0 26 0 0 0 20 0 19 0 334976067 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 22242 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 3024420

[startup+6.30067 s]
/proc/loadavg: 2.00 2.02 2.03 3/213 4117
/proc/meminfo: memFree=27939312/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=6.79 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 9375 0 1 0 675 4 0 0 20 0 19 0 334976062 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 35361 2266 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) R 4095 4097 1585 0 -1 4202560 3101 0 1 0 625 3 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790566678888 139790398275905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976063 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) S 4095 4097 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790530325352 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2310 0 0 0 20 0 0 0 20 0 19 0 334976067 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 2766 0 0 0 26 0 0 0 20 0 19 0 334976067 3097006080 35361 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 235 0 0 0 38 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 331 0 0 0 59 14 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 283 0 0 0 57 11 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0.95 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 465 0 0 0 72 23 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 316 0 0 0 54 13 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 232 0 0 0 43 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 463 0 0 0 60 15 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 208 0 0 0 50 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=36.32 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) R 4095 4097 1585 0 -1 4202560 136 0 0 0 3629 3 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790530325512 139790570840380 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2319 0 0 0 25 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 3213 0 0 0 32 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 36 0 0 0 3 8 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 593.32
Current children cumulated vsize (KiB) 3024420

[startup+590.301 s]
/proc/loadavg: 2.02 2.03 2.03 3/213 4208
/proc/meminfo: memFree=27839648/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=594.92 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 12726 0 1 0 59370 122 0 0 20 0 19 0 334976062 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 418076 2295 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=550.86 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) S 4095 4097 1585 0 -1 4202560 3301 0 1 0 55070 16 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790566679960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 235 0 0 0 38 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 331 0 0 0 59 14 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 283 0 0 0 57 11 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0.95 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 465 0 0 0 72 23 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 316 0 0 0 54 13 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 232 0 0 0 43 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 463 0 0 0 60 15 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 208 0 0 0 50 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=37.92 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) R 4095 4097 1585 0 -1 4202560 136 0 0 0 3789 3 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790530325512 139790573187104 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2319 0 0 0 25 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 3213 0 0 0 32 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 36 0 0 0 3 8 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 594.92
Current children cumulated vsize (KiB) 3024420

[startup+591.101 s]
/proc/loadavg: 2.02 2.03 2.03 3/213 4208
/proc/meminfo: memFree=27835552/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=595.72 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 12727 0 1 0 59450 122 0 0 20 0 19 0 334976062 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 418076 2295 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=550.86 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) S 4095 4097 1585 0 -1 4202560 3302 0 1 0 55070 16 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790566679720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 235 0 0 0 38 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 331 0 0 0 59 14 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 283 0 0 0 57 11 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0.95 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 465 0 0 0 72 23 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 316 0 0 0 54 13 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 232 0 0 0 43 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 463 0 0 0 60 15 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 208 0 0 0 50 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=38.72 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) R 4095 4097 1585 0 -1 4202560 136 0 0 0 3869 3 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790530325512 139790570840224 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2319 0 0 0 25 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 3213 0 0 0 32 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 36 0 0 0 3 8 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 595.72
Current children cumulated vsize (KiB) 3024420

[startup+591.501 s]
/proc/loadavg: 2.02 2.03 2.03 3/213 4208
/proc/meminfo: memFree=27835552/32873648 swapFree=7116/7116
[pid=4097] ppid=4095 vsize=3024420 CPUtime=596.12 cores=0,2,4,6
/proc/4097/stat : 4097 (java) S 4095 4097 1585 0 -1 4202496 12727 0 1 0 59490 122 0 0 20 0 19 0 334976062 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 140736338621824 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4097/statm: 756105 418076 2295 9 0 746526 0
[pid=4097/tid=4098] ppid=4095 vsize=3024420 CPUtime=550.86 cores=0,2,4,6
/proc/4097/task/4098/stat : 4098 (java) S 4095 4097 1585 0 -1 4202560 3302 0 1 0 55070 16 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790566679720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 1585 0 -1 4202560 235 0 0 0 38 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790550105000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 1585 0 -1 4202560 331 0 0 0 59 14 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790549052456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 1585 0 -1 4202560 283 0 0 0 57 11 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790547999400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=3024420 CPUtime=0.95 cores=0,2,4,6
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 1585 0 -1 4202560 465 0 0 0 72 23 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790546946856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 1585 0 -1 4202560 316 0 0 0 54 13 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790545893800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 1585 0 -1 4202560 232 0 0 0 43 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790544841256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4106] ppid=4095 vsize=3024420 CPUtime=0.75 cores=0,2,4,6
/proc/4097/task/4106/stat : 4106 (java) S 4095 4097 1585 0 -1 4202560 463 0 0 0 60 15 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790543788200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4107] ppid=4095 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/4097/task/4107/stat : 4107 (java) S 4095 4097 1585 0 -1 4202560 208 0 0 0 50 10 0 0 20 0 19 0 334976063 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790542735656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4108] ppid=4095 vsize=3024420 CPUtime=39.12 cores=0,2,4,6
/proc/4097/task/4108/stat : 4108 (java) R 4095 4097 1585 0 -1 4202560 136 0 0 0 3909 3 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790530325512 214537093448 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4109] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4109/stat : 4109 (java) S 4095 4097 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790529271672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4110] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4110/stat : 4110 (java) S 4095 4097 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334976065 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790528218504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4111] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4111/stat : 4111 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790527167248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4112] ppid=4095 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/4097/task/4112/stat : 4112 (java) S 4095 4097 1585 0 -1 4202560 2319 0 0 0 25 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790526114104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4097/tid=4113] ppid=4095 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/4097/task/4113/stat : 4113 (java) S 4095 4097 1585 0 -1 4202560 3213 0 0 0 32 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790525061560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4114] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4114/stat : 4114 (java) S 4095 4097 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790524008696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4097/tid=4115] ppid=4095 vsize=3024420 CPUtime=0.11 cores=0,2,4,6
/proc/4097/task/4115/stat : 4115 (java) S 4095 4097 1585 0 -1 4202560 36 0 0 0 3 8 0 0 20 0 19 0 334976067 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790522956360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4097/tid=4117] ppid=4095 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4097/task/4117/stat : 4117 (java) S 4095 4097 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334976090 3097006080 418076 33554432000 1073741824 1073778376 140736338630688 139790520755880 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 596.12
Current children cumulated vsize (KiB) 3024420

Child status: 1
Real time (s): 591.528
CPU time (s): 596.333
CPU user time (s): 594.862
CPU system time (s): 1.47178
CPU usage (%): 100.812
Max. virtual memory (cumulated for all children) (KiB): 3024716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 594.862
system time used= 1.47178
maximum resident set size= 1672640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12730
page faults= 1
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13061
involuntary context switches= 9657

runsolver used 2.6076 second user time and 5.76312 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 03:55:06
IDJOB=3731967
IDBENCH=2015
IDSOLVER=2319
FILE ID=node127/3731967-1338688506
RUNJOBID= node127-1338678617-1606
PBS_JOBID= 14636686
Free space on /tmp= 70464 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731967-1338688506/watcher-3731967-1338688506 -o /tmp/evaluation-result-3731967-1338688506/solver-3731967-1338688506 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731967-1338688506.opb           

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

MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b
RANDOM SEED=274109430

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.348
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:        28057928 kB
Buffers:          386204 kB
Cached:          1870528 kB
SwapCached:         1432 kB
Active:          2697148 kB
Inactive:        1234712 kB
Active(anon):    1669120 kB
Inactive(anon):     7952 kB
Active(file):    1028028 kB
Inactive(file):  1226760 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104504 kB
Dirty:              3568 kB
Writeback:             0 kB
AnonPages:       1735844 kB
Mapped:            19180 kB
Shmem:                92 kB
Slab:             745180 kB
SReclaimable:     189300 kB
SUnreclaim:       555880 kB
KernelStack:        1768 kB
PageTables:         7108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1699840 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= 70476 MiB
End job on node127 at 2012-06-03 04:04:58