Trace number 1058338

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cpHydra k_10SAT 203.776 205.828

DiagnosticValue
ASSIGNMENTS24672
CHECKS382082000

General information on the benchmark

Namecsp/compet02/
normalized-patat-02-comp-6.xml
MD5SUM4557782171b25598d03a057775c7d656
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark118.276
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints45572
Maximum constraint arity20
Maximum domain size45
Number of constraints which are defined in extension0
Number of constraints which are defined in intension45272
Global constraints used (with number of constraints)alldifferent(300)

Solver Data (download as text)

0.00/0.00	c cpHydra_k_10 version 0.0
10.15/10.34	c CASE TO CLASSIFY:
10.15/10.34	c Case: 0
10.15/10.34	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.658299 | c 33 >  30.000000 | c 15 >  21.555200 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.217390 | c 14 >   8.962900 | c 11 >   9.411510 | c 12 >   8.644120 | c 21 >   4.928780 | c 20 >  99.341700 | c 22 >   6.708200 | c 23 >  83.238900 | c 24 >  40.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.411510 | c 2 >  -1.000000 | c 10 >  17.463900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.462700 | c 32 >   0.000000 | c 5 >  17.592400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.15/10.35	c choco : 1801.0
10.15/10.35	c mistral : 1801.0
10.15/10.35	c abscon : 1801.0
10.15/10.35	c
10.15/10.35	c
10.24/10.42	c List of same ones: 10
10.24/10.43	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
10.24/10.43	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.658299 | c 33 >  30.000000 | c 15 >  20.669000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.208980 | c 14 >   8.592460 | c 11 >   9.411510 | c 12 >   8.640030 | c 21 >   4.928780 | c 20 >  99.341700 | c 22 >   6.708200 | c 23 >  83.238900 | c 24 >  40.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.411510 | c 2 >  -1.000000 | c 10 >  17.463900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.462700 | c 32 >   0.000000 | c 5 >  17.592400 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.43	c choco : 1801.0
10.24/10.43	c mistral : 467.31
10.24/10.43	c abscon : 1801.0
10.24/10.43	c
10.24/10.43	c
10.24/10.43	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
10.24/10.43	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.468187 | c 33 >  30.000000 | c 15 >  20.496000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.978730 | c 14 >   8.690000 | c 11 >   9.611020 | c 12 >   8.780590 | c 21 >   4.946840 | c 20 >  99.531800 | c 22 >   6.708200 | c 23 >  84.598700 | c 24 >  33.333300 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.611020 | c 2 >  -1.000000 | c 10 >  17.848000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.958200 | c 32 >   0.000000 | c 5 >  18.064900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.44	c choco : 1801.0
10.24/10.44	c mistral : 265.78
10.24/10.44	c abscon : 1801.0
10.24/10.44	c
10.24/10.44	c
10.24/10.44	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
10.24/10.44	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.644026 | c 33 >  30.000000 | c 15 >  20.714400 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.106580 | c 14 >   8.422060 | c 11 >   9.392320 | c 12 >   8.650280 | c 21 >   4.920950 | c 20 >  99.356000 | c 22 >   6.708200 | c 23 >  78.650500 | c 24 >  25.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.392320 | c 2 >  -1.000000 | c 10 >  17.473800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.489900 | c 32 >   0.000000 | c 5 >  17.616800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.45	c choco : 1801.0
10.24/10.45	c mistral : 654.08
10.24/10.45	c abscon : 1801.0
10.24/10.45	c
10.24/10.45	c
10.24/10.45	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
10.24/10.45	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   2.579810 | c 33 >  30.000000 | c 15 >  20.881300 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.129480 | c 14 >   8.209450 | c 11 >   8.774790 | c 12 >   8.261650 | c 21 >   4.836470 | c 20 >  97.420200 | c 22 >   6.708200 | c 23 >  93.217300 | c 24 >  28.571400 | c 25 > 299.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.774790 | c 2 >  -1.000000 | c 10 >  16.155800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  14.022200 | c 32 >   0.000000 | c 5 >  15.591900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.46	c choco : 1801.0
10.24/10.46	c mistral : 71.99
10.24/10.46	c abscon : 45.66
10.24/10.46	c
10.24/10.46	c
10.24/10.46	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
10.24/10.46	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.849594 | c 33 >  30.000000 | c 15 >  20.736900 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.115770 | c 14 >   8.299210 | c 11 >   9.400880 | c 12 >   8.339510 | c 21 >   4.870700 | c 20 >  99.150400 | c 22 >   6.708200 | c 23 >  87.351200 | c 24 >  22.222200 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.400880 | c 2 >  -1.000000 | c 10 >  17.155900 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.044900 | c 32 >   0.000000 | c 5 >  17.233300 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.47	c choco : 1801.0
10.24/10.47	c mistral : 293.62
10.24/10.47	c abscon : 1801.0
10.24/10.47	c
10.24/10.47	c
10.24/10.47	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
10.24/10.47	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.399450 | c 33 >  30.000000 | c 15 >  20.959000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   7.186680 | c 14 >   8.194760 | c 11 >   9.090110 | c 12 >   8.259910 | c 21 >   4.857540 | c 20 >  98.600600 | c 22 >   6.708200 | c 23 >  83.019000 | c 24 >  20.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.090110 | c 2 >  -1.000000 | c 10 >  16.675800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.264400 | c 32 >   0.000000 | c 5 >  16.536900 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.48	c choco : 1801.0
10.24/10.48	c mistral : 106.17
10.24/10.48	c abscon : 39.95
10.24/10.48	c
10.24/10.48	c
10.24/10.48	c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
10.24/10.48	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   5.178660 | c 33 >  30.000000 | c 15 >  19.878000 | c 34 >  30.000000 | c 16 >  20.000000 | c 13 >   6.754490 | c 14 >  10.632100 | c 11 >  11.879600 | c 12 >   5.045030 | c 21 >   4.801340 | c 20 >  94.821300 | c 22 >   6.708200 | c 23 >  97.911900 | c 24 >  25.000000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   8.554590 | c 2 >  -1.000000 | c 10 >  15.707800 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  11.727900 | c 32 >   0.000000 | c 5 >  14.463800 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.24/10.49	c choco : 1801.0
10.24/10.49	c mistral : 440.15
10.24/10.49	c abscon : 13.8
10.24/10.49	c
10.24/10.49	c
10.24/10.49	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
10.24/10.49	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   1.226990 | c 33 >  30.000000 | c 15 >  20.404900 | c 34 >  30.000000 | c 16 >  24.000000 | c 13 >   7.487570 | c 14 >   8.546890 | c 11 >   9.255030 | c 12 >   8.456330 | c 21 >   3.902400 | c 20 >  98.773000 | c 22 >   6.000000 | c 23 >  66.609100 | c 24 >  13.333300 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.255030 | c 2 >  -1.000000 | c 10 >  17.018100 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.512500 | c 32 >   0.000000 | c 5 >  16.686600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.33/10.50	c choco : 1801.0
10.33/10.50	c mistral : 43.86
10.33/10.50	c abscon : 262.21
10.33/10.50	c
10.33/10.50	c
10.33/10.50	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
10.33/10.50	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.716829 | c 33 >  30.000000 | c 15 >  20.502000 | c 34 >  30.000000 | c 16 >  24.000000 | c 13 >   7.462510 | c 14 >   8.149750 | c 11 >   9.467610 | c 12 >   8.672580 | c 21 >   4.149400 | c 20 >  99.283200 | c 22 >   5.830950 | c 23 >  65.344800 | c 24 >  11.764700 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.467610 | c 2 >  -1.000000 | c 10 >  17.526000 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  16.333300 | c 32 >   0.000000 | c 5 >  17.448100 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.33/10.51	c choco : 1801.0
10.33/10.51	c mistral : 1156.77
10.33/10.51	c abscon : 1801.0
10.33/10.51	c
10.33/10.51	c
10.33/10.51	c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
10.33/10.51	c 19 >   0.000000 | c 35 >  40.000000 | c 17 >   0.000000 | c 18 >   0.895683 | c 33 >  30.000000 | c 15 >  20.466700 | c 34 >  30.000000 | c 16 >  23.000000 | c 13 >   7.445010 | c 14 >   8.507790 | c 11 >   9.394460 | c 12 >   8.546470 | c 21 >   4.014350 | c 20 >  99.104300 | c 22 >   5.830950 | c 23 >  63.995800 | c 24 >  12.500000 | c 25 > 300.000000 | c 26 >  -1.000000 | c 27 >  -1.000000 | c 28 >  -1.000000 | c 29 > 100.000000 | c 3 >   9.394460 | c 2 >  -1.000000 | c 10 >  17.300500 | c 1 >  -1.000000 | c 0 >  -1.000000 | c 30 >   0.000000 | c 7 >  -1.000000 | c 6 >  15.994000 | c 32 >   0.000000 | c 5 >  17.128600 | c 31 >   0.000000 | c 4 >  -1.000000 | c 9 >  -1.000000 | c 8 >  -1.000000 | c
10.33/10.52	c choco : 1801.0
10.33/10.52	c mistral : 38.33
10.33/10.52	c abscon : 568.38
10.33/10.52	c
10.33/10.52	c
10.33/10.52	c Length: 10
10.33/10.52	c 0.96055384534132  6.952296827153164  15.718391239148142  15.881753141184412  18.293429413585223  20.140102277798917  23.282266636788634  31.771694151324084  33.71489113561395  33.751751542177125  
10.33/10.52	c 
10.33/10.52	c 1.0  0.8455057074846658  0.689629087831667  0.687267875094755  0.6542005779023685  0.6309549148141437  0.5949821449514472  0.515565916702349  0.5002811816744682  0.5  
10.33/10.52	c
10.33/10.52	c solver 0
10.33/10.52	c	  before 0.0 seconds: {} 0
10.33/10.52	c	  before 18.0 seconds: {6} 594
10.33/10.52	c	  before 54.0 seconds: {3, 5, 6} 1913
10.33/10.52	c	  before 270.0 seconds: {3, 5, 6, 7} 2428
10.33/10.52	c	  before 576.0 seconds: {3, 5, 6, 7, 9} 2928
10.33/10.52	c
10.33/10.52	c solver 1
10.33/10.52	c	  before 0.0 seconds: {} 0
10.33/10.52	c	  before 54.0 seconds: {7, 9} 1015
10.33/10.53	c	  before 72.0 seconds: {3, 7, 9} 1702
10.33/10.53	c	  before 108.0 seconds: {3, 5, 7, 9} 2333
10.33/10.53	c	  before 270.0 seconds: {1, 3, 5, 7, 9} 3179
10.33/10.53	c	  before 306.0 seconds: {1, 3, 4, 5, 7, 9} 3833
10.33/10.53	c	  before 450.0 seconds: {1, 3, 4, 5, 6, 7, 9} 4428
10.33/10.53	c	  before 468.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5428
10.33/10.53	c	  before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6118
10.33/10.53	c	  before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6618
10.33/10.53	c
10.33/10.53	c solver 2
10.33/10.53	c	  before 0.0 seconds: {} 0
10.33/10.53	c
10.33/10.53	cTotal time: 97
10.33/10.53	c 1746.0 seconds unused
10.33/10.53	c 0 c 0 c 5 
10.33/10.53	c 5 c 0 c 10 
10.33/10.53	c 0 c 0 c 0 
10.33/10.53	c is solver0 dominated by:
10.33/10.53	c	solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
10.33/10.53	c is dominated? true
10.33/10.53	c
10.33/10.53	c is solver1 dominated by:
10.33/10.53	c	solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
10.33/10.53	c	solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
10.33/10.53	c is dominated? false
10.33/10.53	c
10.33/10.53	c is solver2 dominated by:
10.33/10.53	c	solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
10.33/10.53	c is dominated? true
10.33/10.53	c
10.33/10.53	c Number of non-dominated solvers: 1
10.33/10.53	c remove dominated solvers
10.33/10.53	c solver 1 is not dominated by another solver
10.33/10.53	c solver 2 is dominated by another solver
10.33/10.53	c solver 0 is dominated by another solver
10.33/10.53	c
10.33/10.53	c solver 0: 0.0
10.33/10.53	c
10.33/10.53	c solver 1: 1170.0
10.33/10.53	c
10.33/10.53	c+ 65/65 of 35
10.33/10.53	c
10.33/10.53	c solver 2: 0.0
10.33/10.53	c	 do not run abscon
10.33/10.53	c	  run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6618
10.33/10.53	c	 do not run choco
10.33/10.53	c Starting solver: HOME/cpHydra_k_10/solver/mistral
10.33/10.53	c On Instance: HOME/instance-1058338-1215114407.xml
10.33/10.53	c Running for: 1800 seconds
203.65/205.77	c mistral-prime version 1.313
203.65/205.77	s SATISFIABLE
203.65/205.77	v 1 10 6 31 4 23 38 18 25 21 28 33 20 0 39 25 18 41 20 0 12 37 1 43 24 17 9 26 16 1 27 44 26 15 10 41 44 22 19 32 22 35 27 44 23 11 3 31 28 6 7 5 39 3 39 10 21 19 19 5 17 36 14 28 18 2 34 18 7 40 14 32 1 21 23 18 10 8 23 36 12 5 17 33 30 14 19 0 30 9 13 12 31 13 33 43 22 40 16 30 40 10 37 14 15 15 8 34 32 38 17 1 31 0 3 7 14 15 0 0 8 3 26 5 11 6 33 36 38 16 9 6 18 35 43 29 25 16 41 8 10 34 2 21 16 19 24 13 39 4 35 10 11 4 9 28 29 7 18 23 27 7 17 29 6 27 3 16 44 7 11 21 12 15 37 23 25 3 0 17 43 20 5 36 25 2 7 6 15 2 24 12 36 9 6 26 27 38 19 9 27 37 17 4 24 42 25 42 40 38 26 4 13 8 16 19 21 8 24 41 25 44 8 33 6 20 7 36 5 10 19 12 31 22 42 22 15 3 38 28 33 32 4 13 28 35 16 40 8 21 4 27 30 16 13 15 13 18 2 39 5 39 32 29 34 34 12 11 23 1 30 37 8 4 28 11 35 25 22 14 26 43 9 37 11 9 19 8 14 30 10 12 29 4 13 40 4 11 42 13 33 11 11 21 14 14 41 1 2 20 22 20 24 35 3 34 29 12 22 31 20 6 28 30 41 35 6 33 34 5 22 20 26 5 2 32 7 36 29 42 3 2 17 2 5 9 1 24 0 30 0 2 3 5 5 5 0 2 3 2 7 4 2 8 1 1 4 0 0 6 6 3 9 0 0 0 3 0 1 6 5 5 6 7 5 6 6 9 3 3 2 5 2 2 3 1 9 6 6 2 6 6 0 2 6 0 6 0 9 9 7 4 3 1 0 6 6 9 3 2 6 0 2 4 9 3 3 1 4 1 9 5 5 3 9 2 6 5 6 0 5 0 4 2 0 2 7 3 6 1 6 1 5 9 5 6 8 2 5 3 1 5 3 9 8 2 1 0 0 4 4 4 5 2 5 1 8 3 2 8 5 8 6 4 3 9 5 0 3 6 4 0 3 1 3 1 5 9 3 1 3 7 2 2 4 2 2 0 5 6 1 5 3 3 7 0 0 7 0 8 6 0 7 4 2 0 4 6 3 2 6 5 8 6 0 1 4 6 1 8 6 1 5 2 0 2 6 1 5 9 3 0 4 8 9 3 6 6 5 6 1 7 6 7 2 4 5 0 1 5 2 3 3 1 5 1 7 0 7 8 2 4 0 0 0 5 2 1 5 3 2 4 0 3 4 2 4 1 5 3 4 4 7 5 8 3 0 1 2 2 4 5 2 6 3 7 2 8 2 4 5 1 2 3 5 3 0 7 3 4 7 5 6 6 7 1 7 9 5 0 6 5 5 6 1 0 9 4 2 4 6 0 9 7 8 0 1 3 7 4 6 9 3 6 3 5 0 3 1 2 3 9 0 3 2 1 4 5 1 0 4 6 3 1 5 6 1 2 1 5 5 4 6 0 3 8 1 2 2 2
203.65/205.77	d CHECKS 382082077
203.65/205.77	d ASSIGNMENTS 24672

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058338-1215114407/watcher-1058338-1215114407 -o /tmp/evaluation-result-1058338-1215114407/solver-1058338-1215114407 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058338-1215114407.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved

[startup+0 s]
/proc/loadavg: 1.92 1.98 1.97 4/74 24102
/proc/meminfo: memFree=1195488/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=18572 CPUtime=0
/proc/24102/stat : 24102 (runsolver) R 24100 23425 23425 0 -1 4194368 6 0 0 0 0 0 0 0 19 0 1 0 995845370 19017728 290 996147200 4194304 4296836 548682068496 18446744073709551615 206381312954 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24102/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.050209 s]
/proc/loadavg: 1.92 1.98 1.97 4/74 24102
/proc/meminfo: memFree=1195488/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101207 s]
/proc/loadavg: 1.92 1.98 1.97 4/74 24102
/proc/meminfo: memFree=1195488/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.301229 s]
/proc/loadavg: 1.92 1.98 1.97 4/74 24102
/proc/meminfo: memFree=1195488/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.701272 s]
/proc/loadavg: 1.92 1.98 1.97 4/74 24102
/proc/meminfo: memFree=1195488/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+1.50136 s]
/proc/loadavg: 1.92 1.98 1.97 3/76 24106
/proc/meminfo: memFree=1181776/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
[pid=24106] ppid=24102 vsize=24120 CPUtime=1.47
/proc/24106/stat : 24106 (xsolve) R 24102 24102 23425 0 -1 4194304 5467 0 0 0 143 4 0 0 25 0 1 0 995845371 24698880 5230 996147200 134512640 135239763 4294956176 18446744073709551615 4159730131 0 0 4096 0 0 0 0 17 1 0 0
/proc/24106/statm: 6030 5230 377 177 0 4933 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29480

[startup+3.10253 s]
/proc/loadavg: 1.93 1.98 1.97 3/76 24106
/proc/meminfo: memFree=1167632/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=0
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 995845370 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 236 195 169 0 51 0
[pid=24106] ppid=24102 vsize=88236 CPUtime=3.06
/proc/24106/stat : 24106 (xsolve) R 24102 24102 23425 0 -1 4194304 21589 0 0 0 294 12 0 0 25 0 1 0 995845371 90353664 20736 996147200 134512640 135239763 4294956176 18446744073709551615 134799832 0 0 4096 0 0 0 0 17 1 0 0
/proc/24106/statm: 22059 20736 431 177 0 20962 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 93596

[startup+6.30185 s]
/proc/loadavg: 1.93 1.98 1.97 3/84 24118
/proc/meminfo: memFree=1185936/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197000 CPUtime=1.88
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 6588 0 1 0 181 7 0 0 18 0 9 0 995845809 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49250 5538 2540 9 0 43833 0
[pid=24110/tid=24111] ppid=24102 vsize=197000 CPUtime=1.48
/proc/24110/task/24111/stat : 24111 (java) R 24102 24102 23425 0 -1 64 2811 0 1 0 145 3 0 0 25 0 9 0 995845810 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4126483511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197000 CPUtime=0.22
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 2439 0 0 0 19 3 0 0 16 0 9 0 995845812 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197000 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 995845812 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197000 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 995845812 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197000 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 995845814 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197000 CPUtime=0.15
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 614 0 0 0 15 0 0 0 16 0 9 0 995845814 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197000 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 995845814 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197000 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 995845814 201728000 5538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202360

[startup+12.7025 s]
/proc/loadavg: 2.01 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1146168/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11426 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=32716 CPUtime=2.12
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 7686 0 0 0 208 4 0 0 25 0 1 0 995846425 33501184 7196 996147200 134512640 135239763 4294955968 18446744073709551615 10652788 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 8179 7196 375 177 0 7082 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3863 0 1 0 484 7 0 0 23 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 240864

[startup+25.5028 s]
/proc/loadavg: 2.01 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1080952/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11431 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=88492 CPUtime=14.79
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21635 0 0 0 1468 11 0 0 25 0 1 0 995846425 90615808 20722 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 22123 20722 414 177 0 21026 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3863 0 1 0 484 7 0 0 23 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 296640

[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1077432/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11431 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=88492 CPUtime=40.15
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21635 0 0 0 4004 11 0 0 25 0 1 0 995846425 90615808 20722 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 22123 20722 414 177 0 21026 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3863 0 1 0 484 7 0 0 23 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0

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

/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1054648/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11431 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=88624 CPUtime=190.72
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21681 0 0 0 19060 12 0 0 25 0 1 0 995846425 90750976 20768 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 22156 20768 414 177 0 21059 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3863 0 1 0 484 7 0 0 23 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 201.08
Current children cumulated vsize (KiB) 296772

[startup+204.702 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1054264/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11431 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=88624 CPUtime=192.3
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21683 0 0 0 19218 12 0 0 25 0 1 0 995846425 90750976 20770 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 22156 20770 414 177 0 21059 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3863 0 1 0 484 7 0 0 23 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.66
Current children cumulated vsize (KiB) 296772

[startup+205.502 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1054264/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11433 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=88268 CPUtime=193.1
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21707 0 0 0 19298 12 0 0 25 0 1 0 995846425 90386432 20705 996147200 134512640 135239763 4294955968 18446744073709551615 10966340 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 22067 20705 420 177 0 20970 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3865 0 1 0 484 7 0 0 16 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 296416

[startup+205.707 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1054200/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=6.05
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11433 0 1 0 585 20 0 0 18 0 10 0 995845809 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9366 2543 9 0 43941 0
[pid=24120] ppid=24110 vsize=5356 CPUtime=0
/proc/24120/stat : 24120 (mistral) S 24110 24102 23425 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 995846425 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24120/statm: 1339 236 196 169 0 50 0
[pid=24121] ppid=24120 vsize=36216 CPUtime=193.29
/proc/24121/stat : 24121 (xsolve) R 24120 24102 23425 0 -1 4194304 21714 0 0 0 19317 12 0 0 25 0 1 0 995846425 37085184 8026 996147200 134512640 135239763 4294955968 18446744073709551615 10965061 0 4 0 0 0 0 0 17 1 0 0
/proc/24121/statm: 9054 8026 427 177 0 7957 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=4.91
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3865 0 1 0 484 7 0 0 16 0 10 0 995845810 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=0.91
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6118 0 0 0 80 11 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 995845812 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=0.2
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 995845814 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24110/tid=24119] ppid=24102 vsize=197432 CPUtime=0
/proc/24110/task/24119/stat : 24119 (java) S 24102 24102 23425 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 995846425 202170368 9366 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 244364

[startup+205.802 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 24121
/proc/meminfo: memFree=1054200/2055920 swapFree=4180876/4192956
[pid=24102] ppid=24100 vsize=5360 CPUtime=4.31
/proc/24102/stat : 24102 (hydra) S 24100 24102 23425 0 -1 4194304 375 22255 0 0 0 0 417 14 18 0 1 0 995845370 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24102/statm: 1340 238 196 169 0 51 0
[pid=24110] ppid=24102 vsize=197432 CPUtime=199.42
/proc/24110/stat : 24110 (java) S 24102 24102 23425 0 -1 0 11497 22017 1 0 585 20 19324 13 18 0 9 0 995845809 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24110/statm: 49358 9368 2544 9 0 43941 0
[pid=24110/tid=24111] ppid=24102 vsize=197432 CPUtime=198.28
/proc/24110/task/24111/stat : 24111 (java) S 24102 24102 23425 0 -1 64 3912 22017 1 0 484 7 19324 13 16 0 9 0 995845810 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24112] ppid=24102 vsize=197432 CPUtime=194.28
/proc/24110/task/24112/stat : 24112 (java) S 24102 24102 23425 0 -1 64 6127 22017 0 0 80 11 19324 13 16 0 9 0 995845812 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24113] ppid=24102 vsize=197432 CPUtime=193.37
/proc/24110/task/24113/stat : 24113 (java) S 24102 24102 23425 0 -1 64 11 22017 0 0 0 0 19324 13 16 0 9 0 995845812 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24114] ppid=24102 vsize=197432 CPUtime=193.37
/proc/24110/task/24114/stat : 24114 (java) S 24102 24102 23425 0 -1 64 5 22017 0 0 0 0 19324 13 16 0 9 0 995845812 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24115] ppid=24102 vsize=197432 CPUtime=193.37
/proc/24110/task/24115/stat : 24115 (java) S 24102 24102 23425 0 -1 64 1 22017 0 0 0 0 19324 13 18 0 9 0 995845814 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24116] ppid=24102 vsize=197432 CPUtime=193.57
/proc/24110/task/24116/stat : 24116 (java) S 24102 24102 23425 0 -1 64 645 22017 0 0 20 0 19324 13 16 0 9 0 995845814 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24117] ppid=24102 vsize=197432 CPUtime=193.37
/proc/24110/task/24117/stat : 24117 (java) S 24102 24102 23425 0 -1 64 0 22017 0 0 0 0 19324 13 19 0 9 0 995845814 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24110/tid=24118] ppid=24102 vsize=197432 CPUtime=193.37
/proc/24110/task/24118/stat : 24118 (java) S 24102 24102 23425 0 -1 64 10 22017 0 0 0 0 19324 13 15 0 9 0 995845814 202170368 9368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 202792

Child status: 0
Real time (s): 205.828
CPU time (s): 203.776
CPU user time (s): 203.272
CPU system time (s): 0.503923
CPU usage (%): 99.0029
Max. virtual memory (cumulated for all children) (KiB): 296772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.272
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56184
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12779
involuntary context switches= 14777

runsolver used 0.288956 second user time and 0.710891 second system time

The end

Launcher Data (download as text)

Begin job on node2 at 2008-07-03 21:46:47
IDJOB=1058338
IDBENCH=54121
IDSOLVER=365
FILE ID=node2/1058338-1215114407
PBS_JOBID= 7877200
Free space on /tmp= 66456 MiB

SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-6.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058338-1215114407/watcher-1058338-1215114407 -o /tmp/evaluation-result-1058338-1215114407/solver-1058338-1215114407 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/cpHydra_k_10/hydra HOME/instance-1058338-1215114407.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4557782171b25598d03a057775c7d656
RANDOM SEED=1683095593

node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1195904 kB
Buffers:         64084 kB
Cached:         387912 kB
SwapCached:       5916 kB
Active:         635144 kB
Inactive:       156652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1195904 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:           30708 kB
Writeback:           0 kB
Mapped:         346888 kB
Slab:            52660 kB
Committed_AS:  1819276 kB
PageTables:       2696 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66432 MiB
End job on node2 at 2008-07-03 21:50:13