Trace number 4392581

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
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 158.227 112.83

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si4-bvg/
Subisomorphism-si4-b03m-m400-04.xml
MD5SUM3c35b3a34944db31f268c78e4da60e39
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.02939
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of constraints322
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":160}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":42},{"degree":4,"count":39},{"degree":5,"count":66},{"degree":6,"count":5},{"degree":8,"count":3},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":14,"count":1},{"degree":16,"count":1}]
Minimum constraint arity1
Maximum constraint arity160
Distribution of constraint arities[{"arity":1,"count":118},{"arity":2,"count":203},{"arity":160,"count":1}]
Number of extensional constraints321
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":321},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24072-serial-file.bin HOME/instance-4392581-1568431738.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:28:20 CEST 2019
0.65/0.56	c PID: 24075
0.65/0.56	c IP: 172.20.3.133
0.65/0.56	c HOST: node133.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.80/1.02	c (0,0) Parsing End
1.80/1.03	c (0,0) CSP: 160 int (0 aux), 0 bool (0 aux), 322 ctr, max domain size 400
1.80/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.03	c (0,0) Constraint Name Generate Begin
1.80/1.04	c (0,0) Ctr:HOME/instance-4392581-1568431738.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.80/1.04	c (0,0) Constraint Name Generate End
1.80/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.80/1.04	c (0,0) CSP to CSPinCNF Begin
15.74/7.66	c (7,7) translated 33 (10%) constraints
21.36/13.19	c (12,12) translated 65 (20%) constraints
29.04/18.96	c (18,18) translated 97 (30%) constraints
34.29/24.17	c (23,23) translated 129 (40%) constraints
39.50/29.32	c (28,28) translated 161 (50%) constraints
44.83/34.65	c (34,33) translated 194 (60%) constraints
50.18/36.98	c (36,35) translated 226 (70%) constraints
50.64/37.07	c (36,35) translated 258 (80%) constraints
51.06/37.12	c (36,35) translated 290 (90%) constraints
51.42/37.20	c (36,35) translated 322 (100%) constraints
51.42/37.20	c (36,35) ===========================================
51.97/37.43	c (36,36) Hybrid: #OE=80954, #LE=0
51.97/37.43	c (36,36) Hybrid
51.97/37.43	c (36,36) ===========================================
54.78/38.94	c (38,37) translated 66007 (10%) constraints
56.15/40.26	c (39,39) translated 132013 (20%) constraints
57.48/41.56	c (41,40) translated 198019 (30%) constraints
58.78/42.86	c (42,41) translated 264026 (40%) constraints
60.09/44.16	c (43,42) translated 330032 (50%) constraints
61.38/45.46	c (44,44) translated 396038 (60%) constraints
62.68/46.77	c (46,45) translated 462045 (70%) constraints
63.99/48.07	c (47,46) translated 528051 (80%) constraints
65.29/49.38	c (48,48) translated 594057 (90%) constraints
66.69/50.70	c (50,49) translated 660063 (100%) constraints
66.69/50.70	c (50,49) CSP to CSPinCNF End
66.69/50.74	c (50,49) CSP: 160 int (0 aux), 80794 bool (80794 aux), 660063 ctr, max domain size 400
66.69/50.74	c (50,49) Heap : 4691 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
66.69/50.74	c (50,49) CSPinCNF Propagation Begin
89.20/66.08	c (65,64) 12799 values, 148480 unsatisfiable literals, and 116449 valid clauses are removed
89.20/66.08	c (65,64) CSPinCNF Propagation End
89.30/66.12	c (65,64) CSP: 160 int (0 aux), 80794 bool (80794 aux), 543614 ctr, max domain size 400
89.30/66.12	c (65,64) Heap : 2730 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
89.57/66.37	c (65,64) Hybrid: #OE=80954, #LE=0
89.57/66.37	c (65,64) Simplify CSPinCNF Begin
91.67/67.55	c (67,65) Simplify CSPinCNF End
91.77/67.60	c (67,65) CSP: 160 int (0 aux), 105410 bool (105410 aux), 568230 ctr, max domain size 400
91.77/67.60	c (67,65) Heap : 3507 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
91.77/67.60	c (67,65) Calculate Precise Domain Begin
91.77/67.60	c (67,65) 0 values are removed by re-calculation
91.77/67.60	c (67,65) Calculate Precise Domain End
91.77/67.65	c (67,65) CSP: 160 int (0 aux), 105410 bool (105410 aux), 568230 ctr, max domain size 400
91.77/67.65	c (67,65) Heap : 3507 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
91.77/67.65	c (67,65) CSPinCNF to SatSolver Begin
133.50/99.88	c (99,95) 56823 (10 %) CSP clauses are encoded (0 SAT variables, 7530964 SAT clauses)
134.64/100.45	c (99,95) 113646 (20 %) CSP clauses are encoded (0 SAT variables, 7587787 SAT clauses)
135.25/101.02	c (100,96) 170469 (30 %) CSP clauses are encoded (0 SAT variables, 7644610 SAT clauses)
135.74/101.57	c (101,97) 227292 (40 %) CSP clauses are encoded (0 SAT variables, 7701433 SAT clauses)
136.35/102.12	c (101,97) 284115 (50 %) CSP clauses are encoded (0 SAT variables, 7758256 SAT clauses)
136.85/102.69	c (102,98) 340938 (60 %) CSP clauses are encoded (0 SAT variables, 7815079 SAT clauses)
137.45/103.25	c (102,98) 397761 (70 %) CSP clauses are encoded (0 SAT variables, 7871902 SAT clauses)
138.04/103.81	c (103,99) 454584 (80 %) CSP clauses are encoded (0 SAT variables, 7928725 SAT clauses)
138.55/104.38	c (103,99) 511407 (90 %) CSP clauses are encoded (0 SAT variables, 7985548 SAT clauses)
139.14/104.94	c (104,100) 568230 (100 %) CSP clauses are encoded (0 SAT variables, 8042371 SAT clauses)
139.14/104.94	c (104,100) CSPinCNF to SatSolver End
139.14/104.94	c (104,100) Heap : 4498 MiB used (max 21090 MiB), NonHeap : 32 MiB used (max 0 MiB)
139.14/104.94	c (104,100) 151655 bool, 8042372 clause
139.14/104.94	c (104,100) Export Begin
139.31/105.05	c (104,100) Export to HOME/scop-24072-serial-file.bin
139.31/105.05	c (104,100) Export End
139.31/105.05	c (104,100) Export File Size: 0.03 MB
139.31/105.05	c (104,100) 0,0,50,65,67,67,104,STOP-AFTER(DIMACS)
139.31/105.05	c END-Prog: Sat Sep 14 05:30:04 CEST 2019
139.31/105.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24072-serial-file.bin
139.47/105.57	c (0,0) Read Serial File Begin
139.47/105.57	c (0,0) HOME/scop-24072-serial-file.bin
139.47/105.79	c (0,0) Read Serial File End
139.47/105.81	
139.47/105.81	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
139.47/105.81	(Solving Process)
139.47/105.81	
139.47/105.83	c BEGIN-Prog: Sat Sep 14 05:30:05 CEST 2019
139.47/105.83	c PID: 24108
139.47/105.83	c IP: 172.20.3.133
139.47/105.83	c HOST: node133.alineos.net
139.47/105.83	c (0,0) SatSolver.solve Begin
139.47/105.83	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392581-1568431738.xml-scop-24075.cnf
139.47/105.86	c (0,0) c
139.47/105.86	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
139.47/105.86	c (0,0) c
139.47/105.86	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
139.47/105.86	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
139.47/105.86	c (0,0) c ========================================[ Problem Statistics ]===========================================
139.47/105.86	c (0,0) c |                                                                                                       |
143.42/108.69	c (3,0) c |  Number of variables:        151655                                                                   |
143.42/108.69	c (3,0) c |  Number of clauses:         8042372                                                                   |
143.42/108.69	c (3,0) c |  Parse time:                   2.57 s                                                                 |
143.42/108.69	c (3,0) c |                                                                                                       |
143.93/109.15	c (3,0) c | Too many clauses... No preprocessing                                                                  |
143.93/109.15	c (3,0) c |  Simplification time:          0.40 s                                                                 |
143.93/109.15	c (3,0) c |                                                                                                       |
143.93/109.15	c (3,0) c |  Generating clones                                                                                    |
145.42/110.67	c (5,0) c |  all clones generated. Memory =  4510.19Mb.                                                           |
145.42/110.67	c (5,0) c ========================================================================================================|
145.42/110.67	c (5,0) c
145.42/110.67	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
145.42/110.67	c (5,0) c
145.42/110.67	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.42/110.67	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
145.42/110.67	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
145.42/110.67	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
145.42/110.67	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
145.42/110.67	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
145.42/110.67	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
145.42/110.67	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
145.42/110.67	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
145.42/110.67	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
145.42/110.67	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
145.42/110.67	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
145.42/110.67	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
145.42/110.67	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
145.42/110.67	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
145.42/110.67	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
145.42/110.67	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
145.42/110.67	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
145.42/110.67	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c real time : 6.59103 s
157.21/112.45	c (6,0) c cpu time  : 14.1943 s
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | Conflicts     |            1150 |        151 |        146 |        104 |        104 |        229 |         90 |        118 |        208 |
157.21/112.45	c (6,0) c | Decisions     |            8161 |       1110 |        711 |        656 |        701 |       1486 |       1154 |       1281 |       1062 |
157.21/112.45	c (6,0) c | Propagations  |         4090915 |     502752 |     457899 |     527710 |     414778 |     613545 |     418104 |     556768 |     599359 |
157.21/112.45	c (6,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
157.21/112.45	c (6,0) c | Restarts      |              10 |          2 |          1 |          1 |          2 |          1 |          1 |          1 |          1 |
157.21/112.45	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | PropBinClauses|         4622976 |     575494 |     536646 |     567120 |     469254 |     700351 |     451852 |     635191 |     687068 |
157.21/112.45	c (6,0) c | PropPreBlocker|       177902712 |   19112661 |   19593457 |   25508565 |   21629915 |   23835199 |   20619040 |   27850891 |   19752984 |
157.21/112.45	c (6,0) c | PropNotBlocker|        75970992 |    9440060 |    9653714 |    9281744 |    8096336 |   10859038 |    8717815 |   10046585 |    9875700 |
157.21/112.45	c (6,0) c | LitFullScans  |       262475235 |   30022936 |   30130229 |   35719317 |   30613606 |   36042888 |   30132645 |   39030888 |   30782726 |
157.21/112.45	c (6,0) c | LitScanFracts |           33406 |       6493 |       3465 |       2848 |       5318 |       3320 |       5601 |       3145 |       3216 |
157.21/112.45	c (6,0) c | DecisionLevel0|              94 |          7 |         13 |          5 |         12 |          9 |         11 |          3 |         34 |
157.21/112.45	c (6,0) c | Periods       |              42 |          5 |          5 |          5 |          5 |          6 |          5 |          6 |          5 |
157.21/112.45	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
157.21/112.45	c (6,0) c | Avg_Trail     |                 |      35135 |      24043 |      48689 |      57233 |      24317 |      45374 |      35992 |      21662 |
157.21/112.45	c (6,0) c | Avg_DL        |                 |         78 |         32 |         70 |         49 |         29 |         94 |        106 |         18 |
157.21/112.45	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | Exported      |             179 |         21 |         23 |         12 |          9 |         43 |         16 |         14 |         41 |
157.21/112.45	c (6,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | Unaries       |                 |          5 |         12 |          4 |         10 |          8 |         10 |          2 |         33 |
157.21/112.45	c (6,0) c | Binaries      |                 |          7 |          9 |          5 |          7 |         18 |          5 |          4 |         25 |
157.21/112.45	c (6,0) c | Glues         |                 |         21 |         23 |         12 |          9 |         43 |         16 |         14 |         41 |
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | Orig_Seen     |             0 % |      14151 |       9875 |       3463 |       5463 |      12129 |       5380 |       8788 |       6824 |
157.21/112.45	c (6,0) c | Diff Orig seen|                 |      10688 |       6412 |      X     |       2000 |       8666 |       1917 |       5325 |       3361 |
157.21/112.45	c (6,0) c | Hamming       |            10 % |      20151 |      15999 |      X     |      16394 |      16717 |      14439 |       8516 |      19987 |
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c | RunningTime   |                 |    1.8 100%|    1.6 100%|    1.4 100%|    1.8 100%|    1.6 100%|    1.6 100%|    1.5 100%|    1.7 100%|
157.21/112.45	c (6,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | SolvingTime   |                 |    1.8     |    1.6     |    1.4     |    1.8     |    1.6     |    1.6     |    1.5     |    1.7     |
157.21/112.45	c (6,0) c | PropagationTim|                 |    1.7  98%|    1.6  99%|    1.4  99%|    1.7  98%|    1.6  98%|    1.6  99%|    1.4  98%|    1.7  98%|
157.21/112.45	c (6,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
157.21/112.45	c (6,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
157.21/112.45	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c
157.21/112.45	c (6,0) c Threads : 8
157.21/112.45	c (6,0) c Winner : 2
157.21/112.45	c (6,0) c Conflicts_0 : 151
157.21/112.45	c (6,0) c Conflicts_1 : 146
157.21/112.45	c (6,0) c Conflicts_2 : 104
157.21/112.45	c (6,0) c Conflicts_3 : 104
157.21/112.45	c (6,0) c Conflicts_4 : 229
157.21/112.45	c (6,0) c Conflicts_5 : 90
157.21/112.45	c (6,0) c Conflicts_6 : 118
157.21/112.45	c (6,0) c Conflicts_7 : 208
157.21/112.45	c (6,0) c Conflicts_total : 1150
157.21/112.45	c (6,0) c Conflicts_winner : 104
157.21/112.45	c (6,0) c Decisions_0 : 1110
157.21/112.45	c (6,0) c Decisions_1 : 711
157.21/112.45	c (6,0) c Decisions_2 : 656
157.21/112.45	c (6,0) c Decisions_3 : 701
157.21/112.45	c (6,0) c Decisions_4 : 1486
157.21/112.45	c (6,0) c Decisions_5 : 1154
157.21/112.45	c (6,0) c Decisions_6 : 1281
157.21/112.45	c (6,0) c Decisions_7 : 1062
157.21/112.45	c (6,0) c Decisions_total : 8161
157.21/112.45	c (6,0) c Decisions_winner : 656
157.21/112.45	c (6,0) c Propagations_0 : 502752
157.21/112.45	c (6,0) c Propagations_1 : 457899
157.21/112.45	c (6,0) c Propagations_2 : 527710
157.21/112.45	c (6,0) c Propagations_3 : 414778
157.21/112.45	c (6,0) c Propagations_4 : 613545
157.21/112.45	c (6,0) c Propagations_5 : 418104
157.21/112.45	c (6,0) c Propagations_6 : 556768
157.21/112.45	c (6,0) c Propagations_7 : 599359
157.21/112.45	c (6,0) c Propagations_total : 4090915
157.21/112.45	c (6,0) c Propagations_winner : 527710
157.21/112.45	c (6,0) c ReduceDBs_0 : 0
157.21/112.45	c (6,0) c ReduceDBs_1 : 0
157.21/112.45	c (6,0) c ReduceDBs_2 : 0
157.21/112.45	c (6,0) c ReduceDBs_3 : 0
157.21/112.45	c (6,0) c ReduceDBs_4 : 0
157.21/112.45	c (6,0) c ReduceDBs_5 : 0
157.21/112.45	c (6,0) c ReduceDBs_6 : 0
157.21/112.45	c (6,0) c ReduceDBs_7 : 0
157.21/112.45	c (6,0) c ReduceDBs_total : 0
157.21/112.45	c (6,0) c ReduceDBs_winner : 0
157.21/112.45	c (6,0) c SimpDBs_0 : 1
157.21/112.45	c (6,0) c SimpDBs_1 : 1
157.21/112.45	c (6,0) c SimpDBs_2 : 1
157.21/112.45	c (6,0) c SimpDBs_3 : 1
157.21/112.45	c (6,0) c SimpDBs_4 : 1
157.21/112.45	c (6,0) c SimpDBs_5 : 1
157.21/112.45	c (6,0) c SimpDBs_6 : 1
157.21/112.45	c (6,0) c SimpDBs_7 : 1
157.21/112.45	c (6,0) c SimpDBs_total : 8
157.21/112.45	c (6,0) c SimpDBs_winner : 1
157.21/112.45	c (6,0) c Restarts_0 : 2
157.21/112.45	c (6,0) c Restarts_1 : 1
157.21/112.45	c (6,0) c Restarts_2 : 1
157.21/112.45	c (6,0) c Restarts_3 : 2
157.21/112.45	c (6,0) c Restarts_4 : 1
157.21/112.45	c (6,0) c Restarts_5 : 1
157.21/112.45	c (6,0) c Restarts_6 : 1
157.21/112.45	c (6,0) c Restarts_7 : 1
157.21/112.45	c (6,0) c Restarts_total : 10
157.21/112.45	c (6,0) c Restarts_winner : 1
157.21/112.45	c (6,0) c ForcedImports_0 : 0
157.21/112.45	c (6,0) c ForcedImports_1 : 0
157.21/112.45	c (6,0) c ForcedImports_2 : 0
157.21/112.45	c (6,0) c ForcedImports_3 : 0
157.21/112.45	c (6,0) c ForcedImports_4 : 0
157.21/112.45	c (6,0) c ForcedImports_5 : 0
157.21/112.45	c (6,0) c ForcedImports_6 : 0
157.21/112.45	c (6,0) c ForcedImports_7 : 0
157.21/112.45	c (6,0) c ForcedImports_total : 0
157.21/112.45	c (6,0) c ForcedImports_winner : 0
157.21/112.45	c (6,0) c PropsBinClauses_0 : 575494
157.21/112.45	c (6,0) c PropsBinClauses_1 : 536646
157.21/112.45	c (6,0) c PropsBinClauses_2 : 567120
157.21/112.45	c (6,0) c PropsBinClauses_3 : 469254
157.21/112.45	c (6,0) c PropsBinClauses_4 : 700351
157.21/112.45	c (6,0) c PropsBinClauses_5 : 451852
157.21/112.45	c (6,0) c PropsBinClauses_6 : 635191
157.21/112.45	c (6,0) c PropsBinClauses_7 : 687068
157.21/112.45	c (6,0) c PropsBinClauses_total : 4622976
157.21/112.45	c (6,0) c PropsBinClauses_winner : 567120
157.21/112.45	c (6,0) c PropsPreBlocker_0 : 19112661
157.21/112.45	c (6,0) c PropsPreBlocker_1 : 19593457
157.21/112.45	c (6,0) c PropsPreBlocker_2 : 25508565
157.21/112.45	c (6,0) c PropsPreBlocker_3 : 21629915
157.21/112.45	c (6,0) c PropsPreBlocker_4 : 23835199
157.21/112.45	c (6,0) c PropsPreBlocker_5 : 20619040
157.21/112.45	c (6,0) c PropsPreBlocker_6 : 27850891
157.21/112.45	c (6,0) c PropsPreBlocker_7 : 19752984
157.21/112.45	c (6,0) c PropsPreBlocker_total : 177902712
157.21/112.45	c (6,0) c PropsPreBlocker_winner : 25508565
157.21/112.45	c (6,0) c PropsNotBlocker_0 : 9440060
157.21/112.45	c (6,0) c PropsNotBlocker_1 : 9653714
157.21/112.45	c (6,0) c PropsNotBlocker_2 : 9281744
157.21/112.45	c (6,0) c PropsNotBlocker_3 : 8096336
157.21/112.45	c (6,0) c PropsNotBlocker_4 : 10859038
157.21/112.45	c (6,0) c PropsNotBlocker_5 : 8717815
157.21/112.45	c (6,0) c PropsNotBlocker_6 : 10046585
157.21/112.45	c (6,0) c PropsNotBlocker_7 : 9875700
157.21/112.45	c (6,0) c PropsNotBlocker_total : 75970992
157.21/112.45	c (6,0) c PropsNotBlocker_winner : 9281744
157.21/112.46	c (6,0) c PropsLitFullScans_0 : 30022936
157.21/112.46	c (6,0) c PropsLitFullScans_1 : 30130229
157.21/112.46	c (6,0) c PropsLitFullScans_2 : 35719317
157.21/112.46	c (6,0) c PropsLitFullScans_3 : 30613606
157.21/112.46	c (6,0) c PropsLitFullScans_4 : 36042888
157.21/112.46	c (6,0) c PropsLitFullScans_5 : 30132645
157.21/112.46	c (6,0) c PropsLitFullScans_6 : 39030888
157.21/112.46	c (6,0) c PropsLitFullScans_7 : 30782726
157.21/112.46	c (6,0) c PropsLitFullScans_total : 262475235
157.21/112.46	c (6,0) c PropsLitFullScans_winner : 35719317
157.21/112.46	c (6,0) c LitScanFractions_0 : 6493
157.21/112.46	c (6,0) c LitScanFractions_1 : 3465
157.21/112.46	c (6,0) c LitScanFractions_2 : 2848
157.21/112.46	c (6,0) c LitScanFractions_3 : 5318
157.21/112.46	c (6,0) c LitScanFractions_4 : 3320
157.21/112.46	c (6,0) c LitScanFractions_5 : 5601
157.21/112.46	c (6,0) c LitScanFractions_6 : 3145
157.21/112.46	c (6,0) c LitScanFractions_7 : 3216
157.21/112.46	c (6,0) c LitScanFractions_total : 33406
157.21/112.46	c (6,0) c LitScanFractions_winner : 2848
157.21/112.46	c (6,0) c DecisionLevel0_0 : 7
157.21/112.46	c (6,0) c DecisionLevel0_1 : 13
157.21/112.46	c (6,0) c DecisionLevel0_2 : 5
157.21/112.46	c (6,0) c DecisionLevel0_3 : 12
157.21/112.46	c (6,0) c DecisionLevel0_4 : 9
157.21/112.46	c (6,0) c DecisionLevel0_5 : 11
157.21/112.46	c (6,0) c DecisionLevel0_6 : 3
157.21/112.46	c (6,0) c DecisionLevel0_7 : 34
157.21/112.46	c (6,0) c DecisionLevel0_total : 94
157.21/112.46	c (6,0) c DecisionLevel0_winner : 5
157.21/112.46	c (6,0) c Periods_0 : 5
157.21/112.46	c (6,0) c Periods_1 : 5
157.21/112.46	c (6,0) c Periods_2 : 5
157.21/112.46	c (6,0) c Periods_3 : 5
157.21/112.46	c (6,0) c Periods_4 : 6
157.21/112.46	c (6,0) c Periods_5 : 5
157.21/112.46	c (6,0) c Periods_6 : 6
157.21/112.46	c (6,0) c Periods_7 : 5
157.21/112.46	c (6,0) c Periods_total : 42
157.21/112.46	c (6,0) c Periods_winner : 5
157.21/112.46	c (6,0) c Margin_0 : 20
157.21/112.46	c (6,0) c Margin_1 : 20
157.21/112.46	c (6,0) c Margin_2 : 20
157.21/112.46	c (6,0) c Margin_3 : 20
157.21/112.46	c (6,0) c Margin_4 : 20
157.21/112.46	c (6,0) c Margin_5 : 20
157.21/112.46	c (6,0) c Margin_6 : 20
157.21/112.46	c (6,0) c Margin_7 : 20
157.21/112.46	c (6,0) c Margin_total : 160
157.21/112.46	c (6,0) c Margin_winner : 20
157.21/112.46	c (6,0) c Exported_0 : 21
157.21/112.46	c (6,0) c Exported_1 : 23
157.21/112.46	c (6,0) c Exported_2 : 12
157.21/112.46	c (6,0) c Exported_3 : 9
157.21/112.46	c (6,0) c Exported_4 : 43
157.21/112.46	c (6,0) c Exported_5 : 16
157.21/112.46	c (6,0) c Exported_6 : 14
157.21/112.46	c (6,0) c Exported_7 : 41
157.21/112.46	c (6,0) c Exported_total : 179
157.21/112.46	c (6,0) c Exported_winner : 12
157.21/112.46	c (6,0) c Imported_0 : 0
157.21/112.46	c (6,0) c Imported_1 : 0
157.21/112.46	c (6,0) c Imported_2 : 0
157.21/112.46	c (6,0) c Imported_3 : 0
157.21/112.46	c (6,0) c Imported_4 : 0
157.21/112.46	c (6,0) c Imported_5 : 0
157.21/112.46	c (6,0) c Imported_6 : 0
157.21/112.46	c (6,0) c Imported_7 : 0
157.21/112.46	c (6,0) c Imported_total : 0
157.21/112.46	c (6,0) c Imported_winner : 0
157.21/112.46	c (6,0) c Good_0 : 0
157.21/112.46	c (6,0) c Good_1 : 0
157.21/112.46	c (6,0) c Good_2 : 0
157.21/112.46	c (6,0) c Good_3 : 0
157.21/112.46	c (6,0) c Good_4 : 0
157.21/112.46	c (6,0) c Good_5 : 0
157.21/112.46	c (6,0) c Good_6 : 0
157.21/112.46	c (6,0) c Good_7 : 0
157.21/112.46	c (6,0) c Good_total : 0
157.21/112.46	c (6,0) c Good_winner : 0
157.21/112.46	c (6,0) c Purge_0 : 0
157.21/112.46	c (6,0) c Purge_1 : 0
157.21/112.46	c (6,0) c Purge_2 : 0
157.21/112.46	c (6,0) c Purge_3 : 0
157.21/112.46	c (6,0) c Purge_4 : 0
157.21/112.46	c (6,0) c Purge_5 : 0
157.21/112.46	c (6,0) c Purge_6 : 0
157.21/112.46	c (6,0) c Purge_7 : 0
157.21/112.46	c (6,0) c Purge_total : 0
157.21/112.46	c (6,0) c Purge_winner : 0
157.21/112.46	c (6,0) c Promoted_0 : 0
157.21/112.46	c (6,0) c Promoted_1 : 0
157.21/112.46	c (6,0) c Promoted_2 : 0
157.21/112.46	c (6,0) c Promoted_3 : 0
157.21/112.46	c (6,0) c Promoted_4 : 0
157.21/112.46	c (6,0) c Promoted_5 : 0
157.21/112.46	c (6,0) c Promoted_6 : 0
157.21/112.46	c (6,0) c Promoted_7 : 0
157.21/112.46	c (6,0) c Promoted_total : 0
157.21/112.46	c (6,0) c Promoted_winner : 0
157.21/112.46	c (6,0) c Remove_Imp_0 : 0
157.21/112.46	c (6,0) c Remove_Imp_1 : 0
157.21/112.46	c (6,0) c Remove_Imp_2 : 0
157.21/112.46	c (6,0) c Remove_Imp_3 : 0
157.21/112.46	c (6,0) c Remove_Imp_4 : 0
157.21/112.46	c (6,0) c Remove_Imp_5 : 0
157.21/112.46	c (6,0) c Remove_Imp_6 : 0
157.21/112.46	c (6,0) c Remove_Imp_7 : 0
157.21/112.46	c (6,0) c Remove_Imp_total : 0
157.21/112.46	c (6,0) c Remove_Imp_winner : 0
157.21/112.46	c (6,0) c Blocked_Reuse_0 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_1 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_2 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_3 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_4 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_5 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_6 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_7 : 0
157.21/112.46	c (6,0) c Blocked_Reuse_total : 0
157.21/112.46	c (6,0) c Blocked_Reuse_winner : 0
157.21/112.46	c (6,0) c Unaries_0 : 5
157.21/112.46	c (6,0) c Unaries_1 : 12
157.21/112.46	c (6,0) c Unaries_2 : 4
157.21/112.46	c (6,0) c Unaries_3 : 10
157.21/112.46	c (6,0) c Unaries_4 : 8
157.21/112.46	c (6,0) c Unaries_5 : 10
157.21/112.46	c (6,0) c Unaries_6 : 2
157.21/112.46	c (6,0) c Unaries_7 : 33
157.21/112.46	c (6,0) c Unaries_total : 84
157.21/112.46	c (6,0) c Unaries_winner : 4
157.21/112.46	c (6,0) c Binaries_0 : 7
157.21/112.46	c (6,0) c Binaries_1 : 9
157.21/112.46	c (6,0) c Binaries_2 : 5
157.21/112.46	c (6,0) c Binaries_3 : 7
157.21/112.46	c (6,0) c Binaries_4 : 18
157.21/112.46	c (6,0) c Binaries_5 : 5
157.21/112.46	c (6,0) c Binaries_6 : 4
157.21/112.46	c (6,0) c Binaries_7 : 25
157.21/112.46	c (6,0) c Binaries_total : 80
157.21/112.46	c (6,0) c Binaries_winner : 5
157.21/112.46	c (6,0) c Glues_0 : 21
157.21/112.46	c (6,0) c Glues_1 : 23
157.21/112.46	c (6,0) c Glues_2 : 12
157.21/112.46	c (6,0) c Glues_3 : 9
157.21/112.46	c (6,0) c Glues_4 : 43
157.21/112.46	c (6,0) c Glues_5 : 16
157.21/112.46	c (6,0) c Glues_6 : 14
157.21/112.46	c (6,0) c Glues_7 : 41
157.21/112.46	c (6,0) c Glues_total : 179
157.21/112.46	c (6,0) c Glues_winner : 12
157.21/112.46	c (6,0) c RunningTime_0 : 1.754894
157.21/112.46	c (6,0) c RunningTime_1 : 1.602082
157.21/112.46	c (6,0) c RunningTime_2 : 1.423785
157.21/112.46	c (6,0) c RunningTime_3 : 1.767401
157.21/112.46	c (6,0) c RunningTime_4 : 1.649040
157.21/112.46	c (6,0) c RunningTime_5 : 1.573242
157.21/112.46	c (6,0) c RunningTime_6 : 1.460241
157.21/112.46	c (6,0) c RunningTime_7 : 1.741436
157.21/112.46	c (6,0) c RunningTime_total : 12.972121
157.21/112.46	c (6,0) c RunningTime_winner : 1.423785
157.21/112.46	c (6,0) c WaitingTime_0 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_1 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_2 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_3 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_4 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_5 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_6 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_7 : 0.000000
157.21/112.46	c (6,0) c WaitingTime_total : 0.000000
157.21/112.46	c (6,0) c WaitingTime_winner : 0.000000
157.21/112.46	c (6,0) c ExchangingTime_0 : 0.000103
157.21/112.46	c (6,0) c ExchangingTime_1 : 0.000088
157.21/112.46	c (6,0) c ExchangingTime_2 : 0.000060
157.21/112.46	c (6,0) c ExchangingTime_3 : 0.000045
157.21/112.46	c (6,0) c ExchangingTime_4 : 0.000141
157.21/112.46	c (6,0) c ExchangingTime_5 : 0.000069
157.21/112.46	c (6,0) c ExchangingTime_6 : 0.000048
157.21/112.46	c (6,0) c ExchangingTime_7 : 0.000151
157.21/112.46	c (6,0) c ExchangingTime_total : 0.000705
157.21/112.46	c (6,0) c ExchangingTime_winner : 0.000060
157.21/112.46	c (6,0) c PeriodProcTime_0 : 0.000051
157.21/112.46	c (6,0) c PeriodProcTime_1 : 0.000062
157.21/112.46	c (6,0) c PeriodProcTime_2 : 0.000057
157.21/112.46	c (6,0) c PeriodProcTime_3 : 0.000087
157.21/112.46	c (6,0) c PeriodProcTime_4 : 0.000075
157.21/112.46	c (6,0) c PeriodProcTime_5 : 0.000059
157.21/112.46	c (6,0) c PeriodProcTime_6 : 0.000087
157.21/112.46	c (6,0) c PeriodProcTime_7 : 0.000067
157.21/112.46	c (6,0) c PeriodProcTime_total : 0.000546
157.21/112.46	c (6,0) c PeriodProcTime_winner : 0.000057
157.21/112.46	c (6,0) c SolvingTime_0 : 1.755048
157.21/112.46	c (6,0) c SolvingTime_1 : 1.602233
157.21/112.46	c (6,0) c SolvingTime_2 : 1.423901
157.21/112.46	c (6,0) c SolvingTime_3 : 1.767533
157.21/112.46	c (6,0) c SolvingTime_4 : 1.649256
157.21/112.46	c (6,0) c SolvingTime_5 : 1.573370
157.21/112.46	c (6,0) c SolvingTime_6 : 1.460376
157.21/112.46	c (6,0) c SolvingTime_7 : 1.741654
157.21/112.46	c (6,0) c SolvingTime_total : 12.973372
157.21/112.46	c (6,0) c SolvingTime_winner : 1.423901
157.21/112.46	c (6,0) c PropagationTime_0 : 1.716770
157.21/112.46	c (6,0) c PropagationTime_1 : 1.581487
157.21/112.46	c (6,0) c PropagationTime_2 : 1.405545
157.21/112.46	c (6,0) c PropagationTime_3 : 1.736679
157.21/112.46	c (6,0) c PropagationTime_4 : 1.616342
157.21/112.46	c (6,0) c PropagationTime_5 : 1.554421
157.21/112.46	c (6,0) c PropagationTime_6 : 1.438019
157.21/112.46	c (6,0) c PropagationTime_7 : 1.714828
157.21/112.46	c (6,0) c PropagationTime_total : 12.764091
157.21/112.46	c (6,0) c PropagationTime_winner : 1.405545
157.21/112.46	c (6,0) c AnalysisTime_0 : 0.026172
157.21/112.46	c (6,0) c AnalysisTime_1 : 0.008805
157.21/112.46	c (6,0) c AnalysisTime_2 : 0.006452
157.21/112.46	c (6,0) c AnalysisTime_3 : 0.016509
157.21/112.46	c (6,0) c AnalysisTime_4 : 0.017882
157.21/112.46	c (6,0) c AnalysisTime_5 : 0.008778
157.21/112.46	c (6,0) c AnalysisTime_6 : 0.008952
157.21/112.46	c (6,0) c AnalysisTime_7 : 0.011503
157.21/112.46	c (6,0) c AnalysisTime_total : 0.105052
157.21/112.46	c (6,0) c AnalysisTime_winner : 0.006452
157.21/112.46	c (6,0) c ReductionTime_0 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_1 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_2 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_3 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_4 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_5 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_6 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_7 : 0.000000
157.21/112.46	c (6,0) c ReductionTime_total : 0.000000
157.21/112.46	c (6,0) c ReductionTime_winner : 0.000000
157.21/112.46	c (6,0) c SimplifyTime_0 : 0.000001
157.21/112.46	c (6,0) c SimplifyTime_1 : 0.000000
157.21/112.46	c (6,0) c SimplifyTime_2 : 0.000001
157.21/112.46	c (6,0) c SimplifyTime_3 : 0.000000
157.21/112.46	c (6,0) c SimplifyTime_4 : 0.000001
157.21/112.46	c (6,0) c SimplifyTime_5 : 0.000001
157.21/112.46	c (6,0) c SimplifyTime_6 : 0.000000
157.21/112.46	c (6,0) c SimplifyTime_7 : 0.000003
157.21/112.46	c (6,0) c SimplifyTime_total : 0.000007
157.21/112.46	c (6,0) c SimplifyTime_winner : 0.000001
157.21/112.46	c (6,0) c UsedRateTime_0 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_1 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_2 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_3 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_4 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_5 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_6 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_7 : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_total : 0.000000
157.21/112.46	c (6,0) c UsedRateTime_winner : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_0 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_1 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_2 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_3 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_4 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_5 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_6 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_7 : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_total : 0.000000
157.21/112.46	c (6,0) c OverlapRateTime_winner : 0.000000
157.21/112.46	c (6,0) c
157.21/112.46	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
157.21/112.46	c (6,0) c
157.21/112.46	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.46	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
157.21/112.46	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.46	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
157.21/112.46	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
157.21/112.46	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
157.21/112.46	c (6,0) c | Initial random_seed   | 1107459349 |  710288995 | 1480928407 | 1180721125 | 1260530136 | 1969121595 | 1857212774 | 1075021738 |
157.21/112.46	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
157.21/112.46	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
157.21/112.46	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
157.21/112.46	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
157.21/112.46	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
157.21/112.46	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
157.21/112.46	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
157.21/112.46	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
157.21/112.46	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
157.21/112.46	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
157.21/112.46	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
157.21/112.46	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
157.21/112.46	c (6,0) 
157.21/112.46	c (6,0) s SATISFIABLE
141.03/112.64	c (7,0) SatSolver.solve End
141.03/112.64	c (7,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
141.03/112.64	c (7,0) Show results Begin
157.95/112.77	c (7,0) x[0] = 0
157.95/112.77	c (7,0) x[1] = 42
157.95/112.77	c (7,0) x[2] = 45
157.95/112.77	c (7,0) x[3] = 49
157.95/112.77	c (7,0) x[4] = 63
157.95/112.77	c (7,0) x[5] = 66
157.95/112.77	c (7,0) x[6] = 77
157.95/112.77	c (7,0) x[7] = 150
157.95/112.77	c (7,0) x[8] = 189
157.95/112.77	c (7,0) x[9] = 297
157.95/112.77	c (7,0) x[10] = 97
157.95/112.77	c (7,0) x[11] = 215
157.95/112.77	c (7,0) x[12] = 47
157.95/112.77	c (7,0) x[13] = 109
157.95/112.77	c (7,0) x[14] = 283
157.95/112.77	c (7,0) x[15] = 398
157.95/112.77	c (7,0) x[16] = 40
157.95/112.77	c (7,0) x[17] = 375
157.95/112.77	c (7,0) x[18] = 311
157.95/112.77	c (7,0) x[19] = 380
157.95/112.77	c (7,0) x[20] = 321
157.95/112.77	c (7,0) x[21] = 56
157.95/112.77	c (7,0) x[22] = 123
157.95/112.77	c (7,0) x[23] = 128
157.95/112.77	c (7,0) x[24] = 13
157.95/112.77	c (7,0) x[25] = 141
157.95/112.77	c (7,0) x[26] = 3
157.95/112.77	c (7,0) x[27] = 166
157.95/112.77	c (7,0) x[28] = 388
157.95/112.77	c (7,0) x[29] = 365
157.95/112.77	c (7,0) x[30] = 2
157.95/112.77	c (7,0) x[31] = 300
157.95/112.77	c (7,0) x[32] = 222
157.95/112.77	c (7,0) x[33] = 10
157.95/112.77	c (7,0) x[34] = 67
157.95/112.77	c (7,0) x[35] = 298
157.95/112.77	c (7,0) x[36] = 326
157.95/112.77	c (7,0) x[37] = 100
157.95/112.77	c (7,0) x[38] = 327
157.95/112.77	c (7,0) x[39] = 346
157.95/112.77	c (7,0) x[40] = 390
157.95/112.77	c (7,0) x[41] = 57
157.95/112.77	c (7,0) x[42] = 376
157.95/112.77	c (7,0) x[43] = 8
157.95/112.77	c (7,0) x[44] = 193
157.95/112.77	c (7,0) x[45] = 295
157.95/112.77	c (7,0) x[46] = 251
157.95/112.77	c (7,0) x[47] = 234
157.95/112.77	c (7,0) x[48] = 394
157.95/112.77	c (7,0) x[49] = 34
157.95/112.77	c (7,0) x[50] = 81
157.95/112.77	c (7,0) x[51] = 89
157.95/112.77	c (7,0) x[52] = 93
157.95/112.77	c (7,0) x[53] = 126
157.95/112.77	c (7,0) x[54] = 272
157.95/112.77	c (7,0) x[55] = 291
157.95/112.77	c (7,0) x[56] = 337
157.95/112.77	c (7,0) x[57] = 345
157.95/112.77	c (7,0) x[58] = 353
157.95/112.77	c (7,0) x[59] = 387
157.95/112.77	c (7,0) x[60] = 21
157.95/112.77	c (7,0) x[61] = 344
157.95/112.77	c (7,0) x[62] = 105
157.95/112.77	c (7,0) x[63] = 216
157.95/112.77	c (7,0) x[64] = 393
157.95/112.77	c (7,0) x[65] = 19
157.95/112.77	c (7,0) x[66] = 23
157.95/112.77	c (7,0) x[67] = 26
157.95/112.77	c (7,0) x[68] = 44
157.95/112.77	c (7,0) x[69] = 134
157.95/112.77	c (7,0) x[70] = 171
157.95/112.77	c (7,0) x[71] = 194
157.95/112.77	c (7,0) x[72] = 207
157.95/112.77	c (7,0) x[73] = 316
157.95/112.77	c (7,0) x[74] = 358
157.95/112.77	c (7,0) x[75] = 61
157.95/112.77	c (7,0) x[76] = 37
157.95/112.77	c (7,0) x[77] = 106
157.95/112.77	c (7,0) x[78] = 142
157.95/112.77	c (7,0) x[79] = 210
157.95/112.77	c (7,0) x[80] = 248
157.95/112.77	c (7,0) x[81] = 325
157.95/112.77	c (7,0) x[82] = 29
157.95/112.77	c (7,0) x[83] = 373
157.95/112.77	c (7,0) x[84] = 16
157.95/112.78	c (7,0) x[85] = 266
157.95/112.78	c (7,0) x[86] = 212
157.95/112.78	c (7,0) x[87] = 271
157.95/112.78	c (7,0) x[88] = 310
157.95/112.78	c (7,0) x[89] = 161
157.95/112.78	c (7,0) x[90] = 43
157.95/112.78	c (7,0) x[91] = 313
157.95/112.78	c (7,0) x[92] = 83
157.95/112.78	c (7,0) x[93] = 349
157.95/112.78	c (7,0) x[94] = 244
157.95/112.78	c (7,0) x[95] = 382
157.95/112.78	c (7,0) x[96] = 290
157.95/112.78	c (7,0) x[97] = 366
157.95/112.78	c (7,0) x[98] = 270
157.95/112.78	c (7,0) x[99] = 160
157.95/112.78	c (7,0) x[100] = 357
157.95/112.78	c (7,0) x[101] = 58
157.95/112.78	c (7,0) x[102] = 68
157.95/112.78	c (7,0) x[103] = 317
157.95/112.78	c (7,0) x[104] = 6
157.95/112.78	c (7,0) x[105] = 276
157.95/112.78	c (7,0) x[106] = 196
157.95/112.78	c (7,0) x[107] = 15
157.95/112.78	c (7,0) x[108] = 218
157.95/112.78	c (7,0) x[109] = 1
157.95/112.78	c (7,0) x[110] = 383
157.95/112.78	c (7,0) x[111] = 87
157.95/112.78	c (7,0) x[112] = 342
157.95/112.78	c (7,0) x[113] = 149
157.95/112.78	c (7,0) x[114] = 260
157.95/112.78	c (7,0) x[115] = 253
157.95/112.78	c (7,0) x[116] = 225
157.95/112.78	c (7,0) x[117] = 74
157.95/112.78	c (7,0) x[118] = 172
157.95/112.78	c (7,0) x[119] = 241
157.95/112.78	c (7,0) x[120] = 245
157.95/112.78	c (7,0) x[121] = 192
157.95/112.78	c (7,0) x[122] = 370
157.95/112.78	c (7,0) x[123] = 127
157.95/112.78	c (7,0) x[124] = 158
157.95/112.78	c (7,0) x[125] = 183
157.95/112.78	c (7,0) x[126] = 278
157.95/112.78	c (7,0) x[127] = 392
157.95/112.78	c (7,0) x[128] = 147
157.95/112.78	c (7,0) x[129] = 220
157.95/112.78	c (7,0) x[130] = 256
157.95/112.78	c (7,0) x[131] = 274
157.95/112.78	c (7,0) x[132] = 289
157.95/112.78	c (7,0) x[133] = 121
157.95/112.78	c (7,0) x[134] = 53
157.95/112.78	c (7,0) x[135] = 11
157.95/112.78	c (7,0) x[136] = 229
157.95/112.78	c (7,0) x[137] = 62
157.95/112.78	c (7,0) x[138] = 115
157.95/112.78	c (7,0) x[139] = 280
157.95/112.78	c (7,0) x[140] = 46
157.95/112.78	c (7,0) x[141] = 338
157.95/112.78	c (7,0) x[142] = 125
157.95/112.78	c (7,0) x[143] = 395
157.95/112.78	c (7,0) x[144] = 336
157.95/112.78	c (7,0) x[145] = 259
157.95/112.78	c (7,0) x[146] = 348
157.95/112.78	c (7,0) x[147] = 233
157.95/112.78	c (7,0) x[148] = 232
157.95/112.78	c (7,0) x[149] = 324
157.95/112.78	c (7,0) x[150] = 323
157.95/112.78	c (7,0) x[151] = 39
157.95/112.78	c (7,0) x[152] = 182
157.95/112.78	c (7,0) x[153] = 4
157.95/112.78	c (7,0) x[154] = 197
157.95/112.78	c (7,0) x[155] = 284
157.95/112.78	c (7,0) x[156] = 38
157.95/112.78	c (7,0) x[157] = 246
157.95/112.78	c (7,0) x[158] = 371
157.95/112.78	c (7,0) x[159] = 273
157.95/112.78	s SATISFIABLE
157.95/112.79	v <instantiation>
157.95/112.79	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159]</list>
157.95/112.79	v     <values>0 42 45 49 63 66 77 150 189 297 97 215 47 109 283 398 40 375 311 380 321 56 123 128 13 141 3 166 388 365 2 300 222 10 67 298 326 100 327 346 390 57 376 8 193 295 251 234 394 34 81 89 93 126 272 291 337 345 353 387 21 344 105 216 393 19 23 26 44 134 171 194 207 316 358 61 37 106 142 210 248 325 29 373 16 266 212 271 310 161 43 313 83 349 244 382 290 366 270 160 357 58 68 317 6 276 196 15 218 1 383 87 342 149 260 253 225 74 172 241 245 192 370 127 158 183 278 392 147 220 256 274 289 121 53 11 229 62 115 280 46 338 125 395 336 259 348 233 232 324 323 39 182 4 197 284 38 246 371 273</values>
157.95/112.79	v </instantiation>
157.95/112.79	c (7,0) Show results End
157.95/112.79	c (7,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
157.95/112.79	c (7,0) 7,7,STOP-AFTER(ALL)
157.95/112.79	c END-Prog: Sat Sep 14 05:30:12 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15219 MiB free)
  memory of node 1: 16384 MiB (15507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392581-1568431738/watcher-4392581-1568431738 -o /tmp/evaluation-result-4392581-1568431738/solver-4392581-1568431738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392581-1568431738.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

Starting watchdog thread
solver pid=24072, runsolver pid=24069

[startup+0.100061 s]*
/proc/loadavg: 1.37 4.18 5.43 4/216 24094
/proc/meminfo: memFree=31372220/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419413468 115843072 349 33554432000 4194304 5098028 140728957557088 140728957554344 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 349 296 221 0 87 0
[pid=24075] ppid=24072 vsize=27314120 memory=105600 CPUtime=0.1 cores=0-7
/proc/24075/stat : 24075 (java) S 24072 24072 21590 0 -1 1077944320 6501 0 0 0 8 2 0 0 20 0 20 0 419413468 27969658880 26400 33554432000 4194304 4196468 140729201589184 140729201571728 139841643405047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
/proc/24075/statm: 6828530 26400 2799 1 0 6790935 0
[pid=24075/tid=24076] ppid=24072 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24075/task/24076/stat : 24076 (java) R 24072 24072 21590 0 -1 4202560 4589 0 0 0 7 2 0 0 20 0 20 0 419413468 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841615240176 139841643426973 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24077] ppid=24072 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24075/task/24077/stat : 24077 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841647647504 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24078] ppid=24072 vsize=27314120 memory=139765763569280 CPUtime=0 cores=0-7
/proc/24075/task/24078/stat : 24078 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841461803920 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24079] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24079/stat : 24079 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841460751376 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24080] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24080/stat : 24080 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841459698832 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24081] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24081/stat : 24081 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841458645264 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24082] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24082/stat : 24082 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841457592720 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24083] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24083/stat : 24083 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841456540176 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24084] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24084/stat : 24084 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 26400 33554432000 4194304 4196468 140729201589184 139841455487632 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24085] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24085/stat : 24085 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413472 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840097040880 139841643416194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24086] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24086/stat : 24086 (java) S 24072 24072 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 26400 33554432000 4194304 4196468 140729201589184 139839303312800 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24087] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24087/stat : 24087 (java) S 24072 24072 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 26400 33554432000 4194304 4196468 140729201589184 139839169091056 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24088] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24088/stat : 24088 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 26400 33554432000 4194304 4196468 140729201589184 139838794586832 139841643423643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24089] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24089/stat : 24089 (java) S 24072 24072 21590 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840095987696 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24090] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24090/stat : 24090 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840094935152 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24091] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24091/stat : 24091 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840093882608 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24092] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24092/stat : 24092 (java) S 24072 24072 21590 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840092830064 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24093] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24093/stat : 24093 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 26400 33554432000 4194304 4196468 140729201589184 139838296681184 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24094] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24094/stat : 24094 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 26400 33554432000 4194304 4196468 140729201589184 139840091777968 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106996 KiB

[startup+0.210737 s]*
/proc/loadavg: 1.37 4.18 5.43 2/216 24094
/proc/meminfo: memFree=31350660/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419413468 115843072 349 33554432000 4194304 5098028 140728957557088 140728957554344 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 349 296 221 0 87 0
[pid=24075] ppid=24072 vsize=27314120 memory=125024 CPUtime=0.25 cores=0-7
/proc/24075/stat : 24075 (java) S 24072 24072 21590 0 -1 1077944320 12105 0 0 0 21 4 0 0 20 0 20 0 419413468 27969658880 31256 33554432000 4194304 4196468 140729201589184 140729201571728 139841643405047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
/proc/24075/statm: 6828530 31256 2971 1 0 6790935 0
[pid=24075/tid=24076] ppid=24072 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24075/task/24076/stat : 24076 (java) R 24072 24072 21590 0 -1 4202560 9822 0 0 0 17 3 0 0 20 0 20 0 419413468 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841615229008 139841628570702 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24077] ppid=24072 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/24075/task/24077/stat : 24077 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841647647504 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24078] ppid=24072 vsize=27314120 memory=3618842746492843680 CPUtime=0 cores=0-7
/proc/24075/task/24078/stat : 24078 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841461803920 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24079] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24079/stat : 24079 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841460751376 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24080] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24080/stat : 24080 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841459698832 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24081] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24081/stat : 24081 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841458645264 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24082] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24082/stat : 24082 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841457592720 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24083] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24083/stat : 24083 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841456540176 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24084] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24084/stat : 24084 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 31256 33554432000 4194304 4196468 140729201589184 139841455487632 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24085] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24085/stat : 24085 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413472 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840097040880 139841643416194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24086] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24086/stat : 24086 (java) S 24072 24072 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 31256 33554432000 4194304 4196468 140729201589184 139839303312800 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24087] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24087/stat : 24087 (java) S 24072 24072 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 31256 33554432000 4194304 4196468 140729201589184 139839169091056 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24088] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24088/stat : 24088 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 31256 33554432000 4194304 4196468 140729201589184 139838794586832 139841643423643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24089] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24089/stat : 24089 (java) S 24072 24072 21590 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840095987696 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24090] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24090/stat : 24090 (java) S 24072 24072 21590 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840094935152 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24091] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24091/stat : 24091 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840093882608 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24092] ppid=24072 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24075/task/24092/stat : 24092 (java) S 24072 24072 21590 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 20 0 419413475 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840092830064 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24093] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24093/stat : 24093 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 31256 33554432000 4194304 4196468 140729201589184 139838296681184 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24094] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24094/stat : 24094 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 31256 33554432000 4194304 4196468 140729201589184 139840091777968 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126420 KiB

[startup+0.310551 s]*
/proc/loadavg: 1.37 4.18 5.43 2/216 24094
/proc/meminfo: memFree=31347992/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419413468 115843072 349 33554432000 4194304 5098028 140728957557088 140728957554344 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 349 296 221 0 87 0
[pid=24075] ppid=24072 vsize=27314120 memory=128368 CPUtime=0.42 cores=0-7
/proc/24075/stat : 24075 (java) S 24072 24072 21590 0 -1 1077944320 12461 0 0 0 38 4 0 0 20 0 20 0 419413468 27969658880 32092 33554432000 4194304 4196468 140729201589184 140729201571728 139841643405047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
/proc/24075/statm: 6828530 32092 3035 1 0 6790935 0
[pid=24075/tid=24076] ppid=24072 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24075/task/24076/stat : 24076 (java) R 24072 24072 21590 0 -1 4202560 10009 0 0 0 26 3 0 0 20 0 20 0 419413468 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841615232848 139841623680346 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24077] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24077/stat : 24077 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841647647504 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24078] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24078/stat : 24078 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841461803920 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24079] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24079/stat : 24079 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841460751376 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24080] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24080/stat : 24080 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841459698832 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24081] ppid=24072 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/24075/task/24081/stat : 24081 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841458645264 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24082] ppid=24072 vsize=27314120 memory=139765617882031 CPUtime=0 cores=0-7
/proc/24075/task/24082/stat : 24082 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841457592720 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24083] ppid=24072 vsize=27314120 memory=139765617884336 CPUtime=0 cores=0-7
/proc/24075/task/24083/stat : 24083 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841456540176 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24084] ppid=24072 vsize=27314120 memory=139765617886640 CPUtime=0 cores=0-7
/proc/24075/task/24084/stat : 24084 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27969658880 32092 33554432000 4194304 4196468 140729201589184 139841455487632 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24085] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24085/stat : 24085 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413472 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840097040880 139841643416194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24086] ppid=24072 vsize=27314120 memory=279531235780240 CPUtime=0 cores=0-7
/proc/24075/task/24086/stat : 24086 (java) S 24072 24072 21590 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 32092 33554432000 4194304 4196468 140729201589184 139839303312800 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24087] ppid=24072 vsize=27314120 memory=279531235787152 CPUtime=0 cores=0-7
/proc/24075/task/24087/stat : 24087 (java) S 24072 24072 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419413473 27969658880 32092 33554432000 4194304 4196468 140729201589184 139839169091056 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24088] ppid=24072 vsize=27314120 memory=279531235728432 CPUtime=0 cores=0-7
/proc/24075/task/24088/stat : 24088 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 32092 33554432000 4194304 4196468 140729201589184 139838794586832 139841643423643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24089] ppid=24072 vsize=27314120 memory=279531235800976 CPUtime=0.01 cores=0-7
/proc/24075/task/24089/stat : 24089 (java) S 24072 24072 21590 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 419413475 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840095987696 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24090] ppid=24072 vsize=27314120 memory=279531235807888 CPUtime=0.02 cores=0-7
/proc/24075/task/24090/stat : 24090 (java) S 24072 24072 21590 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 419413475 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840094935152 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24091] ppid=24072 vsize=27314120 memory=279531235805584 CPUtime=0 cores=0-7
/proc/24075/task/24091/stat : 24091 (java) S 24072 24072 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 419413475 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840093882608 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24092] ppid=24072 vsize=27314120 memory=279531235821744 CPUtime=0.07 cores=0-7
/proc/24075/task/24092/stat : 24092 (java) S 24072 24072 21590 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 20 0 419413475 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840092830064 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24093] ppid=24072 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24093/stat : 24093 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 32092 33554432000 4194304 4196468 140729201589184 139838296681184 139841643415253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24094] ppid=24072 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24075/task/24094/stat : 24094 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413476 27969658880 32092 33554432000 4194304 4196468 140729201589184 139840091777968 139841643416194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129764 KiB

[startup+0.700982 s]
/proc/loadavg: 1.37 4.18 5.43 2/216 24094
/proc/meminfo: memFree=31326896/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419413468 115843072 349 33554432000 4194304 5098028 140728957557088 140728957554344 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 349 296 221 0 87 0
[pid=24075] ppid=24072 vsize=27322440 memory=163652 CPUtime=0.99 cores=0-7
/proc/24075/stat : 24075 (java) S 24072 24072 21590 0 -1 1077944320 20047 0 0 0 91 8 0 0 20 0 20 0 419413468 27978178560 40913 33554432000 4194304 4196468 140729201589184 140729201571728 139841643405047 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
/proc/24075/statm: 6830610 40913 3182 1 0 6791959 0
[pid=24075/tid=24076] ppid=24072 vsize=27322440 memory=279531236179632 CPUtime=0.68 cores=0-7
/proc/24075/task/24076/stat : 24076 (java) R 24072 24072 21590 0 -1 4202560 17029 0 0 0 62 6 0 0 20 0 20 0 419413468 27978178560 40913 33554432000 4194304 4196468 140729201589184 139841615240336 139841627485534 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24077] ppid=24072 vsize=27322440 memory=139765618090864 CPUtime=0 cores=0-7
/proc/24075/task/24077/stat : 24077 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419413471 27978178560 40913 33554432000 4194304 4196468 140729201589184 139841647647504 139841643415253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24078] ppid=24072 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/24075/task/24078/stat : 24078 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419413471 27978178560 40913 33554432000 4194304 4196468 140729201589184 139841461803920 139841643415253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0
[pid=24075/tid=24079] ppid=24072 vsize=27322440 memory=2832 CPUtime=0 cores=0-7
/proc/24075/task/24079/stat : 24079 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419413471 27978178560 40913 33554432000 4194304 4196468 140729201589184 139841460751376 139841643415253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20824064 140729201595114 140729201595542 140729201595542 140729201598415 0

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

/proc/24108/task/24115/stat : 24115 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889093790736 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24116] ppid=24072 vsize=8414124 memory=9035486961 CPUtime=0 cores=0-7
/proc/24108/task/24116/stat : 24116 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889092737936 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24117] ppid=24072 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24108/task/24117/stat : 24117 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889091685136 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24118] ppid=24072 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/24108/task/24118/stat : 24118 (java) S 24072 24072 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419423981 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889042225520 139889613138562 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24119] ppid=24072 vsize=8414124 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/24108/task/24119/stat : 24119 (java) S 24072 24072 21590 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 419423982 8616062976 30134 33554432000 4194304 4196468 140736860204448 139888091456544 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24120] ppid=24072 vsize=8414124 memory=8002368 CPUtime=0 cores=0-7
/proc/24108/task/24120/stat : 24120 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423982 8616062976 30134 33554432000 4194304 4196468 140736860204448 139887823020912 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24121] ppid=24072 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24108/task/24121/stat : 24121 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139887448512336 139889613146011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24122] ppid=24072 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7
/proc/24108/task/24122/stat : 24122 (java) S 24072 24072 21590 0 -1 1077944384 591 0 0 0 6 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889041173360 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24123] ppid=24072 vsize=8414124 memory=920 CPUtime=0.06 cores=0-7
/proc/24108/task/24123/stat : 24123 (java) S 24072 24072 21590 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889040120560 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24124] ppid=24072 vsize=8414124 memory=4736 CPUtime=0.07 cores=0-7
/proc/24108/task/24124/stat : 24124 (java) S 24072 24072 21590 0 -1 1077944384 399 0 0 0 7 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889039067760 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24125] ppid=24072 vsize=8414124 memory=4104 CPUtime=0.21 cores=0-7
/proc/24108/task/24125/stat : 24125 (java) S 24072 24072 21590 0 -1 1077944384 609 0 0 0 21 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889038014960 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24126] ppid=24072 vsize=8414124 memory=120536 CPUtime=0 cores=0-7
/proc/24108/task/24126/stat : 24126 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886950607456 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24127] ppid=24072 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24108/task/24127/stat : 24127 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419423986 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889036962352 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24129] ppid=24072 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/24108/task/24129/stat : 24129 (java) S 24072 24072 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139888827462720 139889613152025 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24131] ppid=24072 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/24108/task/24131/stat : 24131 (java) S 24072 24072 21590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886279508112 139889613149341 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24132] ppid=24072 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24108/task/24132/stat : 24132 (java) S 24072 24072 21590 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886547943440 139889613149341 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24133] ppid=24072 vsize=8414124 memory=120536 CPUtime=0 cores=0-7
/proc/24108/task/24133/stat : 24133 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419424056 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886011080240 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
Current children cumulated CPU time: 155.36 s
Current children cumulated vsize: 13735536 KiB
Current children cumulated memory: 4975388 KiB

[startup+112.401 s]
/proc/loadavg: 0.92 3.17 4.93 4/229 24141
/proc/meminfo: memFree=26324356/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1476 CPUtime=139.47 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 583 75077 0 0 0 0 13215 732 20 0 1 0 419413468 115843072 369 33554432000 4194304 5098028 140728957557088 140728957553832 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 369 311 221 0 87 0
[pid=24108] ppid=24072 vsize=8414124 memory=120536 CPUtime=1.23 cores=0-7
/proc/24108/stat : 24108 (java) S 24072 24072 21590 0 -1 1077944320 20604 0 0 0 114 9 0 0 20 0 24 0 419423978 8616062976 30134 33554432000 4194304 4196468 140736860204448 140736860186992 139889613127415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
/proc/24108/statm: 2103531 30134 3208 1 0 2064875 0
[pid=24128] ppid=24108 vsize=5208284 memory=4881084 CPUtime=16.51 cores=0-7
/proc/24128/stat : 24128 (manyglucose-4.1) S 24108 24072 21590 0 -1 1077944320 830418 0 0 0 1411 240 0 0 20 0 4 0 419424053 5333282816 1220271 33554432000 4194304 4454172 140725504510304 140725504508688 140202202627831 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 39641088 140725504512873 140725504513072 140725504513072 140725504516026 0
/proc/24128/statm: 1302071 1220271 411 64 0 1297739 0
[pid=24128/tid=24134] ppid=24108 vsize=5208284 memory=12024 CPUtime=1.58 cores=0-7
/proc/24128/task/24134/stat : 24134 (manyglucose-4.1) R 24108 24072 21590 0 -1 4202560 29022 0 0 0 141 17 0 0 20 0 4 0 419424535 5333282816 1220271 33554432000 4194304 4454172 140725504510304 140202164030248 4351800 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 39641088 140725504512873 140725504513072 140725504513072 140725504516026 0
[pid=24128/tid=24137] ppid=24108 vsize=5208284 memory=2116 CPUtime=1.57 cores=0-7
/proc/24128/task/24137/stat : 24137 (manyglucose-4.1) R 24108 24072 21590 0 -1 12591168 51710 0 0 0 117 40 0 0 20 0 4 0 419424535 5333282816 1220271 33554432000 4194304 4454172 140725504510304 140201426393896 4351797 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 39641088 140725504512873 140725504513072 140725504513072 140725504516026 0
[pid=24128/tid=24141] ppid=24108 vsize=5208284 memory=496 CPUtime=1.58 cores=0-7
/proc/24128/task/24141/stat : 24141 (manyglucose-4.1) R 24108 24072 21590 0 -1 4202560 45832 0 0 0 144 14 0 0 20 0 4 0 419424535 5333282816 1220271 33554432000 4194304 4454172 140725504510304 140201392823080 4351286 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 39641088 140725504512873 140725504513072 140725504513072 140725504516026 0
[pid=24108/tid=24109] ppid=24072 vsize=8414124 memory=1476 CPUtime=0.78 cores=0-7
/proc/24108/task/24109/stat : 24109 (java) S 24072 24072 21590 0 -1 1077944384 17421 0 0 0 71 7 0 0 20 0 24 0 419423979 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889584967584 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24110] ppid=24072 vsize=8414124 memory=120536 CPUtime=0 cores=0-7
/proc/24108/task/24110/stat : 24110 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889617369744 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24111] ppid=24072 vsize=8414124 memory=4828788 CPUtime=0 cores=0-7
/proc/24108/task/24111/stat : 24111 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889435458064 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24112] ppid=24072 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/24108/task/24112/stat : 24112 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889096948112 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24113] ppid=24072 vsize=8414124 memory=2376 CPUtime=0 cores=0-7
/proc/24108/task/24113/stat : 24113 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889095895312 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24114] ppid=24072 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/24108/task/24114/stat : 24114 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889094843536 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24115] ppid=24072 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/24108/task/24115/stat : 24115 (java) S 24072 24072 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889093790736 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24116] ppid=24072 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/24108/task/24116/stat : 24116 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889092737936 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24117] ppid=24072 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/24108/task/24117/stat : 24117 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423980 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889091685136 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24118] ppid=24072 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/24108/task/24118/stat : 24118 (java) S 24072 24072 21590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419423981 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889042225520 139889613138562 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24119] ppid=24072 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/24108/task/24119/stat : 24119 (java) S 24072 24072 21590 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 419423982 8616062976 30134 33554432000 4194304 4196468 140736860204448 139888091456544 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24120] ppid=24072 vsize=8414124 memory=4736 CPUtime=0 cores=0-7
/proc/24108/task/24120/stat : 24120 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423982 8616062976 30134 33554432000 4194304 4196468 140736860204448 139887823020912 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24121] ppid=24072 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24108/task/24121/stat : 24121 (java) S 24072 24072 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139887448512336 139889613146011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24122] ppid=24072 vsize=8414124 memory=7686721470367700631 CPUtime=0.06 cores=0-7
/proc/24108/task/24122/stat : 24122 (java) S 24072 24072 21590 0 -1 1077944384 591 0 0 0 6 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889041173360 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24123] ppid=24072 vsize=8414124 memory=303430223234596890 CPUtime=0.06 cores=0-7
/proc/24108/task/24123/stat : 24123 (java) S 24072 24072 21590 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889040120560 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24124] ppid=24072 vsize=8414124 memory=302867281954996538 CPUtime=0.07 cores=0-7
/proc/24108/task/24124/stat : 24124 (java) S 24072 24072 21590 0 -1 1077944384 399 0 0 0 7 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889039067760 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24125] ppid=24072 vsize=8414124 memory=14694080391154107 CPUtime=0.21 cores=0-7
/proc/24108/task/24125/stat : 24125 (java) S 24072 24072 21590 0 -1 1077944384 609 0 0 0 21 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889038014960 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24126] ppid=24072 vsize=8414124 memory=245496 CPUtime=0 cores=0-7
/proc/24108/task/24126/stat : 24126 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419423985 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886950607456 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24127] ppid=24072 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/24108/task/24127/stat : 24127 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419423986 8616062976 30134 33554432000 4194304 4196468 140736860204448 139889036962352 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24129] ppid=24072 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/24108/task/24129/stat : 24129 (java) S 24072 24072 21590 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139888827462720 139889613152025 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24131] ppid=24072 vsize=8414124 memory=1744 CPUtime=0 cores=0-7
/proc/24108/task/24131/stat : 24131 (java) S 24072 24072 21590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886279508112 139889613149341 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24132] ppid=24072 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/24108/task/24132/stat : 24132 (java) S 24072 24072 21590 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419424054 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886547943440 139889613149341 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24133] ppid=24072 vsize=8414124 memory=5859535235326444939 CPUtime=0 cores=0-7
/proc/24108/task/24133/stat : 24133 (java) S 24072 24072 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419424056 8616062976 30134 33554432000 4194304 4196468 140736860204448 139886011080240 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
Current children cumulated CPU time: 157.21 s
Current children cumulated vsize: 13735536 KiB
Current children cumulated memory: 5003096 KiB

[startup+112.801 s]
/proc/loadavg: 0.92 3.17 4.93 4/229 24141
/proc/meminfo: memFree=26324356/32770624 swapFree=67004140/67108860
[pid=24072] ppid=24069 vsize=113128 memory=1476 CPUtime=139.47 cores=0-7
/proc/24072/stat : 24072 (scop.sh) S 24069 24072 21590 0 -1 4202496 583 75077 0 0 0 0 13215 732 20 0 1 0 419413468 115843072 369 33554432000 4194304 5098028 140728957557088 140728957553832 140257665147516 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8503296 140728957559588 140728957559916 140728957559916 140728957562829 0
/proc/24072/statm: 28282 369 311 221 0 87 0
[pid=24108] ppid=24072 vsize=8283048 memory=162640 CPUtime=18.69 cores=0-7
/proc/24108/stat : 24108 (java) S 24072 24072 21590 0 -1 1077944320 22956 836780 0 0 180 12 1422 255 20 0 22 0 419423978 8481841152 40660 33554432000 4194304 4196468 140736860204448 140736860186992 139889613127415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
/proc/24108/statm: 2070762 40660 3232 1 0 2032106 0
[pid=24108/tid=24109] ppid=24072 vsize=8283048 memory=5928 CPUtime=17.7 cores=0-7
/proc/24108/task/24109/stat : 24109 (java) R 24072 24072 21590 0 -1 4202560 18760 836780 0 0 85 8 1422 255 20 0 22 0 419423979 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889584964832 139889605813047 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24110] ppid=24072 vsize=8283048 memory=1056 CPUtime=16.77 cores=0-7
/proc/24108/task/24110/stat : 24110 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889617369744 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24111] ppid=24072 vsize=8283048 memory=1476 CPUtime=16.77 cores=0-7
/proc/24108/task/24111/stat : 24111 (java) S 24072 24072 21590 0 -1 1077944384 2 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889435458064 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24112] ppid=24072 vsize=8283048 memory=40692 CPUtime=16.77 cores=0-7
/proc/24108/task/24112/stat : 24112 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889096948112 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24113] ppid=24072 vsize=8283048 memory=988 CPUtime=16.77 cores=0-7
/proc/24108/task/24113/stat : 24113 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889095895312 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24114] ppid=24072 vsize=8283048 memory=2052 CPUtime=16.77 cores=0-7
/proc/24108/task/24114/stat : 24114 (java) S 24072 24072 21590 0 -1 1077944384 2 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889094843536 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24115] ppid=24072 vsize=8283048 memory=6791534058613427641 CPUtime=16.77 cores=0-7
/proc/24108/task/24115/stat : 24115 (java) S 24072 24072 21590 0 -1 1077944384 2 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889093790736 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24116] ppid=24072 vsize=8283048 memory=120536 CPUtime=16.77 cores=0-7
/proc/24108/task/24116/stat : 24116 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889092737936 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24117] ppid=24072 vsize=8283048 memory=4794592 CPUtime=16.77 cores=0-7
/proc/24108/task/24117/stat : 24117 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423980 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889091685136 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24118] ppid=24072 vsize=8283048 memory=1056 CPUtime=16.77 cores=0-7
/proc/24108/task/24118/stat : 24118 (java) S 24072 24072 21590 0 -1 1077944384 9 836780 0 0 0 0 1422 255 20 0 22 0 419423981 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889042225520 139889613138562 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24119] ppid=24072 vsize=8283048 memory=1540 CPUtime=16.77 cores=0-7
/proc/24108/task/24119/stat : 24119 (java) S 24072 24072 21590 0 -1 1077944384 14 836780 0 0 0 0 1422 255 20 0 22 0 419423982 8481841152 40660 33554432000 4194304 4196468 140736860204448 139888091456544 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24120] ppid=24072 vsize=8283048 memory=728 CPUtime=16.77 cores=0-7
/proc/24108/task/24120/stat : 24120 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423982 8481841152 40660 33554432000 4194304 4196468 140736860204448 139887823020912 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24121] ppid=24072 vsize=8283048 memory=3924 CPUtime=16.77 cores=0-7
/proc/24108/task/24121/stat : 24121 (java) S 24072 24072 21590 0 -1 1077944384 1 836780 0 0 0 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139887448512336 139889613146011 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24122] ppid=24072 vsize=8283048 memory=1476 CPUtime=16.93 cores=0-7
/proc/24108/task/24122/stat : 24122 (java) S 24072 24072 21590 0 -1 1077944384 847 836780 0 0 16 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889041173360 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24123] ppid=24072 vsize=8283048 memory=120536 CPUtime=16.92 cores=0-7
/proc/24108/task/24123/stat : 24123 (java) S 24072 24072 21590 0 -1 1077944384 267 836780 0 0 15 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889040120560 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24124] ppid=24072 vsize=8283048 memory=4869928 CPUtime=16.92 cores=0-7
/proc/24108/task/24124/stat : 24124 (java) S 24072 24072 21590 0 -1 1077944384 430 836780 0 0 15 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889039067760 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24125] ppid=24072 vsize=8283048 memory=928 CPUtime=17.11 cores=0-7
/proc/24108/task/24125/stat : 24125 (java) S 24072 24072 21590 0 -1 1077944384 1185 836780 0 0 34 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889038014960 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24126] ppid=24072 vsize=8283048 memory=1744 CPUtime=16.77 cores=0-7
/proc/24108/task/24126/stat : 24126 (java) S 24072 24072 21590 0 -1 1077944384 3 836780 0 0 0 0 1422 255 20 0 22 0 419423985 8481841152 40660 33554432000 4194304 4196468 140736860204448 139886950607456 139889613137621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24127] ppid=24072 vsize=8283048 memory=792 CPUtime=16.77 cores=0-7
/proc/24108/task/24127/stat : 24127 (java) S 24072 24072 21590 0 -1 1077944384 3 836780 0 0 0 0 1422 255 20 0 22 0 419423986 8481841152 40660 33554432000 4194304 4196468 140736860204448 139889036962352 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24129] ppid=24072 vsize=8283048 memory=33 CPUtime=16.77 cores=0-7
/proc/24108/task/24129/stat : 24129 (java) S 24072 24072 21590 0 -1 1077944384 23 836780 0 0 0 0 1422 255 20 0 22 0 419424054 8481841152 40660 33554432000 4194304 4196468 140736860204448 139888827461904 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
[pid=24108/tid=24133] ppid=24072 vsize=8283048 memory=6947459256165622359 CPUtime=16.77 cores=0-7
/proc/24108/task/24133/stat : 24133 (java) S 24072 24072 21590 0 -1 1077944384 9 836780 0 0 0 0 1422 255 20 0 22 0 419424056 8481841152 40660 33554432000 4194304 4196468 140736860204448 139886011082032 139889613138562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140736860210167 140736860210326 140736860210326 140736860213199 0
Current children cumulated CPU time: 158.16 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 164116 KiB

Child status: 0
Real time (s): 112.83
CPU time (s): 158.227
CPU user time (s): 148.186
CPU system time (s): 10.0411
CPU usage (%): 140.234
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 8005024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.186
system time used= 10.0411
maximum resident set size= 8004052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935433
page faults= 0
swaps= 0
block input operations= 8
block output operations= 355648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120380
involuntary context switches= 433


# summary of solver processes directly reported to runsolver:
#   pid: 24072
#   total CPU time (s): 158.227
#   total CPU user time (s): 148.186
#   total CPU system time (s): 10.0411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.913443 second user time and 1.18865 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:28:19
IDJOB=4392581
IDBENCH=131237
IDSOLVER=2839
FILE ID=node133/4392581-1568431738
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-bvg/Subisomorphism-si4-b03m-m400-04.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392581-1568431738/watcher-4392581-1568431738 -o /tmp/evaluation-result-4392581-1568431738/solver-4392581-1568431738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392581-1568431738.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3c35b3a34944db31f268c78e4da60e39
RANDOM SEED=869206192

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31465488 kB
MemAvailable:   31896524 kB
Buffers:          198632 kB
Cached:           515872 kB
SwapCached:         3364 kB
Active:           400740 kB
Inactive:         319076 kB
Active(anon):      29196 kB
Inactive(anon):    16056 kB
Active(file):     371544 kB
Inactive(file):   303020 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             20672 kB
Writeback:             0 kB
AnonPages:        200892 kB
Mapped:            45336 kB
Shmem:             31516 kB
Slab:             173680 kB
SReclaimable:     144616 kB
SUnreclaim:        29064 kB
KernelStack:        3856 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59396 MiB
End job on node133 at 2019-09-14 05:30:12