Trace number 4392531

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 order+ManyGlucose (2019-06-15)SAT 2203.92 285.802

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-30-098.xml
MD5SUMfb27cd1d2814d0f1760e6f4b9d041fef
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 benchmark153.956
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints435
Number of domains30
Minimum domain size69
Maximum domain size98
Distribution of domain sizes[{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}]
Minimum variable degree29
Maximum variable degree29
Distribution of variable degrees[{"degree":29,"count":60}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":435}]
Number of extensional constraints0
Number of intensional constraints435
Distribution of constraint types[{"type":"intension","count":435}]
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10265-serial-file.bin HOME/instance-4392531-1568449792.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 10:29:13 CEST 2019
0.65/0.56	c PID: 10268
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.64/1.22	c (0,0) Parsing End
2.64/1.22	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
2.64/1.23	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.64/1.23	c (0,0) Constraint Name Generate Begin
2.64/1.24	c (0,0) Ctr:HOME/instance-4392531-1568449792.xml,Add:Le:Num:Or:Var
2.64/1.24	c (0,0) Constraint Name Generate End
2.64/1.24	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.64/1.24	c (0,0) CSP to CSPinCNF Begin
3.03/1.38	c (0,0) translated 44 (10%) constraints
3.27/1.42	c (0,0) translated 87 (20%) constraints
3.27/1.44	c (0,0) translated 131 (30%) constraints
3.27/1.45	c (0,0) translated 174 (40%) constraints
3.27/1.47	c (0,0) translated 218 (50%) constraints
3.27/1.48	c (0,0) translated 261 (60%) constraints
3.27/1.49	c (0,0) translated 305 (70%) constraints
3.64/1.50	c (0,0) translated 348 (80%) constraints
3.64/1.51	c (0,0) translated 392 (90%) constraints
3.64/1.51	c (0,0) translated 435 (100%) constraints
3.64/1.52	c (0,0) ===========================================
3.64/1.52	c (0,0) Order
3.64/1.52	c (0,0) ===========================================
3.64/1.53	c (0,0) translated 44 (10%) constraints
3.64/1.53	c (0,0) translated 87 (20%) constraints
3.64/1.54	c (0,0) translated 131 (30%) constraints
3.64/1.54	c (1,0) translated 174 (40%) constraints
3.64/1.55	c (1,0) translated 218 (50%) constraints
3.64/1.55	c (1,0) translated 261 (60%) constraints
3.64/1.55	c (1,1) translated 305 (70%) constraints
3.64/1.56	c (1,1) translated 348 (80%) constraints
3.64/1.56	c (1,1) translated 392 (90%) constraints
3.64/1.56	c (1,1) translated 435 (100%) constraints
3.64/1.57	c (1,1) CSP to CSPinCNF End
3.64/1.57	c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
3.64/1.57	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.64/1.57	c (1,1) CSPinCNF Propagation Begin
3.94/1.60	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.94/1.60	c (1,1) CSPinCNF Propagation End
3.94/1.60	c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98
3.94/1.60	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.94/1.60	c (1,1) Simplify CSPinCNF Begin
4.25/1.72	c (1,1) Simplify CSPinCNF End
4.25/1.73	c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98
4.25/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.25/1.73	c (1,1) Calculate Precise Domain Begin
4.25/1.73	c (1,1) 0 values are removed by re-calculation
4.25/1.73	c (1,1) Calculate Precise Domain End
4.25/1.73	c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98
4.25/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
4.25/1.73	c (1,1) CSPinCNF to SatSolver Begin
5.32/2.06	c (1,1) 218 (10 %) CSP clauses are encoded (0 SAT variables, 19599 SAT clauses)
5.73/2.17	c (1,1) 435 (20 %) CSP clauses are encoded (0 SAT variables, 33364 SAT clauses)
6.12/2.25	c (1,1) 653 (30 %) CSP clauses are encoded (0 SAT variables, 47010 SAT clauses)
6.44/2.32	c (1,1) 870 (40 %) CSP clauses are encoded (0 SAT variables, 60181 SAT clauses)
6.44/2.38	c (1,1) 1088 (50 %) CSP clauses are encoded (0 SAT variables, 72772 SAT clauses)
6.55/2.43	c (1,1) 1305 (60 %) CSP clauses are encoded (0 SAT variables, 84757 SAT clauses)
6.55/2.49	c (1,1) 1523 (70 %) CSP clauses are encoded (0 SAT variables, 96237 SAT clauses)
6.67/2.54	c (2,1) 1740 (80 %) CSP clauses are encoded (0 SAT variables, 106960 SAT clauses)
6.67/2.59	c (2,2) 1958 (90 %) CSP clauses are encoded (0 SAT variables, 116806 SAT clauses)
6.85/2.88	c (2,2) 2175 (100 %) CSP clauses are encoded (0 SAT variables, 125344 SAT clauses)
6.85/2.88	c (2,2) CSPinCNF to SatSolver End
6.85/2.88	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.85/2.88	c (2,2) 6690 bool, 125385 clause
6.85/2.88	c (2,2) Export Begin
6.91/2.96	c (2,2) Export to HOME/scop-10265-serial-file.bin
6.91/2.96	c (2,2) Export End
6.91/2.96	c (2,2) Export File Size: 0.01 MB
6.91/2.96	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.91/2.96	c END-Prog: Sat Sep 14 10:29:16 CEST 2019
6.91/2.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10265-serial-file.bin
7.62/3.45	c (0,0) Read Serial File Begin
7.62/3.45	c (0,0) HOME/scop-10265-serial-file.bin
7.89/3.66	c (0,0) Read Serial File End
7.89/3.67	
7.89/3.67	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
7.89/3.67	(Solving Process)
7.89/3.67	
7.89/3.70	c BEGIN-Prog: Sat Sep 14 10:29:17 CEST 2019
7.89/3.70	c PID: 10288
7.89/3.70	c IP: 172.20.3.123
7.89/3.70	c HOST: node123.alineos.net
8.05/3.70	c (0,0) SatSolver.solve Begin
8.05/3.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392531-1568449792.xml-scop-10268.cnf
8.05/3.73	c (0,0) c
8.05/3.73	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)
8.05/3.73	c (0,0) c
8.05/3.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.05/3.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.05/3.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.05/3.73	c (0,0) c |                                                                                                       |
8.05/3.77	c (0,0) c |  Number of variables:          6690                                                                   |
8.05/3.77	c (0,0) c |  Number of clauses:          125385                                                                   |
8.05/3.77	c (0,0) c |  Parse time:                   0.04 s                                                                 |
8.05/3.77	c (0,0) c |                                                                                                       |
8.24/3.89	c (0,0) c |  Simplification time:          0.12 s                                                                 |
8.24/3.89	c (0,0) c |                                                                                                       |
8.24/3.89	c (0,0) c |  Generating clones                                                                                    |
8.24/3.92	c (0,0) c |  all clones generated. Memory =    93.52Mb.                                                           |
8.24/3.92	c (0,0) c ========================================================================================================|
8.24/3.92	c (0,0) c
8.24/3.92	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.24/3.92	c (0,0) c
8.24/3.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.24/3.92	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.24/3.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.24/3.92	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.24/3.92	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.24/3.92	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.24/3.92	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.24/3.92	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.24/3.92	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.24/3.92	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.24/3.92	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.24/3.92	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.24/3.92	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.24/3.92	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.24/3.92	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.24/3.92	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.24/3.92	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.24/3.92	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.24/3.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
244.14/33.58	c (30,0) c
244.14/33.58	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.14/33.58	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
244.14/33.58	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
244.14/33.58	c (30,0) c |  0 |   1023 |     744764 |     235330 |    59901 |    37163 |    34027 |   225550 |    16646 |      271 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  1 |    950 |     712924 |     230478 |    59460 |    32314 |    33336 |   222241 |    16121 |      265 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  2 |   1119 |     774797 |     245409 |    59374 |    47220 |    34942 |   232211 |    17562 |      283 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  3 |   1122 |     764029 |     239975 |    58707 |    41798 |    34390 |   230103 |    17225 |      279 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  4 |   1026 |     762365 |     245113 |    59778 |    46936 |    35303 |   232001 |    17208 |      284 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  5 |    944 |     736775 |     241762 |    57547 |    43579 |    35069 |   228790 |    17079 |      278 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  6 |   1162 |     779997 |     244746 |    58972 |    46576 |    34670 |   232589 |    17584 |      283 |  20 |  0.000 |
244.14/33.58	c (30,0) c |  7 |   1046 |     766098 |     244239 |    60622 |    46052 |    35030 |   232229 |    17329 |      283 |  20 |  0.000 |
244.14/33.58	c (30,0) c 
244.14/33.58	c (30,0) c synthesis     1927053 conflicts   359984389 propagations     8169 conflicts/sec  1525973 propagations/sec
244.14/33.58	c (30,0) c real: 29.8467 s, cpu: 235.905 s, memory: 669.34 Mb
475.40/63.57	c (60,0) c
475.40/63.57	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
475.40/63.57	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
475.40/63.57	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
475.40/63.57	c (60,0) c |  0 |   1760 |    1234510 |     397662 |    63854 |    51080 |    52936 |   359176 |    29031 |      536 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  1 |   1677 |    1178841 |     385258 |    61452 |    79695 |    50841 |   352859 |    28269 |      517 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  2 |   1770 |    1225626 |     397909 |    62887 |    51329 |    52656 |   357167 |    28720 |      531 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  3 |   1832 |    1231393 |     395965 |    63954 |    49389 |    52236 |   358370 |    28905 |      532 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  4 |   1759 |    1230884 |     398465 |    63172 |    51893 |    53053 |   359594 |    29165 |      537 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  5 |   1690 |    1220784 |     399324 |    65139 |    52736 |    53477 |   359726 |    29006 |      537 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  6 |   1910 |    1250744 |     399686 |    62242 |    53104 |    52576 |   360459 |    29236 |      537 |  20 |  0.000 |
475.40/63.57	c (60,0) c |  7 |   1752 |    1237744 |     400248 |    63244 |    53681 |    52873 |   360223 |    29123 |      537 |  20 |  0.000 |
475.40/63.57	c (60,0) c 
475.40/63.57	c (60,0) c synthesis     3174520 conflicts   605897549 propagations     6800 conflicts/sec  1297899 propagations/sec
475.40/63.57	c (60,0) c real: 59.8467 s, cpu: 466.829 s, memory: 878.82 Mb
702.52/92.57	c (89,0) c
702.52/92.57	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
702.52/92.57	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
702.52/92.57	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
702.52/92.57	c (89,0) c |  0 |   2329 |    1614532 |     528082 |    65672 |    91698 |    66932 |   459217 |    37721 |      781 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  1 |   2265 |    1581897 |     522850 |    63569 |    86469 |    65872 |   456688 |    37278 |      771 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  2 |   2411 |    1606124 |     524450 |    64263 |    88073 |    66023 |   453467 |    37283 |      765 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  3 |   2465 |    1617784 |     524304 |    66078 |    87929 |    65845 |   457036 |    37200 |      772 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  4 |   2374 |    1624320 |     529150 |    65507 |    92781 |    67283 |   461022 |    37835 |      785 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  5 |   2226 |    1600272 |     530093 |    67481 |    93708 |    67968 |   459286 |    37608 |      783 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  6 |   2561 |    1640194 |     528977 |    63863 |    92589 |    66337 |   459917 |    37872 |      780 |  20 |  0.000 |
702.52/92.57	c (89,0) c |  7 |   2448 |    1630781 |     530687 |    65602 |    94312 |    66075 |   461730 |    38092 |      784 |  20 |  0.000 |
702.52/92.57	c (89,0) c 
702.52/92.57	c (89,0) c synthesis     4218596 conflicts   813518728 propagations     6082 conflicts/sec  1172884 propagations/sec
702.52/92.57	c (89,0) c real: 88.8464 s, cpu: 693.605 s, memory: 908.57 Mb
933.08/121.58	c (118,0) c
933.08/121.58	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
933.08/121.58	c (118,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
933.08/121.58	c (118,0) c |------------------------------------------------------------------------------------------------------------------------|
933.08/121.58	c (118,0) c |  0 |   2900 |    1980591 |     652541 |    66355 |    61954 |    79581 |   548338 |    45351 |     1038 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  1 |   2797 |    1936276 |     644565 |    66579 |   107985 |    78588 |   543413 |    44649 |     1022 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  2 |   3096 |    1979679 |     647618 |    66068 |    57055 |    78236 |   543715 |    44968 |     1021 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  3 |   3053 |    1973969 |     646441 |    67456 |    55863 |    78355 |   545319 |    44697 |     1027 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  4 |   2960 |    1991915 |     652625 |    66469 |    62048 |    80052 |   548848 |    45410 |     1041 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  5 |   2754 |    1936812 |     646336 |    68311 |    55769 |    79851 |   543010 |    44623 |     1024 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  6 |   3267 |    2017994 |     654792 |    64647 |    64197 |    78729 |   549825 |    45760 |     1040 |  20 |  0.000 |
933.08/121.58	c (118,0) c |  7 |   3025 |    1970297 |     645362 |    66374 |    54790 |    77904 |   544446 |    45104 |     1022 |  20 |  0.000 |
933.08/121.58	c (118,0) c 
933.08/121.58	c (118,0) c synthesis     5190281 conflicts  1009254160 propagations     5617 conflicts/sec  1092204 propagations/sec
933.08/121.58	c (118,0) c real: 117.847 s, cpu: 924.053 s, memory: 878.94 Mb
1163.43/150.57	c (147,0) c
1163.43/150.57	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.43/150.57	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1163.43/150.57	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1163.43/150.57	c (147,0) c |  0 |   3402 |    2294044 |     758915 |    68711 |   111733 |    90290 |   622307 |    51556 |     1275 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  1 |   3363 |    2260909 |     755427 |    67008 |   108255 |    89359 |   621152 |    51089 |     1268 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  2 |   3690 |    2324307 |     762949 |    66406 |   115774 |    89446 |   623763 |    51695 |     1278 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  3 |   3655 |    2318183 |     759605 |    69765 |   112429 |    89532 |   622943 |    51165 |     1275 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  4 |   3461 |    2302678 |     760196 |    66847 |   113016 |    90613 |   624403 |    51618 |     1283 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  5 |   3308 |    2264469 |     758818 |    68649 |   111652 |    90664 |   621314 |    51218 |     1273 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  6 |   3813 |    2332635 |     759110 |    65744 |   111919 |    89141 |   623124 |    51882 |     1274 |  20 |  0.000 |
1163.43/150.57	c (147,0) c |  7 |   3610 |    2317017 |     764261 |    68205 |   117090 |    89524 |   625759 |    51781 |     1284 |  20 |  0.000 |
1163.43/150.57	c (147,0) c 
1163.43/150.57	c (147,0) c synthesis     6079282 conflicts  1189354169 propagations     5266 conflicts/sec  1030338 propagations/sec
1163.43/150.57	c (147,0) c real: 146.847 s, cpu: 1154.33 s, memory: 967.85 Mb
1390.64/179.59	c (176,0) c
1390.64/179.59	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1390.64/179.59	c (176,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1390.64/179.59	c (176,0) c |------------------------------------------------------------------------------------------------------------------------|
1390.64/179.59	c (176,0) c |  0 |   3909 |    2604362 |     865589 |    69136 |    97417 |   100679 |   694276 |    57369 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  1 |   3869 |    2559184 |     857272 |    67401 |    89087 |    98900 |   689758 |    56760 |     1505 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  2 |   4171 |    2630098 |     870951 |    66937 |   102762 |    99821 |   694927 |    57423 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  3 |   4113 |    2629958 |     871083 |    70092 |   102896 |   100498 |   694322 |    57018 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  4 |   3956 |    2604890 |     864518 |    67248 |    96334 |   100106 |   694886 |    57471 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  5 |   3825 |    2565064 |     862082 |    68948 |    93908 |   100587 |   691239 |    56934 |     1515 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  6 |   4338 |    2644287 |     866591 |    66981 |    98407 |    99230 |   695843 |    57624 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c |  7 |   4072 |    2616773 |     870095 |    70351 |   101914 |    99638 |   695367 |    57443 |     1525 |  20 |  0.000 |
1390.64/179.59	c (176,0) c 
1390.64/179.59	c (176,0) c synthesis     6928181 conflicts  1362075036 propagations     5016 conflicts/sec   986049 propagations/sec
1390.64/179.59	c (176,0) c real: 175.847 s, cpu: 1381.35 s, memory: 938.21 Mb
1610.96/208.57	c (205,0) c
1610.96/208.57	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1610.96/208.57	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1610.96/208.57	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1610.96/208.57	c (205,0) c |  0 |   4380 |    2879228 |     958756 |    69546 |   126177 |   109558 |   756674 |    62316 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  1 |   4358 |    2839082 |     951958 |    67540 |   119370 |   107976 |   752573 |    61851 |     1741 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  2 |   4580 |    2893684 |     964971 |    68207 |   132389 |   108828 |   757553 |    62331 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  3 |   4573 |    2903896 |     965739 |    71951 |   133154 |   109306 |   757070 |    62071 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  4 |   4434 |    2881070 |     958022 |    68365 |   125435 |   108901 |   757598 |    62517 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  5 |   4277 |    2852187 |     960695 |    70179 |   128119 |   110031 |   756572 |    62250 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  6 |   4775 |    2908901 |     960390 |    67456 |   127808 |   107798 |   758616 |    62512 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c |  7 |   4486 |    2885930 |     963843 |    70702 |   131269 |   108166 |   757932 |    62397 |     1761 |  20 |  0.000 |
1610.96/208.57	c (205,0) c 
1610.96/208.57	c (205,0) c synthesis     7684374 conflicts  1516267831 propagations     4799 conflicts/sec   946942 propagations/sec
1610.96/208.57	c (205,0) c real: 204.847 s, cpu: 1601.23 s, memory: 1034.54 Mb
1835.07/237.58	c (234,0) c
1835.07/237.58	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1835.07/237.58	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1835.07/237.58	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1835.07/237.58	c (234,0) c |  0 |   4867 |    3142607 |    1050554 |    69877 |    81382 |   117824 |   816270 |    67006 |     2002 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  1 |   4795 |    3108398 |    1046997 |    67651 |    77819 |   117107 |   812368 |    66595 |     1984 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  2 |   5051 |    3170513 |    1061676 |    68586 |    92501 |   117551 |   817401 |    67181 |     2003 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  3 |   5011 |    3165320 |    1059147 |    72353 |    89963 |   117724 |   814235 |    66694 |     1994 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  4 |   4846 |    3131019 |    1045441 |    69019 |    76250 |   116917 |   813710 |    67042 |     1989 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  5 |   4731 |    3107809 |    1049024 |    70324 |    79845 |   117875 |   813051 |    66875 |     1990 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  6 |   5178 |    3168266 |    1050935 |    69471 |    81744 |   116022 |   814143 |    66927 |     1988 |  20 |  0.000 |
1835.07/237.58	c (234,0) c |  7 |   4974 |    3162412 |    1059804 |    70985 |    90630 |   116527 |   818434 |    67201 |     2004 |  20 |  0.000 |
1835.07/237.58	c (234,0) c 
1835.07/237.58	c (234,0) c synthesis     8423579 conflicts  1667858874 propagations     4616 conflicts/sec   913914 propagations/sec
1835.07/237.58	c (234,0) c real: 233.85 s, cpu: 1824.96 s, memory: 878.93 Mb
2068.10/267.58	c (264,0) c
2068.10/267.58	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2068.10/267.58	c (264,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2068.10/267.58	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2068.10/267.58	c (264,0) c |  0 |   5287 |    3386429 |    1135783 |    70213 |    94399 |   125232 |   872471 |    71176 |     2232 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  1 |   5206 |    3377986 |    1143164 |    68288 |   101791 |   126164 |   872779 |    71107 |     2236 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  2 |   5501 |    3439233 |    1156249 |    69282 |   114899 |   126216 |   877097 |    71663 |     2252 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  3 |   5454 |    3431018 |    1153030 |    72556 |   111659 |   126145 |   874666 |    71166 |     2243 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  4 |   5347 |    3416488 |    1144950 |    69100 |   103563 |   125909 |   877627 |    71779 |     2252 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  5 |   5182 |    3384606 |    1148049 |    71585 |   106686 |   127062 |   876160 |    71529 |     2252 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  6 |   5668 |    3455471 |    1152320 |    70164 |   110930 |   125349 |   878175 |    71691 |     2252 |  20 |  0.000 |
2068.10/267.58	c (264,0) c |  7 |   5444 |    3426755 |    1152595 |    72042 |   111228 |   124648 |   878680 |    71905 |     2252 |  20 |  0.000 |
2068.10/267.58	c (264,0) c 
2068.10/267.58	c (264,0) c synthesis     9186140 conflicts  1825082820 propagations     4464 conflicts/sec   886986 propagations/sec
2068.10/267.58	c (264,0) c real: 263.847 s, cpu: 2057.62 s, memory: 967.85 Mb
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c real time : 281.897 s
2203.46/285.62	c (282,0) c cpu time  : 2192.06 s
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | Conflicts     |         9592421 |    1188579 |    1195671 |    1207131 |    1205234 |    1192357 |    1198138 |    1202404 |    1202907 |
2203.46/285.62	c (282,0) c | Decisions     |        28474207 |    3535116 |    3517435 |    3584651 |    3580787 |    3554846 |    3527148 |    3602303 |    3571921 |
2203.46/285.62	c (282,0) c | Propagations  |      1909650688 |  235833986 |  236139030 |  241082380 |  241125869 |  236530104 |  237174886 |  240696879 |  241067554 |
2203.46/285.62	c (282,0) c | ReduceDBs     |             239 |         29 |         30 |         30 |         30 |         30 |         30 |         30 |         30 |
2203.46/285.62	c (282,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2203.46/285.62	c (282,0) c | Restarts      |           45040 |       5529 |       5411 |       5769 |       5690 |       5596 |       5393 |       5933 |       5719 |
2203.46/285.62	c (282,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2203.46/285.62	c (282,0) c | PropBinClauses|      2152135092 |  265811501 |  266132596 |  271822600 |  271741928 |  266304732 |  267315707 |  271139649 |  271866379 |
2203.46/285.62	c (282,0) c | PropPreBlocker|     68111873519 | 8460037561 | 8468070015 | 8564368184 | 8532732738 | 8479664049 | 8490836853 | 8557078535 | 8559085584 |
2203.46/285.62	c (282,0) c | PropNotBlocker|     16649039540 | 2091443536 | 2080269252 | 2069853437 | 2053376021 | 2109476873 | 2095191943 | 2075988201 | 2073440277 |
2203.46/285.62	c (282,0) c | LitFullScans  |    114783084038 |14310862428 |14310815106 |14370814923 |14311868511 |14366932934 |14370151532 |14370817257 |14370821347 |
2203.46/285.62	c (282,0) c | LitScanFracts |         6578883 |     853738 |     809219 |     809024 |     816323 |     844077 |     834361 |     798188 |     813953 |
2203.46/285.62	c (282,0) c | DecisionLevel0|           45040 |       5529 |       5411 |       5769 |       5690 |       5596 |       5393 |       5933 |       5719 |
2203.46/285.62	c (282,0) c | Periods       |           19128 |       2385 |       2385 |       2395 |       2385 |       2394 |       2394 |       2395 |       2395 |
2203.46/285.62	c (282,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2203.46/285.62	c (282,0) c | Avg_Trail     |                 |       2862 |       2861 |       2878 |       2890 |       2864 |       2865 |       2880 |       2880 |
2203.46/285.62	c (282,0) c | Avg_DL        |                 |         60 |         59 |         62 |         61 |         60 |         59 |         62 |         62 |
2203.46/285.62	c (282,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2203.46/285.62	c (282,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | Exported      |         1042882 |     130055 |     130810 |     130715 |     131211 |     130000 |     131472 |     129685 |     128934 |
2203.46/285.62	c (282,0) c | Imported      |         7262953 |     906630 |     905982 |     908527 |     905772 |     908806 |     907531 |     909518 |     910187 |
2203.46/285.62	c (282,0) c | Good          |             677 |         77 |         81 |         90 |         89 |         82 |         81 |         84 |         93 |
2203.46/285.62	c (282,0) c | Purge         |         7262276 |     906553 |     905901 |     908437 |     905683 |     908724 |     907450 |     909434 |     910094 |
2203.46/285.62	c (282,0) c | Promoted      |          592089 |      73845 |      73716 |      74159 |      73538 |      74268 |      74010 |      74173 |      74380 |
2203.46/285.62	c (282,0) c | Remove_Imp    |         5987404 |     714418 |     753623 |     750471 |     748817 |     758013 |     754090 |     753787 |     754185 |
2203.46/285.62	c (282,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2203.46/285.62	c (282,0) c | Binaries      |                 |         20 |         15 |          7 |          7 |         15 |         16 |         13 |          4 |
2203.46/285.62	c (282,0) c | Glues         |                 |        477 |        500 |        434 |        443 |        439 |        483 |        443 |        460 |
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | Orig_Seen     |            56 % |      70339 |      68315 |      69643 |      74291 |      69528 |      71716 |      70698 |      72564 |
2203.46/285.62	c (282,0) c | Diff Orig seen|                 | -     3952 | -     5976 | -     4648 |      X     | -     4763 | -     2575 | -     3593 | -     1727 |
2203.46/285.62	c (282,0) c | Hamming       |            32 % |       2009 |       2239 |       2267 |      X     |       1950 |       2435 |       2209 |       2035 |
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c | RunningTime   |                 |  278.2  99%|  281.2 100%|  273.1  97%|  275.5  98%|  274.4  98%|  275.7  98%|  271.6  97%|  270.5  96%|
2203.46/285.62	c (282,0) c | WaitingTime   |                 |    2.4   1%|    0.0   0%|    7.2   3%|    4.8   2%|    5.9   2%|    4.6   2%|    8.7   3%|    9.8   3%|
2203.46/285.62	c (282,0) c | ExchangingTime|                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.5   0%|    0.4   0%|    0.4   0%|    0.4   0%|
2203.46/285.62	c (282,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%|
2203.46/285.62	c (282,0) c | SolvingTime   |                 |  281.0     |  281.6     |  280.7     |  280.7     |  280.7     |  280.7     |  280.7     |  280.7     |
2203.46/285.62	c (282,0) c | PropagationTim|                 |  251.7  90%|  252.4  90%|  250.0  89%|  249.7  89%|  251.1  89%|  250.3  89%|  250.3  89%|  250.3  89%|
2203.46/285.62	c (282,0) c | AnalysisTime  |                 |   20.2   7%|   20.1   7%|   21.3   8%|   21.5   8%|   20.3   7%|   21.1   8%|   21.2   8%|   21.0   7%|
2203.46/285.62	c (282,0) c | ReductionTime |                 |    2.5   1%|    2.6   1%|    2.7   1%|    2.7   1%|    2.7   1%|    2.6   1%|    2.6   1%|    2.8   1%|
2203.46/285.62	c (282,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%|
2203.46/285.62	c (282,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%|
2203.46/285.62	c (282,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%|
2203.46/285.62	c (282,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c
2203.46/285.62	c (282,0) c Threads : 8
2203.46/285.62	c (282,0) c Winner : 3
2203.46/285.62	c (282,0) c Conflicts_0 : 1188579
2203.46/285.62	c (282,0) c Conflicts_1 : 1195671
2203.46/285.62	c (282,0) c Conflicts_2 : 1207131
2203.46/285.62	c (282,0) c Conflicts_3 : 1205234
2203.46/285.62	c (282,0) c Conflicts_4 : 1192357
2203.46/285.62	c (282,0) c Conflicts_5 : 1198138
2203.46/285.62	c (282,0) c Conflicts_6 : 1202404
2203.46/285.62	c (282,0) c Conflicts_7 : 1202907
2203.46/285.62	c (282,0) c Conflicts_total : 9592421
2203.46/285.62	c (282,0) c Conflicts_winner : 1205234
2203.46/285.62	c (282,0) c Decisions_0 : 3535116
2203.46/285.62	c (282,0) c Decisions_1 : 3517435
2203.46/285.62	c (282,0) c Decisions_2 : 3584651
2203.46/285.62	c (282,0) c Decisions_3 : 3580787
2203.46/285.62	c (282,0) c Decisions_4 : 3554846
2203.46/285.62	c (282,0) c Decisions_5 : 3527148
2203.46/285.62	c (282,0) c Decisions_6 : 3602303
2203.46/285.62	c (282,0) c Decisions_7 : 3571921
2203.46/285.62	c (282,0) c Decisions_total : 28474207
2203.46/285.62	c (282,0) c Decisions_winner : 3580787
2203.46/285.62	c (282,0) c Propagations_0 : 235833986
2203.46/285.62	c (282,0) c Propagations_1 : 236139030
2203.46/285.62	c (282,0) c Propagations_2 : 241082380
2203.46/285.62	c (282,0) c Propagations_3 : 241125869
2203.46/285.62	c (282,0) c Propagations_4 : 236530104
2203.46/285.62	c (282,0) c Propagations_5 : 237174886
2203.46/285.62	c (282,0) c Propagations_6 : 240696879
2203.46/285.62	c (282,0) c Propagations_7 : 241067554
2203.46/285.62	c (282,0) c Propagations_total : 1909650688
2203.46/285.62	c (282,0) c Propagations_winner : 241125869
2203.46/285.62	c (282,0) c ReduceDBs_0 : 29
2203.46/285.62	c (282,0) c ReduceDBs_1 : 30
2203.46/285.62	c (282,0) c ReduceDBs_2 : 30
2203.46/285.62	c (282,0) c ReduceDBs_3 : 30
2203.46/285.62	c (282,0) c ReduceDBs_4 : 30
2203.46/285.62	c (282,0) c ReduceDBs_5 : 30
2203.46/285.62	c (282,0) c ReduceDBs_6 : 30
2203.46/285.62	c (282,0) c ReduceDBs_7 : 30
2203.46/285.62	c (282,0) c ReduceDBs_total : 239
2203.46/285.62	c (282,0) c ReduceDBs_winner : 30
2203.46/285.62	c (282,0) c SimpDBs_0 : 1
2203.46/285.62	c (282,0) c SimpDBs_1 : 1
2203.46/285.62	c (282,0) c SimpDBs_2 : 1
2203.46/285.62	c (282,0) c SimpDBs_3 : 1
2203.46/285.62	c (282,0) c SimpDBs_4 : 1
2203.46/285.62	c (282,0) c SimpDBs_5 : 1
2203.46/285.62	c (282,0) c SimpDBs_6 : 1
2203.46/285.62	c (282,0) c SimpDBs_7 : 1
2203.46/285.62	c (282,0) c SimpDBs_total : 8
2203.46/285.62	c (282,0) c SimpDBs_winner : 1
2203.46/285.62	c (282,0) c Restarts_0 : 5529
2203.46/285.62	c (282,0) c Restarts_1 : 5411
2203.46/285.62	c (282,0) c Restarts_2 : 5769
2203.46/285.62	c (282,0) c Restarts_3 : 5690
2203.46/285.62	c (282,0) c Restarts_4 : 5596
2203.46/285.62	c (282,0) c Restarts_5 : 5393
2203.46/285.62	c (282,0) c Restarts_6 : 5933
2203.46/285.62	c (282,0) c Restarts_7 : 5719
2203.46/285.63	c (282,0) c Restarts_total : 45040
2203.46/285.63	c (282,0) c Restarts_winner : 5690
2203.46/285.63	c (282,0) c ForcedImports_0 : 0
2203.46/285.63	c (282,0) c ForcedImports_1 : 0
2203.46/285.63	c (282,0) c ForcedImports_2 : 0
2203.46/285.63	c (282,0) c ForcedImports_3 : 0
2203.46/285.63	c (282,0) c ForcedImports_4 : 0
2203.46/285.63	c (282,0) c ForcedImports_5 : 0
2203.46/285.63	c (282,0) c ForcedImports_6 : 0
2203.46/285.63	c (282,0) c ForcedImports_7 : 0
2203.46/285.63	c (282,0) c ForcedImports_total : 0
2203.46/285.63	c (282,0) c ForcedImports_winner : 0
2203.46/285.63	c (282,0) c PropsBinClauses_0 : 265811501
2203.46/285.63	c (282,0) c PropsBinClauses_1 : 266132596
2203.46/285.63	c (282,0) c PropsBinClauses_2 : 271822600
2203.46/285.63	c (282,0) c PropsBinClauses_3 : 271741928
2203.46/285.63	c (282,0) c PropsBinClauses_4 : 266304732
2203.46/285.63	c (282,0) c PropsBinClauses_5 : 267315707
2203.46/285.63	c (282,0) c PropsBinClauses_6 : 271139649
2203.46/285.63	c (282,0) c PropsBinClauses_7 : 271866379
2203.46/285.63	c (282,0) c PropsBinClauses_total : 2152135092
2203.46/285.63	c (282,0) c PropsBinClauses_winner : 271741928
2203.46/285.63	c (282,0) c PropsPreBlocker_0 : 8460037561
2203.46/285.63	c (282,0) c PropsPreBlocker_1 : 8468070015
2203.46/285.63	c (282,0) c PropsPreBlocker_2 : 8564368184
2203.46/285.63	c (282,0) c PropsPreBlocker_3 : 8532732738
2203.46/285.63	c (282,0) c PropsPreBlocker_4 : 8479664049
2203.46/285.63	c (282,0) c PropsPreBlocker_5 : 8490836853
2203.46/285.63	c (282,0) c PropsPreBlocker_6 : 8557078535
2203.46/285.63	c (282,0) c PropsPreBlocker_7 : 8559085584
2203.46/285.63	c (282,0) c PropsPreBlocker_total : 68111873519
2203.46/285.63	c (282,0) c PropsPreBlocker_winner : 8532732738
2203.46/285.63	c (282,0) c PropsNotBlocker_0 : 2091443536
2203.46/285.63	c (282,0) c PropsNotBlocker_1 : 2080269252
2203.46/285.63	c (282,0) c PropsNotBlocker_2 : 2069853437
2203.46/285.63	c (282,0) c PropsNotBlocker_3 : 2053376021
2203.46/285.63	c (282,0) c PropsNotBlocker_4 : 2109476873
2203.46/285.63	c (282,0) c PropsNotBlocker_5 : 2095191943
2203.46/285.63	c (282,0) c PropsNotBlocker_6 : 2075988201
2203.46/285.63	c (282,0) c PropsNotBlocker_7 : 2073440277
2203.46/285.63	c (282,0) c PropsNotBlocker_total : 16649039540
2203.46/285.63	c (282,0) c PropsNotBlocker_winner : 2053376021
2203.46/285.63	c (282,0) c PropsLitFullScans_0 : 14310862428
2203.46/285.63	c (282,0) c PropsLitFullScans_1 : 14310815106
2203.46/285.63	c (282,0) c PropsLitFullScans_2 : 14370814923
2203.46/285.63	c (282,0) c PropsLitFullScans_3 : 14311868511
2203.46/285.63	c (282,0) c PropsLitFullScans_4 : 14366932934
2203.46/285.63	c (282,0) c PropsLitFullScans_5 : 14370151532
2203.46/285.63	c (282,0) c PropsLitFullScans_6 : 14370817257
2203.46/285.63	c (282,0) c PropsLitFullScans_7 : 14370821347
2203.46/285.63	c (282,0) c PropsLitFullScans_total : 114783084038
2203.46/285.63	c (282,0) c PropsLitFullScans_winner : 14311868511
2203.46/285.63	c (282,0) c LitScanFractions_0 : 853738
2203.46/285.63	c (282,0) c LitScanFractions_1 : 809219
2203.46/285.63	c (282,0) c LitScanFractions_2 : 809024
2203.46/285.63	c (282,0) c LitScanFractions_3 : 816323
2203.46/285.63	c (282,0) c LitScanFractions_4 : 844077
2203.46/285.63	c (282,0) c LitScanFractions_5 : 834361
2203.46/285.63	c (282,0) c LitScanFractions_6 : 798188
2203.46/285.63	c (282,0) c LitScanFractions_7 : 813953
2203.46/285.63	c (282,0) c LitScanFractions_total : 6578883
2203.46/285.63	c (282,0) c LitScanFractions_winner : 816323
2203.46/285.63	c (282,0) c DecisionLevel0_0 : 5529
2203.46/285.63	c (282,0) c DecisionLevel0_1 : 5411
2203.46/285.63	c (282,0) c DecisionLevel0_2 : 5769
2203.46/285.63	c (282,0) c DecisionLevel0_3 : 5690
2203.46/285.63	c (282,0) c DecisionLevel0_4 : 5596
2203.46/285.63	c (282,0) c DecisionLevel0_5 : 5393
2203.46/285.63	c (282,0) c DecisionLevel0_6 : 5933
2203.46/285.63	c (282,0) c DecisionLevel0_7 : 5719
2203.46/285.63	c (282,0) c DecisionLevel0_total : 45040
2203.46/285.63	c (282,0) c DecisionLevel0_winner : 5690
2203.46/285.63	c (282,0) c Periods_0 : 2385
2203.46/285.63	c (282,0) c Periods_1 : 2385
2203.46/285.63	c (282,0) c Periods_2 : 2395
2203.46/285.63	c (282,0) c Periods_3 : 2385
2203.46/285.63	c (282,0) c Periods_4 : 2394
2203.46/285.63	c (282,0) c Periods_5 : 2394
2203.46/285.63	c (282,0) c Periods_6 : 2395
2203.46/285.63	c (282,0) c Periods_7 : 2395
2203.46/285.63	c (282,0) c Periods_total : 19128
2203.46/285.63	c (282,0) c Periods_winner : 2385
2203.46/285.63	c (282,0) c Margin_0 : 20
2203.46/285.63	c (282,0) c Margin_1 : 20
2203.46/285.63	c (282,0) c Margin_2 : 20
2203.46/285.63	c (282,0) c Margin_3 : 20
2203.46/285.63	c (282,0) c Margin_4 : 20
2203.46/285.63	c (282,0) c Margin_5 : 20
2203.46/285.63	c (282,0) c Margin_6 : 20
2203.46/285.63	c (282,0) c Margin_7 : 20
2203.46/285.63	c (282,0) c Margin_total : 160
2203.46/285.63	c (282,0) c Margin_winner : 20
2203.46/285.63	c (282,0) c Exported_0 : 130055
2203.46/285.63	c (282,0) c Exported_1 : 130810
2203.46/285.63	c (282,0) c Exported_2 : 130715
2203.46/285.63	c (282,0) c Exported_3 : 131211
2203.46/285.63	c (282,0) c Exported_4 : 130000
2203.46/285.63	c (282,0) c Exported_5 : 131472
2203.46/285.63	c (282,0) c Exported_6 : 129685
2203.46/285.63	c (282,0) c Exported_7 : 128934
2203.46/285.63	c (282,0) c Exported_total : 1042882
2203.46/285.63	c (282,0) c Exported_winner : 131211
2203.46/285.63	c (282,0) c Imported_0 : 906630
2203.46/285.63	c (282,0) c Imported_1 : 905982
2203.46/285.63	c (282,0) c Imported_2 : 908527
2203.46/285.63	c (282,0) c Imported_3 : 905772
2203.46/285.63	c (282,0) c Imported_4 : 908806
2203.46/285.63	c (282,0) c Imported_5 : 907531
2203.46/285.63	c (282,0) c Imported_6 : 909518
2203.46/285.63	c (282,0) c Imported_7 : 910187
2203.46/285.63	c (282,0) c Imported_total : 7262953
2203.46/285.63	c (282,0) c Imported_winner : 905772
2203.46/285.63	c (282,0) c Good_0 : 77
2203.46/285.63	c (282,0) c Good_1 : 81
2203.46/285.63	c (282,0) c Good_2 : 90
2203.46/285.63	c (282,0) c Good_3 : 89
2203.46/285.63	c (282,0) c Good_4 : 82
2203.46/285.63	c (282,0) c Good_5 : 81
2203.46/285.63	c (282,0) c Good_6 : 84
2203.46/285.63	c (282,0) c Good_7 : 93
2203.46/285.63	c (282,0) c Good_total : 677
2203.46/285.63	c (282,0) c Good_winner : 89
2203.46/285.63	c (282,0) c Purge_0 : 906553
2203.46/285.63	c (282,0) c Purge_1 : 905901
2203.46/285.63	c (282,0) c Purge_2 : 908437
2203.46/285.63	c (282,0) c Purge_3 : 905683
2203.46/285.63	c (282,0) c Purge_4 : 908724
2203.46/285.63	c (282,0) c Purge_5 : 907450
2203.46/285.63	c (282,0) c Purge_6 : 909434
2203.46/285.63	c (282,0) c Purge_7 : 910094
2203.46/285.63	c (282,0) c Purge_total : 7262276
2203.46/285.63	c (282,0) c Purge_winner : 905683
2203.46/285.63	c (282,0) c Promoted_0 : 73845
2203.46/285.63	c (282,0) c Promoted_1 : 73716
2203.46/285.63	c (282,0) c Promoted_2 : 74159
2203.46/285.63	c (282,0) c Promoted_3 : 73538
2203.46/285.63	c (282,0) c Promoted_4 : 74268
2203.46/285.63	c (282,0) c Promoted_5 : 74010
2203.46/285.63	c (282,0) c Promoted_6 : 74173
2203.46/285.63	c (282,0) c Promoted_7 : 74380
2203.46/285.63	c (282,0) c Promoted_total : 592089
2203.46/285.63	c (282,0) c Promoted_winner : 73538
2203.46/285.63	c (282,0) c Remove_Imp_0 : 714418
2203.46/285.63	c (282,0) c Remove_Imp_1 : 753623
2203.46/285.63	c (282,0) c Remove_Imp_2 : 750471
2203.46/285.63	c (282,0) c Remove_Imp_3 : 748817
2203.46/285.63	c (282,0) c Remove_Imp_4 : 758013
2203.46/285.63	c (282,0) c Remove_Imp_5 : 754090
2203.46/285.63	c (282,0) c Remove_Imp_6 : 753787
2203.46/285.63	c (282,0) c Remove_Imp_7 : 754185
2203.46/285.63	c (282,0) c Remove_Imp_total : 5987404
2203.46/285.63	c (282,0) c Remove_Imp_winner : 748817
2203.46/285.63	c (282,0) c Blocked_Reuse_0 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_1 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_2 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_3 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_4 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_5 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_6 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_7 : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_total : 0
2203.46/285.63	c (282,0) c Blocked_Reuse_winner : 0
2203.46/285.63	c (282,0) c Unaries_0 : 0
2203.46/285.63	c (282,0) c Unaries_1 : 0
2203.46/285.63	c (282,0) c Unaries_2 : 0
2203.46/285.63	c (282,0) c Unaries_3 : 0
2203.46/285.63	c (282,0) c Unaries_4 : 0
2203.46/285.63	c (282,0) c Unaries_5 : 0
2203.46/285.63	c (282,0) c Unaries_6 : 0
2203.46/285.63	c (282,0) c Unaries_7 : 0
2203.46/285.63	c (282,0) c Unaries_total : 0
2203.46/285.63	c (282,0) c Unaries_winner : 0
2203.46/285.63	c (282,0) c Binaries_0 : 20
2203.46/285.63	c (282,0) c Binaries_1 : 15
2203.46/285.63	c (282,0) c Binaries_2 : 7
2203.46/285.63	c (282,0) c Binaries_3 : 7
2203.46/285.63	c (282,0) c Binaries_4 : 15
2203.46/285.63	c (282,0) c Binaries_5 : 16
2203.46/285.63	c (282,0) c Binaries_6 : 13
2203.46/285.63	c (282,0) c Binaries_7 : 4
2203.46/285.63	c (282,0) c Binaries_total : 97
2203.46/285.63	c (282,0) c Binaries_winner : 7
2203.46/285.63	c (282,0) c Glues_0 : 477
2203.46/285.63	c (282,0) c Glues_1 : 500
2203.46/285.63	c (282,0) c Glues_2 : 434
2203.46/285.63	c (282,0) c Glues_3 : 443
2203.46/285.63	c (282,0) c Glues_4 : 439
2203.46/285.63	c (282,0) c Glues_5 : 483
2203.46/285.63	c (282,0) c Glues_6 : 443
2203.46/285.63	c (282,0) c Glues_7 : 460
2203.46/285.63	c (282,0) c Glues_total : 3679
2203.46/285.63	c (282,0) c Glues_winner : 443
2203.46/285.63	c (282,0) c RunningTime_0 : 278.155716
2203.46/285.63	c (282,0) c RunningTime_1 : 281.171411
2203.46/285.63	c (282,0) c RunningTime_2 : 273.055514
2203.46/285.63	c (282,0) c RunningTime_3 : 275.503252
2203.46/285.63	c (282,0) c RunningTime_4 : 274.357083
2203.46/285.63	c (282,0) c RunningTime_5 : 275.694111
2203.46/285.63	c (282,0) c RunningTime_6 : 271.605144
2203.46/285.63	c (282,0) c RunningTime_7 : 270.481153
2203.46/285.63	c (282,0) c RunningTime_total : 2200.023385
2203.46/285.63	c (282,0) c RunningTime_winner : 275.503252
2203.46/285.63	c (282,0) c WaitingTime_0 : 2.409713
2203.46/285.63	c (282,0) c WaitingTime_1 : 0.002874
2203.46/285.63	c (282,0) c WaitingTime_2 : 7.196159
2203.46/285.63	c (282,0) c WaitingTime_3 : 4.766155
2203.46/285.63	c (282,0) c WaitingTime_4 : 5.896984
2203.46/285.63	c (282,0) c WaitingTime_5 : 4.580788
2203.46/285.63	c (282,0) c WaitingTime_6 : 8.677671
2203.46/285.63	c (282,0) c WaitingTime_7 : 9.822873
2203.46/285.63	c (282,0) c WaitingTime_total : 43.353217
2203.46/285.63	c (282,0) c WaitingTime_winner : 4.766155
2203.46/285.63	c (282,0) c ExchangingTime_0 : 0.421016
2203.46/285.63	c (282,0) c ExchangingTime_1 : 0.380153
2203.46/285.63	c (282,0) c ExchangingTime_2 : 0.431635
2203.46/285.63	c (282,0) c ExchangingTime_3 : 0.414015
2203.46/285.63	c (282,0) c ExchangingTime_4 : 0.458704
2203.46/285.63	c (282,0) c ExchangingTime_5 : 0.409059
2203.46/285.63	c (282,0) c ExchangingTime_6 : 0.405441
2203.46/285.63	c (282,0) c ExchangingTime_7 : 0.382743
2203.46/285.63	c (282,0) c ExchangingTime_total : 3.302767
2203.46/285.63	c (282,0) c ExchangingTime_winner : 0.414015
2203.46/285.63	c (282,0) c PeriodProcTime_0 : 0.020508
2203.46/285.63	c (282,0) c PeriodProcTime_1 : 0.025575
2203.46/285.63	c (282,0) c PeriodProcTime_2 : 0.020966
2203.46/285.63	c (282,0) c PeriodProcTime_3 : 0.020341
2203.46/285.63	c (282,0) c PeriodProcTime_4 : 0.020942
2203.46/285.63	c (282,0) c PeriodProcTime_5 : 0.022903
2203.46/285.63	c (282,0) c PeriodProcTime_6 : 0.019240
2203.46/285.63	c (282,0) c PeriodProcTime_7 : 0.019637
2203.46/285.63	c (282,0) c PeriodProcTime_total : 0.170112
2203.46/285.63	c (282,0) c PeriodProcTime_winner : 0.020341
2203.46/285.63	c (282,0) c SolvingTime_0 : 281.006953
2203.46/285.63	c (282,0) c SolvingTime_1 : 281.580013
2203.46/285.63	c (282,0) c SolvingTime_2 : 280.704273
2203.46/285.63	c (282,0) c SolvingTime_3 : 280.703764
2203.46/285.63	c (282,0) c SolvingTime_4 : 280.733713
2203.46/285.63	c (282,0) c SolvingTime_5 : 280.706862
2203.46/285.63	c (282,0) c SolvingTime_6 : 280.707496
2203.46/285.63	c (282,0) c SolvingTime_7 : 280.706407
2203.46/285.63	c (282,0) c SolvingTime_total : 2246.849481
2203.46/285.63	c (282,0) c SolvingTime_winner : 280.703764
2203.46/285.63	c (282,0) c PropagationTime_0 : 251.728369
2203.46/285.63	c (282,0) c PropagationTime_1 : 252.371216
2203.46/285.63	c (282,0) c PropagationTime_2 : 249.960066
2203.46/285.63	c (282,0) c PropagationTime_3 : 249.718735
2203.46/285.63	c (282,0) c PropagationTime_4 : 251.085289
2203.46/285.63	c (282,0) c PropagationTime_5 : 250.290267
2203.46/285.63	c (282,0) c PropagationTime_6 : 250.269746
2203.46/285.63	c (282,0) c PropagationTime_7 : 250.258365
2203.46/285.63	c (282,0) c PropagationTime_total : 2005.682052
2203.46/285.63	c (282,0) c PropagationTime_winner : 249.718735
2203.46/285.63	c (282,0) c AnalysisTime_0 : 20.220355
2203.46/285.63	c (282,0) c AnalysisTime_1 : 20.078590
2203.46/285.63	c (282,0) c AnalysisTime_2 : 21.297736
2203.46/285.63	c (282,0) c AnalysisTime_3 : 21.477188
2203.46/285.63	c (282,0) c AnalysisTime_4 : 20.319741
2203.46/285.63	c (282,0) c AnalysisTime_5 : 21.138536
2203.46/285.63	c (282,0) c AnalysisTime_6 : 21.154109
2203.46/285.63	c (282,0) c AnalysisTime_7 : 21.043083
2203.46/285.63	c (282,0) c AnalysisTime_total : 166.729338
2203.46/285.63	c (282,0) c AnalysisTime_winner : 21.477188
2203.46/285.63	c (282,0) c ReductionTime_0 : 2.458010
2203.46/285.63	c (282,0) c ReductionTime_1 : 2.602579
2203.46/285.63	c (282,0) c ReductionTime_2 : 2.697964
2203.46/285.63	c (282,0) c ReductionTime_3 : 2.678488
2203.46/285.63	c (282,0) c ReductionTime_4 : 2.677209
2203.46/285.63	c (282,0) c ReductionTime_5 : 2.576387
2203.46/285.63	c (282,0) c ReductionTime_6 : 2.641363
2203.46/285.63	c (282,0) c ReductionTime_7 : 2.757338
2203.46/285.63	c (282,0) c ReductionTime_total : 21.089340
2203.46/285.63	c (282,0) c ReductionTime_winner : 2.678488
2203.46/285.63	c (282,0) c SimplifyTime_0 : 0.000565
2203.46/285.63	c (282,0) c SimplifyTime_1 : 0.000539
2203.46/285.63	c (282,0) c SimplifyTime_2 : 0.000480
2203.46/285.63	c (282,0) c SimplifyTime_3 : 0.000574
2203.46/285.63	c (282,0) c SimplifyTime_4 : 0.000490
2203.46/285.63	c (282,0) c SimplifyTime_5 : 0.000592
2203.46/285.63	c (282,0) c SimplifyTime_6 : 0.000531
2203.46/285.63	c (282,0) c SimplifyTime_7 : 0.000452
2203.46/285.63	c (282,0) c SimplifyTime_total : 0.004222
2203.46/285.63	c (282,0) c SimplifyTime_winner : 0.000574
2203.46/285.63	c (282,0) c UsedRateTime_0 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_1 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_2 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_3 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_4 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_5 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_6 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_7 : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_total : 0.000000
2203.46/285.65	c (282,0) c UsedRateTime_winner : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_0 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_1 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_2 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_3 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_4 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_5 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_6 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_7 : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_total : 0.000000
2203.46/285.65	c (282,0) c OverlapRateTime_winner : 0.000000
2203.46/285.65	c (282,0) c
2203.46/285.65	c (282,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2203.46/285.65	c (282,0) c
2203.46/285.65	c (282,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.65	c (282,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2203.46/285.65	c (282,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.65	c (282,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2203.46/285.65	c (282,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2203.46/285.65	c (282,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2203.46/285.65	c (282,0) c | Initial random_seed   |  231756954 | 1437469158 |  130186811 | 2001581776 | 2143452684 | 1206962997 |  808528939 |   97799319 |
2203.46/285.65	c (282,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2203.46/285.65	c (282,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2203.46/285.65	c (282,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2203.46/285.65	c (282,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2203.46/285.65	c (282,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2203.46/285.65	c (282,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2203.46/285.65	c (282,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2203.46/285.65	c (282,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2203.46/285.65	c (282,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2203.46/285.65	c (282,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2203.46/285.65	c (282,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2203.46/285.65	c (282,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2203.46/285.65	c (282,0) 
2203.46/285.65	c (282,0) s SATISFIABLE
2203.46/285.68	c (282,0) SatSolver.solve End
2203.46/285.68	c (282,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2203.46/285.68	c (282,0) Show results Begin
2203.71/285.77	c (282,0) x[0] = 51
2203.71/285.77	c (282,0) x[1] = 28
2203.71/285.77	c (282,0) x[2] = 60
2203.71/285.77	c (282,0) x[3] = 65
2203.71/285.77	c (282,0) x[4] = 77
2203.71/285.77	c (282,0) x[5] = 77
2203.71/285.77	c (282,0) x[6] = 65
2203.71/285.77	c (282,0) x[7] = 90
2203.71/285.77	c (282,0) x[8] = 81
2203.71/285.77	c (282,0) x[9] = 30
2203.71/285.77	c (282,0) x[10] = 52
2203.71/285.77	c (282,0) x[11] = 40
2203.71/285.77	c (282,0) x[12] = 52
2203.71/285.77	c (282,0) x[13] = 63
2203.71/285.77	c (282,0) x[14] = 83
2203.71/285.77	c (282,0) x[15] = 36
2203.71/285.77	c (282,0) x[16] = 19
2203.71/285.77	c (282,0) x[17] = 80
2203.71/285.77	c (282,0) x[18] = 0
2203.71/285.77	c (282,0) x[19] = 52
2203.71/285.77	c (282,0) x[20] = 30
2203.71/285.77	c (282,0) x[21] = 0
2203.71/285.77	c (282,0) x[22] = 46
2203.71/285.77	c (282,0) x[23] = 22
2203.71/285.77	c (282,0) x[24] = 27
2203.71/285.77	c (282,0) x[25] = 72
2203.71/285.77	c (282,0) x[26] = 0
2203.71/285.77	c (282,0) x[27] = 52
2203.71/285.77	c (282,0) x[28] = 69
2203.71/285.77	c (282,0) x[29] = 0
2203.71/285.77	c (282,0) y[0] = 62
2203.71/285.77	c (282,0) y[1] = 71
2203.71/285.77	c (282,0) y[2] = 84
2203.71/285.77	c (282,0) y[3] = 24
2203.71/285.77	c (282,0) y[4] = 86
2203.71/285.77	c (282,0) y[5] = 91
2203.71/285.77	c (282,0) y[6] = 29
2203.71/285.77	c (282,0) y[7] = 75
2203.71/285.77	c (282,0) y[8] = 74
2203.71/285.77	c (282,0) y[9] = 41
2203.71/285.77	c (282,0) y[10] = 87
2203.71/285.77	c (282,0) y[11] = 40
2203.71/285.77	c (282,0) y[12] = 23
2203.71/285.77	c (282,0) y[13] = 84
2203.71/285.77	c (282,0) y[14] = 83
2203.71/285.77	c (282,0) y[15] = 24
2203.71/285.77	c (282,0) y[16] = 24
2203.71/285.77	c (282,0) y[17] = 56
2203.71/285.77	c (282,0) y[18] = 22
2203.71/285.77	c (282,0) y[19] = 36
2203.71/285.77	c (282,0) y[20] = 52
2203.71/285.77	c (282,0) y[21] = 0
2203.71/285.77	c (282,0) y[22] = 0
2203.71/285.77	c (282,0) y[23] = 0
2203.71/285.77	c (282,0) y[24] = 73
2203.71/285.77	c (282,0) y[25] = 30
2203.71/285.77	c (282,0) y[26] = 71
2203.71/285.77	c (282,0) y[27] = 56
2203.71/285.77	c (282,0) y[28] = 0
2203.71/285.77	c (282,0) y[29] = 41
2203.71/285.77	s SATISFIABLE
2203.71/285.78	v <instantiation>
2203.71/285.78	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29]</list>
2203.71/285.78	v     <values>51 28 60 65 77 77 65 90 81 30 52 40 52 63 83 36 19 80 0 52 30 0 46 22 27 72 0 52 69 0 62 71 84 24 86 91 29 75 74 41 87 40 23 84 83 24 24 56 22 36 52 0 0 0 73 30 71 56 0 41</values>
2203.71/285.78	v </instantiation>
2203.71/285.78	c (282,0) Show results End
2203.71/285.78	c (282,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2203.71/285.78	c (282,0) 282,282,STOP-AFTER(ALL)
2203.71/285.78	c END-Prog: Sat Sep 14 10:33:59 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 (11887 MiB free)
  memory of node 1: 16384 MiB (15540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392531-1568449792/watcher-4392531-1568449792 -o /tmp/evaluation-result-4392531-1568449792/solver-4392531-1568449792 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568449753-10249 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392531-1568449792.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
Starting watchdog thread
solver pid=10265, runsolver pid=10262
Current StackSize limit: 8192 KiB


[startup+0.100165 s]*
/proc/loadavg: 8.20 8.11 7.75 2/211 10287
/proc/meminfo: memFree=27992512/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421244057 115843072 348 33554432000 4194304 5098028 140736208448448 140736208445704 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 348 296 221 0 87 0
[pid=10268] ppid=10265 vsize=27314120 memory=107172 CPUtime=0.1 cores=0-7
/proc/10268/stat : 10268 (java) S 10265 10265 10222 0 -1 1077944320 6378 0 0 0 8 2 0 0 20 0 20 0 421244057 27969658880 26793 33554432000 4194304 4196468 140735452420736 140735452403280 140399842684663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
/proc/10268/statm: 6828530 26793 2767 1 0 6790935 0
[pid=10268/tid=10269] ppid=10265 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/10268/task/10269/stat : 10269 (java) R 10265 10265 10222 0 -1 4202560 4511 0 0 0 7 2 0 0 20 0 20 0 421244058 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399814507712 140399828367189 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10270] ppid=10265 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10268/task/10270/stat : 10270 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399846926992 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10271] ppid=10265 vsize=27314120 memory=140241004353152 CPUtime=0 cores=0-7
/proc/10268/task/10271/stat : 10271 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399665015312 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10272] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10272/stat : 10272 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399663962512 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10273] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10273/stat : 10273 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399262726416 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10274] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10274/stat : 10274 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399261674640 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10275] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10275/stat : 10275 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399260621840 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10276] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10276/stat : 10276 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399259569040 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10277] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10277/stat : 10277 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 26858 33554432000 4194304 4196468 140735452420736 140399258516240 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10278] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10278/stat : 10278 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244061 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398095772016 140399842695810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10279] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10279/stat : 10279 (java) S 10265 10265 10222 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 26858 33554432000 4194304 4196468 140735452420736 140397716169760 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10280] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10280/stat : 10280 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 26858 33554432000 4194304 4196468 140735452420736 140397447734128 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10281] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10281/stat : 10281 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140397073225552 140399842703259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10282] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10282/stat : 10282 (java) S 10265 10265 10222 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398094719856 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10283] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10283/stat : 10283 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398093667056 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10284] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10284/stat : 10284 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398092614256 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10285] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10285/stat : 10285 (java) R 10265 10265 10222 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398091561456 140399822023985 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10286] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10286/stat : 10286 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140396575320672 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10287] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10287/stat : 10287 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 26858 33554432000 4194304 4196468 140735452420736 140398090508848 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108564 KiB

[startup+0.21051 s]*
/proc/loadavg: 8.20 8.11 7.75 5/211 10287
/proc/meminfo: memFree=27971004/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421244057 115843072 348 33554432000 4194304 5098028 140736208448448 140736208445704 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 348 296 221 0 87 0
[pid=10268] ppid=10265 vsize=27314120 memory=126788 CPUtime=0.24 cores=0-7
/proc/10268/stat : 10268 (java) S 10265 10265 10222 0 -1 1077944320 12038 0 0 0 20 4 0 0 20 0 20 0 421244057 27969658880 31697 33554432000 4194304 4196468 140735452420736 140735452403280 140399842684663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
/proc/10268/statm: 6828530 31697 2964 1 0 6790935 0
[pid=10268/tid=10269] ppid=10265 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10268/task/10269/stat : 10269 (java) R 10265 10265 10222 0 -1 4202560 9751 0 0 0 16 3 0 0 20 0 20 0 421244058 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399814468224 140399822959815 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10270] ppid=10265 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/10268/task/10270/stat : 10270 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399846926992 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10271] ppid=10265 vsize=27314120 memory=288370617156064896 CPUtime=0 cores=0-7
/proc/10268/task/10271/stat : 10271 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399665015312 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10272] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10272/stat : 10272 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399663962512 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10273] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10273/stat : 10273 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399262726416 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10274] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10274/stat : 10274 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399261674640 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10275] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10275/stat : 10275 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399260621840 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10276] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10276/stat : 10276 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399259569040 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10277] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10277/stat : 10277 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 31697 33554432000 4194304 4196468 140735452420736 140399258516240 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10278] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10278/stat : 10278 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244061 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398095772016 140399842695810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10279] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10279/stat : 10279 (java) S 10265 10265 10222 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 31697 33554432000 4194304 4196468 140735452420736 140397716169760 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10280] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10280/stat : 10280 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 31697 33554432000 4194304 4196468 140735452420736 140397447734128 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10281] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10281/stat : 10281 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140397073225552 140399842703259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10282] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10282/stat : 10282 (java) S 10265 10265 10222 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398094719856 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10283] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10283/stat : 10283 (java) S 10265 10265 10222 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398093667056 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10284] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10284/stat : 10284 (java) S 10265 10265 10222 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398092614256 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10285] ppid=10265 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10268/task/10285/stat : 10285 (java) S 10265 10265 10222 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398091561456 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10286] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10286/stat : 10286 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140396575320672 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10287] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10287/stat : 10287 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 31697 33554432000 4194304 4196468 140735452420736 140398090508848 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128180 KiB

[startup+0.310131 s]*
/proc/loadavg: 8.20 8.11 7.75 2/211 10287
/proc/meminfo: memFree=27968296/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421244057 115843072 348 33554432000 4194304 5098028 140736208448448 140736208445704 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 348 296 221 0 87 0
[pid=10268] ppid=10265 vsize=27314120 memory=130144 CPUtime=0.42 cores=0-7
/proc/10268/stat : 10268 (java) S 10265 10265 10222 0 -1 1077944320 12404 0 0 0 37 5 0 0 20 0 20 0 421244057 27969658880 32536 33554432000 4194304 4196468 140735452420736 140735452403280 140399842684663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
/proc/10268/statm: 6828530 32536 3008 1 0 6790935 0
[pid=10268/tid=10269] ppid=10265 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/10268/task/10269/stat : 10269 (java) R 10265 10265 10222 0 -1 4202560 9941 0 0 0 26 4 0 0 20 0 20 0 421244058 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399814513456 140399824248240 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10270] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10270/stat : 10270 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399846926992 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10271] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10271/stat : 10271 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399665015312 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10272] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10272/stat : 10272 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399663962512 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10273] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10273/stat : 10273 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399262726416 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10274] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10274/stat : 10274 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399261674640 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10275] ppid=10265 vsize=27314120 memory=140240882854575 CPUtime=0 cores=0-7
/proc/10268/task/10275/stat : 10275 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399260621840 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10276] ppid=10265 vsize=27314120 memory=140240882856880 CPUtime=0 cores=0-7
/proc/10268/task/10276/stat : 10276 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399259569040 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10277] ppid=10265 vsize=27314120 memory=140240882859184 CPUtime=0 cores=0-7
/proc/10268/task/10277/stat : 10277 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27969658880 32536 33554432000 4194304 4196468 140735452420736 140399258516240 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10278] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10278/stat : 10278 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244061 27969658880 32536 33554432000 4194304 4196468 140735452420736 140398095772016 140399842695810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10279] ppid=10265 vsize=27314120 memory=280481765732240 CPUtime=0 cores=0-7
/proc/10268/task/10279/stat : 10279 (java) S 10265 10265 10222 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 32536 33554432000 4194304 4196468 140735452420736 140397716169760 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10280] ppid=10265 vsize=27314120 memory=280481765729936 CPUtime=0 cores=0-7
/proc/10268/task/10280/stat : 10280 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244062 27969658880 32602 33554432000 4194304 4196468 140735452420736 140397447734128 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10281] ppid=10265 vsize=27314120 memory=280481765736848 CPUtime=0 cores=0-7
/proc/10268/task/10281/stat : 10281 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140397073225552 140399842703259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10282] ppid=10265 vsize=27314120 memory=280481765678128 CPUtime=0.02 cores=0-7
/proc/10268/task/10282/stat : 10282 (java) R 10265 10265 10222 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140398094719856 140399820012672 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10283] ppid=10265 vsize=27314120 memory=280481765750672 CPUtime=0 cores=0-7
/proc/10268/task/10283/stat : 10283 (java) S 10265 10265 10222 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140398093667056 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10284] ppid=10265 vsize=27314120 memory=280481765757584 CPUtime=0.01 cores=0-7
/proc/10268/task/10284/stat : 10284 (java) S 10265 10265 10222 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140398092614256 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10285] ppid=10265 vsize=27314120 memory=280481765755280 CPUtime=0.07 cores=0-7
/proc/10268/task/10285/stat : 10285 (java) S 10265 10265 10222 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140398091561456 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10286] ppid=10265 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10286/stat : 10286 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140396575320672 140399842694869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10287] ppid=10265 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10268/task/10287/stat : 10287 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244065 27969658880 32602 33554432000 4194304 4196468 140735452420736 140398090508848 140399842695810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131536 KiB

[startup+0.700955 s]
/proc/loadavg: 8.20 8.11 7.75 2/211 10287
/proc/meminfo: memFree=27946468/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 421244057 115843072 348 33554432000 4194304 5098028 140736208448448 140736208445704 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 348 296 221 0 87 0
[pid=10268] ppid=10265 vsize=27320392 memory=167072 CPUtime=1.01 cores=0-7
/proc/10268/stat : 10268 (java) S 10265 10265 10222 0 -1 1077944320 19998 0 0 0 93 8 0 0 20 0 20 0 421244057 27976081408 41768 33554432000 4194304 4196468 140735452420736 140735452403280 140399842684663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
/proc/10268/statm: 6830098 41768 3181 1 0 6791447 0
[pid=10268/tid=10269] ppid=10265 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/10268/task/10269/stat : 10269 (java) R 10265 10265 10222 0 -1 4202560 16891 0 0 0 61 6 0 0 20 0 20 0 421244058 27976081408 41768 33554432000 4194304 4196468 140735452420736 140399814514480 140399842706589 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10270] ppid=10265 vsize=27320392 memory=140240883065712 CPUtime=0 cores=0-7
/proc/10268/task/10270/stat : 10270 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421244060 27976081408 41768 33554432000 4194304 4196468 140735452420736 140399846926992 140399842694869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10271] ppid=10265 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10268/task/10271/stat : 10271 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421244060 27976081408 41768 33554432000 4194304 4196468 140735452420736 140399665015312 140399842694869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0
[pid=10268/tid=10272] ppid=10265 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/10268/task/10272/stat : 10272 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421244060 27976081408 41768 33554432000 4194304 4196468 140735452420736 140399663962512 140399842694869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22646784 140735452426987 140735452427414 140735452427414 140735452430287 0

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

[pid=10288/tid=10304] ppid=10265 vsize=8414124 memory=6944656592387989600 CPUtime=0.06 cores=0-7
/proc/10288/task/10304/stat : 10304 (java) S 10265 10265 10222 0 -1 1077944384 382 0 0 0 6 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718260156528 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10305] ppid=10265 vsize=8414124 memory=6944656592387989600 CPUtime=0.21 cores=0-7
/proc/10288/task/10305/stat : 10305 (java) S 10265 10265 10222 0 -1 1077944384 728 0 0 0 21 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718259103728 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10306] ppid=10265 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/10288/task/10306/stat : 10306 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716829637728 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10307] ppid=10265 vsize=8414124 memory=41108 CPUtime=0.17 cores=0-7
/proc/10288/task/10307/stat : 10307 (java) S 10265 10265 10222 0 -1 1077944384 21 0 0 0 11 6 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718258052144 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10309] ppid=10265 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10288/task/10309/stat : 10309 (java) S 10265 10265 10222 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718250018368 139719304195865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10311] ppid=10265 vsize=8414124 memory=2020 CPUtime=0.01 cores=0-7
/proc/10288/task/10311/stat : 10311 (java) S 10265 10265 10222 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716158537360 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10312] ppid=10265 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/10288/task/10312/stat : 10312 (java) S 10265 10265 10222 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716426972688 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10313] ppid=10265 vsize=8414124 memory=9536 CPUtime=0 cores=0-7
/proc/10288/task/10313/stat : 10313 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244432 8616062976 30190 33554432000 4194304 4196468 140726641871744 139715890109488 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
Current children cumulated CPU time: 2190.46 s
Current children cumulated vsize: 9616964 KiB
Current children cumulated memory: 948084 KiB

[startup+284.802 s]
/proc/loadavg: 7.35 7.63 7.65 8/225 10344
/proc/meminfo: memFree=27147836/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1472 CPUtime=7.08 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 582 28570 0 0 0 0 687 21 20 0 1 0 421244057 115843072 368 33554432000 4194304 5098028 140736208448448 140736208445192 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 368 311 221 0 87 0
[pid=10288] ppid=10265 vsize=8414124 memory=120760 CPUtime=1.35 cores=0-7
/proc/10288/stat : 10288 (java) S 10265 10265 10222 0 -1 1077944320 20032 0 0 0 127 8 0 0 20 0 24 0 421244356 8616062976 30190 33554432000 4194304 4196468 140726641871744 140726641854288 139719304171255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
/proc/10288/statm: 2103531 30190 3210 1 0 2064875 0
[pid=10308] ppid=10288 vsize=991072 memory=755432 CPUtime=2193.98 cores=0-7
/proc/10308/stat : 10308 (manyglucose-4.1) S 10288 10265 10222 0 -1 1077944320 1304678 0 0 0 219098 300 0 0 20 0 3 0 421244430 1014857728 188858 33554432000 4194304 4454172 140734803355488 140734803353872 139688720883447 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 21090304 140734803362665 140734803362864 140734803362864 140734803365818 0
/proc/10308/statm: 247768 188858 424 64 0 243436 0
[pid=10308/tid=10314] ppid=10288 vsize=991072 memory=908 CPUtime=277.1 cores=0-7
/proc/10308/task/10314/stat : 10314 (manyglucose-4.1) R 10288 10265 10222 0 -1 4202560 157811 0 0 0 27678 32 0 0 20 0 3 0 421244450 1014857728 188858 33554432000 4194304 4454172 140734803355488 139688699534440 4351743 0 4 0 8388610 0 0 0 -1 5 0 0 1 0 0 6552832 6554400 21090304 140734803362665 140734803362864 140734803362864 140734803365818 0
[pid=10308/tid=10315] ppid=10288 vsize=991072 memory=1440 CPUtime=280.47 cores=0-7
/proc/10308/task/10315/stat : 10315 (manyglucose-4.1) R 10288 10265 10222 0 -1 4202560 172692 0 0 0 28008 39 0 0 20 0 3 0 421244450 1014857728 188858 33554432000 4194304 4454172 140734803355488 139688691141768 4351342 0 4 0 8388610 0 0 0 -1 4 0 0 1 0 0 6552832 6554400 21090304 140734803362665 140734803362864 140734803362864 140734803365818 0
[pid=10288/tid=10289] ppid=10265 vsize=8414124 memory=776 CPUtime=0.76 cores=0-7
/proc/10288/task/10289/stat : 10289 (java) S 10265 10265 10222 0 -1 1077944384 16786 0 0 0 72 4 0 0 20 0 24 0 421244357 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719276011424 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10290] ppid=10265 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/10288/task/10290/stat : 10290 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719308414096 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10291] ppid=10265 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/10288/task/10291/stat : 10291 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719114177552 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10292] ppid=10265 vsize=8414124 memory=21624 CPUtime=0 cores=0-7
/proc/10288/task/10292/stat : 10292 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719113124752 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10293] ppid=10265 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/10288/task/10293/stat : 10293 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718786976528 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10294] ppid=10265 vsize=8414124 memory=-8598893878436983186 CPUtime=0 cores=0-7
/proc/10288/task/10294/stat : 10294 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718785923728 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10295] ppid=10265 vsize=8414124 memory=120760 CPUtime=0 cores=0-7
/proc/10288/task/10295/stat : 10295 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718784870928 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10296] ppid=10265 vsize=8414124 memory=858788 CPUtime=0 cores=0-7
/proc/10288/task/10296/stat : 10296 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718783818128 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10297] ppid=10265 vsize=8414124 memory=120760 CPUtime=0 cores=0-7
/proc/10288/task/10297/stat : 10297 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718782765328 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10298] ppid=10265 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/10288/task/10298/stat : 10298 (java) S 10265 10265 10222 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421244359 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718263315312 139719304182402 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10299] ppid=10265 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/10288/task/10299/stat : 10299 (java) S 10265 10265 10222 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421244360 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717970486816 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10300] ppid=10265 vsize=8414124 memory=120760 CPUtime=0 cores=0-7
/proc/10288/task/10300/stat : 10300 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244360 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717702051184 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10301] ppid=10265 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10288/task/10301/stat : 10301 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717327542608 139719304189851 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10302] ppid=10265 vsize=8414124 memory=7 CPUtime=0.03 cores=0-7
/proc/10288/task/10302/stat : 10302 (java) S 10265 10265 10222 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718262262128 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10303] ppid=10265 vsize=8414124 memory=6 CPUtime=0.07 cores=0-7
/proc/10288/task/10303/stat : 10303 (java) S 10265 10265 10222 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718261209328 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10304] ppid=10265 vsize=8414124 memory=20 CPUtime=0.06 cores=0-7
/proc/10288/task/10304/stat : 10304 (java) S 10265 10265 10222 0 -1 1077944384 382 0 0 0 6 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718260156528 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10305] ppid=10265 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/10288/task/10305/stat : 10305 (java) S 10265 10265 10222 0 -1 1077944384 728 0 0 0 21 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718259103728 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10306] ppid=10265 vsize=8414124 memory=13 CPUtime=0 cores=0-7
/proc/10288/task/10306/stat : 10306 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716829637728 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10307] ppid=10265 vsize=8414124 memory=120760 CPUtime=0.17 cores=0-7
/proc/10288/task/10307/stat : 10307 (java) S 10265 10265 10222 0 -1 1077944384 21 0 0 0 11 6 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718258052144 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10309] ppid=10265 vsize=8414124 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/10288/task/10309/stat : 10309 (java) S 10265 10265 10222 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718250018368 139719304195865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10311] ppid=10265 vsize=8414124 memory=120760 CPUtime=0.01 cores=0-7
/proc/10288/task/10311/stat : 10311 (java) S 10265 10265 10222 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716158537360 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10312] ppid=10265 vsize=8414124 memory=728764 CPUtime=0 cores=0-7
/proc/10288/task/10312/stat : 10312 (java) S 10265 10265 10222 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716426972688 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10313] ppid=10265 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10288/task/10313/stat : 10313 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244432 8616062976 30190 33554432000 4194304 4196468 140726641871744 139715890109488 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 9518324 KiB
Current children cumulated memory: 877664 KiB

[startup+285.601 s]
/proc/loadavg: 7.35 7.63 7.65 3/219 10344
/proc/meminfo: memFree=27218024/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1472 CPUtime=7.08 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 582 28570 0 0 0 0 687 21 20 0 1 0 421244057 115843072 368 33554432000 4194304 5098028 140736208448448 140736208445192 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 368 311 221 0 87 0
[pid=10288] ppid=10265 vsize=8414124 memory=120760 CPUtime=1.35 cores=0-7
/proc/10288/stat : 10288 (java) S 10265 10265 10222 0 -1 1077944320 20032 0 0 0 127 8 0 0 20 0 24 0 421244356 8616062976 30190 33554432000 4194304 4196468 140726641871744 140726641854288 139719304171255 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
/proc/10288/statm: 2103531 30190 3210 1 0 2064875 0
[pid=10308] ppid=10288 vsize=991072 memory=755432 CPUtime=2195.03 cores=0-7
/proc/10308/stat : 10308 (manyglucose-4.1) S 10288 10265 10222 0 -1 1077944320 1304689 0 0 0 219203 300 0 0 20 0 2 0 421244430 1014857728 188858 33554432000 4194304 4454172 140734803355488 140734803353872 139688720883447 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 21090304 140734803362665 140734803362864 140734803362864 140734803365818 0
/proc/10308/statm: 247768 188858 424 64 0 243436 0
[pid=10308/tid=10315] ppid=10288 vsize=991072 memory=4128 CPUtime=281.27 cores=0-7
/proc/10308/task/10315/stat : 10315 (manyglucose-4.1) R 10288 10265 10222 0 -1 4202560 172699 0 0 0 28088 39 0 0 20 0 2 0 421244450 1014857728 188858 33554432000 4194304 4454172 140734803355488 139688691141768 4351743 0 4 0 8388610 0 0 0 -1 4 0 0 1 0 0 6552832 6554400 21090304 140734803362665 140734803362864 140734803362864 140734803365818 0
[pid=10288/tid=10289] ppid=10265 vsize=8414124 memory=2832 CPUtime=0.76 cores=0-7
/proc/10288/task/10289/stat : 10289 (java) S 10265 10265 10222 0 -1 1077944384 16786 0 0 0 72 4 0 0 20 0 24 0 421244357 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719276011424 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10290] ppid=10265 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/10288/task/10290/stat : 10290 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719308414096 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10291] ppid=10265 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/10288/task/10291/stat : 10291 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719114177552 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10292] ppid=10265 vsize=8414124 memory=9536 CPUtime=0 cores=0-7
/proc/10288/task/10292/stat : 10292 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139719113124752 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10293] ppid=10265 vsize=8414124 memory=-8598893878436983186 CPUtime=0 cores=0-7
/proc/10288/task/10293/stat : 10293 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718786976528 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10294] ppid=10265 vsize=8414124 memory=120760 CPUtime=0 cores=0-7
/proc/10288/task/10294/stat : 10294 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718785923728 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10295] ppid=10265 vsize=8414124 memory=790532 CPUtime=0 cores=0-7
/proc/10288/task/10295/stat : 10295 (java) S 10265 10265 10222 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718784870928 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10296] ppid=10265 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10288/task/10296/stat : 10296 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718783818128 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10297] ppid=10265 vsize=8414124 memory=-2317720213663851332 CPUtime=0 cores=0-7
/proc/10288/task/10297/stat : 10297 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244358 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718782765328 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10298] ppid=10265 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/10288/task/10298/stat : 10298 (java) S 10265 10265 10222 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 421244359 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718263315312 139719304182402 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10299] ppid=10265 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10288/task/10299/stat : 10299 (java) S 10265 10265 10222 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421244360 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717970486816 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10300] ppid=10265 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/10288/task/10300/stat : 10300 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244360 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717702051184 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10301] ppid=10265 vsize=8414124 memory=6008 CPUtime=0 cores=0-7
/proc/10288/task/10301/stat : 10301 (java) S 10265 10265 10222 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139717327542608 139719304189851 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10302] ppid=10265 vsize=8414124 memory=1544 CPUtime=0.03 cores=0-7
/proc/10288/task/10302/stat : 10302 (java) S 10265 10265 10222 0 -1 1077944384 146 0 0 0 3 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718262262128 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10303] ppid=10265 vsize=8414124 memory=776 CPUtime=0.07 cores=0-7
/proc/10288/task/10303/stat : 10303 (java) S 10265 10265 10222 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718261209328 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10304] ppid=10265 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7
/proc/10288/task/10304/stat : 10304 (java) S 10265 10265 10222 0 -1 1077944384 382 0 0 0 6 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718260156528 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10305] ppid=10265 vsize=8414124 memory=14012 CPUtime=0.21 cores=0-7
/proc/10288/task/10305/stat : 10305 (java) S 10265 10265 10222 0 -1 1077944384 728 0 0 0 21 0 0 0 20 0 24 0 421244362 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718259103728 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10306] ppid=10265 vsize=8414124 memory=21624 CPUtime=0 cores=0-7
/proc/10288/task/10306/stat : 10306 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716829637728 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10307] ppid=10265 vsize=8414124 memory=12024 CPUtime=0.17 cores=0-7
/proc/10288/task/10307/stat : 10307 (java) S 10265 10265 10222 0 -1 1077944384 21 0 0 0 11 6 0 0 20 0 24 0 421244363 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718258052144 139719304182402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10309] ppid=10265 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/10288/task/10309/stat : 10309 (java) S 10265 10265 10222 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139718250018368 139719304195865 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10311] ppid=10265 vsize=8414124 memory=496 CPUtime=0.01 cores=0-7
/proc/10288/task/10311/stat : 10311 (java) S 10265 10265 10222 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716158537360 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10312] ppid=10265 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/10288/task/10312/stat : 10312 (java) S 10265 10265 10222 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 421244430 8616062976 30190 33554432000 4194304 4196468 140726641871744 139716426972688 139719304193181 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
[pid=10288/tid=10313] ppid=10265 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10288/task/10313/stat : 10313 (java) S 10265 10265 10222 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421244432 8616062976 30190 33554432000 4194304 4196468 140726641871744 139715890109488 139719304181461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15183872 140726641873911 140726641874070 140726641874070 140726641876943 0
Current children cumulated CPU time: 2203.46 s
Current children cumulated vsize: 9518324 KiB
Current children cumulated memory: 877664 KiB

[startup+285.801 s]
/proc/loadavg: 7.35 7.63 7.65 3/219 10344
/proc/meminfo: memFree=27218024/32770624 swapFree=66999940/67108860
[pid=10265] ppid=10262 vsize=113128 memory=1472 CPUtime=7.08 cores=0-7
/proc/10265/stat : 10265 (scop.sh) S 10262 10265 10222 0 -1 4202496 582 28570 0 0 0 0 687 21 20 0 1 0 421244057 115843072 368 33554432000 4194304 5098028 140736208448448 140736208445192 140281101681276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16154624 140736208454437 140736208454764 140736208454764 140736208457677 0
/proc/10265/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 7.08 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB

Child status: 0
Real time (s): 285.802
CPU time (s): 2203.92
CPU user time (s): 2200.55
CPU system time (s): 3.36708
CPU usage (%): 771.136
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1119612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2200.55
system time used= 3.36708
maximum resident set size= 997380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1357122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23494
involuntary context switches= 22522


# summary of solver processes directly reported to runsolver:
#   pid: 10265
#   total CPU time (s): 2203.92
#   total CPU user time (s): 2200.55
#   total CPU system time (s): 3.36708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.72873 second user time and 3.87913 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 10:29:13
IDJOB=4392531
IDBENCH=141718
IDSOLVER=2838
FILE ID=node123/4392531-1568449792
RUNJOBID= node123-1568449753-10249
PBS_JOBID= 21702364
Free space on /tmp= 59184 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-30-098.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392531-1568449792/watcher-4392531-1568449792 -o /tmp/evaluation-result-4392531-1568449792/solver-4392531-1568449792 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568449753-10249 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392531-1568449792.xml

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

MD5SUM BENCH= fb27cd1d2814d0f1760e6f4b9d041fef
RANDOM SEED=1154553054

node123.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.49
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.49
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.49
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.49
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:        28087368 kB
MemAvailable:   31873968 kB
Buffers:          156276 kB
Cached:          3896488 kB
SwapCached:         7372 kB
Active:          1244680 kB
Inactive:        2820088 kB
Active(anon):       3984 kB
Inactive(anon):    49808 kB
Active(file):    1240696 kB
Inactive(file):  2770280 kB
Unevictable:      108148 kB
Mlocked:          108148 kB
SwapTotal:      67108860 kB
SwapFree:       66999940 kB
Dirty:             20716 kB
Writeback:             0 kB
AnonPages:        116192 kB
Mapped:            44700 kB
Shmem:             32692 kB
Slab:             212196 kB
SReclaimable:     182920 kB
SUnreclaim:        29276 kB
KernelStack:        3312 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59164 MiB
End job on node123 at 2019-09-14 10:33:59