Trace number 3732858

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-23SAT (TO)12 1800.07 1795.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM4dfe0aab63c58302cf08520fc713ceae
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.027995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables372
Total number of constraints421
Number of constraints which are clauses345
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 372
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 983
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 983
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.09	c no version file found!!!
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version	1.6.0_24
0.03/0.09	c os.name	Linux
0.03/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch	amd64
0.03/0.09	c Free memory 1599470296
0.03/0.09	c Max memory 1607860224
0.03/0.09	c Total memory 1607860224
0.03/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3732858-1338692039.opb
0.07/0.11	c reading problem ... 
0.07/0.19	c ... done. Wall clock time 0.079s.
0.07/0.19	c CPU time (experimental) 0.16s.
0.07/0.19	c #vars     372
0.07/0.19	c #constraints  420
0.23/0.21	c SATISFIABLE
0.23/0.21	c OPTIMIZING...
0.23/0.21	c Got one! Elapsed wall clock time (in seconds):0.093
0.23/0.21	o 12
1649.91/1646.39	c cleaning 992239 clauses out of 1984501 for limit 9.80389672859882E-5
1693.81/1690.21	c cleaning 496374 clauses out of 992761 for limit 3.228692741512577E-4
1704.41/1700.84	c cleaning 248437 clauses out of 496887 for limit 0.001063823740042178
1711.51/1707.96	c cleaning 124466 clauses out of 248951 for limit 0.0035051276266983115
1713.01/1709.41	c cleaning 62486 clauses out of 124984 for limit 0.011502299361669405
1713.81/1710.21	c cleaning 31495 clauses out of 62998 for limit 0.03763294546489818
1714.01/1710.42	c cleaning 15992 clauses out of 32004 for limit 0.122287230739283
1714.01/1710.48	c cleaning 8245 clauses out of 16511 for limit 0.3905110882610455
1714.11/1710.52	c cleaning 4367 clauses out of 8767 for limit 1.214076742109735
1714.11/1710.55	c cleaning 2439 clauses out of 4900 for limit 3.5822587570533306
1714.11/1710.58	c cleaning 1468 clauses out of 2960 for limit 9.769733051719639
1714.21/1710.60	c cleaning 992 clauses out of 1994 for limit 23.964819641575048
1714.21/1710.62	c cleaning 741 clauses out of 1501 for limit 52.449336888170514
1714.21/1710.63	c cleaning 619 clauses out of 1260 for limit 103.04004411595379
1714.21/1710.65	c cleaning 559 clauses out of 1140 for limit 187.6260367363402
1714.21/1710.67	c cleaning 530 clauses out of 1081 for limit 326.3083215578262
1714.21/1710.68	c cleaning 515 clauses out of 1051 for limit 553.4864767552243
1714.31/1710.70	c cleaning 510 clauses out of 1037 for limit 926.0221453112382
1714.31/1710.72	c cleaning 504 clauses out of 1028 for limit 1542.0462986277716
1714.31/1710.74	c cleaning 504 clauses out of 1022 for limit 2552.8570432980455
1714.31/1710.76	c cleaning 501 clauses out of 1018 for limit 4226.54503011086
1714.31/1710.78	c cleaning 503 clauses out of 1018 for limit 6977.1152870182395
1714.41/1710.80	c cleaning 499 clauses out of 1014 for limit 11540.034239518529
1714.41/1710.81	c cleaning 500 clauses out of 1016 for limit 19012.610152233694
1714.41/1710.83	c cleaning 497 clauses out of 1017 for limit 31354.86224095823
1714.41/1710.85	c cleaning 501 clauses out of 1020 for limit 51556.278994902634
1714.41/1710.87	c cleaning 499 clauses out of 1017 for limit 85103.54430119162
1714.41/1710.88	c cleaning 497 clauses out of 1018 for limit 140209.2639515285
1714.51/1710.90	c cleaning 501 clauses out of 1021 for limit 230544.42910079635
1714.51/1710.92	c cleaning 498 clauses out of 1020 for limit 380571.3489998142
1714.51/1710.94	c cleaning 504 clauses out of 1023 for limit 626398.9578565954
1714.51/1710.95	c cleaning 499 clauses out of 1019 for limit 1037070.6970471587
1714.51/1710.97	c cleaning 496 clauses out of 1019 for limit 1708558.0479502473
1714.51/1710.99	c cleaning 505 clauses out of 1025 for limit 2806757.9900475084
1714.61/1711.01	c cleaning 510 clauses out of 1020 for limit 4651409.207969102
1714.61/1711.02	c cleaning 504 clauses out of 1008 for limit 7746598.570826126
1714.61/1711.04	c cleaning 501 clauses out of 1005 for limit 1.2826138360874541E7
1714.61/1711.06	c cleaning 490 clauses out of 1003 for limit 2.1173001315167427E7
1714.61/1711.07	c cleaning 496 clauses out of 1013 for limit 3.4572421497609586E7
1714.61/1711.09	c cleaning 499 clauses out of 1017 for limit 5.6790302055271275E7
1714.71/1711.11	c cleaning 510 clauses out of 1021 for limit 9.356831566858277E7
1714.71/1711.13	c cleaning 504 clauses out of 1009 for limit 1.5582970592424908E8
1714.71/1711.14	c cleaning 492 clauses out of 1004 for limit 2.5800556871579167E8
1714.71/1711.16	c cleaning 497 clauses out of 1012 for limit 4.221221748740499E8
1714.71/1711.18	c cleaning 497 clauses out of 1015 for limit 6.940783922205946E8
1714.71/1711.20	c cleaning 502 clauses out of 1019 for limit 1.1412762544012582E9
1714.81/1711.21	c cleaning 508 clauses out of 1016 for limit 1.885786978798362E9
1714.81/1711.23	c cleaning 505 clauses out of 1011 for limit 3.134690064086469E9
1714.81/1711.25	c cleaning 501 clauses out of 1003 for limit 5.195139115472415E9
1714.81/1711.27	c cleaning 497 clauses out of 1002 for limit 8.576029773328358E9
1714.81/1711.29	c cleaning 501 clauses out of 1005 for limit 1.4100802405681374E10
1714.91/1711.30	c cleaning 502 clauses out of 1007 for limit 2.3277687867778423E10
1714.91/1711.32	c cleaning 493 clauses out of 1003 for limit 3.846407044707161E10
1714.91/1711.34	c cleaning 503 clauses out of 1015 for limit 6.2996812845854546E10
1714.91/1711.35	c cleaning 503 clauses out of 1006 for limit 1.0419225944152666E11
1714.91/1711.37	c cleaning 493 clauses out of 1003 for limit 1.7234091351608725E11
1714.91/1711.39	c cleaning 505 clauses out of 1011 for limit 2.82246501108616E11
1715.01/1711.41	c cleaning 503 clauses out of 1006 for limit 4.677756691987963E11
1715.01/1711.42	c cleaning 495 clauses out of 1002 for limit 7.737296917688953E11
1715.01/1711.44	c cleaning 503 clauses out of 1007 for limit 1.2696481995750864E12
1715.01/1711.46	c cleaning 502 clauses out of 1004 for limit 2.100076165057658E12
1715.01/1711.48	c cleaning 487 clauses out of 1002 for limit 3.470219326846844E12
1715.01/1711.49	c cleaning 508 clauses out of 1016 for limit 5.649647304215292E12
1715.11/1711.51	c cleaning 504 clauses out of 1008 for limit 9.390968837461074E12
1715.11/1711.53	c cleaning 500 clauses out of 1005 for limit 1.5548742399735758E13
1715.11/1711.54	c cleaning 491 clauses out of 1003 for limit 2.564172633119023E13
1715.11/1711.56	c cleaning 497 clauses out of 1012 for limit 4.1910570078989836E13
1715.11/1711.58	c cleaning 502 clauses out of 1015 for limit 6.891185260796424E13
1715.11/1711.60	c cleaning 506 clauses out of 1013 for limit 1.138692366934272E14
1715.23/1711.61	c cleaning 503 clauses out of 1007 for limit 1.8890448591798662E14
1715.23/1711.63	c cleaning 497 clauses out of 1004 for limit 3.124596313227567E14
1715.23/1711.65	c cleaning 503 clauses out of 1007 for limit 5.137526147780352E14
1715.23/1711.66	c cleaning 491 clauses out of 1004 for limit 8.497784042796122E14
1715.23/1711.68	c cleaning 506 clauses out of 1013 for limit 1.3889475449734228E15
1715.33/1711.70	c cleaning 503 clauses out of 1007 for limit 2.3042081388203365E15
1715.33/1711.71	c cleaning 492 clauses out of 1007 for limit 3.81137015252319E15
1715.33/1711.73	c cleaning 497 clauses out of 1012 for limit 6.235660159996244E15
1715.33/1711.75	c cleaning 505 clauses out of 1015 for limit 1.0253043398100538E16
1715.33/1711.77	c cleaning 502 clauses out of 1014 for limit 1.6993186232407334E16
1715.33/1711.78	c cleaning 504 clauses out of 1008 for limit 2.807825279522292E16
1715.43/1711.80	c cleaning 498 clauses out of 1004 for limit 4.6489276356161276E-4
1715.43/1711.81	c cleaning 494 clauses out of 1006 for limit 7.651461638089079E-4
1715.43/1711.83	c cleaning 496 clauses out of 1012 for limit 0.001254347187593537
1715.43/1711.85	c cleaning 501 clauses out of 1016 for limit 0.0020604422752925652
1715.43/1711.86	c cleaning 497 clauses out of 1015 for limit 0.0034012926820113343
1715.43/1711.88	c cleaning 495 clauses out of 1018 for limit 0.00559265662983554
1715.53/1711.90	c cleaning 501 clauses out of 1024 for limit 0.009178175886828352
1715.53/1711.92	c cleaning 502 clauses out of 1022 for limit 0.015150494641758643
1715.53/1711.93	c cleaning 499 clauses out of 1020 for limit 0.025034183034625585
1715.53/1711.95	c cleaning 498 clauses out of 1021 for limit 0.041244281267317794
1715.53/1711.96	c cleaning 501 clauses out of 1023 for limit 0.06788436114939765
1715.53/1711.98	c cleaning 503 clauses out of 1023 for limit 0.11206245539811659
1715.63/1712.00	c cleaning 499 clauses out of 1020 for limit 0.185349527399742
1715.63/1712.02	c cleaning 505 clauses out of 1021 for limit 0.3053667870953048
1715.63/1712.03	c cleaning 501 clauses out of 1015 for limit 0.5060610063220613
1715.63/1712.05	c cleaning 499 clauses out of 1015 for limit 0.8353976967520597
1715.63/1712.07	c cleaning 500 clauses out of 1016 for limit 1.3763265726774825
1715.63/1712.09	c cleaning 500 clauses out of 1015 for limit 2.269710860762614
1715.73/1712.11	c cleaning 498 clauses out of 1015 for limit 3.743056845884236
1715.73/1712.12	c cleaning 499 clauses out of 1017 for limit 6.160662240108294
1715.73/1712.14	c cleaning 500 clauses out of 1020 for limit 10.150164736035073
1715.73/1712.16	c cleaning 502 clauses out of 1020 for limit 16.73897951446706
1715.73/1712.18	c cleaning 495 clauses out of 1016 for limit 27.658097619669757
1715.73/1712.19	c cleaning 502 clauses out of 1021 for limit 45.38853423808209
1715.83/1712.21	c cleaning 504 clauses out of 1020 for limit 75.00014916049915
1715.83/1712.23	c cleaning 499 clauses out of 1016 for limit 124.17222922464204
1715.83/1712.25	c cleaning 495 clauses out of 1016 for limit 204.57184083761442
1715.83/1712.27	c cleaning 501 clauses out of 1021 for limit 335.71419588171926
1715.83/1712.29	c cleaning 500 clauses out of 1020 for limit 554.1804020310308
1715.93/1712.31	c cleaning 502 clauses out of 1021 for limit 913.9364362153842
1715.93/1712.33	c cleaning 501 clauses out of 1018 for limit 1510.1334628946709
1715.93/1712.35	c cleaning 501 clauses out of 1017 for limit 2492.8608851485023
1715.93/1712.37	c cleaning 501 clauses out of 1017 for limit 4115.176264837578
1715.93/1712.39	c cleaning 501 clauses out of 1018 for limit 6793.3896855829
1716.03/1712.41	c cleaning 493 clauses out of 1014 for limit 11213.694034323022
1716.03/1712.43	c cleaning 500 clauses out of 1023 for limit 18366.903069931275
1716.03/1712.45	c cleaning 502 clauses out of 1021 for limit 30288.145933196167
1716.03/1712.47	c cleaning 498 clauses out of 1019 for limit 50047.24024967833
1716.03/1712.49	c cleaning 499 clauses out of 1021 for limit 82372.92033770951
1716.13/1712.51	c cleaning 501 clauses out of 1022 for limit 135711.04555781386
1716.13/1712.53	c cleaning 504 clauses out of 1021 for limit 224024.8716421386
1716.13/1712.55	c cleaning 499 clauses out of 1017 for limit 370900.0683273047
1716.13/1712.57	c cleaning 505 clauses out of 1018 for limit 611062.982238389
1716.13/1712.59	c cleaning 498 clauses out of 1013 for limit 1012698.5657758563
1716.23/1712.61	c cleaning 501 clauses out of 1017 for limit 1666838.7872375154
1716.23/1712.63	c cleaning 508 clauses out of 1017 for limit 2751591.7375958436
1716.23/1712.65	c cleaning 494 clauses out of 1007 for limit 4573643.844517468
1716.23/1712.67	c cleaning 499 clauses out of 1013 for limit 7497876.016378599
1716.23/1712.69	c cleaning 508 clauses out of 1016 for limit 1.2353183784762165E7
1716.33/1712.71	c cleaning 502 clauses out of 1005 for limit 2.053330700452837E7
1716.33/1712.72	c cleaning 498 clauses out of 1003 for limit 3.3929691922103815E7
1716.33/1712.74	c cleaning 502 clauses out of 1006 for limit 5.584358196722128E7
1716.33/1712.76	c cleaning 495 clauses out of 1003 for limit 9.22766225422616E7
1716.33/1712.78	c cleaning 498 clauses out of 1010 for limit 1.514245041216144E8
1716.33/1712.79	c cleaning 494 clauses out of 1012 for limit 2.4922574817127475E8
1716.43/1712.81	c cleaning 508 clauses out of 1017 for limit 4.0857693222662807E8
1716.43/1712.83	c cleaning 505 clauses out of 1010 for limit 6.791470540049787E8
1716.43/1712.85	c cleaning 491 clauses out of 1003 for limit 1.1255664133727496E9
1716.43/1712.87	c cleaning 506 clauses out of 1013 for limit 1.8397254312617052E9
1716.43/1712.88	c cleaning 497 clauses out of 1008 for limit 3.05205477676922E9
1716.53/1712.90	c cleaning 503 clauses out of 1009 for limit 5.018206783729678E9
1716.53/1712.92	c cleaning 503 clauses out of 1007 for limit 8.300431075418898E9
1716.53/1712.94	c cleaning 501 clauses out of 1003 for limit 1.3729368457678146E10
1716.53/1712.95	c cleaning 493 clauses out of 1002 for limit 2.2664161641287724E10
1716.53/1712.97	c cleaning 496 clauses out of 1009 for limit 3.71169345617359E10
1716.53/1712.99	c cleaning 495 clauses out of 1013 for limit 6.096908945857473E10
1716.63/1713.01	c cleaning 504 clauses out of 1020 for limit 1.0005617427145134E11
1716.63/1713.02	c cleaning 507 clauses out of 1014 for limit 1.6565058482672668E11
1716.63/1713.04	c cleaning 494 clauses out of 1008 for limit 2.75081127123253E11
1716.63/1713.06	c cleaning 500 clauses out of 1013 for limit 4.5095505252189343E11
1716.63/1713.07	c cleaning 495 clauses out of 1013 for limit 7.436852092962234E11
1716.63/1713.09	c cleaning 504 clauses out of 1018 for limit 1.2204126441435095E12
1716.73/1713.11	c cleaning 499 clauses out of 1015 for limit 2.0205929485432515E12
1716.73/1713.13	c cleaning 500 clauses out of 1016 for limit 3.3289483301869956E12
1716.73/1713.14	c cleaning 499 clauses out of 1015 for limit 5.489794595220353E12
1716.73/1713.16	c cleaning 508 clauses out of 1016 for limit 9.044494866719168E12
1716.73/1713.18	c cleaning 504 clauses out of 1008 for limit 1.5033959620906584E13
1716.73/1713.19	c cleaning 495 clauses out of 1006 for limit 2.489206012977718E13
1716.83/1713.21	c cleaning 495 clauses out of 1009 for limit 4.084646897466893E13
1716.83/1713.23	c cleaning 499 clauses out of 1015 for limit 6.70301269813916E13
1716.83/1713.25	c cleaning 500 clauses out of 1016 for limit 1.104328456890829E14
1716.83/1713.26	c cleaning 507 clauses out of 1015 for limit 1.8211566514902153E14
1716.83/1713.28	c cleaning 492 clauses out of 1008 for limit 3.024187413204133E14
1800.07/1795.41	c starts		: 25
1800.07/1795.41	c conflicts		: 2796550
1800.07/1795.41	c decisions		: 3445158
1800.07/1795.41	c propagations		: 27029709
1800.07/1795.41	c inspects		: 9321414898
1800.07/1795.41	c learnt literals	: 0
1800.07/1795.41	c learnt binary clauses	: 0
1800.07/1795.41	c learnt ternary clauses	: 0
1800.07/1795.41	c learnt clauses	: 2796552
1800.07/1795.41	c root simplifications	: 0
1800.07/1795.41	c removed literals (reason simplification)	: 0
1800.07/1795.41	c reason swapping (by a shorter reason)	: 0
1800.07/1795.41	c Calls to reduceDB	: 163
1800.07/1795.41	c speed (decisions/second)	: 1919.106612670525
1800.07/1795.41	c non guided choices	4
1800.07/1795.41	s SATISFIABLE
1800.07/1795.41	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 x17 x18 -x19 -x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 x43 x44 -x45 -x46 x47 x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 x62 x63 x64 -x65 x66 x67 -x68 -x69 -x70 x71 x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 -x95 x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 x171 -x172 x173 x174 x175 x176 -x177 x178 x179 -x180 -x181 x182 x183 x184 -x185 x186 x187 -x188 -x189 x190 x191 x192 -x193 x194 x195 -x196 -x197 -x198 x199 x200 x201 x202 x203 x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 x212 -x213 -x214 x215 x216 -x217 -x218 x219 x220 -x221 -x222 x223 x224 -x225 -x226 x227 x228 -x229 -x230 x231 x232 x233 x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 x242 x243 -x244 -x245 x246 x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 x264 x265 -x266 -x267 x268 x269 -x270 -x271 -x272 x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 x288 x289 x290 -x291 -x292 -x293 x294 -x295 -x296 x297 x298 x299 -x300 x301 x302 x303 x304 x305 x306 x307 x308 -x309 -x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 x319 x320 x321 -x322 x323 x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 -x333 x334 x335 x336 -x337 x338 x339 x340 -x341 x342 -x343 -x344 -x345 x346 x347 -x348 -x349 x350 x351 x352 x353 x354 x355 x356 -x357 x358 x359 x360 -x361 x362 x363 -x364 -x365 x366 x367 x368 -x369 x370 x371 x372 
1800.07/1795.41	c objective function=12
1800.07/1795.41	c Total wall clock time (ms): 1795.297

Verifier Data

OK	12

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-3732858-1338692039/watcher-3732858-1338692039 -o /tmp/evaluation-result-3732858-1338692039/solver-3732858-1338692039 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732858-1338692039.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.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=252 CPUtime=0 cores=0,2,4,6
/proc/31658/stat : 31658 (java) R 31656 31658 28219 0 -1 4194304 253 0 0 0 0 0 0 0 20 0 1 0 335328876 258048 2 33554432000 0 0 140734195815907 140737256824968 240564989367 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 67 9 4 9 0 24 0

[startup+0.065652 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 3445 0 1 0 3 0 0 0 20 0 13 0 335328876 2686889984 5164 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 655979 5164 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100257 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 3640 0 1 0 6 1 0 0 20 0 18 0 335328876 3028844544 5869 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 739464 5870 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300205 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6345 0 1 0 45 1 0 0 20 0 19 0 335328876 3097006080 8854 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 8854 2255 9 0 746526 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3024420

[startup+0.700221 s]
/proc/loadavg: 2.04 2.06 2.02 3/194 31658
/proc/meminfo: memFree=30082936/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1.02 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6493 0 1 0 100 2 0 0 20 0 19 0 335328876 3097006080 11434 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 11434 2261 9 0 746526 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=30039648/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1.84 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6504 0 1 0 182 2 0 0 20 0 19 0 335328876 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 16043 2261 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2556 0 1 0 144 2 0 0 20 0 19 0 335328877 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140550000593376 140549869285085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 16043 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 3024420

[startup+3.10069 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=30012528/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=3.45 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6522 0 1 0 342 3 0 0 20 0 19 0 335328876 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 25259 2261 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2574 0 1 0 303 2 0 0 20 0 19 0 335328877 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140550000595304 140549869207277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 21 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 25259 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 2.04 2.06 2.02 3/213 31678
/proc/meminfo: memFree=29938428/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=6.65 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 6559 0 1 0 661 4 0 0 20 0 19 0 335328876 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 43132 2262 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2610 0 1 0 621 3 0 0 20 0 19 0 335328877 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140550000595304 140549869277017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328879 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 917 0 0 0 14 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1833 0 0 0 21 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 43132 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 991 0 0 0 18 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 96 0 0 0 37 30 0 0 20 0 19 0 335328883 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 417273 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.91
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28783852/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1725.92 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10061 0 1 0 172439 153 0 0 20 0 19 0 335328876 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 417907 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1715.78 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2751 0 1 0 171544 34 0 0 20 0 19 0 335328877 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140550000594160 140549869202490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 244 0 0 0 28 12 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 184 0 0 0 23 9 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 233 0 0 0 29 11 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 472 0 0 0 43 22 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 47 21 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 374 0 0 0 39 19 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 246 0 0 0 23 11 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 227 0 0 0 27 12 0 0 20 0 19 0 335328879 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 68 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 100 0 0 0 37 31 0 0 20 0 19 0 335328883 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 417907 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.92
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28782364/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1786.53 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10607 0 1 0 178498 155 0 0 20 0 19 0 335328876 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 418445 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1775.4 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2753 0 1 0 177506 34 0 0 20 0 19 0 335328877 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140550000594176 140549869227259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 294 0 0 0 44 12 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 293 0 0 0 34 9 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 351 0 0 0 39 11 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 574 0 0 0 51 23 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 56 21 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 442 0 0 0 52 19 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 246 0 0 0 31 11 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 318 0 0 0 35 12 0 0 20 0 19 0 335328879 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 71 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 335328883 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 418445 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31782
/proc/meminfo: memFree=28782240/32873844 swapFree=7116/7116
[pid=31658] ppid=31656 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/31658/stat : 31658 (java) S 31656 31658 28219 0 -1 4202496 10705 0 1 0 179852 155 0 0 20 0 19 0 335328876 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140734195804144 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31658/statm: 756105 418540 2292 9 0 746526 0
[pid=31658/tid=31660] ppid=31656 vsize=3024420 CPUtime=1788.32 cores=0,2,4,6
/proc/31658/task/31660/stat : 31660 (java) R 31656 31658 28219 0 -1 4202560 2754 0 1 0 178797 35 0 0 20 0 19 0 335328877 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140550000594160 140549869221787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31661] ppid=31656 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/31658/task/31661/stat : 31661 (java) S 31656 31658 28219 0 -1 4202560 294 0 0 0 51 12 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549866556200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31662] ppid=31656 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/31658/task/31662/stat : 31662 (java) S 31656 31658 28219 0 -1 4202560 360 0 0 0 42 9 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549865503400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31663] ppid=31656 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/31658/task/31663/stat : 31663 (java) S 31656 31658 28219 0 -1 4202560 352 0 0 0 47 11 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549864451112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31664] ppid=31656 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/31658/task/31664/stat : 31664 (java) S 31656 31658 28219 0 -1 4202560 595 0 0 0 58 23 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549863398312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31665] ppid=31656 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/31658/task/31665/stat : 31665 (java) S 31656 31658 28219 0 -1 4202560 482 0 0 0 63 21 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549862345000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31666] ppid=31656 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/31658/task/31666/stat : 31666 (java) S 31656 31658 28219 0 -1 4202560 442 0 0 0 59 19 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549861292200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31667] ppid=31656 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31658/task/31667/stat : 31667 (java) S 31656 31658 28219 0 -1 4202560 252 0 0 0 38 11 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549860239912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31668] ppid=31656 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/31658/task/31668/stat : 31668 (java) S 31656 31658 28219 0 -1 4202560 318 0 0 0 43 12 0 0 20 0 19 0 335328879 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549859187112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31658/tid=31669] ppid=31656 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/31658/task/31669/stat : 31669 (java) S 31656 31658 28219 0 -1 4202560 73 0 0 0 95 3 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549376940776 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31670] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31670/stat : 31670 (java) S 31656 31658 28219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549375886840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31671] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31671/stat : 31671 (java) S 31656 31658 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335328880 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549374834440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31658/tid=31672] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31672/stat : 31672 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549373782928 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31673] ppid=31656 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/31658/task/31673/stat : 31673 (java) S 31656 31658 28219 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549372729528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31674] ppid=31656 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/31658/task/31674/stat : 31674 (java) S 31656 31658 28219 0 -1 4202560 1840 0 0 0 26 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549371676728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31675] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31675/stat : 31675 (java) S 31656 31658 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549370624632 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31658/tid=31676] ppid=31656 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31658/task/31676/stat : 31676 (java) S 31656 31658 28219 0 -1 4202560 103 0 0 0 39 31 0 0 20 0 19 0 335328883 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549369572040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31658/tid=31678] ppid=31656 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31658/task/31678/stat : 31678 (java) S 31656 31658 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335328899 3097006080 418540 33554432000 1073741824 1073778376 140734195813008 140549367440680 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

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

Real time (s): 1795.42
CPU time (s): 1800.07
CPU user time (s): 1798.52
CPU system time (s): 1.55
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.0027
maximum resident set size= 1674272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10734
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38228
involuntary context switches= 12380

runsolver used 5.98009 second user time and 15.1337 second system time

The end

Launcher Data

Begin job on node146 at 2012-06-03 04:54:00
IDJOB=3732858
IDBENCH=2222
IDSOLVER=2319
FILE ID=node146/3732858-1338692039
RUNJOBID= node146-1338678624-28238
PBS_JOBID= 14636667
Free space on /tmp= 70908 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732858-1338692039/watcher-3732858-1338692039 -o /tmp/evaluation-result-3732858-1338692039/solver-3732858-1338692039 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732858-1338692039.opb           

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

MD5SUM BENCH= 4dfe0aab63c58302cf08520fc713ceae
RANDOM SEED=1638097518

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30083216 kB
Buffers:          136892 kB
Cached:           234960 kB
SwapCached:         1796 kB
Active:          1796716 kB
Inactive:         225720 kB
Active(anon):    1651408 kB
Inactive(anon):     1664 kB
Active(file):     145308 kB
Inactive(file):   224056 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099884 kB
Dirty:              3532 kB
Writeback:             0 kB
AnonPages:       1673376 kB
Mapped:            17160 kB
Shmem:                 0 kB
Slab:             610308 kB
SReclaimable:      50276 kB
SUnreclaim:       560032 kB
KernelStack:        1576 kB
PageTables:         7428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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= 70900 MiB
End job on node146 at 2012-06-03 05:23:57