Trace number 4307145

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
scop order+glucose-syrup (2018-07-31)SAT 982.224 132.171

General information on the benchmark

NameEternity/
Eternity-07-07_c18.xml
MD5SUMd2370bf20b8fe6e2b2b2b678a676e404
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 benchmark97.7171
Satisfiable
(Un)Satisfiability was proved
Number of variables161
Number of constraints78
Number of domains2
Minimum domain size10
Maximum domain size49
Distribution of domain sizes[{"size":10,"count":112},{"size":49,"count":49}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":6},{"degree":2,"count":154},{"degree":8,"count":1}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":28},{"arity":5,"count":49},{"arity":49,"count":1}]
Number of extensional constraints49
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":28},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-10760-serial-file.bin HOME/instance-4307145-1534210511.xml
0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Tue Aug 14 03:35:12 CEST 2018
0.65/0.56	c PID: 10763
0.65/0.56	c IP: 172.20.3.148
0.65/0.56	c HOST: node148.alineos.net
0.65/0.56	c (0,0) Parsing Begin
2.20/1.03	c (0,0) Parsing End
2.20/1.04	c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.20/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.20/1.04	c (0,0) Constraint Name Generate Begin
2.20/1.05	c (0,0) Ctr:HOME/instance-4307145-1534210511.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.20/1.05	c (0,0) Constraint Name Generate End
2.20/1.05	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.20/1.05	c (0,0) CSP to CSPinCNF Begin
7.77/2.53	c (1,1) translated 8 (10%) constraints
10.50/3.32	c (2,2) translated 16 (20%) constraints
12.33/4.03	c (3,3) translated 24 (30%) constraints
13.35/4.71	c (4,4) translated 32 (40%) constraints
13.86/5.29	c (4,4) translated 39 (50%) constraints
14.59/5.96	c (5,5) translated 47 (60%) constraints
15.00/6.30	c (5,5) translated 55 (70%) constraints
15.00/6.30	c (5,5) translated 63 (80%) constraints
15.00/6.31	c (5,5) translated 71 (90%) constraints
15.00/6.31	c (5,5) translated 78 (100%) constraints
15.90/6.73	c (6,6) STATISTICS1:HOME/instance-4307145-1534210511.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13538,83477,49,49,50,2,49:1176,49:7154;10:87864;2:144893;1:14672,50:49;49:2;5:980;4:32340;3:17640;2:32438;1:28,2:1176;1:252259;0:49,
15.90/6.73	c (6,6) ==========================================
15.90/6.73	c (6,6) Order
15.90/6.73	c (6,6) ==========================================
16.60/7.00	c (6,6) translated 8348 (10%) constraints
17.15/7.14	c (6,6) translated 16696 (20%) constraints
17.30/7.27	c (6,6) translated 25044 (30%) constraints
17.40/7.40	c (6,6) translated 33391 (40%) constraints
17.63/7.52	c (6,6) translated 41739 (50%) constraints
17.73/7.65	c (7,7) translated 50087 (60%) constraints
17.82/7.78	c (7,7) translated 58434 (70%) constraints
18.03/7.91	c (7,7) translated 66782 (80%) constraints
18.16/8.04	c (7,7) translated 75130 (90%) constraints
18.29/8.17	c (7,7) translated 83477 (100%) constraints
18.29/8.17	c (7,7) CSP to CSPinCNF End
18.29/8.18	c (7,7) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
18.29/8.18	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.29/8.18	c (7,7) CSPinCNF Propagation Begin
20.83/9.85	c (9,9) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.83/9.85	c (9,9) CSPinCNF Propagation End
20.83/9.86	c (9,9) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.83/9.86	c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.83/9.86	c (9,9) Simplify CSPinCNF Begin
21.42/10.04	c (9,9) Simplify CSPinCNF End
21.42/10.04	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
21.42/10.04	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
21.42/10.04	c (9,9) Calculate Precise Domain Begin
21.42/10.04	c (9,9) 0 values are removed by re-calculation
21.42/10.04	c (9,9) Calculate Precise Domain End
21.42/10.05	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
21.42/10.05	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
21.42/10.05	c (9,9) CSPinCNF to SatSolver Begin
22.54/10.42	c (9,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
22.54/10.46	c (9,9) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.54/10.50	c (9,9) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.83/10.53	c (9,9) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.83/10.56	c (10,10) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.93/10.60	c (10,10) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.93/10.63	c (10,10) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.93/10.66	c (10,10) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
23.02/10.70	c (10,10) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
23.02/10.73	c (10,10) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
23.02/10.73	c (10,10) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
23.02/10.73	c (10,10) CSPinCNF to SatSolver End
23.02/10.73	c (10,10) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.46/10.99	c (10,10) STATISTICS2:HOME/instance-4307145-1534210511.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,15890,59100,49,49,49,2,49:600;24:1380;4:372,49:4850;24:2860;10:67501;4:412;2:100851,49:26;25:1;24:20;5:565;4:20287;3:11968;2:26233,2:2352;1:171770,
23.46/10.99	c (10,10) 14184 bool, 123051 clause
23.46/10.99	c (10,10) Export Begin
23.57/11.08	c (10,10) Export to HOME/scop-10760-serial-file.bin
23.57/11.08	c (10,10) Export End
23.57/11.09	c (10,10) Export File Size: 0.03 MB
23.57/11.09	c (10,10) 0,0,7,9,9,9,10,STOP-AFTER(DIMACS)
23.57/11.09	c END-Prog: Tue Aug 14 03:35:22 CEST 2018
0.00/11.11	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-10760-serial-file.bin
23.76/11.61	c (0,0) Read Serial File Begin
23.76/11.61	c (0,0) HOME/scop-10760-serial-file.bin
23.76/11.79	c (0,0) Read Serial File End
23.76/11.80	
23.76/11.80	scop order+glucose-syrup (2018-07-31)
23.76/11.80	(Solving Process)
23.76/11.80	
23.76/11.83	c BEGIN-Prog: Tue Aug 14 03:35:23 CEST 2018
23.76/11.83	c PID: 10783
23.76/11.83	c IP: 172.20.3.148
23.76/11.83	c HOST: node148.alineos.net
23.76/11.83	c (0,0) SatSolver.solve Begin
23.76/11.83	c (0,0) 0 bool, 0 clause
23.76/11.83	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307145-1534210511.xml-scop-10763.cnf
90.63/20.35	c (8,0) c
90.63/20.35	c (8,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
90.63/20.35	c (8,0) c
90.63/20.35	c (8,0) c WARNING: for repeatability, setting FPU to use double precision
90.63/20.35	c (8,0) c 8 solvers engines and 1 companion as a blackboard created.
90.63/20.35	c (8,0) c ========================================[ Problem Statistics ]===========================================
90.63/20.35	c (8,0) c |                                                                                                       |
90.63/20.35	c (8,0) c |  Number of variables:         14184                                                                   |
90.63/20.35	c (8,0) c |  Number of clauses:          123051                                                                   |
90.63/20.35	c (8,0) c |  Parse time:                   0.04 s                                                                 |
90.63/20.36	c (8,0) c |                                                                                                       |
90.63/20.36	c (8,0) c |  Eliminated clauses:           0.19 Mb                                                                |
90.63/20.36	c (8,0) c |  Simplification time:          0.12 s                                                                 |
90.63/20.36	c (8,0) c |                                                                                                       |
90.63/20.36	c (8,0) c |  Generating clones                                                                                    |
90.63/20.36	c (8,0) c |  all clones generated. Memory =  97.28Mb.                                                             |
90.63/20.36	c (8,0) c ========================================================================================================|
90.63/20.36	c (8,0) c
90.63/20.36	c (8,0) c |-------------------------------------------------------------------------------------------------------|
90.63/20.36	c (8,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
90.63/20.36	c (8,0) c |-------------------------------------------------------------------------------------------------------|
90.63/20.36	c (8,0) c |  0 |    186 |      98386 |      32126 |    47189 |    15899 |     6664 |    44524 |     4415 | 26.495 |
90.63/20.36	c (8,0) c |  1 |    237 |     106148 |      31458 |    47007 |    15236 |     6436 |    44910 |     4354 | 25.980 |
90.63/20.36	c (8,0) c |  2 |    210 |     100181 |      31980 |    47943 |    15733 |     6308 |    44936 |     4501 | 26.417 |
90.63/20.36	c (8,0) c |  3 |    186 |     100618 |      32389 |    46897 |    16169 |     6562 |    44316 |     4421 | 26.382 |
90.63/20.36	c (8,0) c |  4 |    209 |     101846 |      30989 |    47525 |    14754 |     6339 |    44991 |     4465 | 25.980 |
90.63/20.36	c (8,0) c |  5 |    194 |      97565 |      31723 |    46997 |    15494 |     6359 |    44943 |     4405 | 25.980 |
90.63/20.36	c (8,0) c |  6 |    207 |     106051 |      32327 |    47574 |    16092 |     6511 |    44758 |     4394 | 26.382 |
90.63/20.36	c (8,0) c |  7 |    204 |     102698 |      31008 |    46684 |    14775 |     6212 |    45142 |     4326 | 26.459 |
90.63/20.36	c (8,0) c 
90.63/20.36	c (8,0) c synthesis      254000 conflicts   101512759 propagations     7474 conflicts/sec  2987016 propagations/sec
90.63/20.36	c (8,0) c Total Memory so far : 671.96Mb
90.63/20.36	c (8,0) c
90.63/20.36	c (8,0) c |-------------------------------------------------------------------------------------------------------|
90.63/20.36	c (8,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
90.63/20.36	c (8,0) c |-------------------------------------------------------------------------------------------------------|
90.63/20.36	c (8,0) c |  0 |    305 |     146294 |      55719 |    48896 |    17179 |    10013 |    69576 |     7198 | 26.981 |
90.63/20.36	c (8,0) c |  1 |    392 |     154793 |      53540 |    48914 |    14992 |    10154 |    69353 |     7115 | 26.473 |
90.63/20.36	c (8,0) c |  2 |    369 |     151181 |      55601 |    49583 |    17051 |    10361 |    69305 |     7294 | 26.904 |
90.63/20.36	c (8,0) c |  3 |    343 |     150224 |      55017 |    48518 |    16490 |     9762 |    69288 |     7284 | 26.678 |
90.63/20.36	c (8,0) c |  4 |    363 |     150550 |      53229 |    49350 |    14679 |     9485 |    69838 |     7327 | 26.474 |
90.63/20.36	c (8,0) c |  5 |    356 |     147173 |      54448 |    48772 |    15906 |    10187 |    69439 |     7158 | 26.473 |
90.63/20.36	c (8,0) c |  6 |    371 |     156045 |      54791 |    49313 |    16241 |    10193 |    69476 |     7171 | 26.868 |
90.63/20.36	c (8,0) c |  7 |    352 |     152639 |      53934 |    48530 |    15402 |     9539 |    69723 |     7216 | 26.756 |
90.63/20.36	c (8,0) c 
186.35/32.35	c (20,0) c synthesis      436279 conflicts   176096800 propagations     6626 conflicts/sec  2674529 propagations/sec
186.35/32.35	c (20,0) c Total Memory so far : 671.96Mb
186.35/32.35	c (20,0) c
186.35/32.35	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.35	c (20,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
186.35/32.35	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.35	c (20,0) c |  0 |    447 |     183565 |      75083 |    49434 |    21526 |    12810 |    89154 |     9384 | 26.988 |
186.35/32.35	c (20,0) c |  1 |    531 |     190715 |      71491 |    49460 |    17926 |    12762 |    89099 |     9252 | 26.481 |
186.35/32.36	c (20,0) c |  2 |    481 |     186918 |      75602 |    50111 |    22027 |    13212 |    88760 |     9484 | 26.911 |
186.35/32.36	c (20,0) c |  3 |    462 |     186426 |      74602 |    48988 |    21053 |    12579 |    89232 |     9478 | 26.875 |
186.35/32.36	c (20,0) c |  4 |    478 |     186364 |      72482 |    49949 |    18914 |    12325 |    89639 |     9369 | 26.481 |
186.35/32.36	c (20,0) c |  5 |    462 |     183873 |      74243 |    49294 |    20679 |    13079 |    88673 |     9246 | 26.481 |
186.35/32.36	c (20,0) c |  6 |    485 |     191562 |      73917 |    49818 |    20350 |    12971 |    88903 |     9288 | 26.875 |
186.35/32.36	c (20,0) c |  7 |    463 |     188329 |      72720 |    49076 |    19178 |    12313 |    89674 |     9326 | 26.953 |
186.35/32.36	c (20,0) c 
186.35/32.36	c (20,0) c synthesis      590140 conflicts   243215974 propagations     6039 conflicts/sec  2488828 propagations/sec
186.35/32.36	c (20,0) c Total Memory so far : 671.96Mb
186.35/32.36	c (20,0) c
186.35/32.36	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.36	c (20,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
186.35/32.36	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.36	c (20,0) c |  0 |    556 |     213927 |      91985 |    49688 |    20816 |    14887 |   104016 |    11051 | 26.988 |
186.35/32.36	c (20,0) c |  1 |    653 |     220724 |      87800 |    49779 |    34236 |    14824 |   103983 |    10956 | 26.481 |
186.35/32.36	c (20,0) c |  2 |    609 |     218179 |      92697 |    50433 |    21519 |    15414 |   103550 |    11174 | 26.911 |
186.35/32.36	c (20,0) c |  3 |    575 |     216204 |      91057 |    49253 |    19887 |    14746 |   104203 |    11275 | 26.875 |
186.35/32.36	c (20,0) c |  4 |    566 |     214647 |      88891 |    50245 |    17717 |    14526 |   104416 |    11134 | 26.481 |
186.35/32.36	c (20,0) c |  5 |    553 |     213540 |      91403 |    49591 |    20235 |    15259 |   103585 |    11029 | 26.481 |
186.35/32.36	c (20,0) c |  6 |    607 |     222483 |      90467 |    50104 |    19290 |    15038 |   103882 |    11114 | 26.875 |
186.35/32.36	c (20,0) c |  7 |    583 |     217375 |      88658 |    49319 |    35116 |    14293 |   104510 |    11216 | 26.953 |
186.35/32.36	c (20,0) c 
186.35/32.36	c (20,0) c synthesis      722959 conflicts   304566503 propagations     5579 conflicts/sec  2350289 propagations/sec
186.35/32.36	c (20,0) c Total Memory so far : 671.96Mb
186.35/32.36	c (20,0) c
186.35/32.36	c (20,0) c Try to adapt solver strategies
186.35/32.36	c (20,0) c 
186.35/32.36	c (20,0) c Nothing extreme in this problem, continue with glucose default strategies.
186.35/32.36	c (20,0) c
186.35/32.36	c (20,0) c
186.35/32.37	c (20,0) c Try to adapt solver strategies
186.35/32.37	c (20,0) c 
186.35/32.37	c (20,0) c Nothing extreme in this problem, continue with glucose default strategies.
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c Try to adapt solver strategies
186.35/32.37	c (20,0) c 
186.35/32.37	c (20,0) c Nothing extreme in this problem, continue with glucose default strategies.
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c Try to adapt solver strategies
186.35/32.37	c (20,0) c 
186.35/32.37	c (20,0) c Nothing extreme in this problem, continue with glucose default strategies.
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c
186.35/32.37	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.37	c (20,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
186.35/32.37	c (20,0) c |-------------------------------------------------------------------------------------------------------|
186.35/32.37	c (20,0) c |  0 |    675 |     242621 |     108204 |    49870 |    37034 |    16806 |   116675 |    12636 | 27.038 |
186.35/32.37	c (20,0) c |  1 |    770 |     248273 |     103341 |    49994 |    32161 |    16575 |   116947 |    12342 | 26.530 |
186.35/32.37	c (20,0) c |  2 |    707 |     244960 |     108476 |    50617 |    37297 |    17194 |   116512 |    12741 | 26.911 |
186.35/32.37	c (20,0) c |  3 |    651 |     241889 |     107036 |    49440 |    35865 |    16563 |   116129 |    12758 | 26.925 |
290.05/45.35	c (33,0) c |  4 |    675 |     243040 |     105420 |    50472 |    34245 |    16417 |   117207 |    12640 | 26.530 |
290.05/45.35	c (33,0) c |  5 |    659 |     241104 |     107833 |    49782 |    36663 |    17143 |   116200 |    12635 | 26.530 |
290.05/45.35	c (33,0) c |  6 |    685 |     248612 |     106370 |    50282 |    35190 |    16934 |   115472 |    12559 | 26.925 |
290.05/45.35	c (33,0) c |  7 |    699 |     245006 |     104584 |    49542 |    33426 |    16098 |   117373 |    12638 | 26.953 |
290.05/45.35	c (33,0) c 
290.05/45.35	c (33,0) c synthesis      851265 conflicts   364864510 propagations     5273 conflicts/sec  2259990 propagations/sec
290.05/45.35	c (33,0) c Total Memory so far : 671.96Mb
290.05/45.36	c (33,0) c
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c |  0 |    769 |     268692 |     123658 |    50042 |    32274 |    18392 |   127400 |    13994 | 27.038 |
290.05/45.36	c (33,0) c |  1 |    846 |     271703 |     117690 |    50137 |    26309 |    18098 |   128098 |    13751 | 26.530 |
290.05/45.36	c (33,0) c |  2 |    789 |     269920 |     123770 |    50763 |    32384 |    18788 |   127338 |    14118 | 26.911 |
290.05/45.36	c (33,0) c |  3 |    733 |     266827 |     122118 |    49589 |    30742 |    18147 |   128131 |    14121 | 26.925 |
290.05/45.36	c (33,0) c |  4 |    760 |     266834 |     120270 |    50617 |    28894 |    17937 |   128138 |    13954 | 26.530 |
290.05/45.36	c (33,0) c |  5 |    721 |     265263 |     123053 |    49932 |    31671 |    18767 |   127347 |    13976 | 26.530 |
290.05/45.36	c (33,0) c |  6 |    752 |     272293 |     121238 |    50414 |    29857 |    18519 |   127665 |    13867 | 26.925 |
290.05/45.36	c (33,0) c |  7 |    768 |     268397 |     119320 |    49694 |    27949 |    17641 |   128628 |    13948 | 26.953 |
290.05/45.36	c (33,0) c 
290.05/45.36	c (33,0) c synthesis      971117 conflicts   422486466 propagations     5024 conflicts/sec  2185673 propagations/sec
290.05/45.36	c (33,0) c Total Memory so far : 671.96Mb
290.05/45.36	c (33,0) c
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c |  0 |    856 |     295736 |     140891 |    50187 |    26708 |    20029 |   139745 |    15590 | 27.038 |
290.05/45.36	c (33,0) c |  1 |    923 |     297163 |     134312 |    50276 |    42931 |    19832 |   139693 |    15269 | 26.530 |
290.05/45.36	c (33,0) c |  2 |    880 |     296586 |     140645 |    50894 |    26463 |    20386 |   139358 |    15727 | 27.171 |
290.05/45.36	c (33,0) c |  3 |    825 |     294496 |     139265 |    49740 |    25084 |    19986 |   139732 |    15816 | 26.925 |
290.05/45.36	c (33,0) c |  4 |    843 |     292491 |     136463 |    50759 |    45087 |    19514 |   140255 |    15526 | 26.530 |
290.05/45.36	c (33,0) c |  5 |    799 |     291859 |     140497 |    50058 |    26322 |    20524 |   139102 |    15581 | 26.530 |
290.05/45.36	c (33,0) c |  6 |    844 |     298069 |     137305 |    50584 |    23128 |    20163 |   139598 |    15480 | 26.925 |
290.05/45.36	c (33,0) c |  7 |    842 |     294087 |     135660 |    49836 |    44289 |    19356 |   140037 |    15510 | 26.953 |
290.05/45.36	c (33,0) c 
290.05/45.36	c (33,0) c synthesis     1105038 conflicts   488366642 propagations     4740 conflicts/sec  2094997 propagations/sec
290.05/45.36	c (33,0) c Total Memory so far : 673.51Mb
290.05/45.36	c (33,0) c
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
290.05/45.36	c (33,0) c |-------------------------------------------------------------------------------------------------------|
290.05/45.36	c (33,0) c |  0 |    911 |     317888 |     155850 |    50282 |    41668 |    21525 |   149304 |    16748 | 27.038 |
290.05/45.36	c (33,0) c |  1 |    996 |     318031 |     147492 |    50354 |    33309 |    21330 |   149571 |    16435 | 26.530 |
290.05/45.36	c (33,0) c |  2 |    954 |     319457 |     155284 |    51006 |    41102 |    21712 |   148855 |    16891 | 27.172 |
290.05/45.36	c (33,0) c |  3 |    913 |     316553 |     153297 |    49835 |    39116 |    21668 |   149306 |    16944 | 26.925 |
290.05/45.36	c (33,0) c |  4 |    900 |     314027 |     150656 |    50862 |    36473 |    20853 |   150043 |    16589 | 26.530 |
385.77/57.35	c (45,0) c |  5 |    896 |     315139 |     154981 |    50154 |    40806 |    21819 |   149139 |    16784 | 26.530 |
385.77/57.35	c (45,0) c |  6 |    932 |     321206 |     151819 |    50689 |    37642 |    21412 |   149537 |    16673 | 26.925 |
385.77/57.35	c (45,0) c |  7 |    925 |     316260 |     149738 |    49925 |    35562 |    20674 |   150201 |    16648 | 26.953 |
385.77/57.35	c (45,0) c 
385.77/57.35	c (45,0) c synthesis     1219121 conflicts   544746638 propagations     4601 conflicts/sec  2055775 propagations/sec
385.77/57.35	c (45,0) c Total Memory so far : 674.29Mb
385.77/57.35	c (45,0) c
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c |  0 |    979 |     337151 |     168234 |    50369 |    28650 |    22697 |   157646 |    17926 | 27.038 |
385.77/57.36	c (45,0) c |  1 |   1069 |     336683 |     159255 |    50419 |    45072 |    22806 |   157763 |    17544 | 26.530 |
385.77/57.36	c (45,0) c |  2 |   1018 |     337914 |     167308 |    51079 |    27728 |    22828 |   157839 |    17905 | 27.172 |
385.77/57.36	c (45,0) c |  3 |    998 |     335106 |     165001 |    49903 |    25418 |    22982 |   157608 |    18123 | 26.925 |
385.77/57.36	c (45,0) c |  4 |    980 |     332635 |     162132 |    50930 |    47949 |    21949 |   158661 |    17742 | 26.530 |
385.77/57.36	c (45,0) c |  5 |    972 |     334052 |     166961 |    50219 |    27384 |    22980 |   157356 |    17942 | 26.530 |
385.77/57.36	c (45,0) c |  6 |    995 |     339534 |     163720 |    50759 |    49543 |    22608 |   158021 |    17864 | 26.925 |
385.77/57.36	c (45,0) c |  7 |    981 |     334232 |     161585 |    49995 |    47408 |    21833 |   157065 |    17731 | 26.953 |
385.77/57.36	c (45,0) c 
385.77/57.36	c (45,0) c synthesis     1314196 conflicts   592075268 propagations     4427 conflicts/sec  1994406 propagations/sec
385.77/57.36	c (45,0) c Total Memory so far : 676.22Mb
385.77/57.36	c (45,0) c
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c |  0 |   1051 |     357020 |     181218 |    50456 |    41634 |    23774 |   167660 |    18937 | 27.038 |
385.77/57.36	c (45,0) c |  1 |   1127 |     355403 |     171825 |    50481 |    32244 |    24047 |   167316 |    18507 | 26.530 |
385.77/57.36	c (45,0) c |  2 |   1101 |     359007 |     180903 |    51168 |    41324 |    24433 |   166656 |    18939 | 27.171 |
385.77/57.36	c (45,0) c |  3 |   1059 |     355701 |     178980 |    49969 |    39397 |    24608 |   166731 |    19107 | 26.925 |
385.77/57.36	c (45,0) c |  4 |   1057 |     352696 |     174953 |    51014 |    35365 |    23324 |   168066 |    18727 | 26.530 |
385.77/57.36	c (45,0) c |  5 |   1050 |     354883 |     180290 |    50300 |    40713 |    24451 |   166698 |    18953 | 26.530 |
385.77/57.36	c (45,0) c |  6 |   1065 |     359688 |     176872 |    50848 |    37285 |    24007 |   167248 |    18849 | 26.925 |
385.77/57.36	c (45,0) c |  7 |   1059 |     353031 |     173689 |    50070 |    34111 |    22857 |   168630 |    18679 | 26.953 |
385.77/57.36	c (45,0) c 
385.77/57.36	c (45,0) c synthesis     1418730 conflicts   644415060 propagations     4316 conflicts/sec  1960280 propagations/sec
385.77/57.36	c (45,0) c Total Memory so far : 676.99Mb
385.77/57.36	c (45,0) c
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
385.77/57.36	c (45,0) c |-------------------------------------------------------------------------------------------------------|
385.77/57.36	c (45,0) c |  0 |   1127 |     375035 |     192500 |    50505 |    52915 |    24776 |   176206 |    20062 | 27.045 |
385.77/57.36	c (45,0) c |  1 |   1213 |     373965 |     183618 |    50537 |    44037 |    25018 |   175900 |    19536 | 26.537 |
385.77/57.36	c (45,0) c |  2 |   1154 |     376496 |     192871 |    51217 |    53292 |    25930 |   174882 |    19959 | 27.179 |
385.77/57.36	c (45,0) c |  3 |   1096 |     371402 |     190117 |    50024 |    50534 |    25861 |   174672 |    20170 | 26.932 |
385.77/57.36	c (45,0) c |  4 |   1131 |     370156 |     186266 |    51063 |    46678 |    24575 |   176347 |    19839 | 26.537 |
385.77/57.36	c (45,0) c |  5 |   1113 |     372003 |     191642 |    50361 |    52065 |    25721 |   175049 |    19987 | 26.537 |
489.47/70.35	c (58,0) c |  6 |   1124 |     377047 |     188188 |    50903 |    48601 |    25288 |   175498 |    19927 | 26.932 |
489.47/70.35	c (58,0) c |  7 |   1132 |     370722 |     185062 |    50139 |    45484 |    23827 |   177110 |    19758 | 26.960 |
489.47/70.35	c (58,0) c 
489.47/70.35	c (58,0) c synthesis     1510266 conflicts   690721322 propagations     4188 conflicts/sec  1915382 propagations/sec
489.47/70.35	c (58,0) c Total Memory so far : 678.15Mb
489.47/70.35	c (58,0) c
489.47/70.35	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.35	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.47/70.35	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.36	c (58,0) c |  0 |   1187 |     393445 |     204747 |    50556 |    37170 |    25997 |   184176 |    21021 | 27.045 |
489.47/70.36	c (58,0) c |  1 |   1285 |     390146 |     193970 |    50582 |    54388 |    25894 |   184082 |    20606 | 26.537 |
489.47/70.36	c (58,0) c |  2 |   1222 |     394799 |     205183 |    51261 |    37600 |    27169 |   182997 |    20860 | 27.179 |
489.47/70.36	c (58,0) c |  3 |   1135 |     388249 |     201898 |    50078 |    34317 |    27148 |   183002 |    21085 | 26.932 |
489.47/70.36	c (58,0) c |  4 |   1196 |     386035 |     196545 |    51105 |    28956 |    25764 |   183929 |    20806 | 26.537 |
489.47/70.36	c (58,0) c |  5 |   1166 |     390171 |     204120 |    50436 |    36536 |    27053 |   182799 |    20948 | 26.537 |
489.47/70.36	c (58,0) c |  6 |   1165 |     392959 |     199318 |    50955 |    31737 |    26465 |   183394 |    20960 | 26.932 |
489.47/70.36	c (58,0) c |  7 |   1180 |     385705 |     195373 |    50197 |    55795 |    24722 |   185219 |    20774 | 26.960 |
489.47/70.36	c (58,0) c 
489.47/70.36	c (58,0) c synthesis     1601154 conflicts   736540818 propagations     4079 conflicts/sec  1876531 propagations/sec
489.47/70.36	c (58,0) c Total Memory so far : 679.45Mb
489.47/70.36	c (58,0) c
489.47/70.36	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.36	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.47/70.36	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.36	c (58,0) c |  0 |   1249 |     411461 |     216744 |    50600 |    49168 |    27316 |   192812 |    22016 | 27.045 |
489.47/70.36	c (58,0) c |  1 |   1338 |     407541 |     205565 |    50632 |    37988 |    27066 |   192674 |    21478 | 26.537 |
489.47/70.36	c (58,0) c |  2 |   1277 |     412211 |     216846 |    51314 |    49263 |    28388 |   191772 |    21869 | 27.179 |
489.47/70.36	c (58,0) c |  3 |   1182 |     405493 |     213908 |    50124 |    46327 |    28373 |   191764 |    22061 | 26.932 |
489.47/70.36	c (58,0) c |  4 |   1294 |     405505 |     208879 |    51177 |    41290 |    26964 |   193218 |    21691 | 26.537 |
489.47/70.36	c (58,0) c |  5 |   1213 |     407636 |     216095 |    50482 |    48511 |    28405 |   191500 |    21921 | 26.537 |
489.47/70.36	c (58,0) c |  6 |   1220 |     410678 |     211227 |    51005 |    43646 |    27624 |   192529 |    21930 | 26.932 |
489.47/70.36	c (58,0) c |  7 |   1216 |     402903 |     207578 |    50254 |    39995 |    26057 |   194021 |    21538 | 26.960 |
489.47/70.36	c (58,0) c 
489.47/70.36	c (58,0) c synthesis     1696843 conflicts   785541460 propagations     3998 conflicts/sec  1850978 propagations/sec
489.47/70.36	c (58,0) c Total Memory so far : 680.11Mb
489.47/70.36	c (58,0) c
489.47/70.36	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.36	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.47/70.36	c (58,0) c |-------------------------------------------------------------------------------------------------------|
489.47/70.36	c (58,0) c |  0 |   1320 |     431101 |     230092 |    50651 |    31908 |    28709 |   202436 |    23233 | 27.045 |
489.47/70.36	c (58,0) c |  1 |   1394 |     426622 |     218857 |    50678 |    51280 |    28456 |   202766 |    22542 | 26.537 |
489.47/70.36	c (58,0) c |  2 |   1350 |     431263 |     229525 |    51364 |    31341 |    29702 |   200997 |    23043 | 27.179 |
489.47/70.36	c (58,0) c |  3 |   1256 |     424931 |     226911 |    50167 |    59330 |    29696 |   201394 |    23366 | 26.932 |
489.47/70.36	c (58,0) c |  4 |   1360 |     424584 |     221789 |    51239 |    54200 |    28369 |   202814 |    22768 | 26.537 |
489.47/70.36	c (58,0) c |  5 |   1259 |     426149 |     229160 |    50536 |    30979 |    29845 |   200968 |    23143 | 26.537 |
489.47/70.36	c (58,0) c |  6 |   1269 |     430064 |     224353 |    51052 |    56771 |    29065 |   202122 |    23153 | 26.932 |
585.19/82.35	c (70,0) c |  7 |   1276 |     421216 |     220003 |    50305 |    52420 |    27382 |   203733 |    22599 | 26.960 |
585.19/82.35	c (70,0) c 
585.19/82.35	c (70,0) c synthesis     1800691 conflicts   838985445 propagations     3879 conflicts/sec  1807250 propagations/sec
585.19/82.35	c (70,0) c Total Memory so far : 681.80Mb
585.19/82.35	c (70,0) c
585.19/82.35	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.19/82.36	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c |  0 |   1346 |     448284 |     242542 |    50706 |    44357 |    30096 |   209811 |    23945 | 27.045 |
585.19/82.36	c (70,0) c |  1 |   1450 |     440536 |     228134 |    50709 |    60556 |    29463 |   210542 |    23463 | 26.537 |
585.19/82.36	c (70,0) c |  2 |   1416 |     449205 |     241737 |    51397 |    43552 |    30869 |   208930 |    23898 | 27.179 |
585.19/82.36	c (70,0) c |  3 |   1314 |     442282 |     238703 |    50206 |    40526 |    30791 |   208663 |    24255 | 26.932 |
585.19/82.36	c (70,0) c |  4 |   1393 |     438388 |     231760 |    51278 |    33582 |    29407 |   210171 |    23597 | 26.537 |
585.19/82.36	c (70,0) c |  5 |   1315 |     443730 |     241217 |    50571 |    43036 |    30959 |   208847 |    23931 | 26.537 |
585.19/82.36	c (70,0) c |  6 |   1331 |     445981 |     234990 |    51088 |    36820 |    30000 |   209982 |    24035 | 26.932 |
585.19/82.36	c (70,0) c |  7 |   1320 |     435827 |     229888 |    50349 |    31709 |    28445 |   211457 |    23507 | 26.960 |
585.19/82.36	c (70,0) c 
585.19/82.36	c (70,0) c synthesis     1888971 conflicts   884368082 propagations     3807 conflicts/sec  1782554 propagations/sec
585.19/82.36	c (70,0) c Total Memory so far : 682.57Mb
585.19/82.36	c (70,0) c
585.19/82.36	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.19/82.36	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c |  0 |   1399 |     463557 |     252980 |    50757 |    54796 |    31167 |   217636 |    24867 | 27.045 |
585.19/82.36	c (70,0) c |  1 |   1513 |     457254 |     239329 |    50737 |    41145 |    30494 |   218280 |    24223 | 26.537 |
585.19/82.36	c (70,0) c |  2 |   1484 |     465378 |     252218 |    51435 |    54034 |    31943 |   216679 |    24830 | 27.179 |
585.19/82.36	c (70,0) c |  3 |   1365 |     458115 |     249662 |    50237 |    51484 |    31914 |   216689 |    25096 | 26.932 |
585.19/82.36	c (70,0) c |  4 |   1427 |     454184 |     243190 |    51317 |    45012 |    30592 |   217953 |    24385 | 26.537 |
585.19/82.36	c (70,0) c |  5 |   1379 |     459809 |     251984 |    50600 |    53803 |    31935 |   216556 |    24870 | 26.537 |
585.19/82.36	c (70,0) c |  6 |   1381 |     462032 |     245986 |    51133 |    47816 |    31134 |   217505 |    24852 | 26.932 |
585.19/82.36	c (70,0) c |  7 |   1362 |     452416 |     241570 |    50385 |    43391 |    29631 |   219128 |    24252 | 26.960 |
585.19/82.36	c (70,0) c 
585.19/82.36	c (70,0) c synthesis     1976919 conflicts   929851644 propagations     3744 conflicts/sec  1761057 propagations/sec
585.19/82.36	c (70,0) c Total Memory so far : 683.09Mb
585.19/82.36	c (70,0) c
585.19/82.36	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.19/82.36	c (70,0) c |-------------------------------------------------------------------------------------------------------|
585.19/82.36	c (70,0) c |  0 |   1436 |     477674 |     262831 |    50786 |    64647 |    32180 |   224692 |    25773 | 27.045 |
585.19/82.36	c (70,0) c |  1 |   1559 |     471791 |     249361 |    50772 |    51177 |    31484 |   225393 |    24987 | 26.537 |
585.19/82.36	c (70,0) c |  2 |   1540 |     480039 |     262157 |    51471 |    63973 |    32905 |   223852 |    25722 | 27.179 |
585.19/82.36	c (70,0) c |  3 |   1427 |     473253 |     259623 |    50279 |    61446 |    32931 |   223868 |    25996 | 26.932 |
585.19/82.36	c (70,0) c |  4 |   1460 |     468629 |     253553 |    51349 |    55375 |    31627 |   225123 |    25310 | 26.537 |
585.19/82.36	c (70,0) c |  5 |   1432 |     474074 |     261530 |    50623 |    63349 |    32926 |   223865 |    25794 | 26.537 |
585.19/82.36	c (70,0) c |  6 |   1414 |     475595 |     255606 |    51151 |    57435 |    32157 |   223028 |    25655 | 26.932 |
585.19/82.36	c (70,0) c |  7 |   1400 |     466955 |     251629 |    50423 |    53450 |    30697 |   226194 |    25011 | 26.960 |
585.19/82.36	c (70,0) c 
680.90/94.35	c (82,0) c synthesis     2056290 conflicts   970766817 propagations     3673 conflicts/sec  1733783 propagations/sec
680.90/94.35	c (82,0) c Total Memory so far : 684.14Mb
680.90/94.35	c (82,0) c
680.90/94.35	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.35	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
680.90/94.35	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.35	c (82,0) c |  0 |   1474 |     493073 |     273834 |    50830 |    42452 |    33222 |   231150 |    26579 | 27.045 |
680.90/94.35	c (82,0) c |  1 |   1622 |     485245 |     258135 |    50796 |    59951 |    32294 |   232056 |    25841 | 26.537 |
680.90/94.36	c (82,0) c |  2 |   1586 |     495790 |     273180 |    51501 |    41796 |    33944 |   230355 |    26544 | 27.179 |
680.90/94.36	c (82,0) c |  3 |   1490 |     488259 |     269815 |    50308 |    38434 |    33826 |   230552 |    26789 | 26.932 |
680.90/94.36	c (82,0) c |  4 |   1510 |     482368 |     262730 |    51375 |    64552 |    32555 |   231484 |    26205 | 26.537 |
680.90/94.36	c (82,0) c |  5 |   1484 |     489812 |     272487 |    50657 |    41101 |    33899 |   230470 |    26509 | 26.537 |
680.90/94.36	c (82,0) c |  6 |   1470 |     488806 |     264449 |    51191 |    66279 |    33007 |   231252 |    26551 | 26.932 |
680.90/94.36	c (82,0) c |  7 |   1439 |     479607 |     260708 |    50451 |    62529 |    31650 |   232664 |    25885 | 26.960 |
680.90/94.36	c (82,0) c 
680.90/94.36	c (82,0) c synthesis     2135340 conflicts  1011674002 propagations     3608 conflicts/sec  1709540 propagations/sec
680.90/94.36	c (82,0) c Total Memory so far : 685.30Mb
680.90/94.36	c (82,0) c
680.90/94.36	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.36	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
680.90/94.36	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.36	c (82,0) c |  0 |   1525 |     508221 |     284285 |    50859 |    52902 |    34210 |   237812 |    27329 | 27.045 |
680.90/94.36	c (82,0) c |  1 |   1684 |     498964 |     267049 |    50825 |    35669 |    33103 |   238815 |    26692 | 26.537 |
680.90/94.36	c (82,0) c |  2 |   1624 |     510657 |     284021 |    51535 |    52638 |    34960 |   236883 |    27274 | 27.179 |
680.90/94.36	c (82,0) c |  3 |   1549 |     503707 |     280488 |    50344 |    49108 |    34786 |   237057 |    27500 | 26.932 |
680.90/94.36	c (82,0) c |  4 |   1556 |     497783 |     273686 |    51405 |    42301 |    33579 |   238210 |    26925 | 26.537 |
680.90/94.36	c (82,0) c |  5 |   1536 |     505271 |     283097 |    50686 |    51711 |    34882 |   237045 |    27282 | 26.537 |
680.90/94.36	c (82,0) c |  6 |   1523 |     505174 |     275429 |    51229 |    44051 |    33995 |   237785 |    27262 | 26.932 |
680.90/94.36	c (82,0) c |  7 |   1495 |     494394 |     270853 |    50484 |    39474 |    32531 |   239360 |    26695 | 26.960 |
680.90/94.36	c (82,0) c 
680.90/94.36	c (82,0) c synthesis     2218909 conflicts  1055113319 propagations     3558 conflicts/sec  1691821 propagations/sec
680.90/94.36	c (82,0) c Total Memory so far : 685.95Mb
680.90/94.36	c (82,0) c
680.90/94.36	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.36	c (82,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
680.90/94.36	c (82,0) c |-------------------------------------------------------------------------------------------------------|
680.90/94.36	c (82,0) c |  0 |   1564 |     521511 |     293957 |    50885 |    62575 |    35120 |   244408 |    28169 | 27.045 |
680.90/94.36	c (82,0) c |  1 |   1727 |     514380 |     277697 |    50860 |    46317 |    34082 |   245492 |    27395 | 26.537 |
680.90/94.36	c (82,0) c |  2 |   1669 |     524750 |     294079 |    51559 |    62696 |    35934 |   243646 |    28050 | 27.179 |
680.90/94.36	c (82,0) c |  3 |   1609 |     518297 |     290224 |    50374 |    58844 |    35698 |   242985 |    28291 | 26.932 |
680.90/94.36	c (82,0) c |  4 |   1600 |     513102 |     284414 |    51445 |    53029 |    34613 |   244714 |    27718 | 26.537 |
680.90/94.36	c (82,0) c |  5 |   1596 |     519395 |     292730 |    50710 |    61344 |    35754 |   243863 |    28150 | 26.537 |
680.90/94.36	c (82,0) c |  6 |   1567 |     519977 |     286046 |    51254 |    54669 |    34984 |   244584 |    28029 | 26.932 |
680.90/94.36	c (82,0) c |  7 |   1554 |     509933 |     281491 |    50516 |    50112 |    33437 |   246157 |    27431 | 26.960 |
680.90/94.36	c (82,0) c 
680.90/94.36	c (82,0) c synthesis     2300638 conflicts  1097837362 propagations     3509 conflicts/sec  1674655 propagations/sec
816.50/111.35	c (99,0) c Total Memory so far : 686.47Mb
816.50/111.35	c (99,0) c
816.50/111.35	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.35	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.50/111.35	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.35	c (99,0) c |  0 |   1622 |     537470 |     304917 |    50910 |    37740 |    36173 |   251835 |    29170 | 27.045 |
816.50/111.35	c (99,0) c |  1 |   1797 |     530796 |     288871 |    50883 |    57491 |    35070 |   252842 |    28286 | 26.537 |
816.50/111.35	c (99,0) c |  2 |   1756 |     541956 |     305364 |    51595 |    38179 |    36883 |   251105 |    29066 | 27.179 |
816.50/111.35	c (99,0) c |  3 |   1671 |     534496 |     301212 |    50396 |    69832 |    36747 |   251231 |    29387 | 26.932 |
816.50/111.35	c (99,0) c |  4 |   1656 |     529964 |     296084 |    51471 |    64699 |    35751 |   252159 |    28712 | 26.537 |
816.50/111.36	c (99,0) c |  5 |   1667 |     535778 |     303570 |    50731 |    36378 |    36802 |   251086 |    29145 | 26.537 |
816.50/111.36	c (99,0) c |  6 |   1628 |     536624 |     297481 |    51280 |    66104 |    36088 |   251820 |    29059 | 26.932 |
816.50/111.36	c (99,0) c |  7 |   1620 |     526711 |     292988 |    50544 |    61609 |    34502 |   253393 |    28389 | 26.960 |
816.50/111.36	c (99,0) c 
816.50/111.36	c (99,0) c synthesis     2390487 conflicts  1145387515 propagations     3438 conflicts/sec  1647059 propagations/sec
816.50/111.36	c (99,0) c Total Memory so far : 688.03Mb
816.50/111.36	c (99,0) c
816.50/111.36	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.36	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.50/111.36	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.36	c (99,0) c |  0 |   1686 |     552751 |     315202 |    50936 |    48025 |    37055 |   257937 |    29856 | 27.045 |
816.50/111.36	c (99,0) c |  1 |   1842 |     543821 |     298053 |    50898 |    66673 |    35950 |   257681 |    29096 | 26.537 |
816.50/111.36	c (99,0) c |  2 |   1822 |     558122 |     316252 |    51623 |    49067 |    37779 |   257195 |    29821 | 27.179 |
816.50/111.36	c (99,0) c |  3 |   1700 |     549196 |     312034 |    50416 |    44854 |    37774 |   257128 |    30097 | 26.932 |
816.50/111.36	c (99,0) c |  4 |   1710 |     542397 |     304424 |    51491 |    37230 |    36538 |   258287 |    29434 | 26.537 |
816.50/111.36	c (99,0) c |  5 |   1727 |     552138 |     314682 |    50752 |    47490 |    37768 |   257114 |    29871 | 26.537 |
816.50/111.36	c (99,0) c |  6 |   1675 |     549740 |     306450 |    51302 |    39265 |    36815 |   257863 |    29733 | 26.932 |
816.50/111.36	c (99,0) c |  7 |   1669 |     539227 |     301503 |    50571 |    70123 |    35333 |   259384 |    29199 | 26.960 |
816.50/111.36	c (99,0) c 
816.50/111.36	c (99,0) c synthesis     2468600 conflicts  1186096102 propagations     3394 conflicts/sec  1630829 propagations/sec
816.50/111.36	c (99,0) c Total Memory so far : 688.68Mb
816.50/111.36	c (99,0) c
816.50/111.36	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.36	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.50/111.36	c (99,0) c |-------------------------------------------------------------------------------------------------------|
816.50/111.36	c (99,0) c |  0 |   1719 |     566310 |     325088 |    50954 |    57911 |    37996 |   264204 |    30676 | 27.045 |
816.50/111.36	c (99,0) c |  1 |   1890 |     556243 |     306772 |    50906 |    39582 |    36673 |   264926 |    29801 | 26.537 |
816.50/111.36	c (99,0) c |  2 |   1888 |     572976 |     326185 |    51648 |    59000 |    38634 |   263542 |    30553 | 27.179 |
816.50/111.36	c (99,0) c |  3 |   1765 |     565248 |     322765 |    50456 |    55585 |    38756 |   263410 |    30854 | 26.932 |
816.50/111.36	c (99,0) c |  4 |   1746 |     557311 |     315293 |    51517 |    48099 |    37575 |   264594 |    30078 | 26.537 |
816.50/111.36	c (99,0) c |  5 |   1772 |     566650 |     324955 |    50775 |    57763 |    38726 |   263469 |    30617 | 26.537 |
816.50/111.36	c (99,0) c |  6 |   1733 |     565038 |     316959 |    51324 |    49774 |    37699 |   264480 |    30397 | 26.932 |
816.50/111.36	c (99,0) c |  7 |   1737 |     554028 |     311131 |    50592 |    43950 |    36145 |   265609 |    29846 | 26.960 |
816.50/111.36	c (99,0) c 
816.50/111.36	c (99,0) c synthesis     2549148 conflicts  1228507695 propagations     3358 conflicts/sec  1618250 propagations/sec
816.50/111.36	c (99,0) c Total Memory so far : 689.07Mb
816.50/111.36	c (99,0) c
912.22/123.35	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.35	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.22/123.35	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.35	c (111,0) c |  0 |   1756 |     579563 |     334430 |    50973 |    67253 |    38795 |   270105 |    31471 | 27.045 |
912.22/123.35	c (111,0) c |  1 |   1951 |     570927 |     316836 |    50920 |    49646 |    37480 |   271646 |    30494 | 26.537 |
912.22/123.35	c (111,0) c |  2 |   1925 |     586334 |     335634 |    51660 |    68449 |    39572 |   269408 |    31336 | 27.179 |
912.22/123.35	c (111,0) c |  3 |   1799 |     578281 |     332360 |    50472 |    65180 |    39677 |   269371 |    31608 | 26.932 |
912.22/123.35	c (111,0) c |  4 |   1788 |     571299 |     325154 |    51544 |    57960 |    38478 |   270466 |    30800 | 26.537 |
912.22/123.35	c (111,0) c |  5 |   1814 |     579267 |     333889 |    50795 |    66697 |    39517 |   269533 |    31342 | 26.537 |
912.22/123.35	c (111,0) c |  6 |   1795 |     579245 |     326673 |    51357 |    59488 |    38574 |   270555 |    31161 | 26.932 |
912.22/123.35	c (111,0) c |  7 |   1787 |     568278 |     321100 |    50617 |    53918 |    37038 |   272074 |    30566 | 26.960 |
912.22/123.35	c (111,0) c 
912.22/123.35	c (111,0) c synthesis     2626076 conflicts  1269001953 propagations     3320 conflicts/sec  1604221 propagations/sec
912.22/123.35	c (111,0) c Total Memory so far : 753.60Mb
912.22/123.36	c (111,0) c
912.22/123.36	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.36	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.22/123.36	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.36	c (111,0) c |  0 |   1808 |     591919 |     343035 |    50987 |    75858 |    39543 |   275786 |    32309 | 27.045 |
912.22/123.36	c (111,0) c |  1 |   1998 |     584181 |     326184 |    50933 |    58994 |    38393 |   276834 |    31179 | 26.537 |
912.22/123.36	c (111,0) c |  2 |   1970 |     598989 |     344459 |    51678 |    38873 |    40359 |   274888 |    32111 | 27.179 |
912.22/123.36	c (111,0) c |  3 |   1826 |     589433 |     340779 |    50488 |    73599 |    40382 |   274686 |    32324 | 26.932 |
912.22/123.36	c (111,0) c |  4 |   1828 |     584053 |     334269 |    51560 |    67075 |    39320 |   276047 |    31532 | 26.537 |
912.22/123.36	c (111,0) c |  5 |   1863 |     591336 |     342265 |    50811 |    75073 |    40223 |   275002 |    32105 | 26.537 |
912.22/123.36	c (111,0) c |  6 |   1844 |     591825 |     335505 |    51376 |    68320 |    39306 |   275929 |    31957 | 26.932 |
912.22/123.36	c (111,0) c |  7 |   1838 |     580950 |     329983 |    50634 |    62802 |    37841 |   277483 |    31302 | 26.960 |
912.22/123.36	c (111,0) c 
912.22/123.36	c (111,0) c synthesis     2696480 conflicts  1306411603 propagations     3277 conflicts/sec  1587541 propagations/sec
912.22/123.36	c (111,0) c Total Memory so far : 690.63Mb
912.22/123.36	c (111,0) c
912.22/123.36	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.36	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.22/123.36	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.22/123.36	c (111,0) c |  0 |   1862 |     606088 |     352997 |    51010 |    47421 |    40311 |   280896 |    32935 | 27.045 |
912.22/123.36	c (111,0) c |  1 |   2032 |     596223 |     334985 |    50953 |    67794 |    39092 |   282178 |    31902 | 26.537 |
912.22/123.36	c (111,0) c |  2 |   2006 |     612562 |     354417 |    51714 |    48831 |    41146 |   279793 |    32721 | 27.179 |
912.22/123.36	c (111,0) c |  3 |   1850 |     602192 |     350447 |    50508 |    44862 |    41158 |   279809 |    32918 | 26.932 |
912.22/123.36	c (111,0) c |  4 |   1872 |     595785 |     342670 |    51577 |    75476 |    40057 |   281117 |    32253 | 26.537 |
912.22/123.36	c (111,0) c |  5 |   1895 |     604989 |     352433 |    50826 |    46845 |    41018 |   280326 |    32715 | 26.537 |
912.22/123.36	c (111,0) c |  6 |   1869 |     602309 |     343419 |    51387 |    76234 |    39989 |   281264 |    32663 | 26.932 |
912.22/123.36	c (111,0) c |  7 |   1888 |     593504 |     338437 |    50654 |    71256 |    38580 |   282730 |    32094 | 26.960 |
912.22/123.36	c (111,0) c 
912.22/123.36	c (111,0) c synthesis     2769805 conflicts  1345235017 propagations     3240 conflicts/sec  1573723 propagations/sec
912.22/123.36	c (111,0) c Total Memory so far : 691.42Mb
912.22/123.36	c (111,0) c
912.22/123.36	c (111,0) c |-------------------------------------------------------------------------------------------------------|
981.69/132.03	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
981.69/132.03	c (120,0) c |-------------------------------------------------------------------------------------------------------|
981.69/132.03	c (120,0) c |  0 |   1904 |     619751 |     362790 |    51029 |    57214 |    41076 |   286347 |    33611 | 27.045 |
981.69/132.03	c (120,0) c |  1 |   2072 |     607037 |     342354 |    50964 |    75164 |    39719 |   287768 |    32573 | 26.537 |
981.69/132.03	c (120,0) c |  2 |   2029 |     624617 |     363690 |    51734 |    58104 |    41898 |   285455 |    33341 | 27.179 |
981.69/132.03	c (120,0) c |  3 |   1892 |     616732 |     360833 |    50534 |    55248 |    42092 |   285356 |    33528 | 26.932 |
981.69/132.03	c (120,0) c |  4 |   1925 |     609974 |     352633 |    51606 |    47048 |    40785 |   286644 |    32887 | 26.537 |
981.69/132.03	c (120,0) c |  5 |   1937 |     619139 |     362426 |    50845 |    56838 |    41843 |   285477 |    33422 | 26.537 |
981.69/132.03	c (120,0) c |  6 |   1908 |     616560 |     353640 |    51413 |    48058 |    40810 |   286359 |    33311 | 26.932 |
981.69/132.03	c (120,0) c |  7 |   1952 |     606108 |     346540 |    50669 |    40956 |    39267 |   287503 |    32758 | 26.960 |
981.69/132.03	c (120,0) c 
981.69/132.03	c (120,0) c synthesis     2844906 conflicts  1385006596 propagations     3208 conflicts/sec  1561963 propagations/sec
981.69/132.03	c (120,0) c Total Memory so far : 691.95Mb
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c |-------------------------------------------------------------------------------------------------------|
981.69/132.03	c (120,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
981.69/132.03	c (120,0) c |-------------------------------------------------------------------------------------------------------|
981.69/132.03	c (120,0) c |  0 |   1959 |     635522 |     373885 |    51051 |    68309 |    42010 |   292969 |    34512 | 27.045 |
981.69/132.03	c (120,0) c |  1 |   2145 |     623592 |     353737 |    50990 |    48148 |    40549 |   294523 |    33293 | 26.537 |
981.69/132.03	c (120,0) c |  2 |   2057 |     639592 |     374888 |    51762 |    69302 |    42879 |   292167 |    34203 | 27.179 |
981.69/132.03	c (120,0) c |  3 |   1934 |     632750 |     372703 |    50557 |    67118 |    43075 |   291875 |    34356 | 26.932 |
981.69/132.03	c (120,0) c |  4 |   2005 |     627766 |     364497 |    51632 |    58913 |    41743 |   293088 |    33728 | 26.537 |
981.69/132.03	c (120,0) c |  5 |   1973 |     634484 |     373993 |    50859 |    68406 |    42839 |   292180 |    34264 | 26.537 |
981.69/132.03	c (120,0) c |  6 |   1952 |     632959 |     365462 |    51433 |    59879 |    41755 |   293334 |    34158 | 26.932 |
981.69/132.03	c (120,0) c |  7 |   2013 |     623489 |     358666 |    50703 |    53083 |    40249 |   294345 |    33549 | 26.960 |
981.69/132.03	c (120,0) c 
981.69/132.03	c (120,0) c synthesis     2937831 conflicts  1434330706 propagations     3171 conflicts/sec  1548000 propagations/sec
981.69/132.03	c (120,0) c Total Memory so far : 692.47Mb
981.69/132.03	c (120,0) c last restart ## conflicts  :  44 28 
981.69/132.03	c (120,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
981.69/132.03	c (120,0) c Total Memory so far : 692.99Mb
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c real time : 120.176 s
981.69/132.03	c (120,0) c cpu time  : 955.901 s
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
981.69/132.03	c (120,0) c
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) c | Conflicts     |         3000665 |     381459 |     362330 |     382409 |     380844 |     372162 |     381367 |     373303 |     366791 |
981.69/132.03	c (120,0) c | Decisions     |         5137170 |     646547 |     635303 |     649722 |     643225 |     638769 |     644701 |     643513 |     635390 |
981.69/132.03	c (120,0) c | Propagations  |      1467889621 |  185659615 |  177806350 |  187145311 |  186170667 |  182365094 |  186347441 |  182862100 |  179533043 |
981.69/132.03	c (120,0) c | Avg_Trail     |                 |       7322 |       7297 |       7314 |       7309 |       7292 |       7299 |       7313 |       7305 |
981.69/132.03	c (120,0) c | Avg_DL        |                 |         27 |         29 |         28 |         28 |         28 |         29 |         29 |         29 |
981.69/132.03	c (120,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
981.69/132.03	c (120,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) c | Exported      |          340346 |      42638 |      41286 |      43527 |      43835 |      42404 |      43395 |      42363 |      40898 |
981.69/132.03	c (120,0) c | Imported      |         2380220 |     297696 |     299041 |     296688 |     294894 |     297916 |     296755 |     297964 |     299266 |
981.69/132.03	c (120,0) c | Good          |           37684 |       4742 |       4676 |       4686 |       4708 |       4669 |       4756 |       4711 |       4736 |
981.69/132.03	c (120,0) c | Purge         |         2342536 |     292954 |     294365 |     292002 |     290186 |     293247 |     291999 |     293253 |     294530 |
981.69/132.03	c (120,0) c | Promoted      |          276978 |      35186 |      33856 |      34815 |      34987 |      34294 |      34939 |      34755 |      34146 |
981.69/132.03	c (120,0) c | Remove_Imp    |         1582618 |     193719 |     206385 |     192478 |     194482 |     198945 |     193558 |     198922 |     204129 |
981.69/132.03	c (120,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) c | Unaries       |                 |         39 |         25 |         35 |         23 |         39 |         29 |         37 |         31 |
981.69/132.03	c (120,0) c | Binaries      |                 |        642 |        708 |        698 |        672 |        715 |        628 |        673 |        648 |
981.69/132.03	c (120,0) c | Glues         |                 |       4027 |       4036 |       4085 |       4089 |       3940 |       4029 |       4070 |       4032 |
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) c | Orig_Seen     |            41 % |      51061 |      51013 |      51774 |      50574 |      51650 |      50874 |      51451 |      50711 |
981.69/132.03	c (120,0) c | Diff Orig seen|                 | -      390 | -      438 |        323 | -      877 |        199 | -      577 |      X     | -      740 |
981.69/132.03	c (120,0) c | Hamming       |             8 % |       1100 |       1213 |       1239 |       1161 |       1115 |       1174 |      X     |       1200 |
981.69/132.03	c (120,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
981.69/132.03	c (120,0) 
981.69/132.03	c (120,0) s SATISFIABLE
981.69/132.07	c (120,0) SatSolver.solve End
981.69/132.07	c (120,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
981.69/132.07	c (120,0) Show results Begin
982.11/132.13	s SATISFIABLE
982.11/132.14	v <instantiation>
982.11/132.14	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6]</list>
982.11/132.14	v     <values>0 19 22 21 9 4 2 15 42 35 29 38 25 18 8 33 43 32 27 36 16 13 24 37 47 48 45 7 10 28 41 40 44 46 5 11 39 34 26 30 31 20 3 12 14 17 6 23 1 0 0 0 0 0 0 0 2 5 8 6 8 5 2 1 9 9 7 5 4 3 2 4 9 8 7 8 2 2 5 6 6 9 7 1 2 5 6 7 6 8 1 3 7 8 4 6 9 3 0 1 3 3 3 1 1 0 9 6 4 5 7 4 0 8 5 7 4 5 9 0 8 4 9 9 6 7 0 4 8 5 7 8 6 0 5 9 4 7 4 6 0 2 2 3 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
982.11/132.14	v </instantiation>
982.11/132.14	c (120,0) Show results End
982.11/132.14	c (120,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
982.11/132.15	c (120,0) 120,120,STOP-AFTER(ALL)
982.11/132.15	c END-Prog: Tue Aug 14 03:37:23 CEST 2018

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 (13001 MiB free)
  memory of node 1: 16384 MiB (10029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307145-1534210511/watcher-4307145-1534210511 -o /tmp/evaluation-result-4307145-1534210511/solver-4307145-1534210511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534207985-10447 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307145-1534210511.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=10760, runsolver pid=10757
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 7.88 8.31 8.31 2/200 10782
/proc/meminfo: memFree=23485744/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 238614261 115843072 349 33554432000 4194304 5098028 140736684512000 140736684509256 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 349 296 221 0 87 0
[pid=10763] ppid=10760 vsize=27313900 memory=110100 CPUtime=0.1 cores=0-7
/proc/10763/stat : 10763 (java) S 10760 10760 10420 0 -1 1077944320 6466 0 0 0 8 2 0 0 20 0 20 0 238614261 27969433600 27525 33554432000 4194304 4196468 140724695125008 140724695107552 140480497647351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
/proc/10763/statm: 6828475 27525 2739 1 0 6790935 0
[pid=10763/tid=10764] ppid=10760 vsize=27313900 memory=8184336230954998941 CPUtime=0.09 cores=0-7
/proc/10763/task/10764/stat : 10764 (java) R 10760 10760 10420 0 -1 4202560 4574 0 0 0 7 2 0 0 20 0 20 0 238614261 27969433600 27525 33554432000 4194304 4196468 140724695125008 140480469424432 140480497669277 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10765] ppid=10760 vsize=27313900 memory=732370338460503013 CPUtime=0 cores=0-7
/proc/10763/task/10765/stat : 10765 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140480501889808 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10766] ppid=10760 vsize=27313900 memory=140200123049600 CPUtime=0 cores=0-7
/proc/10763/task/10766/stat : 10766 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140480328706960 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10767] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10767/stat : 10767 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479918853136 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10768] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10768/stat : 10768 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479917800592 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10769] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10769/stat : 10769 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479916747024 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10770] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10770/stat : 10770 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479915694480 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10771] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10771/stat : 10771 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479914641936 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10772] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10772/stat : 10772 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 27525 33554432000 4194304 4196468 140724695125008 140479913589392 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10773] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10773/stat : 10773 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614265 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478750808560 140480497658498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10774] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10774/stat : 10774 (java) S 10760 10760 10420 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478448133536 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10775] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10775/stat : 10775 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478179698160 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10776] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10776/stat : 10776 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140477805189840 140480497665947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10777] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10777/stat : 10777 (java) S 10760 10760 10420 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478749755376 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10778] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10778/stat : 10778 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478748702832 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10779] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10779/stat : 10779 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478747650288 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10780] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10780/stat : 10780 (java) S 10760 10760 10420 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478746597744 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10781] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10781/stat : 10781 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 27525 33554432000 4194304 4196468 140724695125008 140477307284192 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10782] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10782/stat : 10782 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614269 27969433600 27525 33554432000 4194304 4196468 140724695125008 140478745545648 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 111496 KiB

[startup+0.210438 s]*
/proc/loadavg: 7.88 8.31 8.31 2/200 10782
/proc/meminfo: memFree=23469620/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 238614261 115843072 349 33554432000 4194304 5098028 140736684512000 140736684509256 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 349 296 221 0 87 0
[pid=10763] ppid=10760 vsize=27313900 memory=124216 CPUtime=0.24 cores=0-7
/proc/10763/stat : 10763 (java) S 10760 10760 10420 0 -1 1077944320 10264 0 0 0 21 3 0 0 20 0 20 0 238614261 27969433600 31054 33554432000 4194304 4196468 140724695125008 140724695107552 140480497647351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
/proc/10763/statm: 6828475 31054 2863 1 0 6790935 0
[pid=10763/tid=10764] ppid=10760 vsize=27313900 memory=0 CPUtime=0.2 cores=0-7
/proc/10763/task/10764/stat : 10764 (java) R 10760 10760 10420 0 -1 4202560 8153 0 0 0 17 3 0 0 20 0 20 0 238614261 27969433600 31054 33554432000 4194304 4196468 140724695125008 140480469460224 140480497669277 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10765] ppid=10760 vsize=27313900 memory=732370338460503013 CPUtime=0 cores=0-7
/proc/10763/task/10765/stat : 10765 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31054 33554432000 4194304 4196468 140724695125008 140480501889808 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10766] ppid=10760 vsize=27313900 memory=140200123049600 CPUtime=0 cores=0-7
/proc/10763/task/10766/stat : 10766 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31054 33554432000 4194304 4196468 140724695125008 140480328706960 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10767] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10767/stat : 10767 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479918853136 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10768] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10768/stat : 10768 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479917800592 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10769] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10769/stat : 10769 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479916747024 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10770] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10770/stat : 10770 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479915694480 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10771] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10771/stat : 10771 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479914641936 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10772] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10772/stat : 10772 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 31119 33554432000 4194304 4196468 140724695125008 140479913589392 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10773] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10773/stat : 10773 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614265 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478750808560 140480497658498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10774] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10774/stat : 10774 (java) S 10760 10760 10420 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478448133536 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10775] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10775/stat : 10775 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478179698160 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10776] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10776/stat : 10776 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140477805189840 140480497665947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10777] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10777/stat : 10777 (java) S 10760 10760 10420 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478749755376 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10778] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10778/stat : 10778 (java) S 10760 10760 10420 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478748702832 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10779] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10779/stat : 10779 (java) S 10760 10760 10420 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478747650288 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10780] ppid=10760 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/10763/task/10780/stat : 10780 (java) S 10760 10760 10420 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478746597744 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10781] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10781/stat : 10781 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 31119 33554432000 4194304 4196468 140724695125008 140477307284192 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10782] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10782/stat : 10782 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614269 27969433600 31119 33554432000 4194304 4196468 140724695125008 140478745545648 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 125612 KiB

[startup+0.310305 s]*
/proc/loadavg: 7.88 8.31 8.31 2/200 10782
/proc/meminfo: memFree=23466208/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 238614261 115843072 349 33554432000 4194304 5098028 140736684512000 140736684509256 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 349 296 221 0 87 0
[pid=10763] ppid=10760 vsize=27313900 memory=128000 CPUtime=0.42 cores=0-7
/proc/10763/stat : 10763 (java) S 10760 10760 10420 0 -1 1077944320 10808 0 0 0 38 4 0 0 20 0 20 0 238614261 27969433600 32000 33554432000 4194304 4196468 140724695125008 140724695107552 140480497647351 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
/proc/10763/statm: 6828475 32000 2972 1 0 6790935 0
[pid=10763/tid=10764] ppid=10760 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10763/task/10764/stat : 10764 (java) R 10760 10760 10420 0 -1 4202560 8536 0 0 0 26 3 0 0 20 0 20 0 238614261 27969433600 32000 33554432000 4194304 4196468 140724695125008 140480469442352 140480477212672 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10765] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10765/stat : 10765 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140480501889808 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10766] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10766/stat : 10766 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140480328706960 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10767] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10767/stat : 10767 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479918853136 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10768] ppid=10760 vsize=27313900 memory=140200013556399 CPUtime=0 cores=0-7
/proc/10763/task/10768/stat : 10768 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479917800592 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10769] ppid=10760 vsize=27313900 memory=140200013558704 CPUtime=0 cores=0-7
/proc/10763/task/10769/stat : 10769 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479916747024 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10770] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10770/stat : 10770 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479915694480 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10771] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10771/stat : 10771 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479914641936 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10772] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10772/stat : 10772 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27969433600 32000 33554432000 4194304 4196468 140724695125008 140479913589392 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10773] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10773/stat : 10773 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614265 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478750808560 140480497658498 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10774] ppid=10760 vsize=27313900 memory=2110550620673956 CPUtime=0 cores=0-7
/proc/10763/task/10774/stat : 10774 (java) S 10760 10760 10420 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478448133536 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10775] ppid=10760 vsize=27313900 memory=2110550620699604 CPUtime=0 cores=0-7
/proc/10763/task/10775/stat : 10775 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614266 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478179698160 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10776] ppid=10760 vsize=27313900 memory=2110550620678564 CPUtime=0 cores=0-7
/proc/10763/task/10776/stat : 10776 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140477805189840 140480497665947 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10777] ppid=10760 vsize=27313900 memory=2110550620699636 CPUtime=0.01 cores=0-7
/proc/10763/task/10777/stat : 10777 (java) S 10760 10760 10420 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478749755376 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10778] ppid=10760 vsize=27313900 memory=2110550620699668 CPUtime=0.02 cores=0-7
/proc/10763/task/10778/stat : 10778 (java) S 10760 10760 10420 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478748702832 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10779] ppid=10760 vsize=27313900 memory=2110550620699428 CPUtime=0 cores=0-7
/proc/10763/task/10779/stat : 10779 (java) S 10760 10760 10420 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478747650288 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10780] ppid=10760 vsize=27313900 memory=2110550620687780 CPUtime=0.07 cores=0-7
/proc/10763/task/10780/stat : 10780 (java) S 10760 10760 10420 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478746597744 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10781] ppid=10760 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/10763/task/10781/stat : 10781 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614268 27969433600 32000 33554432000 4194304 4196468 140724695125008 140477307284192 140480497657557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10782] ppid=10760 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/10763/task/10782/stat : 10782 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614269 27969433600 32000 33554432000 4194304 4196468 140724695125008 140478745545648 140480497658498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 129396 KiB

[startup+0.700956 s]
/proc/loadavg: 7.88 8.31 8.31 2/200 10782
/proc/meminfo: memFree=23442272/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 238614261 115843072 349 33554432000 4194304 5098028 140736684512000 140736684509256 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 349 296 221 0 87 0
[pid=10763] ppid=10760 vsize=27322296 memory=165000 CPUtime=0.99 cores=0-7
/proc/10763/stat : 10763 (java) S 10760 10760 10420 0 -1 1077944320 17757 0 0 0 94 5 0 0 20 0 20 0 238614261 27978031104 41250 33554432000 4194304 4196468 140724695125008 140724695107552 140480497647351 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
/proc/10763/statm: 6830574 41250 3105 1 0 6791959 0
[pid=10763/tid=10764] ppid=10760 vsize=27322296 memory=46304042439738 CPUtime=0.67 cores=0-7
/proc/10763/task/10764/stat : 10764 (java) R 10760 10760 10420 0 -1 4202560 15055 0 0 0 63 4 0 0 20 0 20 0 238614261 27978031104 41250 33554432000 4194304 4196468 140724695125008 140480469479248 140480481727838 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10765] ppid=10760 vsize=27322296 memory=140200013573923 CPUtime=0 cores=0-7
/proc/10763/task/10765/stat : 10765 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 238614264 27978031104 41250 33554432000 4194304 4196468 140724695125008 140480501889808 140480497657557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10766] ppid=10760 vsize=27322296 memory=298747877 CPUtime=0 cores=0-7
/proc/10763/task/10766/stat : 10766 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 238614264 27978031104 41250 33554432000 4194304 4196468 140724695125008 140480328706960 140480497657557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0
[pid=10763/tid=10767] ppid=10760 vsize=27322296 memory=2372 CPUtime=0 cores=0-7
/proc/10763/task/10767/stat : 10767 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 238614264 27978031104 41250 33554432000 4194304 4196468 140724695125008 140479918853136 140480497657557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31199232 140724695127016 140724695127341 140724695127341 140724695130063 0

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

/proc/10783/task/10795/stat : 10795 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615376 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865006007280 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10796] ppid=10760 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/10783/task/10796/stat : 10796 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615378 8615837696 29777 33554432000 4194304 4196468 140724498962080 139864631498960 139866648643483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10797] ppid=10760 vsize=8413904 memory=1168 CPUtime=0.05 cores=0-7
/proc/10783/task/10797/stat : 10797 (java) S 10760 10760 10420 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865741048304 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10798] ppid=10760 vsize=8413904 memory=2092 CPUtime=0.07 cores=0-7
/proc/10783/task/10798/stat : 10798 (java) S 10760 10760 10420 0 -1 1077944384 220 0 0 0 7 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865739995760 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10799] ppid=10760 vsize=8413904 memory=1576 CPUtime=0.04 cores=0-7
/proc/10783/task/10799/stat : 10799 (java) S 10760 10760 10420 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865738943216 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10800] ppid=10760 vsize=8413904 memory=924 CPUtime=0.24 cores=0-7
/proc/10783/task/10800/stat : 10800 (java) S 10760 10760 10420 0 -1 1077944384 890 0 0 0 24 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865737890672 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10801] ppid=10760 vsize=8413904 memory=2180 CPUtime=0 cores=0-7
/proc/10783/task/10801/stat : 10801 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139864133593312 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10802] ppid=10760 vsize=8413904 memory=3980 CPUtime=0.06 cores=0-7
/proc/10783/task/10802/stat : 10802 (java) S 10760 10760 10420 0 -1 1077944384 9 0 0 0 0 6 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865736837552 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10804] ppid=10760 vsize=8413904 memory=2032 CPUtime=0 cores=0-7
/proc/10783/task/10804/stat : 10804 (java) S 10760 10760 10420 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 238615446 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865729029312 139866648649497 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10806] ppid=10760 vsize=8413904 memory=7540 CPUtime=0.03 cores=0-7
/proc/10783/task/10806/stat : 10806 (java) S 10760 10760 10420 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 24 0 238615447 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863462494032 139866648646813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10807] ppid=10760 vsize=8413904 memory=808 CPUtime=0 cores=0-7
/proc/10783/task/10807/stat : 10807 (java) S 10760 10760 10420 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 238615447 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863730929584 139866648646813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10808] ppid=10760 vsize=8413904 memory=1696 CPUtime=0 cores=0-7
/proc/10783/task/10808/stat : 10808 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615449 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863194066592 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
Current children cumulated CPU time: 978.43 s
Current children cumulated vsize: 9236652 KiB
Current children cumulated memory: 654116 KiB

[startup+132.002 s]*
/proc/loadavg: 7.98 8.10 8.22 9/213 10816
/proc/meminfo: memFree=22945716/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1472 CPUtime=23.76 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 591 37773 0 0 0 0 2299 77 20 0 1 0 238614261 115843072 368 33554432000 4194304 5098028 140736684512000 140736684508744 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 368 311 221 0 87 0
[pid=10783] ppid=10760 vsize=8413904 memory=119108 CPUtime=1.28 cores=0-7
/proc/10783/stat : 10783 (java) S 10760 10760 10420 0 -1 1077944320 19091 0 0 0 122 6 0 0 20 0 24 0 238615372 8615837696 29777 33554432000 4194304 4196468 140724498962080 140724498944624 139866648624887 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
/proc/10783/statm: 2103476 29777 3144 1 0 2064875 0
[pid=10803] ppid=10783 vsize=709620 memory=533536 CPUtime=956.65 cores=0-7
/proc/10803/stat : 10803 (glucose-syrup) S 10783 10760 10420 0 -1 1077944320 351563 0 0 0 95572 93 0 0 20 0 9 0 238615446 726650880 133384 33554432000 4194304 4373367 140737000422544 140737000421088 139642456115842 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
/proc/10803/statm: 177405 133384 389 44 0 173093 0
[pid=10803/tid=10809] ppid=10783 vsize=709620 memory=1224 CPUtime=117.2 cores=0-7
/proc/10803/task/10809/stat : 10809 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 43034 0 0 0 11709 11 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642431589208 4291826 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10810] ppid=10783 vsize=709620 memory=0 CPUtime=119.89 cores=0-7
/proc/10803/task/10810/stat : 10810 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 41010 0 0 0 11980 9 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642423197040 4292010 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10811] ppid=10783 vsize=709620 memory=1472 CPUtime=119.9 cores=0-7
/proc/10803/task/10811/stat : 10811 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 39122 0 0 0 11978 12 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642414804336 4292001 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10812] ppid=10783 vsize=709620 memory=119108 CPUtime=119.9 cores=0-7
/proc/10803/task/10812/stat : 10812 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 46000 0 0 0 11978 12 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642406411632 4271808 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10813] ppid=10783 vsize=709620 memory=532588 CPUtime=119.85 cores=0-7
/proc/10803/task/10813/stat : 10813 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 41636 0 0 0 11974 11 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642398018928 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10814] ppid=10783 vsize=709620 memory=7811050902959776874 CPUtime=119.86 cores=0-7
/proc/10803/task/10814/stat : 10814 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 41305 0 0 0 11976 10 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642255408496 4292001 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10815] ppid=10783 vsize=709620 memory=7380671197071305324 CPUtime=119.91 cores=0-7
/proc/10803/task/10815/stat : 10815 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 39772 0 0 0 11981 10 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642389626128 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10803/tid=10816] ppid=10783 vsize=709620 memory=7724304894280297831 CPUtime=119.85 cores=0-7
/proc/10803/task/10816/stat : 10816 (glucose-syrup) R 10783 10760 10420 0 -1 4202560 42241 0 0 0 11974 11 0 0 20 0 9 0 238615468 726650880 133384 33554432000 4194304 4373367 140737000422544 139642381233424 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 29642752 140737000424528 140737000424660 140737000424660 140737000427463 0
[pid=10783/tid=10784] ppid=10760 vsize=8413904 memory=119072 CPUtime=0.76 cores=0-7
/proc/10783/task/10784/stat : 10784 (java) S 10760 10760 10420 0 -1 1077944384 15703 0 0 0 72 4 0 0 20 0 24 0 238615373 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866620465040 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10785] ppid=10760 vsize=8413904 memory=532408 CPUtime=0 cores=0-7
/proc/10783/task/10785/stat : 10785 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866652866832 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10786] ppid=10760 vsize=8413904 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/10783/task/10786/stat : 10786 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866484115856 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10787] ppid=10760 vsize=8413904 memory=119072 CPUtime=0 cores=0-7
/proc/10783/task/10787/stat : 10787 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866132556304 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10788] ppid=10760 vsize=8413904 memory=441712 CPUtime=0 cores=0-7
/proc/10783/task/10788/stat : 10788 (java) S 10760 10760 10420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866131503760 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10789] ppid=10760 vsize=8413904 memory=1160 CPUtime=0 cores=0-7
/proc/10783/task/10789/stat : 10789 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866130451216 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10790] ppid=10760 vsize=8413904 memory=1764 CPUtime=0 cores=0-7
/proc/10783/task/10790/stat : 10790 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866129398672 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10791] ppid=10760 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/10783/task/10791/stat : 10791 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866128346128 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10792] ppid=10760 vsize=8413904 memory=119108 CPUtime=0 cores=0-7
/proc/10783/task/10792/stat : 10792 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615374 8615837696 29777 33554432000 4194304 4196468 140724498962080 139866127293584 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10793] ppid=10760 vsize=8413904 memory=532588 CPUtime=0 cores=0-7
/proc/10783/task/10793/stat : 10793 (java) S 10760 10760 10420 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 238615375 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865742100464 139866648636034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10794] ppid=10760 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/10783/task/10794/stat : 10794 (java) S 10760 10760 10420 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 238615376 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865274442656 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10795] ppid=10760 vsize=8413904 memory=3684 CPUtime=0 cores=0-7
/proc/10783/task/10795/stat : 10795 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615376 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865006007280 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10796] ppid=10760 vsize=8413904 memory=64664 CPUtime=0 cores=0-7
/proc/10783/task/10796/stat : 10796 (java) S 10760 10760 10420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 238615378 8615837696 29777 33554432000 4194304 4196468 140724498962080 139864631498960 139866648643483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10797] ppid=10760 vsize=8413904 memory=2148 CPUtime=0.05 cores=0-7
/proc/10783/task/10797/stat : 10797 (java) S 10760 10760 10420 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865741048304 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10798] ppid=10760 vsize=8413904 memory=1160 CPUtime=0.07 cores=0-7
/proc/10783/task/10798/stat : 10798 (java) S 10760 10760 10420 0 -1 1077944384 220 0 0 0 7 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865739995760 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10799] ppid=10760 vsize=8413904 memory=1764 CPUtime=0.04 cores=0-7
/proc/10783/task/10799/stat : 10799 (java) S 10760 10760 10420 0 -1 1077944384 297 0 0 0 4 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865738943216 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10800] ppid=10760 vsize=8413904 memory=1472 CPUtime=0.24 cores=0-7
/proc/10783/task/10800/stat : 10800 (java) S 10760 10760 10420 0 -1 1077944384 890 0 0 0 24 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865737890672 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10801] ppid=10760 vsize=8413904 memory=119108 CPUtime=0 cores=0-7
/proc/10783/task/10801/stat : 10801 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139864133593312 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10802] ppid=10760 vsize=8413904 memory=533000 CPUtime=0.06 cores=0-7
/proc/10783/task/10802/stat : 10802 (java) S 10760 10760 10420 0 -1 1077944384 9 0 0 0 0 6 0 0 20 0 24 0 238615379 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865736837552 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10804] ppid=10760 vsize=8413904 memory=9168 CPUtime=0 cores=0-7
/proc/10783/task/10804/stat : 10804 (java) S 10760 10760 10420 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 238615446 8615837696 29777 33554432000 4194304 4196468 140724498962080 139865729029312 139866648649497 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10806] ppid=10760 vsize=8413904 memory=872 CPUtime=0.03 cores=0-7
/proc/10783/task/10806/stat : 10806 (java) S 10760 10760 10420 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 24 0 238615447 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863462494032 139866648646813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10807] ppid=10760 vsize=8413904 memory=1920 CPUtime=0 cores=0-7
/proc/10783/task/10807/stat : 10807 (java) S 10760 10760 10420 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 238615447 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863730929584 139866648646813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10808] ppid=10760 vsize=8413904 memory=6268 CPUtime=0 cores=0-7
/proc/10783/task/10808/stat : 10808 (java) S 10760 10760 10420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 238615449 8615837696 29777 33554432000 4194304 4196468 140724498962080 139863194066592 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
Current children cumulated CPU time: 981.69 s
Current children cumulated vsize: 9236652 KiB
Current children cumulated memory: 654116 KiB

[startup+132.111 s]
/proc/loadavg: 7.98 8.10 8.22 9/213 10816
/proc/meminfo: memFree=22945716/32770624 swapFree=67108368/67108860
[pid=10760] ppid=10757 vsize=113128 memory=1472 CPUtime=23.76 cores=0-7
/proc/10760/stat : 10760 (scop.sh) S 10757 10760 10420 0 -1 4202496 591 37773 0 0 0 0 2299 77 20 0 1 0 238614261 115843072 368 33554432000 4194304 5098028 140736684512000 140736684508744 140169996792444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37552128 140736684516386 140736684516611 140736684516611 140736684519373 0
/proc/10760/statm: 28282 368 311 221 0 87 0
[pid=10783] ppid=10760 vsize=8282828 memory=126368 CPUtime=958.35 cores=0-7
/proc/10783/stat : 10783 (java) S 10760 10760 10420 0 -1 1077944320 19851 351653 0 0 142 7 95590 96 20 0 22 0 238615372 8481615872 31592 33554432000 4194304 4196468 140724498962080 140724498944624 139866648624887 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
/proc/10783/statm: 2070707 31592 3169 1 0 2032106 0
[pid=10783/tid=10784] ppid=10760 vsize=8282828 memory=119072 CPUtime=957.66 cores=0-7
/proc/10783/task/10784/stat : 10784 (java) R 10760 10760 10420 0 -1 4202560 15827 351653 0 0 75 5 95590 96 20 0 22 0 238615373 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866620461856 139866648636822 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10785] ppid=10760 vsize=8282828 memory=280400027918960 CPUtime=956.86 cores=0-7
/proc/10783/task/10785/stat : 10785 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866652866832 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10786] ppid=10760 vsize=8282828 memory=7084821273655853161 CPUtime=956.86 cores=0-7
/proc/10783/task/10786/stat : 10786 (java) S 10760 10760 10420 0 -1 1077944384 2 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866484115856 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10787] ppid=10760 vsize=8282828 memory=1472 CPUtime=956.86 cores=0-7
/proc/10783/task/10787/stat : 10787 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866132556304 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10788] ppid=10760 vsize=8282828 memory=119072 CPUtime=956.86 cores=0-7
/proc/10783/task/10788/stat : 10788 (java) S 10760 10760 10420 0 -1 1077944384 2 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866131503760 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10789] ppid=10760 vsize=8282828 memory=64664 CPUtime=956.86 cores=0-7
/proc/10783/task/10789/stat : 10789 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866130451216 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10790] ppid=10760 vsize=8282828 memory=2148 CPUtime=956.86 cores=0-7
/proc/10783/task/10790/stat : 10790 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866129398672 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10791] ppid=10760 vsize=8282828 memory=1472 CPUtime=956.86 cores=0-7
/proc/10783/task/10791/stat : 10791 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866128346128 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10792] ppid=10760 vsize=8282828 memory=119072 CPUtime=956.86 cores=0-7
/proc/10783/task/10792/stat : 10792 (java) S 10760 10760 10420 0 -1 1077944384 3 351653 0 0 0 0 95590 96 20 0 22 0 238615374 8481615872 31592 33554432000 4194304 4196468 140724498962080 139866127293584 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10793] ppid=10760 vsize=8282828 memory=1472 CPUtime=956.86 cores=0-7
/proc/10783/task/10793/stat : 10793 (java) S 10760 10760 10420 0 -1 1077944384 11 351653 0 0 0 0 95590 96 20 0 22 0 238615375 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865742100464 139866648636034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10794] ppid=10760 vsize=8282828 memory=119072 CPUtime=956.86 cores=0-7
/proc/10783/task/10794/stat : 10794 (java) S 10760 10760 10420 0 -1 1077944384 13 351653 0 0 0 0 95590 96 20 0 22 0 238615376 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865274442656 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10795] ppid=10760 vsize=8282828 memory=532284 CPUtime=956.86 cores=0-7
/proc/10783/task/10795/stat : 10795 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615376 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865006007280 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10796] ppid=10760 vsize=8282828 memory=0 CPUtime=956.86 cores=0-7
/proc/10783/task/10796/stat : 10796 (java) S 10760 10760 10420 0 -1 1077944384 1 351653 0 0 0 0 95590 96 20 0 22 0 238615378 8481615872 31592 33554432000 4194304 4196468 140724498962080 139864631498960 139866648643483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10797] ppid=10760 vsize=8282828 memory=0 CPUtime=956.94 cores=0-7
/proc/10783/task/10797/stat : 10797 (java) S 10760 10760 10420 0 -1 1077944384 607 351653 0 0 8 0 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865741048304 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10798] ppid=10760 vsize=8282828 memory=4420 CPUtime=956.95 cores=0-7
/proc/10783/task/10798/stat : 10798 (java) S 10760 10760 10420 0 -1 1077944384 329 351653 0 0 9 0 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865739995760 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10799] ppid=10760 vsize=8282828 memory=1472 CPUtime=956.93 cores=0-7
/proc/10783/task/10799/stat : 10799 (java) S 10760 10760 10420 0 -1 1077944384 568 351653 0 0 7 0 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865738943216 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10800] ppid=10760 vsize=8282828 memory=119108 CPUtime=957.13 cores=0-7
/proc/10783/task/10800/stat : 10800 (java) R 10760 10760 10420 0 -1 4202560 1045 351653 0 0 27 0 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865737890672 139866648636822 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10801] ppid=10760 vsize=8282828 memory=533324 CPUtime=956.86 cores=0-7
/proc/10783/task/10801/stat : 10801 (java) S 10760 10760 10420 0 -1 1077944384 3 351653 0 0 0 0 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139864133593312 139866648635093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10802] ppid=10760 vsize=8282828 memory=119108 CPUtime=956.92 cores=0-7
/proc/10783/task/10802/stat : 10802 (java) S 10760 10760 10420 0 -1 1077944384 9 351653 0 0 0 6 95590 96 20 0 22 0 238615379 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865736837552 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10804] ppid=10760 vsize=8282828 memory=532948 CPUtime=956.86 cores=0-7
/proc/10783/task/10804/stat : 10804 (java) S 10760 10760 10420 0 -1 1077944384 24 351653 0 0 0 0 95590 96 20 0 22 0 238615446 8481615872 31592 33554432000 4194304 4196468 140724498962080 139865729028496 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
[pid=10783/tid=10808] ppid=10760 vsize=8282828 memory=808 CPUtime=956.86 cores=0-7
/proc/10783/task/10808/stat : 10808 (java) S 10760 10760 10420 0 -1 1077944384 7 351653 0 0 0 0 95590 96 20 0 22 0 238615449 8481615872 31592 33554432000 4194304 4196468 140724498962080 139863194068400 139866648636034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140724498965681 140724498965805 140724498965805 140724498968527 0
Current children cumulated CPU time: 982.11 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 127840 KiB

Child status: 0
Real time (s): 132.171
CPU time (s): 982.224
CPU user time (s): 980.401
CPU system time (s): 1.82367
CPU usage (%): 743.149
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 4393628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 980.401
system time used= 1.82367
maximum resident set size= 4397936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15833
involuntary context switches= 10003


# summary of solver processes directly reported to runsolver:
#   pid: 10760
#   total CPU time (s): 982.224
#   total CPU user time (s): 980.401
#   total CPU system time (s): 1.82367

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28955 second user time and 1.70182 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-14 03:35:11
IDJOB=4307145
IDBENCH=141663
IDSOLVER=2788
FILE ID=node148/4307145-1534210511
RUNJOBID= node148-1534207985-10447
PBS_JOBID= 21038021
Free space on /tmp= 33988 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-07-07_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307145-1534210511/watcher-4307145-1534210511 -o /tmp/evaluation-result-4307145-1534210511/solver-4307145-1534210511 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534207985-10447 --watchdog 2580  scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307145-1534210511.xml

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

MD5SUM BENCH= d2370bf20b8fe6e2b2b2b678a676e404
RANDOM SEED=1656959659

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
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.50
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.50
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.50
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:        23583120 kB
MemAvailable:   31906184 kB
Buffers:          134352 kB
Cached:          8366056 kB
SwapCached:            4 kB
Active:          4323648 kB
Inactive:        4228000 kB
Active(anon):       4364 kB
Inactive(anon):    98812 kB
Active(file):    4319284 kB
Inactive(file):  4129188 kB
Unevictable:        7344 kB
Mlocked:            7344 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:              8164 kB
Writeback:             0 kB
AnonPages:         73732 kB
Mapped:            53560 kB
Shmem:             49620 kB
Slab:             331292 kB
SReclaimable:     303052 kB
SUnreclaim:        28240 kB
KernelStack:        3552 kB
PageTables:         5124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33980 MiB
End job on node148 at 2018-08-14 03:37:23