Trace number 3731120

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) 743.98 738.671

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark3.04853
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.06/0.11	--- Begin Solver configuration ---
0.06/0.11	c Stops conflict analysis at the first Unique Implication Point
0.06/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.11	c Learn all clauses as in MiniSAT
0.06/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.11	c No reason simplification
0.06/0.11	c --- End Solver configuration ---
0.06/0.11	c solving HOME/instance-3731120-1338684021.opb
0.06/0.11	c reading problem ... 
0.49/0.34	c ... done. Wall clock time 0.224s.
0.49/0.34	c CPU time (experimental) 0.29s.
0.49/0.34	c #vars     1989
0.49/0.34	c #constraints  193
209.02/206.12	c cleaning 380215 clauses out of 760502 for limit 36810.592131053076
210.34/207.44	c cleaning 190388 clauses out of 380785 for limit 120998.55818415359
210.85/207.91	c cleaning 95441 clauses out of 190897 for limit 398030.92063126166
211.04/208.15	c cleaning 47952 clauses out of 95958 for limit 1308457.54983591
211.14/208.27	c cleaning 24229 clauses out of 48505 for limit 4264574.359088618
211.24/208.37	c cleaning 12361 clauses out of 24775 for limit 1.3755295112150162E7
211.34/208.44	c cleaning 6436 clauses out of 12915 for limit 4.35591667825018E7
211.44/208.50	c cleaning 3465 clauses out of 6979 for limit 1.3293418061655724E8
211.44/208.55	c cleaning 2005 clauses out of 4014 for limit 3.811609319820755E8
211.54/208.60	c cleaning 1223 clauses out of 2509 for limit 1.0056363753246474E9
211.54/208.64	c cleaning 865 clauses out of 1785 for limit 2.32876030724296E9
211.54/208.68	c cleaning 708 clauses out of 1421 for limit 4.829023639743713E9
211.64/208.72	c cleaning 600 clauses out of 1213 for limit 9.32928789939618E9
211.64/208.76	c cleaning 541 clauses out of 1112 for limit 1.6765861891830566E10
211.74/208.80	c cleaning 516 clauses out of 1071 for limit 2.870761331655841E10
211.74/208.84	c cleaning 502 clauses out of 1056 for limit 4.806323949445414E10
211.74/208.88	c cleaning 506 clauses out of 1053 for limit 7.940904287158363E10
211.85/208.92	c cleaning 503 clauses out of 1048 for limit 1.3171263820483527E11
211.85/208.95	c cleaning 520 clauses out of 1045 for limit 2.1783533503362283E11
211.85/208.99	c cleaning 489 clauses out of 1024 for limit 3.662402206758287E11
211.95/209.05	c cleaning 512 clauses out of 1036 for limit 5.975808023098806E11
211.95/209.08	c cleaning 507 clauses out of 1023 for limit 9.970160139605509E11
212.04/209.13	c cleaning 509 clauses out of 1021 for limit 1.6556955115904148E12
212.04/209.17	c cleaning 486 clauses out of 1010 for limit 2.75468347169736E12
212.14/209.21	c cleaning 491 clauses out of 1021 for limit 4.480429897829771E12
212.14/209.25	c cleaning 499 clauses out of 1032 for limit 7.324713494374633E12
212.24/209.30	c cleaning 510 clauses out of 1032 for limit 1.2067353002429385E13
212.24/209.35	c cleaning 511 clauses out of 1022 for limit 2.009540233343686E13
212.34/209.40	c cleaning 502 clauses out of 1010 for limit 3.3500215667854305E13
212.34/209.44	c cleaning 481 clauses out of 1008 for limit 5.535595296340755E13
212.34/209.49	c cleaning 511 clauses out of 1027 for limit 8.960047400014347E13
212.44/209.53	c cleaning 484 clauses out of 1017 for limit 1.4936546546901575E14
212.44/209.57	c cleaning 487 clauses out of 1033 for limit 2.4250836020930134E14
212.54/209.61	c cleaning 523 clauses out of 1046 for limit 3.949582946490132E14
212.54/209.65	c cleaning 508 clauses out of 1022 for limit 6.659680633610109E14
212.54/209.68	c cleaning 505 clauses out of 1015 for limit 1.1069516585689348E15
212.64/209.72	c cleaning 503 clauses out of 1009 for limit 1.8345303734763932E15
212.64/209.76	c cleaning 481 clauses out of 1007 for limit 3.034429145122996E15
212.74/209.80	c cleaning 508 clauses out of 1025 for limit 4.911385021768772E-5
212.74/209.83	c cleaning 501 clauses out of 1018 for limit 8.163388543342834E-5
212.74/209.87	c cleaning 498 clauses out of 1016 for limit 1.3475531788945743E-4
212.84/209.90	c cleaning 500 clauses out of 1018 for limit 2.217929461559137E-4
212.84/209.94	c cleaning 506 clauses out of 1020 for limit 3.657802451464544E-4
212.84/209.98	c cleaning 496 clauses out of 1012 for limit 6.06773729198675E-4
212.94/210.02	c cleaning 484 clauses out of 1016 for limit 9.967114811142712E-4
212.94/210.07	c cleaning 496 clauses out of 1032 for limit 0.0016182266852271454
213.04/210.11	c cleaning 488 clauses out of 1038 for limit 0.002658560898301534
213.04/210.15	c cleaning 497 clauses out of 1050 for limit 0.004334216033473674
213.04/210.20	c cleaning 496 clauses out of 1052 for limit 0.007126979159785799
213.14/210.24	c cleaning 503 clauses out of 1055 for limit 0.011708200318685925
213.14/210.29	c cleaning 502 clauses out of 1054 for limit 0.019365419247895057
213.24/210.34	c cleaning 502 clauses out of 1050 for limit 0.03199374498843862
213.24/210.38	c cleaning 506 clauses out of 1050 for limit 0.052867647960840515
213.34/210.43	c cleaning 503 clauses out of 1044 for limit 0.08768689194883143
213.34/210.48	c cleaning 495 clauses out of 1040 for limit 0.14501843413521992
213.44/210.53	c cleaning 500 clauses out of 1046 for limit 0.23802099425652523
213.44/210.58	c cleaning 494 clauses out of 1044 for limit 0.3924942640576806
213.54/210.64	c cleaning 503 clauses out of 1052 for limit 0.643639937092468
213.54/210.69	c cleaning 502 clauses out of 1049 for limit 1.0644839615265334
213.64/210.73	c cleaning 498 clauses out of 1045 for limit 1.7586733540092228
213.64/210.78	c cleaning 496 clauses out of 1047 for limit 2.8947474453750144
213.74/210.84	c cleaning 494 clauses out of 1052 for limit 4.755892396131318
213.84/210.90	c cleaning 502 clauses out of 1057 for limit 7.798196021028069
213.84/210.95	c cleaning 501 clauses out of 1055 for limit 12.884648118528348
213.94/211.01	c cleaning 503 clauses out of 1054 for limit 21.268668300006606
213.94/211.05	c cleaning 505 clauses out of 1054 for limit 35.18031473669838
213.94/211.09	c cleaning 495 clauses out of 1047 for limit 58.28818243154223
214.04/211.14	c cleaning 500 clauses out of 1052 for limit 95.66814256260582
214.04/211.19	c cleaning 508 clauses out of 1051 for limit 157.76175942518182
214.16/211.23	c cleaning 502 clauses out of 1043 for limit 262.1657994660938
214.16/211.27	c cleaning 506 clauses out of 1041 for limit 433.1771120728044
214.26/211.31	c cleaning 503 clauses out of 1040 for limit 718.6399189367341
214.26/211.36	c cleaning 497 clauses out of 1032 for limit 1188.3607736423373
214.36/211.41	c cleaning 494 clauses out of 1035 for limit 1954.0854109505287
214.36/211.46	c cleaning 492 clauses out of 1041 for limit 3203.9744903652986
214.46/211.51	c cleaning 505 clauses out of 1050 for limit 5243.7367266238525
214.46/211.56	c cleaning 498 clauses out of 1045 for limit 8688.999545061602
214.56/211.60	c cleaning 498 clauses out of 1046 for limit 14301.3078586606
214.56/211.64	c cleaning 510 clauses out of 1050 for limit 23541.983536457923
214.56/211.68	c cleaning 500 clauses out of 1039 for limit 39195.67774751629
214.66/211.72	c cleaning 497 clauses out of 1038 for limit 64636.48747981734
214.66/211.76	c cleaning 504 clauses out of 1042 for limit 106291.31524041256
214.76/211.80	c cleaning 504 clauses out of 1037 for limit 175957.6360997777
214.76/211.84	c cleaning 489 clauses out of 1033 for limit 291301.31202458515
214.76/211.89	c cleaning 496 clauses out of 1045 for limit 475353.69112065044
214.86/211.93	c cleaning 497 clauses out of 1048 for limit 780896.0995244306
214.86/211.97	c cleaning 506 clauses out of 1054 for limit 1284320.30181358
214.96/212.00	c cleaning 500 clauses out of 1045 for limit 2129854.9118379555
214.96/212.04	c cleaning 525 clauses out of 1050 for limit 3513220.894958061
214.96/212.08	c cleaning 490 clauses out of 1020 for limit 5934414.983455085
215.06/212.12	c cleaning 510 clauses out of 1031 for limit 9691919.935009323
215.06/212.16	c cleaning 488 clauses out of 1021 for limit 1.6139817809263479E7
215.06/212.19	c cleaning 486 clauses out of 1032 for limit 2.630668036516845E7
215.16/212.23	c cleaning 500 clauses out of 1046 for limit 4.2802580011702724E7
215.16/212.26	c cleaning 497 clauses out of 1046 for limit 7.058718046600911E7
215.16/212.30	c cleaning 524 clauses out of 1049 for limit 1.1607479307611576E8
215.26/212.34	c cleaning 491 clauses out of 1025 for limit 1.959049582712756E8
215.26/212.38	c cleaning 514 clauses out of 1034 for limit 3.2026143228522336E8
215.36/212.42	c cleaning 507 clauses out of 1023 for limit 5.3543772773606926E8
215.36/212.46	c cleaning 490 clauses out of 1013 for limit 8.890527077332996E8
215.46/212.50	c cleaning 493 clauses out of 1025 for limit 1.4519043269454234E9
215.46/212.54	c cleaning 492 clauses out of 1032 for limit 2.3781434875042424E9
215.46/212.58	c cleaning 519 clauses out of 1038 for limit 3.891412430732385E9
215.56/212.61	c cleaning 512 clauses out of 1026 for limit 6.538147651160999E9
215.56/212.65	c cleaning 503 clauses out of 1008 for limit 1.0909136329070387E10
215.56/212.69	c cleaning 480 clauses out of 1006 for limit 1.804443629158361E10
215.66/212.72	c cleaning 482 clauses out of 1024 for limit 2.9176165027177223E10
215.66/212.76	c cleaning 521 clauses out of 1042 for limit 4.728423112214896E10
215.76/212.80	c cleaning 510 clauses out of 1024 for limit 7.958725319924704E10
215.76/212.84	c cleaning 503 clauses out of 1011 for limit 1.3253929887179652E11
215.76/212.88	c cleaning 475 clauses out of 1008 for limit 2.1922555556617712E11
215.86/212.92	c cleaning 512 clauses out of 1033 for limit 3.52782697722701E11
215.86/212.96	c cleaning 490 clauses out of 1021 for limit 5.886236987734504E11
215.96/213.01	c cleaning 511 clauses out of 1031 for limit 9.613039065469758E11
215.96/213.05	c cleaning 480 clauses out of 1020 for limit 1.6024153175094182E12
215.96/213.09	c cleaning 517 clauses out of 1042 for limit 2.5919848040880537E12
216.06/213.13	c cleaning 506 clauses out of 1023 for limit 4.345216297838847E12
216.06/213.17	c cleaning 503 clauses out of 1017 for limit 7.208119327464721E12
216.16/213.21	c cleaning 489 clauses out of 1014 for limit 1.1922322147822691E13
216.16/213.25	c cleaning 505 clauses out of 1025 for limit 1.9450502653407527E13
216.16/213.28	c cleaning 482 clauses out of 1020 for limit 3.2233718568716293E13
216.26/213.33	c cleaning 481 clauses out of 1038 for limit 5.223590399896583E13
216.26/213.37	c cleaning 487 clauses out of 1057 for limit 8.459552076506606E13
216.36/213.41	c cleaning 512 clauses out of 1070 for limit 1.378143575508251E14
216.36/213.45	c cleaning 530 clauses out of 1062 for limit 2.299045995146691E14
216.36/213.49	c cleaning 513 clauses out of 1028 for limit 3.9011882000497225E14
216.46/213.53	c cleaning 506 clauses out of 1015 for limit 6.515981781320644E14
216.46/213.58	c cleaning 501 clauses out of 1009 for limit 1.0809624910399321E15
216.56/213.62	c cleaning 475 clauses out of 1009 for limit 1.7844361924922445E15
216.56/213.66	c cleaning 483 clauses out of 1035 for limit 2.8717209625218635E15
216.66/213.70	c cleaning 492 clauses out of 1050 for limit 4.658865284201966E15
467.43/463.40	c cleaning 327509 clauses out of 655060 for limit 0.0018281569966848038
471.23/467.20	c cleaning 164002 clauses out of 328050 for limit 0.006014172810799765
472.53/468.51	c cleaning 82266 clauses out of 164547 for limit 0.019753649863182454
472.83/468.82	c cleaning 41370 clauses out of 82781 for limit 0.06475339434267872
472.93/468.96	c cleaning 20920 clauses out of 41911 for limit 0.2109216067461837
473.03/469.04	c cleaning 10710 clauses out of 21492 for limit 0.6789888790478599
473.13/469.12	c cleaning 5598 clauses out of 11282 for limit 2.1330905154907684
473.13/469.19	c cleaning 3043 clauses out of 6186 for limit 6.428510756994493
473.23/469.24	c cleaning 1768 clauses out of 3641 for limit 17.975727471180157
473.23/469.29	c cleaning 1142 clauses out of 2372 for limit 45.4583684769462
473.33/469.35	c cleaning 819 clauses out of 1731 for limit 102.83047933345381
473.33/469.39	c cleaning 684 clauses out of 1411 for limit 207.83241761676402
473.43/469.43	c cleaning 593 clauses out of 1229 for limit 394.2877923812176
473.43/469.48	c cleaning 542 clauses out of 1134 for limit 703.2974176721611
473.53/469.53	c cleaning 524 clauses out of 1092 for limit 1204.4404320784686
473.53/469.58	c cleaning 510 clauses out of 1068 for limit 2030.9189816704543
473.64/469.63	c cleaning 504 clauses out of 1058 for limit 3380.913586510911
473.64/469.67	c cleaning 505 clauses out of 1054 for limit 5596.738486504726
473.74/469.72	c cleaning 501 clauses out of 1050 for limit 9274.205718654179
473.74/469.76	c cleaning 498 clauses out of 1049 for limit 15308.98589767431
473.83/469.80	c cleaning 502 clauses out of 1050 for limit 25197.298875033353
473.83/469.84	c cleaning 499 clauses out of 1048 for limit 41633.01766529606
473.83/469.88	c cleaning 486 clauses out of 1049 for limit 68592.9643936307
473.93/469.93	c cleaning 506 clauses out of 1063 for limit 111629.16673339823
473.93/469.97	c cleaning 498 clauses out of 1057 for limit 185136.4138883393
474.03/470.02	c cleaning 498 clauses out of 1059 for limit 304738.10413964983
474.03/470.06	c cleaning 506 clauses out of 1061 for limit 501606.57965247025
474.13/470.10	c cleaning 501 clauses out of 1056 for limit 831965.0627357176
474.13/470.14	c cleaning 507 clauses out of 1055 for limit 1373322.1812358918
474.13/470.18	c cleaning 496 clauses out of 1048 for limit 2279919.4240708053
474.23/470.22	c cleaning 525 clauses out of 1052 for limit 3745595.964652586
474.23/470.26	c cleaning 513 clauses out of 1026 for limit 6327187.182366692
474.23/470.29	c cleaning 503 clauses out of 1013 for limit 1.0568284235214485E7
474.33/470.33	c cleaning 502 clauses out of 1010 for limit 1.74802823685021E7
474.33/470.37	c cleaning 504 clauses out of 1010 for limit 2.8885065341616224E7
474.43/470.41	c cleaning 499 clauses out of 1005 for limit 4.782445632057072E7
474.43/470.45	c cleaning 488 clauses out of 1006 for limit 7.879052777882239E7
474.43/470.49	c cleaning 493 clauses out of 1017 for limit 1.2840218456476119E8
474.53/470.53	c cleaning 513 clauses out of 1026 for limit 2.1031532300013134E8
474.53/470.56	c cleaning 482 clauses out of 1011 for limit 3.5128045287525374E8
474.63/470.60	c cleaning 514 clauses out of 1029 for limit 5.691747845600381E8
474.63/470.64	c cleaning 505 clauses out of 1015 for limit 9.515921951672415E8
474.63/470.68	c cleaning 490 clauses out of 1011 for limit 1.5770888336709487E9
474.74/470.72	c cleaning 493 clauses out of 1020 for limit 2.575304079820391E9
474.74/470.75	c cleaning 512 clauses out of 1027 for limit 4.2180733832061796E9
474.74/470.80	c cleaning 506 clauses out of 1015 for limit 7.038407694158442E9
474.84/470.84	c cleaning 488 clauses out of 1010 for limit 1.1676414044775557E10
474.84/470.88	c cleaning 508 clauses out of 1023 for limit 1.903029959635622E10
474.93/470.91	c cleaning 477 clauses out of 1014 for limit 3.163039966328307E10
474.93/470.96	c cleaning 519 clauses out of 1038 for limit 5.100769278979568E10
475.03/471.00	c cleaning 497 clauses out of 1018 for limit 8.568536093388322E10
475.03/471.04	c cleaning 508 clauses out of 1020 for limit 1.4088852160159897E11
475.03/471.08	c cleaning 506 clauses out of 1012 for limit 2.3418073146962653E11
475.13/471.12	c cleaning 502 clauses out of 1006 for limit 3.884987063450907E11
475.13/471.16	c cleaning 501 clauses out of 1004 for limit 6.419626067981144E11
475.23/471.20	c cleaning 502 clauses out of 1004 for limit 1.0597419607919629E12
475.23/471.24	c cleaning 488 clauses out of 1001 for limit 1.7511411001531614E12
475.23/471.28	c cleaning 489 clauses out of 1016 for limit 2.853782911850261E12
475.33/471.32	c cleaning 496 clauses out of 1025 for limit 4.655621221404874E12
475.33/471.35	c cleaning 511 clauses out of 1029 for limit 7.647896761185632E12
475.33/471.39	c cleaning 509 clauses out of 1018 for limit 1.2748688229802107E13
475.43/471.43	c cleaning 480 clauses out of 1008 for limit 2.1211633842399617E13
475.43/471.47	c cleaning 490 clauses out of 1028 for limit 3.430026111138791E13
475.53/471.51	c cleaning 494 clauses out of 1040 for limit 5.602503184302275E13
475.53/471.54	c cleaning 497 clauses out of 1044 for limit 9.185479159181186E13
475.53/471.58	c cleaning 501 clauses out of 1047 for limit 1.5104679692916234E14
475.63/471.62	c cleaning 520 clauses out of 1046 for limit 2.493345166648977E14
475.63/471.65	c cleaning 511 clauses out of 1027 for limit 4.192123263766672E14
475.63/471.68	c cleaning 504 clauses out of 1016 for limit 6.988221574971148E14
475.73/471.72	c cleaning 490 clauses out of 1012 for limit 1.1570063676481435E15
475.73/471.75	c cleaning 496 clauses out of 1021 for limit 1.889347723991049E15
475.73/471.78	c cleaning 490 clauses out of 1025 for limit 3.1036279799148015E15
475.84/471.82	c cleaning 514 clauses out of 1036 for limit 5.0690218965805215E-5
475.84/471.86	c cleaning 492 clauses out of 1022 for limit 8.474008862353575E-5
475.84/471.89	c cleaning 511 clauses out of 1030 for limit 1.3866232310748885E-4
475.94/471.92	c cleaning 500 clauses out of 1019 for limit 2.3114121917517408E-4
475.94/471.95	c cleaning 502 clauses out of 1018 for limit 3.811756775253524E-4
475.94/471.98	c cleaning 487 clauses out of 1017 for limit 6.298576446055819E-4
476.03/472.02	c cleaning 493 clauses out of 1030 for limit 0.0010256094646489916
476.03/472.05	c cleaning 495 clauses out of 1037 for limit 0.0016799500743580231
476.03/472.09	c cleaning 500 clauses out of 1041 for limit 0.0027570572065809006
476.13/472.12	c cleaning 501 clauses out of 1042 for limit 0.004546939616179662
476.13/472.16	c cleaning 502 clauses out of 1041 for limit 0.007505714887053136
476.13/472.19	c cleaning 494 clauses out of 1040 for limit 0.012402232031148926
476.23/472.22	c cleaning 507 clauses out of 1044 for limit 0.020333847228974876
476.23/472.28	c cleaning 500 clauses out of 1037 for limit 0.03375959170967314
476.33/472.35	c cleaning 500 clauses out of 1037 for limit 0.055674083006630584
476.43/472.41	c cleaning 503 clauses out of 1038 for limit 0.09181737539464246
476.43/472.48	c cleaning 494 clauses out of 1034 for limit 0.15185289091618298
476.53/472.53	c cleaning 504 clauses out of 1040 for limit 0.24898096780072343
476.63/472.60	c cleaning 503 clauses out of 1036 for limit 0.4121882634561917
476.63/472.67	c cleaning 496 clauses out of 1033 for limit 0.6817277029686096
476.73/472.73	c cleaning 501 clauses out of 1038 for limit 1.1199646352565171
476.73/472.80	c cleaning 499 clauses out of 1036 for limit 1.8486865546997235
476.83/472.87	c cleaning 499 clauses out of 1037 for limit 3.0457914883884034
476.94/472.93	c cleaning 498 clauses out of 1038 for limit 5.01807858872914
476.94/473.00	c cleaning 499 clauses out of 1041 for limit 8.259894139608777
477.04/473.07	c cleaning 496 clauses out of 1042 for limit 13.608597804714272
477.13/473.15	c cleaning 510 clauses out of 1046 for limit 22.35657651477397
477.23/473.22	c cleaning 501 clauses out of 1035 for limit 37.22356894253702
477.23/473.29	c cleaning 500 clauses out of 1037 for limit 61.452425087950175
477.33/473.36	c cleaning 504 clauses out of 1035 for limit 101.33612566847243
477.43/473.44	c cleaning 500 clauses out of 1030 for limit 167.76014639376055
477.53/473.50	c cleaning 497 clauses out of 1032 for limit 276.6758382495053
477.53/473.57	c cleaning 498 clauses out of 1034 for limit 454.93753294902075
477.63/473.64	c cleaning 499 clauses out of 1036 for limit 748.8044877075504
477.63/473.69	c cleaning 500 clauses out of 1037 for limit 1233.6879550125498
477.73/473.76	c cleaning 499 clauses out of 1037 for limit 2034.5164776376378
477.83/473.82	c cleaning 498 clauses out of 1037 for limit 3351.834654525113
477.93/473.90	c cleaning 502 clauses out of 1040 for limit 5517.195873105599
477.93/473.97	c cleaning 496 clauses out of 1037 for limit 9115.791028983427
478.03/474.03	c cleaning 502 clauses out of 1041 for limit 14975.394596189735
478.03/474.10	c cleaning 499 clauses out of 1040 for limit 24744.920548518014
478.14/474.15	c cleaning 501 clauses out of 1041 for limit 40768.4838355268
478.23/474.21	c cleaning 498 clauses out of 1040 for limit 67297.33056627972
478.23/474.28	c cleaning 494 clauses out of 1041 for limit 110764.81404973697
478.33/474.35	c cleaning 502 clauses out of 1048 for limit 181627.52644318706
478.33/474.39	c cleaning 498 clauses out of 1045 for limit 300087.59007269476
478.43/474.45	c cleaning 500 clauses out of 1048 for limit 493961.8885830256
478.53/474.50	c cleaning 495 clauses out of 1048 for limit 814609.2353126265
478.53/474.55	c cleaning 484 clauses out of 1053 for limit 1337020.689998634
478.53/474.59	c cleaning 513 clauses out of 1068 for limit 2171783.961781751
478.63/474.63	c cleaning 506 clauses out of 1057 for limit 3626083.4743498443
478.63/474.67	c cleaning 525 clauses out of 1051 for limit 6014035.063782953
478.73/474.71	c cleaning 511 clauses out of 1025 for limit 1.0159356064583696E7
478.73/474.75	c cleaning 499 clauses out of 1014 for limit 1.693588824059035E7
478.83/474.80	c cleaning 487 clauses out of 1014 for limit 2.790161580597701E7
478.83/474.85	c cleaning 493 clauses out of 1028 for limit 4.5432286405564785E7
478.93/474.90	c cleaning 493 clauses out of 1034 for limit 7.441466733505967E7
727.87/722.55	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
733.17/727.89		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
736.28/730.97		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
739.78/734.42		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 16347
/proc/meminfo: memFree=26561676/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16347/stat : 16347 (java) D 16345 16347 15746 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 334526672 2560000 46 33554432000 1073741824 1073778376 140734891312000 140734891309128 248781040935 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/16347/statm: 625 46 37 9 0 29 0

[startup+0.013398 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 16347
/proc/meminfo: memFree=26561676/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16347/stat : 16347 (java) D 16345 16347 15746 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 334526672 9515008 185 33554432000 1073741824 1073778376 140734299050384 140734299039448 248781040935 0 0 4096 0 18446744072100609316 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 2323 185 143 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 16347
/proc/meminfo: memFree=26561676/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 4139 0 1 0 5 1 0 0 20 0 18 0 334526672 3028844544 5857 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 739464 5857 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 16347
/proc/meminfo: memFree=26561676/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 8559 0 1 0 48 1 0 0 20 0 18 0 334526672 3028844544 11053 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 739464 11053 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 16347
/proc/meminfo: memFree=26561676/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 10053 0 1 0 135 2 0 0 20 0 19 0 334526672 3097006080 12955 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 12955 2263 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420

[startup+1.50077 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16366
/proc/meminfo: memFree=26514112/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 10063 0 1 0 218 2 0 0 20 0 19 0 334526672 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 16030 2265 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) R 16345 16347 15746 0 -1 4202560 3058 0 1 0 143 2 0 0 20 0 19 0 334526674 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590192923176 140590064881591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) S 16345 16347 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589568215656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2595 0 0 0 35 0 0 0 20 0 19 0 334526680 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3216 0 0 0 35 0 0 0 20 0 19 0 334526680 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 16030 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16366
/proc/meminfo: memFree=26497232/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=3.81 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 10074 0 1 0 378 3 0 0 20 0 19 0 334526672 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 21150 2265 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) R 16345 16347 15746 0 -1 4202560 3069 0 1 0 302 2 0 0 20 0 19 0 334526674 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590192920976 140590065485696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) S 16345 16347 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589568215656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2595 0 0 0 35 0 0 0 20 0 19 0 334526680 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3216 0 0 0 36 0 0 0 20 0 19 0 334526680 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 21150 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420

[startup+6.30079 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16366
/proc/meminfo: memFree=26456280/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 10096 0 1 0 700 3 0 0 20 0 19 0 334526672 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 31303 2266 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) R 16345 16347 15746 0 -1 4202560 3090 0 1 0 621 2 0 0 20 0 19 0 334526674 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590192922984 140590065485600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334526676 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) S 16345 16347 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589568215656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2595 0 0 0 35 0 0 0 20 0 19 0 334526680 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3216 0 0 0 38 0 0 0 20 0 19 0 334526680 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 31303 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 246 0 0 0 44 19 0 0 20 0 19 0 334526676 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=21.69 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) R 16345 16347 15746 0 -1 4202560 200 0 0 0 2163 6 0 0 20 0 19 0 334526677 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589568215816 140590197084476 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589567161592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589566106616 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2603 0 0 0 41 0 0 0 20 0 19 0 334526680 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3227 0 0 0 46 0 0 0 20 0 19 0 334526680 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 44 0 0 0 18 15 0 0 20 0 19 0 334526680 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 418098 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 742.88
Current children cumulated vsize (KiB) 3024420

[startup+738.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 16372
/proc/meminfo: memFree=24890964/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=743.68 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 12622 0 1 0 74178 190 0 0 20 0 19 0 334526672 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 418100 2295 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=712.38 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) S 16345 16347 15746 0 -1 4202560 3299 0 1 0 71220 18 0 0 20 0 19 0 334526674 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590192924792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 389 0 0 0 49 29 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 254 0 0 0 55 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 261 0 0 0 46 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 56 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 256 0 0 0 59 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 53 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 169 0 0 0 37 14 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 246 0 0 0 44 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=22.49 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) R 16345 16347 15746 0 -1 4202560 200 0 0 0 2243 6 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589568215816 140590197059933 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2603 0 0 0 41 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3227 0 0 0 46 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 44 0 0 0 18 15 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 743.68
Current children cumulated vsize (KiB) 3024420

[startup+738.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 16372
/proc/meminfo: memFree=24890964/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=743.88 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 12622 0 1 0 74198 190 0 0 20 0 19 0 334526672 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 418100 2295 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=712.38 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) S 16345 16347 15746 0 -1 4202560 3299 0 1 0 71220 18 0 0 20 0 19 0 334526674 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590192924792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 389 0 0 0 49 29 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 254 0 0 0 55 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 261 0 0 0 46 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 56 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 256 0 0 0 59 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 53 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 169 0 0 0 37 14 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 246 0 0 0 44 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=22.69 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) R 16345 16347 15746 0 -1 4202560 200 0 0 0 2263 6 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589568215816 140590199777283 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2603 0 0 0 41 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3227 0 0 0 46 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 44 0 0 0 18 15 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 743.88
Current children cumulated vsize (KiB) 3024420

[startup+738.601 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 16372
/proc/meminfo: memFree=24890964/32873844 swapFree=7108/7108
[pid=16347] ppid=16345 vsize=3024420 CPUtime=743.98 cores=1,3,5,7
/proc/16347/stat : 16347 (java) S 16345 16347 15746 0 -1 4202496 12622 0 1 0 74208 190 0 0 20 0 19 0 334526672 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140734299041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16347/statm: 756105 418100 2295 9 0 746526 0
[pid=16347/tid=16349] ppid=16345 vsize=3024420 CPUtime=712.38 cores=1,3,5,7
/proc/16347/task/16349/stat : 16349 (java) S 16345 16347 15746 0 -1 4202560 3299 0 1 0 71220 18 0 0 20 0 19 0 334526674 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590192924792 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16350] ppid=16345 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/16347/task/16350/stat : 16350 (java) S 16345 16347 15746 0 -1 4202560 389 0 0 0 49 29 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590058388136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16351] ppid=16345 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/16347/task/16351/stat : 16351 (java) S 16345 16347 15746 0 -1 4202560 254 0 0 0 55 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590057335592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16352] ppid=16345 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/16347/task/16352/stat : 16352 (java) S 16345 16347 15746 0 -1 4202560 261 0 0 0 46 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590056283048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16353] ppid=16345 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/16347/task/16353/stat : 16353 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 56 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590055230504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16354] ppid=16345 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/16347/task/16354/stat : 16354 (java) S 16345 16347 15746 0 -1 4202560 256 0 0 0 59 20 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590054176936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16355] ppid=16345 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/16347/task/16355/stat : 16355 (java) S 16345 16347 15746 0 -1 4202560 245 0 0 0 53 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590053124392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16356] ppid=16345 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/16347/task/16356/stat : 16356 (java) S 16345 16347 15746 0 -1 4202560 169 0 0 0 37 14 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140590052071848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16347/tid=16357] ppid=16345 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/16347/task/16357/stat : 16357 (java) S 16345 16347 15746 0 -1 4202560 246 0 0 0 44 19 0 0 20 0 19 0 334526676 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589580413480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16358] ppid=16345 vsize=3024420 CPUtime=22.79 cores=1,3,5,7
/proc/16347/task/16358/stat : 16358 (java) R 16345 16347 15746 0 -1 4202560 200 0 0 0 2273 6 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589568215816 140590199778580 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16359] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16359/stat : 16359 (java) S 16345 16347 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334526677 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589567161976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16360] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16360/stat : 16360 (java) S 16345 16347 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334526678 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589566109320 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16361] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16361/stat : 16361 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589565058064 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16362] ppid=16345 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/16347/task/16362/stat : 16362 (java) S 16345 16347 15746 0 -1 4202560 2603 0 0 0 41 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589564004408 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16347/tid=16363] ppid=16345 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/16347/task/16363/stat : 16363 (java) S 16345 16347 15746 0 -1 4202560 3227 0 0 0 46 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589562951864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16364] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16364/stat : 16364 (java) S 16345 16347 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589561899512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16347/tid=16365] ppid=16345 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/16347/task/16365/stat : 16365 (java) S 16345 16347 15746 0 -1 4202560 44 0 0 0 18 15 0 0 20 0 19 0 334526680 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589560847176 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16347/tid=16366] ppid=16345 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16347/task/16366/stat : 16366 (java) S 16345 16347 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334526710 3097006080 418100 33554432000 1073741824 1073778376 140734299050384 140589558646056 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 743.98
Current children cumulated vsize (KiB) 3024420

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16347 and gives
#  childrusage.ru_utime.tv_sec=740
#  childrusage.ru_utime.tv_usec=149480
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=112678
# CPU time returned by wait4() is 742.262
# while last known CPU time is 743.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 738.671
CPU time (s): 743.98
CPU user time (s): 742.08
CPU system time (s): 1.9
CPU usage (%): 100.719
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 740.149
system time used= 2.11268
maximum resident set size= 1672412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12626
page faults= 1
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16082
involuntary context switches= 7901

runsolver used 2.92455 second user time and 7.44687 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-03 02:40:21
IDJOB=3731120
IDBENCH=1852
IDSOLVER=2319
FILE ID=node139/3731120-1338684021
RUNJOBID= node139-1338678624-15766
PBS_JOBID= 14636674
Free space on /tmp= 71096 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731120-1338684021/watcher-3731120-1338684021 -o /tmp/evaluation-result-3731120-1338684021/solver-3731120-1338684021 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731120-1338684021.opb           

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

MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=1800966640

node139.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.750
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	: 5333.50
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.750
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.750
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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.750
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.92
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.750
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.750
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.750
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:        26561948 kB
Buffers:          491404 kB
Cached:          3281468 kB
SwapCached:          828 kB
Active:          3339564 kB
Inactive:        2095040 kB
Active(anon):    1655680 kB
Inactive(anon):     7964 kB
Active(file):    1683884 kB
Inactive(file):  2087076 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:              3708 kB
Writeback:            40 kB
AnonPages:       1667604 kB
Mapped:            19884 kB
Shmem:                 8 kB
Slab:             732656 kB
SReclaimable:     174592 kB
SUnreclaim:       558064 kB
KernelStack:        1600 kB
PageTables:         7560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1630208 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= 71092 MiB
End job on node139 at 2012-06-03 02:52:40