Trace number 4307430

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 both+glucose-syrup (2018-07-31)UNSAT 867.941 114.725

General information on the benchmark

NameSocialGolfers/
SocialGolfers-6-6-8-cp_c18.xml
MD5SUM8a9161d398725f1a5fa3c8de0eb5bbd3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark867.941
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints17650
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":288}]
Minimum variable degree247
Maximum variable degree248
Distribution of variable degrees[{"degree":247,"count":252},{"degree":248,"count":36}]
Minimum constraint arity4
Maximum constraint arity288
Distribution of constraint arities[{"arity":4,"count":17640},{"arity":36,"count":9},{"arity":288,"count":1}]
Number of extensional constraints0
Number of intensional constraints17640
Distribution of constraint types[{"type":"intension","count":17640},{"type":"lex","count":1},{"type":"cardinality","count":8},{"type":"instantiation","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 -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-16682-serial-file.bin HOME/instance-4307430-1534191882.xml
0.64/0.53	
0.64/0.53	scop both+glucose-syrup (2018-07-31)
0.64/0.53	(Encoding Process)
0.64/0.53	
0.64/0.56	c BEGIN-Prog: Mon Aug 13 22:24:43 CEST 2018
0.64/0.56	c PID: 16685
0.64/0.56	c IP: 172.20.3.105
0.64/0.56	c HOST: node105.alineos.net
0.64/0.56	c (0,0) Parsing Begin
7.63/2.72	c (2,2) Parsing End
7.63/2.73	c (2,2) CSP: 288 int (0 aux), 0 bool (0 aux), 17650 ctr, max domain size 6
7.63/2.73	c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.63/2.73	c (2,2) Constraint Name Generate Begin
7.89/2.81	c (2,2) Ctr:HOME/instance-4307430-1534191882.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
7.89/2.81	c (2,2) Constraint Name Generate End
7.89/2.81	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.89/2.81	c (2,2) CSP to CSPinCNF Begin
8.72/3.14	c (2,2) translated 1765 (10%) constraints
9.03/3.23	c (2,2) translated 3530 (20%) constraints
9.43/3.30	c (2,2) translated 5295 (30%) constraints
9.43/3.35	c (2,2) translated 7060 (40%) constraints
9.43/3.40	c (2,2) translated 8825 (50%) constraints
9.77/3.44	c (2,2) translated 10590 (60%) constraints
9.77/3.48	c (2,2) translated 12355 (70%) constraints
9.90/3.51	c (2,2) translated 14120 (80%) constraints
9.90/3.55	c (3,2) translated 15885 (90%) constraints
11.74/4.08	c (3,3) translated 17650 (100%) constraints
14.73/4.93	c (4,4) STATISTICS1:HOME/instance-4307430-1534191882.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2464,22160,34359738368,6,4,36,34359738368:96;6:31751;1:4551,6:66597;2:6528;1:9499,4:18088;3:1770;2:2176;1:126,36:96;2:36302;1:10056,
14.73/4.93	c (4,4) ==========================================
14.73/4.93	c (4,4) Both Encoding selects:
14.73/4.93	c (4,4) Order
14.73/4.93	c (4,4) ==========================================
15.20/5.09	c (4,4) translated 2216 (10%) constraints
15.78/5.21	c (4,4) translated 4432 (20%) constraints
16.04/5.32	c (4,4) translated 6648 (30%) constraints
16.15/5.41	c (4,4) translated 8864 (40%) constraints
16.25/5.51	c (4,4) translated 11080 (50%) constraints
16.35/5.61	c (5,5) translated 13296 (60%) constraints
16.45/5.71	c (5,5) translated 15512 (70%) constraints
16.55/5.85	c (5,5) translated 17728 (80%) constraints
17.82/6.11	c (5,5) translated 19944 (90%) constraints
18.19/6.26	c (5,5) translated 22160 (100%) constraints
18.19/6.26	c (5,5) CSP to CSPinCNF End
18.19/6.26	c (5,5) CSP: 720 int (432 aux), 3904 bool (3904 aux), 26564 ctr, max domain size 7
18.19/6.26	c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.19/6.26	c (5,5) CSPinCNF Propagation Begin
19.78/6.61	c (6,6) 786 values, 6580 unsatisfiable literals, and 5416 valid clauses are removed
19.78/6.61	c (6,6) CSPinCNF Propagation End
19.78/6.61	c (6,6) CSP: 1182 int (894 aux), 3442 bool (3442 aux), 21148 ctr, max domain size 7
19.78/6.61	c (6,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.78/6.61	c (6,6) Simplify CSPinCNF Begin
21.13/7.06	c (6,6) Simplify CSPinCNF End
21.13/7.06	c (6,6) CSP: 1182 int (894 aux), 12773 bool (12773 aux), 30479 ctr, max domain size 7
21.13/7.06	c (6,6) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.13/7.06	c (6,6) Calculate Precise Domain Begin
21.52/7.12	c (6,6) 0 values are removed by re-calculation
21.52/7.12	c (6,6) Calculate Precise Domain End
21.52/7.12	c (6,6) CSP: 1182 int (894 aux), 12773 bool (12773 aux), 30479 ctr, max domain size 7
21.52/7.12	c (6,6) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.52/7.12	c (6,6) CSPinCNF to SatSolver Begin
22.16/7.33	c (6,6) 3048 (10 %) CSP clauses are encoded (16301 SAT variables, 16775 SAT clauses)
22.56/7.42	c (6,6) 6096 (20 %) CSP clauses are encoded (16301 SAT variables, 30628 SAT clauses)
22.93/7.50	c (6,6) 9144 (30 %) CSP clauses are encoded (16301 SAT variables, 43301 SAT clauses)
22.93/7.56	c (7,6) 12192 (40 %) CSP clauses are encoded (16301 SAT variables, 55944 SAT clauses)
22.93/7.59	c (7,7) 15240 (50 %) CSP clauses are encoded (16301 SAT variables, 62237 SAT clauses)
23.12/7.62	c (7,7) 18288 (60 %) CSP clauses are encoded (16301 SAT variables, 65285 SAT clauses)
23.12/7.64	c (7,7) 21336 (70 %) CSP clauses are encoded (16301 SAT variables, 68333 SAT clauses)
23.36/7.74	c (7,7) 24384 (80 %) CSP clauses are encoded (16301 SAT variables, 82805 SAT clauses)
23.66/7.86	c (7,7) 27432 (90 %) CSP clauses are encoded (16301 SAT variables, 108701 SAT clauses)
23.86/7.93	c (7,7) 30479 (100 %) CSP clauses are encoded (16301 SAT variables, 121400 SAT clauses)
23.86/7.93	c (7,7) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
23.86/7.93	c (7,7) CSPinCNF to SatSolver End
23.86/7.93	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.60/8.13	c (7,7) STATISTICS2:HOME/instance-4307430-1534191882.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,13955,30479,64,7,4,7,64:504;49:336;6:9701;1:89,7:1512;6:24531;2:75766;1:89,4:13638;3:1054;2:14911;1:876,7:504;3:336;2:9790;1:77782,
24.60/8.13	c (7,7) 16301 bool, 121405 clause
24.60/8.13	c (7,7) Export Begin
24.99/8.23	c (7,7) Export to HOME/scop-16682-serial-file.bin
24.99/8.23	c (7,7) Export End
24.99/8.23	c (7,7) Export File Size: 0.05 MB
24.99/8.23	c (7,7) 2,2,5,6,6,6,7,STOP-AFTER(DIMACS)
24.99/8.23	c END-Prog: Mon Aug 13 22:24:51 CEST 2018
24.99/8.27	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-16682-serial-file.bin
25.16/8.76	c (0,0) Read Serial File Begin
25.16/8.76	c (0,0) HOME/scop-16682-serial-file.bin
25.16/8.95	c (0,0) Read Serial File End
25.16/8.95	
25.16/8.95	scop order+glucose-syrup (2018-07-31)
25.16/8.95	(Solving Process)
25.16/8.95	
25.16/8.98	c BEGIN-Prog: Mon Aug 13 22:24:51 CEST 2018
25.16/8.98	c PID: 16705
25.16/8.98	c IP: 172.20.3.105
25.16/8.98	c HOST: node105.alineos.net
25.16/8.99	c (0,0) SatSolver.solve Begin
25.16/8.99	c (0,0) 0 bool, 0 clause
25.16/8.99	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307430-1534191882.xml-scop-16685.cnf
96.69/18.03	c (9,0) c
96.69/18.03	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
96.69/18.03	c (9,0) c
96.69/18.03	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
96.69/18.03	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
96.69/18.03	c (9,0) c ========================================[ Problem Statistics ]===========================================
96.69/18.03	c (9,0) c |                                                                                                       |
96.69/18.03	c (9,0) c |  Number of variables:         16301                                                                   |
96.69/18.03	c (9,0) c |  Number of clauses:          121405                                                                   |
96.69/18.03	c (9,0) c |  Parse time:                   0.05 s                                                                 |
96.69/18.03	c (9,0) c |                                                                                                       |
96.69/18.03	c (9,0) c |  Eliminated clauses:           0.06 Mb                                                                |
96.69/18.03	c (9,0) c |  Simplification time:          0.09 s                                                                 |
96.69/18.03	c (9,0) c |                                                                                                       |
96.69/18.03	c (9,0) c |  Generating clones                                                                                    |
96.69/18.03	c (9,0) c |  all clones generated. Memory = 107.45Mb.                                                             |
96.69/18.03	c (9,0) c ========================================================================================================|
96.69/18.03	c (9,0) c
96.69/18.03	c (9,0) c |-------------------------------------------------------------------------------------------------------|
96.69/18.03	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
96.69/18.03	c (9,0) c |-------------------------------------------------------------------------------------------------------|
96.69/18.03	c (9,0) c |  0 |    323 |     142523 |      62057 |    49027 |    23236 |    10565 |    70578 |     1995 | 13.944 |
96.69/18.03	c (9,0) c |  1 |    319 |     126927 |      56535 |    28638 |    17807 |     9320 |    71948 |     2445 | 13.968 |
96.69/18.03	c (9,0) c |  2 |    319 |     134955 |      60206 |    38037 |    21409 |    10298 |    70960 |     1464 | 13.968 |
96.69/18.03	c (9,0) c |  3 |    290 |     127683 |      58609 |    30150 |    19953 |    10127 |    71135 |     3171 | 13.968 |
96.69/18.03	c (9,0) c |  4 |    262 |     115170 |      55417 |    19816 |    16748 |     9548 |    71680 |     2572 | 13.968 |
96.69/18.03	c (9,0) c |  5 |    385 |     140404 |      58966 |    30984 |    20281 |     9392 |    71427 |     3105 | 13.944 |
96.69/18.03	c (9,0) c |  6 |    411 |     143821 |      60748 |    33725 |    22070 |     9402 |    71846 |     3226 | 13.968 |
96.69/18.03	c (9,0) c |  7 |    636 |     201192 |      82269 |    43382 |    28522 |    12627 |    68634 |     3647 | 13.968 |
96.69/18.03	c (9,0) c 
96.69/18.03	c (9,0) c synthesis      494808 conflicts    99191018 propagations    13001 conflicts/sec  2606142 propagations/sec
96.69/18.03	c (9,0) c Total Memory so far : 683.87Mb
96.69/18.03	c (9,0) c
96.69/18.03	c (9,0) c |-------------------------------------------------------------------------------------------------------|
96.69/18.03	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
96.69/18.03	c (9,0) c |-------------------------------------------------------------------------------------------------------|
96.69/18.03	c (9,0) c |  0 |    518 |     210608 |      97088 |    49618 |    25701 |    15721 |   102377 |     3197 | 15.324 |
96.69/18.03	c (9,0) c |  1 |    486 |     183225 |      86337 |    31389 |    32633 |    13296 |   104686 |     3166 | 15.324 |
96.69/18.03	c (9,0) c |  2 |    541 |     203262 |      92550 |    38324 |    20978 |    15006 |   102795 |     2339 | 15.324 |
96.69/18.03	c (9,0) c |  3 |    448 |     185072 |      88495 |    30385 |    34787 |    14103 |   104148 |     4755 | 15.324 |
96.69/18.03	c (9,0) c |  4 |    430 |     172711 |      85743 |    20080 |    32010 |    13630 |   104569 |     3784 | 15.324 |
96.69/18.03	c (9,0) c |  5 |    591 |     220645 |      99579 |    33518 |    28260 |    15842 |   102222 |     4562 | 15.324 |
96.69/18.03	c (9,0) c |  6 |    612 |     205845 |      92294 |    33934 |    21036 |    13344 |   104929 |     4438 | 15.324 |
96.69/18.03	c (9,0) c |  7 |    981 |     294656 |     120728 |    44801 |    29177 |    17364 |   100935 |     5630 | 15.324 |
96.69/18.03	c (9,0) c 
200.38/31.03	c (22,0) c synthesis      762815 conflicts   161472416 propagations    10905 conflicts/sec  2308307 propagations/sec
200.38/31.03	c (22,0) c Total Memory so far : 683.87Mb
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c Try to adapt solver strategies
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c Nothing extreme in this problem, continue with glucose default strategies.
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c Try to adapt solver strategies
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c Nothing extreme in this problem, continue with glucose default strategies.
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c Try to adapt solver strategies
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c Nothing extreme in this problem, continue with glucose default strategies.
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c Try to adapt solver strategies
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c Nothing extreme in this problem, continue with glucose default strategies.
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c |  0 |    666 |     286483 |     137436 |    55597 |    23193 |    21719 |   132000 |     7983 | 15.398 |
200.38/31.03	c (22,0) c |  1 |    611 |     229070 |     111908 |    31418 |    20488 |    16363 |   136701 |     3727 | 15.398 |
200.38/31.03	c (22,0) c |  2 |    708 |     260055 |     122509 |    38430 |    30892 |    19139 |   134585 |     3075 | 15.398 |
200.38/31.03	c (22,0) c |  3 |    564 |     236021 |     116769 |    30680 |    25347 |    17683 |   136128 |     7052 | 15.398 |
200.38/31.03	c (22,0) c |  4 |    560 |     223912 |     113734 |    20784 |    22305 |    17496 |   135838 |     4910 | 15.398 |
200.38/31.03	c (22,0) c |  5 |    750 |     295675 |     137605 |    52497 |    23379 |    21547 |   132226 |     6515 | 15.398 |
200.38/31.03	c (22,0) c |  6 |    758 |     263945 |     124073 |    35534 |    32640 |    17551 |   136087 |     6010 | 15.398 |
200.38/31.03	c (22,0) c |  7 |   1244 |     371365 |     156164 |    45495 |    41850 |    22328 |   131471 |     7915 | 15.398 |
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c synthesis     1020199 conflicts   219696339 propagations    10026 conflicts/sec  2159079 propagations/sec
200.38/31.03	c (22,0) c Total Memory so far : 683.87Mb
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c |  0 |    770 |     337345 |     165373 |    56696 |    25728 |    24262 |   157189 |    10531 | 15.680 |
200.38/31.03	c (22,0) c |  1 |    742 |     276562 |     137800 |    32496 |    23554 |    19867 |   161391 |     4432 | 15.680 |
200.38/31.03	c (22,0) c |  2 |    845 |     310498 |     150320 |    38481 |    35993 |    22628 |   158427 |     3448 | 15.680 |
200.38/31.03	c (22,0) c |  3 |    654 |     286738 |     145775 |    31025 |    31563 |    21168 |   160254 |     9194 | 15.680 |
200.38/31.03	c (22,0) c |  4 |    654 |     277783 |     144963 |    28841 |    30751 |    21250 |   159207 |     7801 | 15.680 |
200.38/31.03	c (22,0) c |  5 |    861 |     354301 |     171301 |    52999 |    31663 |    25713 |   155386 |     7373 | 15.680 |
200.38/31.03	c (22,0) c |  6 |    852 |     313088 |     152216 |    38534 |    37980 |    20682 |   160529 |     7655 | 15.680 |
200.38/31.03	c (22,0) c |  7 |   1428 |     439050 |     190288 |    50976 |    50552 |    25895 |   155522 |    13113 | 15.680 |
200.38/31.03	c (22,0) c 
200.38/31.03	c (22,0) c synthesis     1258037 conflicts   276341854 propagations     9415 conflicts/sec  2068028 propagations/sec
200.38/31.03	c (22,0) c Total Memory so far : 683.87Mb
200.38/31.03	c (22,0) c
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
200.38/31.03	c (22,0) c |-------------------------------------------------------------------------------------------------------|
200.38/31.03	c (22,0) c |  0 |    921 |     404160 |     201408 |    57227 |    33785 |    28278 |   182397 |    13346 | 15.748 |
200.38/31.03	c (22,0) c |  1 |    851 |     328625 |     169195 |    34835 |    29585 |    23728 |   186405 |     5384 | 15.748 |
200.38/31.03	c (22,0) c |  2 |   1000 |     367398 |     181906 |    40945 |    42219 |    26320 |   184355 |     3857 | 15.748 |
200.38/31.03	c (22,0) c |  3 |    772 |     346151 |     180875 |    32664 |    41272 |    25189 |   185576 |    10853 | 15.748 |
312.05/45.02	c (36,0) c |  4 |    790 |     348461 |     185402 |    30682 |    45803 |    26222 |   184031 |    10267 | 15.748 |
312.05/45.02	c (36,0) c |  5 |    995 |     414585 |     206790 |    53086 |    39166 |    29296 |   181386 |     7923 | 15.748 |
312.05/45.02	c (36,0) c |  6 |    958 |     366151 |     183322 |    38834 |    43714 |    23678 |   186785 |     8837 | 15.748 |
312.05/45.02	c (36,0) c |  7 |   1635 |     501949 |     221828 |    51581 |    54124 |    28078 |   182245 |    15565 | 15.748 |
312.05/45.02	c (36,0) c 
312.05/45.02	c (36,0) c synthesis     1530729 conflicts   341662279 propagations     8825 conflicts/sec  1969746 propagations/sec
312.05/45.02	c (36,0) c Total Memory so far : 684.79Mb
312.05/45.02	c (36,0) c
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c |  0 |   1055 |     453430 |     228948 |    57600 |    30714 |    31011 |   206033 |    14891 | 15.864 |
312.05/45.02	c (36,0) c |  1 |    926 |     375790 |     199066 |    34903 |    31451 |    27126 |   205658 |     6346 | 15.864 |
312.05/45.02	c (36,0) c |  2 |   1104 |     413943 |     208333 |    40962 |    40670 |    28932 |   208199 |     4067 | 15.864 |
312.05/45.02	c (36,0) c |  3 |    865 |     392757 |     209711 |    32718 |    42075 |    27978 |   209777 |    11944 | 15.864 |
312.05/45.02	c (36,0) c |  4 |    896 |     408993 |     221896 |    30925 |    54250 |    30131 |   207369 |    11624 | 15.864 |
312.05/45.02	c (36,0) c |  5 |   1111 |     480783 |     245025 |    53982 |    46811 |    34782 |   202554 |     8613 | 15.864 |
312.05/45.02	c (36,0) c |  6 |   1085 |     424475 |     216123 |    39831 |    48460 |    27219 |   209920 |    10542 | 15.864 |
312.05/45.02	c (36,0) c |  7 |   1825 |     560470 |     251523 |    51635 |    53236 |    30592 |   207020 |    17055 | 15.864 |
312.05/45.02	c (36,0) c 
312.05/45.02	c (36,0) c synthesis     1780630 conflicts   402731464 propagations     8350 conflicts/sec  1888591 propagations/sec
312.05/45.02	c (36,0) c Total Memory so far : 687.52Mb
312.05/45.02	c (36,0) c
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c |  0 |   1163 |     503339 |     258099 |    57663 |    59865 |    33692 |   229037 |    16152 | 15.864 |
312.05/45.02	c (36,0) c |  1 |   1013 |     436135 |     235553 |    36286 |    37348 |    31354 |   231460 |     9807 | 15.864 |
312.05/45.02	c (36,0) c |  2 |   1211 |     456617 |     233764 |    41056 |    35538 |    31378 |   231182 |     4260 | 15.864 |
312.05/45.02	c (36,0) c |  3 |    958 |     438885 |     238247 |    32746 |    40029 |    30607 |   232122 |    13061 | 15.864 |
312.05/45.02	c (36,0) c |  4 |    990 |     459383 |     253713 |    31059 |    55497 |    33211 |   227834 |    12489 | 15.864 |
312.05/45.02	c (36,0) c |  5 |   1237 |     541526 |     280964 |    54022 |    49567 |    39549 |   223253 |     9197 | 15.864 |
312.05/45.02	c (36,0) c |  6 |   1187 |     474845 |     245597 |    40966 |    47385 |    30285 |   232568 |    11503 | 15.864 |
312.05/45.02	c (36,0) c |  7 |   1977 |     609092 |     277145 |    51669 |    45704 |    32808 |   229955 |    18452 | 15.864 |
312.05/45.02	c (36,0) c 
312.05/45.02	c (36,0) c synthesis     2023082 conflicts   462977414 propagations     7993 conflicts/sec  1829183 propagations/sec
312.05/45.02	c (36,0) c Total Memory so far : 690.38Mb
312.05/45.02	c (36,0) c
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
312.05/45.02	c (36,0) c |-------------------------------------------------------------------------------------------------------|
312.05/45.02	c (36,0) c |  0 |   1256 |     538234 |     277963 |    57683 |    46549 |    35415 |   243734 |    17007 | 15.864 |
312.05/45.02	c (36,0) c |  1 |   1072 |     477456 |     260097 |    36479 |    61892 |    33763 |   245338 |    11310 | 15.864 |
312.05/45.02	c (36,0) c |  2 |   1264 |     488379 |     254190 |    41076 |    55965 |    33362 |   245737 |     4364 | 15.864 |
312.05/45.02	c (36,0) c |  3 |   1052 |     474073 |     257909 |    32762 |    59691 |    32304 |   246769 |    13986 | 15.864 |
312.05/45.02	c (36,0) c |  4 |   1052 |     497354 |     278334 |    31122 |    46932 |    35457 |   243502 |    13166 | 15.864 |
423.72/59.02	c (50,0) c |  5 |   1300 |     581952 |     306924 |    54293 |    39736 |    42373 |   235277 |     9565 | 15.864 |
423.72/59.02	c (50,0) c |  6 |   1262 |     505137 |     264324 |    40971 |    66112 |    31801 |   247256 |    12032 | 15.864 |
423.72/59.02	c (50,0) c |  7 |   2080 |     647247 |     298142 |    51676 |    66701 |    34694 |   244465 |    19491 | 15.864 |
423.72/59.02	c (50,0) c 
423.72/59.02	c (50,0) c synthesis     2197884 conflicts   507337243 propagations     7712 conflicts/sec  1780142 propagations/sec
423.72/59.02	c (50,0) c Total Memory so far : 692.59Mb
423.72/59.02	c (50,0) c
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c |  0 |   1335 |     569019 |     295572 |    57690 |    64158 |    36995 |   259937 |    17784 | 15.864 |
423.72/59.02	c (50,0) c |  1 |   1144 |     518206 |     285225 |    36644 |    53831 |    36220 |   260635 |    12664 | 15.864 |
423.72/59.02	c (50,0) c |  2 |   1309 |     515320 |     271495 |    41089 |    40087 |    34888 |   261985 |     4416 | 15.864 |
423.72/59.02	c (50,0) c |  3 |   1138 |     507878 |     278032 |    32768 |    46630 |    33987 |   262788 |    14816 | 15.864 |
423.72/59.02	c (50,0) c |  4 |   1113 |     535089 |     302019 |    31131 |    70617 |    37490 |   259375 |    14592 | 15.864 |
423.72/59.02	c (50,0) c |  5 |   1370 |     637634 |     340634 |    54432 |    73446 |    47124 |   249760 |    10024 | 15.864 |
423.72/59.02	c (50,0) c |  6 |   1342 |     543454 |     286817 |    40993 |    55417 |    33706 |   262967 |    12571 | 15.864 |
423.72/59.02	c (50,0) c |  7 |   2197 |     687036 |     320099 |    51679 |    52883 |    36543 |   260389 |    20404 | 15.864 |
423.72/59.02	c (50,0) c 
423.72/59.02	c (50,0) c synthesis     2379893 conflicts   552543683 propagations     7510 conflicts/sec  1743631 propagations/sec
423.72/59.02	c (50,0) c Total Memory so far : 694.66Mb
423.72/59.02	c (50,0) c
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c |  0 |   1432 |     607930 |     318575 |    57701 |    51372 |    38820 |   277743 |    18766 | 15.864 |
423.72/59.02	c (50,0) c |  1 |   1215 |     560382 |     311252 |    36888 |    44066 |    38607 |   277927 |    14089 | 15.864 |
423.72/59.02	c (50,0) c |  2 |   1403 |     554608 |     294992 |    41101 |    63584 |    36934 |   279577 |     4510 | 15.864 |
423.72/59.02	c (50,0) c |  3 |   1224 |     542950 |     298712 |    33080 |    67310 |    35647 |   280668 |    15826 | 15.864 |
423.72/59.02	c (50,0) c |  4 |   1174 |     583675 |     331754 |    31132 |    64557 |    40219 |   273814 |    16126 | 15.864 |
423.72/59.02	c (50,0) c |  5 |   1460 |     695384 |     376024 |    54554 |    70436 |    51000 |   265574 |    10437 | 15.864 |
423.72/59.02	c (50,0) c |  6 |   1417 |     599119 |     320176 |    42335 |    52979 |    37221 |   279357 |    15756 | 15.864 |
423.72/59.02	c (50,0) c |  7 |   2308 |     722942 |     340408 |    51707 |    73192 |    38133 |   278400 |    21460 | 15.864 |
423.72/59.02	c (50,0) c 
423.72/59.02	c (50,0) c synthesis     2591894 conflicts   606563786 propagations     7265 conflicts/sec  1700211 propagations/sec
423.72/59.02	c (50,0) c Total Memory so far : 697.12Mb
423.72/59.02	c (50,0) c
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.72/59.02	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.72/59.02	c (50,0) c |  0 |   1516 |     644637 |     340261 |    57710 |    73057 |    40636 |   293269 |    19935 | 15.864 |
423.72/59.02	c (50,0) c |  1 |   1267 |     596287 |     334700 |    36939 |    67514 |    40657 |   291770 |    15465 | 15.864 |
423.72/59.02	c (50,0) c |  2 |   1477 |     593856 |     319727 |    41126 |    52535 |    39101 |   294795 |     4569 | 15.864 |
423.72/59.02	c (50,0) c |  3 |   1316 |     583298 |     322936 |    33084 |    55738 |    37509 |   296561 |    16854 | 15.864 |
423.72/59.02	c (50,0) c |  4 |   1280 |     625383 |     354656 |    31146 |    49065 |    41975 |   292496 |    17403 | 15.864 |
423.72/59.02	c (50,0) c |  5 |   1582 |     757346 |     412953 |    54625 |    66366 |    54780 |   279636 |    11641 | 15.864 |
527.41/72.02	c (63,0) c |  6 |   1494 |     640057 |     344962 |    42630 |    39375 |    39664 |   293671 |    17970 | 15.864 |
527.41/72.02	c (63,0) c |  7 |   2439 |     767576 |     364561 |    51722 |    58959 |    40157 |   294283 |    22607 | 15.864 |
527.41/72.02	c (63,0) c 
527.41/72.02	c (63,0) c synthesis     2794757 conflicts   658936507 propagations     7047 conflicts/sec  1661559 propagations/sec
527.41/72.02	c (63,0) c Total Memory so far : 699.48Mb
527.41/72.02	c (63,0) c
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c |  0 |   1602 |     687938 |     366171 |    57710 |    60528 |    42782 |   306618 |    20817 | 15.913 |
527.41/72.02	c (63,0) c |  1 |   1329 |     628551 |     355552 |    36957 |    49952 |    42474 |   307000 |    16545 | 15.913 |
527.41/72.02	c (63,0) c |  2 |   1550 |     625883 |     338816 |    41181 |    71624 |    40696 |   308778 |     4626 | 15.913 |
527.41/72.02	c (63,0) c |  3 |   1375 |     616561 |     342486 |    33100 |    75264 |    39186 |   309730 |    17791 | 15.913 |
527.41/72.02	c (63,0) c |  4 |   1328 |     656469 |     375165 |    31158 |    69537 |    43490 |   305693 |    18347 | 15.913 |
527.41/72.02	c (63,0) c |  5 |   1662 |     797922 |     438745 |    54650 |    48549 |    57253 |   292159 |    12162 | 15.913 |
527.41/72.02	c (63,0) c |  6 |   1596 |     684837 |     372075 |    42792 |    66474 |    42032 |   307256 |    19696 | 15.913 |
527.41/72.02	c (63,0) c |  7 |   2555 |     802587 |     382817 |    51724 |    77180 |    41566 |   307820 |    23599 | 15.913 |
527.41/72.02	c (63,0) c 
527.41/72.02	c (63,0) c synthesis     2971827 conflicts   704775574 propagations     6809 conflicts/sec  1614849 propagations/sec
527.41/72.02	c (63,0) c Total Memory so far : 701.70Mb
527.41/72.02	c (63,0) c
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c |  0 |   1669 |     715637 |     382099 |    57711 |    76456 |    44108 |   317124 |    21496 | 15.913 |
527.41/72.02	c (63,0) c |  1 |   1385 |     657522 |     373613 |    37006 |    68013 |    44052 |   316992 |    17398 | 15.913 |
527.41/72.02	c (63,0) c |  2 |   1636 |     659194 |     358332 |    41248 |    52743 |    42259 |   318951 |     4672 | 15.913 |
527.41/72.02	c (63,0) c |  3 |   1445 |     648669 |     362171 |    33101 |    56565 |    40659 |   320671 |    18517 | 15.913 |
527.41/72.02	c (63,0) c |  4 |   1359 |     679140 |     389317 |    31159 |    42708 |    44625 |   316586 |    19115 | 15.913 |
527.41/72.02	c (63,0) c |  5 |   1740 |     835454 |     462262 |    54658 |    72065 |    59177 |   301946 |    12546 | 15.913 |
527.41/72.02	c (63,0) c |  6 |   1653 |     711253 |     388195 |    42839 |    41606 |    43462 |   317840 |    20715 | 15.913 |
527.41/72.02	c (63,0) c |  7 |   2660 |     836052 |     400958 |    51728 |    54344 |    43009 |   318298 |    24376 | 15.913 |
527.41/72.02	c (63,0) c 
527.41/72.02	c (63,0) c synthesis     3116949 conflicts   741742432 propagations     6656 conflicts/sec  1583893 propagations/sec
527.41/72.02	c (63,0) c Total Memory so far : 703.27Mb
527.41/72.02	c (63,0) c
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
527.41/72.02	c (63,0) c |-------------------------------------------------------------------------------------------------------|
527.41/72.02	c (63,0) c |  0 |   1733 |     742189 |     397857 |    57711 |    51243 |    45313 |   327840 |    22198 | 15.913 |
527.41/72.02	c (63,0) c |  1 |   1427 |     683917 |     390020 |    37016 |    43430 |    45464 |   327647 |    18234 | 15.913 |
527.41/72.02	c (63,0) c |  2 |   1698 |     687267 |     374885 |    41965 |    69296 |    43774 |   328358 |     4781 | 15.913 |
527.41/72.02	c (63,0) c |  3 |   1515 |     677152 |     378384 |    33101 |    72778 |    41984 |   330695 |    19285 | 15.913 |
527.41/72.02	c (63,0) c |  4 |   1420 |     711228 |     409160 |    31168 |    62551 |    46186 |   326984 |    19916 | 15.913 |
527.41/72.02	c (63,0) c |  5 |   1835 |     877275 |     485725 |    54727 |    49335 |    60647 |   312533 |    16868 | 15.913 |
527.41/72.02	c (63,0) c |  6 |   1727 |     749646 |     411710 |    42852 |    65121 |    45491 |   326912 |    21711 | 15.913 |
647.07/87.02	c (78,0) c |  7 |   2774 |     869880 |     418749 |    51728 |    72135 |    44357 |   328778 |    25214 | 15.913 |
647.07/87.02	c (78,0) c 
647.07/87.02	c (78,0) c synthesis     3266493 conflicts   778591191 propagations     6530 conflicts/sec  1556577 propagations/sec
647.07/87.02	c (78,0) c Total Memory so far : 704.05Mb
647.07/87.02	c (78,0) c
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c |  0 |   1816 |     774984 |     416898 |    57713 |    70284 |    46747 |   340116 |    23085 | 15.913 |
647.07/87.02	c (78,0) c |  1 |   1512 |     722379 |     413944 |    37043 |    67355 |    47386 |   339618 |    19246 | 15.913 |
647.07/87.02	c (78,0) c |  2 |   1768 |     720851 |     395437 |    42008 |    48851 |    45485 |   341273 |     4821 | 15.913 |
647.07/87.02	c (78,0) c |  3 |   1587 |     709609 |     399370 |    33103 |    52776 |    43700 |   343312 |    20281 | 15.913 |
647.07/87.02	c (78,0) c |  4 |   1466 |     737670 |     425841 |    31195 |    79232 |    47591 |   338945 |    20810 | 15.913 |
647.07/87.02	c (78,0) c |  5 |   1964 |     921830 |     511860 |    54733 |    75470 |    62104 |   324995 |    19743 | 15.913 |
647.07/87.02	c (78,0) c |  6 |   1813 |     781595 |     430624 |    42874 |    84035 |    47046 |   340051 |    22930 | 15.913 |
647.07/87.02	c (78,0) c |  7 |   2856 |     911769 |     444162 |    51805 |    53963 |    47058 |   339958 |    26433 | 15.913 |
647.07/87.02	c (78,0) c 
647.07/87.02	c (78,0) c synthesis     3438137 conflicts   824086577 propagations     6366 conflicts/sec  1525954 propagations/sec
647.07/87.02	c (78,0) c Total Memory so far : 734.60Mb
647.07/87.02	c (78,0) c
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c |  0 |   1870 |     797481 |     431353 |    57714 |    84739 |    48007 |   355672 |    23939 | 15.913 |
647.07/87.02	c (78,0) c |  1 |   1577 |     752613 |     433244 |    37047 |    86655 |    48954 |   355826 |    20210 | 15.913 |
647.07/87.02	c (78,0) c |  2 |   1838 |     754424 |     416268 |    43283 |    69682 |    47257 |   357655 |     5044 | 15.913 |
647.07/87.02	c (78,0) c |  3 |   1661 |     740956 |     419044 |    33105 |    72450 |    45176 |   359421 |    21189 | 15.913 |
647.07/87.02	c (78,0) c |  4 |   1521 |     767144 |     444514 |    31196 |    54313 |    49119 |   355648 |    21721 | 15.913 |
647.07/87.02	c (78,0) c |  5 |   2080 |     966406 |     538041 |    54745 |    52848 |    64014 |   340835 |    20867 | 15.913 |
647.07/87.02	c (78,0) c |  6 |   1885 |     817831 |     454155 |    42907 |    63963 |    49021 |   355549 |    23936 | 15.913 |
647.07/87.02	c (78,0) c |  7 |   2986 |     985085 |     486164 |    60288 |    49770 |    53364 |   351537 |    28844 | 15.913 |
647.07/87.02	c (78,0) c 
647.07/87.02	c (78,0) c synthesis     3622783 conflicts   872736793 propagations     6247 conflicts/sec  1505035 propagations/sec
647.07/87.02	c (78,0) c Total Memory so far : 734.60Mb
647.07/87.02	c (78,0) c
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
647.07/87.02	c (78,0) c |-------------------------------------------------------------------------------------------------------|
647.07/87.02	c (78,0) c |  0 |   1955 |     841319 |     457636 |    57813 |    67403 |    50149 |   372013 |    25015 | 15.962 |
647.07/87.02	c (78,0) c |  1 |   1647 |     789843 |     457316 |    37052 |    67103 |    50895 |   371140 |    21125 | 15.962 |
647.07/87.02	c (78,0) c |  2 |   1901 |     784941 |     435342 |    43284 |    45156 |    48822 |   373075 |     5226 | 15.962 |
647.07/87.02	c (78,0) c |  3 |   1728 |     771405 |     437644 |    33105 |    47435 |    46732 |   374836 |    22003 | 15.962 |
647.07/87.02	c (78,0) c |  4 |   1585 |     799347 |     464989 |    31202 |    74769 |    50769 |   371408 |    22531 | 15.962 |
647.07/87.02	c (78,0) c |  5 |   2175 |    1009416 |     565628 |    54753 |    80424 |    66557 |   355571 |    21280 | 15.962 |
647.07/87.02	c (78,0) c |  6 |   1980 |     850970 |     474060 |    42916 |    83848 |    50527 |   371653 |    24915 | 15.962 |
647.07/87.02	c (78,0) c |  7 |   3083 |    1044446 |     521794 |    60674 |    85333 |    57789 |   364422 |    29892 | 15.962 |
647.07/87.02	c (78,0) c 
750.76/100.02	c (91,0) c synthesis     3814410 conflicts   922278367 propagations     6155 conflicts/sec  1488173 propagations/sec
750.76/100.02	c (91,0) c Total Memory so far : 764.36Mb
750.76/100.02	c (91,0) c
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c |  0 |   2029 |     875998 |     478140 |    57908 |    87907 |    52000 |   385603 |    25991 | 15.962 |
750.76/100.02	c (91,0) c |  1 |   1696 |     810990 |     471168 |    37061 |    80955 |    51949 |   385680 |    21682 | 15.962 |
750.76/100.02	c (91,0) c |  2 |   1979 |     817372 |     454395 |    43421 |    64202 |    50222 |   387193 |     5388 | 15.962 |
750.76/100.02	c (91,0) c |  3 |   1797 |     800271 |     455837 |    33107 |    65627 |    48047 |   389761 |    22579 | 15.962 |
750.76/100.02	c (91,0) c |  4 |   1619 |     820471 |     478652 |    31203 |    88432 |    51813 |   385539 |    23067 | 15.962 |
750.76/100.02	c (91,0) c |  5 |   2271 |    1062398 |     596702 |    60264 |    60105 |    71131 |   366656 |    22347 | 15.962 |
750.76/100.02	c (91,0) c |  6 |   2032 |     876150 |     491094 |    42929 |    54691 |    51955 |   385757 |    25680 | 15.962 |
750.76/100.02	c (91,0) c |  7 |   3158 |    1096967 |     554037 |    60731 |    68812 |    60706 |   376988 |    32340 | 15.962 |
750.76/100.02	c (91,0) c 
750.76/100.02	c (91,0) c synthesis     3980027 conflicts   964378172 propagations     6108 conflicts/sec  1479969 propagations/sec
750.76/100.02	c (91,0) c Total Memory so far : 764.36Mb
750.76/100.02	c (91,0) c
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c |  0 |   2101 |     915205 |     501904 |    58034 |    65462 |    54753 |   398025 |    27131 | 15.968 |
750.76/100.02	c (91,0) c |  1 |   1750 |     831718 |     483757 |    37111 |    47276 |    52911 |   399702 |    22298 | 15.968 |
750.76/100.02	c (91,0) c |  2 |   2022 |     842471 |     470345 |    43433 |    80152 |    51766 |   399353 |     5548 | 15.962 |
750.76/100.02	c (91,0) c |  3 |   1838 |     822967 |     470717 |    33107 |    80245 |    49209 |   403402 |    23047 | 15.968 |
750.76/100.02	c (91,0) c |  4 |   1661 |     847239 |     496389 |    31203 |    59920 |    53170 |   399610 |    23600 | 15.968 |
750.76/100.02	c (91,0) c |  5 |   2331 |    1108472 |     626639 |    60649 |    89821 |    74788 |   377857 |    23172 | 15.968 |
750.76/100.02	c (91,0) c |  6 |   2074 |     905987 |     510979 |    42929 |    74132 |    53784 |   398988 |    26262 | 15.968 |
750.76/100.02	c (91,0) c |  7 |   3237 |    1136481 |     577903 |    60741 |    92654 |    62483 |   390304 |    33389 | 15.968 |
750.76/100.02	c (91,0) c 
750.76/100.02	c (91,0) c synthesis     4138633 conflicts  1004923800 propagations     6055 conflicts/sec  1470233 propagations/sec
750.76/100.02	c (91,0) c Total Memory so far : 828.36Mb
750.76/100.02	c (91,0) c
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
750.76/100.02	c (91,0) c |-------------------------------------------------------------------------------------------------------|
750.76/100.02	c (91,0) c |  0 |   2191 |     951253 |     522760 |    58043 |    86318 |    56271 |   410246 |    27999 | 15.968 |
750.76/100.02	c (91,0) c |  1 |   1841 |     867431 |     506064 |    37111 |    69583 |    54542 |   410778 |    22970 | 15.968 |
750.76/100.02	c (91,0) c |  2 |   2069 |     866954 |     485986 |    43435 |    49592 |    53044 |   413991 |     5682 | 15.968 |
750.76/100.02	c (91,0) c |  3 |   1879 |     851947 |     490023 |    33111 |    53496 |    50673 |   413313 |    23695 | 15.968 |
750.76/100.02	c (91,0) c |  4 |   1718 |     880508 |     516887 |    31204 |    80418 |    54800 |   412126 |    24290 | 15.968 |
750.76/100.02	c (91,0) c |  5 |   2422 |    1152418 |     653746 |    60717 |    63057 |    77392 |   389289 |    23783 | 15.968 |
750.76/100.02	c (91,0) c |  6 |   2139 |     932469 |     528111 |    42930 |    91264 |    55166 |   411568 |    27006 | 15.968 |
750.76/100.02	c (91,0) c |  7 |   3335 |    1191264 |     612235 |    60807 |    75617 |    65167 |   401814 |    35544 | 15.968 |
750.76/100.02	c (91,0) c 
750.76/100.02	c (91,0) c synthesis     4315813 conflicts  1053089131 propagations     5966 conflicts/sec  1455789 propagations/sec
867.14/114.69	c (106,0) c Total Memory so far : 764.36Mb
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c |  0 |   2273 |     983598 |     542669 |    58043 |    57451 |    57744 |   426911 |    28779 | 15.968 |
867.14/114.69	c (106,0) c |  1 |   1912 |     894920 |     523809 |    37111 |    87327 |    55956 |   428453 |    23704 | 15.968 |
867.14/114.69	c (106,0) c |  2 |   2166 |     906511 |     509585 |    44824 |    73191 |    54792 |   429574 |     5922 | 15.968 |
867.14/114.69	c (106,0) c |  3 |   1939 |     883554 |     510887 |    33113 |    74359 |    52191 |   432560 |    24303 | 15.968 |
867.14/114.69	c (106,0) c |  4 |   1765 |     904799 |     532918 |    31204 |    96449 |    56086 |   428623 |    25028 | 15.968 |
867.14/114.69	c (106,0) c |  5 |   2541 |    1207838 |     687775 |    60774 |    97086 |    79568 |   405141 |    24597 | 15.968 |
867.14/114.69	c (106,0) c |  6 |   2179 |    1034212 |     604120 |    43133 |    67422 |    61855 |   417932 |    28194 | 15.968 |
867.14/114.69	c (106,0) c |  7 |   3469 |    1237080 |     638153 |    60871 |   101535 |    66634 |   418095 |    37475 | 15.968 |
867.14/114.69	c (106,0) c 
867.14/114.69	c (106,0) c synthesis     4549917 conflicts  1100458168 propagations     5961 conflicts/sec  1441810 propagations/sec
867.14/114.69	c (106,0) c Total Memory so far : 828.36Mb
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c |  0 |   2370 |    1015030 |     561299 |    58043 |    76081 |    59080 |   452945 |    29423 | 15.968 |
867.14/114.69	c (106,0) c |  1 |   1983 |     925773 |     543663 |    37111 |    58431 |    57377 |   453704 |    24390 | 15.968 |
867.14/114.69	c (106,0) c |  2 |   2202 |     930793 |     525873 |    44839 |    89479 |    56103 |   455947 |     6012 | 15.968 |
867.14/114.69	c (106,0) c |  3 |   2010 |     909860 |     527533 |    33115 |    91005 |    53311 |   458741 |    24960 | 15.968 |
867.14/114.69	c (106,0) c |  4 |   1841 |     937142 |     552296 |    31207 |    67065 |    57400 |   454664 |    25663 | 15.968 |
867.14/114.69	c (106,0) c |  5 |   2687 |    1252416 |     713595 |    60841 |    66354 |    80618 |   431548 |    26730 | 15.968 |
867.14/114.69	c (106,0) c |  6 |   2179 |    1163593 |     704177 |    43149 |    56965 |    80132 |   417932 |    28464 | 15.968 |
867.14/114.69	c (106,0) c |  7 |   3571 |    1277117 |     662016 |    60872 |    71411 |    68186 |   443903 |    38603 | 15.968 |
867.14/114.69	c (106,0) c 
867.14/114.69	c (106,0) c synthesis     4790453 conflicts  1142844683 propagations     5965 conflicts/sec  1423010 propagations/sec
867.14/114.69	c (106,0) c Total Memory so far : 764.36Mb
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.14/114.69	c (106,0) c |-------------------------------------------------------------------------------------------------------|
867.14/114.69	c (106,0) c |  0 |   2422 |    1034736 |     573207 |    58043 |    87264 |    59914 |   474220 |    29939 | 15.974 |
867.14/114.69	c (106,0) c |  1 |   2031 |     952492 |     561372 |    37118 |    75345 |    58467 |   473821 |    24926 | 15.975 |
867.14/114.69	c (106,0) c |  2 |   2240 |     951144 |     538548 |    44895 |    53353 |    56954 |   476387 |     6068 | 15.974 |
867.14/114.69	c (106,0) c |  3 |   2066 |     931430 |     540966 |    33116 |    55332 |    54076 |   479961 |    25431 | 15.974 |
867.14/114.69	c (106,0) c |  4 |   1882 |     958326 |     565987 |    31207 |    79979 |    58284 |   475433 |    26156 | 15.974 |
867.14/114.69	c (106,0) c |  5 |   2775 |    1282708 |     731744 |    60844 |    84150 |    81493 |   452434 |    27962 | 15.974 |
867.14/114.69	c (106,0) c |  6 |   2179 |    1299014 |     810791 |    43152 |    85352 |    95768 |   437138 |    28582 | 15.974 |
867.14/114.69	c (106,0) c |  7 |   3632 |    1303882 |     678559 |    60885 |    87367 |    69286 |   464793 |    39311 | 15.974 |
867.14/114.69	c (106,0) c 
867.14/114.69	c (106,0) c synthesis     5001174 conflicts  1174820389 propagations     5989 conflicts/sec  1406953 propagations/sec
867.14/114.69	c (106,0) c Total Memory so far : 828.36Mb
867.14/114.69	c (106,0) c Thread 6 is 100% pure glucose! First thread to finish! (UNSAT answer).
867.14/114.69	c (106,0) c Total Memory so far : 828.36Mb
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c real time : 105.679 s
867.14/114.69	c (106,0) c cpu time  : 840.331 s
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
867.14/114.69	c (106,0) c
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) c | Conflicts     |         5034987 |     575093 |     563954 |     541633 |     544120 |     568566 |     734225 |     826440 |     680956 |
867.14/114.69	c (106,0) c | Decisions     |         8764205 |    1037815 |     956222 |     956312 |     936493 |     962652 |    1287280 |    1318574 |    1308857 |
867.14/114.69	c (106,0) c | Propagations  |      1179591898 |  138419181 |  142842904 |  135507089 |  135081185 |  141255535 |  180646427 |  145221160 |  160618417 |
867.14/114.69	c (106,0) c | Avg_Trail     |                 |       4546 |       4531 |       4585 |       4505 |       4514 |       4596 |       3954 |       4482 |
867.14/114.69	c (106,0) c | Avg_DL        |                 |         47 |         44 |         47 |         45 |         43 |         48 |         36 |         49 |
867.14/114.69	c (106,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
867.14/114.69	c (106,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) c | Exported      |          541465 |      60073 |      58703 |      57147 |      54303 |      58501 |      81639 |     101643 |      69456 |
867.14/114.69	c (106,0) c | Imported      |         3781686 |     481008 |     479285 |     483626 |     486854 |     481337 |     458089 |     439822 |     471665 |
867.14/114.69	c (106,0) c | Good          |           10924 |       1367 |       1406 |       1319 |       1455 |       1451 |       1218 |       1341 |       1367 |
867.14/114.69	c (106,0) c | Purge         |         3770762 |     479641 |     477879 |     482307 |     485399 |     479886 |     456871 |     438481 |     470298 |
867.14/114.69	c (106,0) c | Promoted      |          209061 |      30051 |      25001 |       6082 |      25498 |      26234 |      28156 |      28586 |      39453 |
867.14/114.69	c (106,0) c | Remove_Imp    |         2662477 |     319412 |     342486 |     369999 |     370886 |     328603 |     306159 |     314525 |     310407 |
867.14/114.69	c (106,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) c | Unaries       |                 |         60 |         27 |         44 |         28 |         24 |         41 |         48 |         34 |
867.14/114.69	c (106,0) c | Binaries      |                 |        199 |        145 |        242 |        115 |        102 |        335 |        254 |        203 |
867.14/114.69	c (106,0) c | Glues         |                 |       1393 |       1342 |       1564 |       1101 |       1084 |       2528 |       1466 |       2359 |
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) c | Orig_Seen     |            38 % |      58043 |      37118 |      44895 |      33116 |      31208 |      60844 |      43152 |      60901 |
867.14/114.69	c (106,0) c | Diff Orig seen|                 |      14891 | -     6034 |       1743 | -    10036 | -    11944 |      17692 |      X     |      17749 |
867.14/114.69	c (106,0) c | Hamming       |            16 % |       2818 |       2921 |       2734 |       2500 |       2710 |       2920 |      X     |       2679 |
867.14/114.69	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
867.14/114.69	c (106,0) 
867.14/114.69	c (106,0) s UNSATISFIABLE
26.50/114.71	c (106,0) SatSolver.solve End
26.50/114.71	c (106,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
26.50/114.71	c (106,0) Show results Begin
26.50/114.71	s UNSATISFIABLE
26.50/114.71	c (106,0) Show results End
26.50/114.71	c (106,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
26.50/114.71	c (106,0) 106,106,STOP-AFTER(ALL)
26.50/114.71	c END-Prog: Mon Aug 13 22:26:37 CEST 2018

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307430-1534191882/watcher-4307430-1534191882 -o /tmp/evaluation-result-4307430-1534191882/solver-4307430-1534191882 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307430-1534191882.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=16682, runsolver pid=16679
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 1.85 1.22 1.11 3/202 16704
/proc/meminfo: memFree=27126992/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236751412 115843072 349 33554432000 4194304 5098028 140735937084912 140735937082168 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 349 296 221 0 87 0
[pid=16685] ppid=16682 vsize=27313900 memory=106292 CPUtime=0.1 cores=0-7
/proc/16685/stat : 16685 (java) S 16682 16682 15668 0 -1 1077944320 6560 0 0 0 8 2 0 0 20 0 20 0 236751413 27969433600 26573 33554432000 4194304 4196468 140727815171776 140727815154320 140546581004023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
/proc/16685/statm: 6828475 26573 2736 1 0 6790935 0
[pid=16685/tid=16686] ppid=16682 vsize=27313900 memory=8113967486777335455 CPUtime=0.08 cores=0-7
/proc/16685/task/16686/stat : 16686 (java) R 16682 16682 15668 0 -1 4202560 4651 0 0 0 6 2 0 0 20 0 20 0 236751413 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546552830352 140546565084540 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16687] ppid=16682 vsize=27313900 memory=732370470795254757 CPUtime=0 cores=0-7
/proc/16685/task/16687/stat : 16687 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546585246224 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16688] ppid=16682 vsize=27313900 memory=140332457801344 CPUtime=0 cores=0-7
/proc/16685/task/16688/stat : 16688 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546368641680 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16689] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16689/stat : 16689 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546367588624 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16690] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16690/stat : 16690 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546366536080 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16691] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16691/stat : 16691 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 26573 33554432000 4194304 4196468 140727815171776 140546365484048 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16692] ppid=16682 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16685/task/16692/stat : 16692 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 26638 33554432000 4194304 4196468 140727815171776 140546364431504 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16693] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16693/stat : 16693 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 26638 33554432000 4194304 4196468 140727815171776 140546363378448 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16694] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16694/stat : 16694 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545997396880 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16695] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16695/stat : 16695 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751417 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545169758448 140546581015170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16696] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16696/stat : 16696 (java) S 16682 16682 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 26638 33554432000 4194304 4196468 140727815171776 140544416146592 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16697] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16697/stat : 16697 (java) S 16682 16682 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 26638 33554432000 4194304 4196468 140727815171776 140544281924336 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16698] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16698/stat : 16698 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140543907420112 140546581022619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16699] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16699/stat : 16699 (java) S 16682 16682 15668 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545168706288 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16700] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16700/stat : 16700 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545167653744 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16701] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16701/stat : 16701 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545166600688 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16702] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16702/stat : 16702 (java) S 16682 16682 15668 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545165548144 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16703] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16703/stat : 16703 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 26638 33554432000 4194304 4196468 140727815171776 140543409514976 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16704] ppid=16682 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16685/task/16704/stat : 16704 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751421 27969433600 26638 33554432000 4194304 4196468 140727815171776 140545164495536 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107688 KiB

[startup+0.210474 s]*
/proc/loadavg: 1.85 1.22 1.11 2/202 16704
/proc/meminfo: memFree=27110412/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236751412 115843072 349 33554432000 4194304 5098028 140735937084912 140735937082168 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 349 296 221 0 87 0
[pid=16685] ppid=16682 vsize=27313900 memory=120688 CPUtime=0.24 cores=0-7
/proc/16685/stat : 16685 (java) S 16682 16682 15668 0 -1 1077944320 10469 0 0 0 21 3 0 0 20 0 20 0 236751413 27969433600 30172 33554432000 4194304 4196468 140727815171776 140727815154320 140546581004023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
/proc/16685/statm: 6828475 30172 2839 1 0 6790935 0
[pid=16685/tid=16686] ppid=16682 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/16685/task/16686/stat : 16686 (java) R 16682 16682 15668 0 -1 4202560 8354 0 0 0 17 2 0 0 20 0 20 0 236751413 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546552799808 140546565084510 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16687] ppid=16682 vsize=27313900 memory=280664809944824 CPUtime=0 cores=0-7
/proc/16685/task/16687/stat : 16687 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546585246224 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16688] ppid=16682 vsize=27313900 memory=140332457801344 CPUtime=0 cores=0-7
/proc/16685/task/16688/stat : 16688 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546368641680 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16689] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16689/stat : 16689 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546367588624 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16690] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16690/stat : 16690 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546366536080 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16691] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16691/stat : 16691 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546365484048 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16692] ppid=16682 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16685/task/16692/stat : 16692 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546364431504 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16693] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16693/stat : 16693 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 30172 33554432000 4194304 4196468 140727815171776 140546363378448 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16694] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16694/stat : 16694 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545997396880 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16695] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16695/stat : 16695 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751417 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545169758448 140546581015170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16696] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16696/stat : 16696 (java) S 16682 16682 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 30172 33554432000 4194304 4196468 140727815171776 140544416146592 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16697] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16697/stat : 16697 (java) S 16682 16682 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 30172 33554432000 4194304 4196468 140727815171776 140544281924336 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16698] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16698/stat : 16698 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 30172 33554432000 4194304 4196468 140727815171776 140543907420112 140546581022619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16699] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16699/stat : 16699 (java) S 16682 16682 15668 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545168706288 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16700] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16700/stat : 16700 (java) S 16682 16682 15668 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545167653744 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16701] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16701/stat : 16701 (java) S 16682 16682 15668 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545166600688 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16702] ppid=16682 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/16685/task/16702/stat : 16702 (java) S 16682 16682 15668 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 236751420 27969433600 30172 33554432000 4194304 4196468 140727815171776 140545165548144 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16703] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16703/stat : 16703 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 30238 33554432000 4194304 4196468 140727815171776 140543409514976 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16704] ppid=16682 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16685/task/16704/stat : 16704 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751421 27969433600 30238 33554432000 4194304 4196468 140727815171776 140545164495536 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122084 KiB

[startup+0.310467 s]*
/proc/loadavg: 1.85 1.22 1.11 2/202 16704
/proc/meminfo: memFree=27106504/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236751412 115843072 349 33554432000 4194304 5098028 140735937084912 140735937082168 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 349 296 221 0 87 0
[pid=16685] ppid=16682 vsize=27313900 memory=125052 CPUtime=0.41 cores=0-7
/proc/16685/stat : 16685 (java) S 16682 16682 15668 0 -1 1077944320 11128 0 0 0 37 4 0 0 20 0 20 0 236751413 27969433600 31263 33554432000 4194304 4196468 140727815171776 140727815154320 140546581004023 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
/proc/16685/statm: 6828475 31263 2955 1 0 6790935 0
[pid=16685/tid=16686] ppid=16682 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16685/task/16686/stat : 16686 (java) R 16682 16682 15668 0 -1 4202560 8819 0 0 0 26 3 0 0 20 0 20 0 236751413 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546552799472 140546565084510 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16687] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16687/stat : 16687 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546585246224 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16688] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16688/stat : 16688 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546368641680 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16689] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16689/stat : 16689 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546367588624 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16690] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16690/stat : 16690 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546366536080 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16691] ppid=16682 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/16685/task/16691/stat : 16691 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546365484048 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16692] ppid=16682 vsize=27313900 memory=140332352238511 CPUtime=0 cores=0-7
/proc/16685/task/16692/stat : 16692 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546364431504 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16693] ppid=16682 vsize=27313900 memory=140332352240816 CPUtime=0 cores=0-7
/proc/16685/task/16693/stat : 16693 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 31263 33554432000 4194304 4196468 140727815171776 140546363378448 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16694] ppid=16682 vsize=27313900 memory=140332352243120 CPUtime=0 cores=0-7
/proc/16685/task/16694/stat : 16694 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751416 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545997396880 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16695] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16695/stat : 16695 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751417 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545169758448 140546581015170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16696] ppid=16682 vsize=27313900 memory=280664704493200 CPUtime=0 cores=0-7
/proc/16685/task/16696/stat : 16696 (java) S 16682 16682 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 31263 33554432000 4194304 4196468 140727815171776 140544416146592 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16697] ppid=16682 vsize=27313900 memory=280664704500112 CPUtime=0 cores=0-7
/proc/16685/task/16697/stat : 16697 (java) S 16682 16682 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236751418 27969433600 31263 33554432000 4194304 4196468 140727815171776 140544281924336 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16698] ppid=16682 vsize=27313900 memory=280664704441392 CPUtime=0 cores=0-7
/proc/16685/task/16698/stat : 16698 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140543907420112 140546581022619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16699] ppid=16682 vsize=27313900 memory=280664704513936 CPUtime=0.01 cores=0-7
/proc/16685/task/16699/stat : 16699 (java) S 16682 16682 15668 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545168706288 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16700] ppid=16682 vsize=27313900 memory=280664704520848 CPUtime=0 cores=0-7
/proc/16685/task/16700/stat : 16700 (java) S 16682 16682 15668 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545167653744 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16701] ppid=16682 vsize=27313900 memory=280664704518544 CPUtime=0.01 cores=0-7
/proc/16685/task/16701/stat : 16701 (java) S 16682 16682 15668 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545166600688 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16702] ppid=16682 vsize=27313900 memory=280664704534704 CPUtime=0.06 cores=0-7
/proc/16685/task/16702/stat : 16702 (java) S 16682 16682 15668 0 -1 1077944384 325 0 0 0 6 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545165548144 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16703] ppid=16682 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16703/stat : 16703 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236751420 27969433600 31263 33554432000 4194304 4196468 140727815171776 140543409514976 140546581014229 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16704] ppid=16682 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/16685/task/16704/stat : 16704 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751421 27969433600 31263 33554432000 4194304 4196468 140727815171776 140545164495536 140546581015170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126448 KiB

[startup+0.700951 s]
/proc/loadavg: 1.85 1.22 1.11 2/202 16704
/proc/meminfo: memFree=27082196/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236751412 115843072 349 33554432000 4194304 5098028 140735937084912 140735937082168 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 349 296 221 0 87 0
[pid=16685] ppid=16682 vsize=27320172 memory=164872 CPUtime=1.02 cores=0-7
/proc/16685/stat : 16685 (java) S 16682 16682 15668 0 -1 1077944320 18155 0 0 0 96 6 0 0 20 0 20 0 236751413 27975856128 41218 33554432000 4194304 4196468 140727815171776 140727815154320 140546581004023 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
/proc/16685/statm: 6830043 41218 3128 1 0 6791447 0
[pid=16685/tid=16686] ppid=16682 vsize=27320172 memory=280664704829568 CPUtime=0.66 cores=0-7
/proc/16685/task/16686/stat : 16686 (java) R 16682 16682 15668 0 -1 4202560 15326 0 0 0 61 5 0 0 20 0 20 0 236751413 27975856128 41218 33554432000 4194304 4196468 140727815171776 140546552841504 140546043653639 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16687] ppid=16682 vsize=27320172 memory=5072356377741 CPUtime=0 cores=0-7
/proc/16685/task/16687/stat : 16687 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27975856128 41218 33554432000 4194304 4196468 140727815171776 140546585246224 140546581014229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16688] ppid=16682 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16688/stat : 16688 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236751415 27975856128 41218 33554432000 4194304 4196468 140727815171776 140546368641680 140546581014229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0
[pid=16685/tid=16689] ppid=16682 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/16685/task/16689/stat : 16689 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236751415 27975856128 41218 33554432000 4194304 4196468 140727815171776 140546367588624 140546581014229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140727815173097 140727815173421 140727815173421 140727815176143 0

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

/proc/16705/task/16719/stat : 16719 (java) S 16682 16682 15668 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641572554992 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16720] ppid=16682 vsize=8413904 memory=1984 CPUtime=0.15 cores=0-7
/proc/16705/task/16720/stat : 16720 (java) S 16682 16682 15668 0 -1 1077944384 716 0 0 0 15 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641571502448 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16721] ppid=16682 vsize=8413904 memory=920 CPUtime=0.04 cores=0-7
/proc/16705/task/16721/stat : 16721 (java) S 16682 16682 15668 0 -1 1077944384 261 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641570449392 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16722] ppid=16682 vsize=8413904 memory=1572 CPUtime=0.22 cores=0-7
/proc/16705/task/16722/stat : 16722 (java) S 16682 16682 15668 0 -1 1077944384 767 0 0 0 22 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641569396848 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16723] ppid=16682 vsize=8413904 memory=569892 CPUtime=0 cores=0-7
/proc/16705/task/16723/stat : 16723 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236752247 8615837696 29852 33554432000 4194304 4196468 140731641070592 139639654444000 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16724] ppid=16682 vsize=8413904 memory=119408 CPUtime=0.05 cores=0-7
/proc/16705/task/16724/stat : 16724 (java) S 16682 16682 15668 0 -1 1077944384 9 0 0 0 0 5 0 0 20 0 24 0 236752247 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641568345264 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16726] ppid=16682 vsize=8413904 memory=569892 CPUtime=0 cores=0-7
/proc/16705/task/16726/stat : 16726 (java) S 16682 16682 15668 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641560536512 139642345914137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16728] ppid=16682 vsize=8413904 memory=6944656575208382560 CPUtime=0.02 cores=0-7
/proc/16705/task/16728/stat : 16728 (java) S 16682 16682 15668 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139638983343664 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16729] ppid=16682 vsize=8413904 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/16705/task/16729/stat : 16729 (java) S 16682 16682 15668 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139639251779248 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16730] ppid=16682 vsize=8413904 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/16705/task/16730/stat : 16730 (java) S 16682 16682 15668 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236752316 8615837696 29852 33554432000 4194304 4196468 140731641070592 139638714915744 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
Current children cumulated CPU time: 865.54 s
Current children cumulated vsize: 9375264 KiB
Current children cumulated memory: 715348 KiB

[startup+114.602 s]
/proc/loadavg: 6.92 3.22 1.84 9/214 16739
/proc/meminfo: memFree=26524732/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1472 CPUtime=25.16 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 590 39202 0 0 0 0 2455 61 20 0 1 0 236751412 115843072 368 33554432000 4194304 5098028 140735937084912 140735937081656 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 368 311 221 0 87 0
[pid=16705] ppid=16682 vsize=8413904 memory=119408 CPUtime=1.32 cores=0-7
/proc/16705/stat : 16705 (java) S 16682 16682 15668 0 -1 1077944320 18666 0 0 0 124 8 0 0 20 0 24 0 236752240 8615837696 29852 33554432000 4194304 4196468 140731641070592 140731641053136 139642345889527 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
/proc/16705/statm: 2103476 29852 3157 1 0 2064875 0
[pid=16725] ppid=16705 vsize=848232 memory=594468 CPUtime=840.66 cores=0-7
/proc/16725/stat : 16725 (glucose-syrup) S 16705 16682 15668 0 -1 1077944320 335070 0 0 0 83961 105 0 0 20 0 9 0 236752314 868589568 148617 33554432000 4194304 4373367 140728583148928 140728583147472 139653799332482 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
/proc/16725/statm: 212058 148617 388 44 0 207746 0
[pid=16725/tid=16731] ppid=16705 vsize=848232 memory=7379824624605948265 CPUtime=105.33 cores=0-7
/proc/16725/task/16731/stat : 16731 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 37303 0 0 0 10521 12 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653772090640 4258908 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16732] ppid=16705 vsize=848232 memory=7595714853724317265 CPUtime=104.13 cores=0-7
/proc/16725/task/16732/stat : 16732 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 38358 0 0 0 10402 11 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653763697936 4272284 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16733] ppid=16705 vsize=848232 memory=7595714853724317265 CPUtime=105.35 cores=0-7
/proc/16725/task/16733/stat : 16733 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 38758 0 0 0 10523 12 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653755305232 4272031 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16734] ppid=16705 vsize=848232 memory=317785447046840346 CPUtime=105.37 cores=0-7
/proc/16725/task/16734/stat : 16734 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 38881 0 0 0 10525 12 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653746912400 4258958 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16735] ppid=16705 vsize=848232 memory=288230583166042425 CPUtime=105.34 cores=0-7
/proc/16725/task/16735/stat : 16735 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 37970 0 0 0 10519 15 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653738519824 4272031 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16736] ppid=16705 vsize=848232 memory=16099269136353865 CPUtime=105.32 cores=0-7
/proc/16725/task/16736/stat : 16736 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 42056 0 0 0 10521 11 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653730127120 4272344 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16737] ppid=16705 vsize=848232 memory=920 CPUtime=104.18 cores=0-7
/proc/16725/task/16737/stat : 16737 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 37626 0 0 0 10408 10 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653721734512 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16725/tid=16738] ppid=16705 vsize=848232 memory=1572 CPUtime=105.37 cores=0-7
/proc/16725/task/16738/stat : 16738 (glucose-syrup) R 16705 16682 15668 0 -1 4202560 44310 0 0 0 10522 15 0 0 20 0 9 0 236752333 868589568 148617 33554432000 4194304 4373367 140728583148928 139653713341712 4272347 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 18345984 140728583156816 140728583156948 140728583156948 140728583159751 0
[pid=16705/tid=16706] ppid=16682 vsize=8413904 memory=2176 CPUtime=0.75 cores=0-7
/proc/16705/task/16706/stat : 16706 (java) S 16682 16682 15668 0 -1 1077944384 15016 0 0 0 70 5 0 0 20 0 24 0 236752241 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642317729680 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16707] ppid=16682 vsize=8413904 memory=3984 CPUtime=0 cores=0-7
/proc/16705/task/16707/stat : 16707 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642350132240 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16708] ppid=16682 vsize=8413904 memory=1916 CPUtime=0 cores=0-7
/proc/16705/task/16708/stat : 16708 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642150300816 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16709] ppid=16682 vsize=8413904 memory=7528 CPUtime=0 cores=0-7
/proc/16705/task/16709/stat : 16709 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642149247760 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16710] ppid=16682 vsize=8413904 memory=808 CPUtime=0 cores=0-7
/proc/16705/task/16710/stat : 16710 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642148195216 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16711] ppid=16682 vsize=8413904 memory=4100 CPUtime=0 cores=0-7
/proc/16705/task/16711/stat : 16711 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642147142160 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16712] ppid=16682 vsize=8413904 memory=1800 CPUtime=0 cores=0-7
/proc/16705/task/16712/stat : 16712 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642146089616 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16713] ppid=16682 vsize=8413904 memory=920 CPUtime=0 cores=0-7
/proc/16705/task/16713/stat : 16713 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642145036560 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16714] ppid=16682 vsize=8413904 memory=4136 CPUtime=0 cores=0-7
/proc/16705/task/16714/stat : 16714 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29852 33554432000 4194304 4196468 140731641070592 139642143984016 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16715] ppid=16682 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16705/task/16715/stat : 16715 (java) S 16682 16682 15668 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236752243 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641573608176 139642345900674 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16716] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16716/stat : 16716 (java) S 16682 16682 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236752244 8615837696 29852 33554432000 4194304 4196468 140731641070592 139640661075616 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16717] ppid=16682 vsize=8413904 memory=569892 CPUtime=0 cores=0-7
/proc/16705/task/16717/stat : 16717 (java) S 16682 16682 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236752244 8615837696 29852 33554432000 4194304 4196468 140731641070592 139640526853360 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16718] ppid=16682 vsize=8413904 memory=-5155630214950579589 CPUtime=0 cores=0-7
/proc/16705/task/16718/stat : 16718 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139640152349136 139642345908123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16719] ppid=16682 vsize=8413904 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/16705/task/16719/stat : 16719 (java) S 16682 16682 15668 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641572554992 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16720] ppid=16682 vsize=8413904 memory=39745 CPUtime=0.15 cores=0-7
/proc/16705/task/16720/stat : 16720 (java) S 16682 16682 15668 0 -1 1077944384 716 0 0 0 15 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641571502448 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16721] ppid=16682 vsize=8413904 memory=4420 CPUtime=0.04 cores=0-7
/proc/16705/task/16721/stat : 16721 (java) S 16682 16682 15668 0 -1 1077944384 261 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641570449392 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16722] ppid=16682 vsize=8413904 memory=6628 CPUtime=0.22 cores=0-7
/proc/16705/task/16722/stat : 16722 (java) S 16682 16682 15668 0 -1 1077944384 767 0 0 0 22 0 0 0 20 0 24 0 236752246 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641569396848 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16723] ppid=16682 vsize=8413904 memory=8836 CPUtime=0 cores=0-7
/proc/16705/task/16723/stat : 16723 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236752247 8615837696 29852 33554432000 4194304 4196468 140731641070592 139639654444000 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16724] ppid=16682 vsize=8413904 memory=11044 CPUtime=0.05 cores=0-7
/proc/16705/task/16724/stat : 16724 (java) S 16682 16682 15668 0 -1 1077944384 9 0 0 0 0 5 0 0 20 0 24 0 236752247 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641568345264 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16726] ppid=16682 vsize=8413904 memory=13252 CPUtime=0 cores=0-7
/proc/16705/task/16726/stat : 16726 (java) S 16682 16682 15668 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139641560536512 139642345914137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16728] ppid=16682 vsize=8413904 memory=15460 CPUtime=0.02 cores=0-7
/proc/16705/task/16728/stat : 16728 (java) S 16682 16682 15668 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139638983343664 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16729] ppid=16682 vsize=8413904 memory=17668 CPUtime=0 cores=0-7
/proc/16705/task/16729/stat : 16729 (java) S 16682 16682 15668 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29852 33554432000 4194304 4196468 140731641070592 139639251779248 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16730] ppid=16682 vsize=8413904 memory=19876 CPUtime=0 cores=0-7
/proc/16705/task/16730/stat : 16730 (java) S 16682 16682 15668 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236752316 8615837696 29852 33554432000 4194304 4196468 140731641070592 139638714915744 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
Current children cumulated CPU time: 867.14 s
Current children cumulated vsize: 9375264 KiB
Current children cumulated memory: 715348 KiB

[startup+114.701 s]
/proc/loadavg: 6.92 3.22 1.84 9/214 16739
/proc/meminfo: memFree=26524732/32770624 swapFree=67108804/67108860
[pid=16682] ppid=16679 vsize=113128 memory=1472 CPUtime=25.16 cores=0-7
/proc/16682/stat : 16682 (scop.sh) S 16679 16682 15668 0 -1 4202496 590 39202 0 0 0 0 2455 61 20 0 1 0 236751412 115843072 368 33554432000 4194304 5098028 140735937084912 140735937081656 139851551363708 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11857920 140735937090595 140735937090819 140735937090819 140735937093581 0
/proc/16682/statm: 28282 368 311 221 0 87 0
[pid=16705] ppid=16682 vsize=8413904 memory=119472 CPUtime=1.34 cores=0-7
/proc/16705/stat : 16705 (java) S 16682 16682 15668 0 -1 1077944320 18692 0 0 0 126 8 0 0 20 0 24 0 236752240 8615837696 29868 33554432000 4194304 4196468 140731641070592 140731641053136 139642345889527 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
/proc/16705/statm: 2103476 29868 3157 1 0 2064875 0
[pid=16705/tid=16706] ppid=16682 vsize=8413904 memory=119028 CPUtime=0.75 cores=0-7
/proc/16705/task/16706/stat : 16706 (java) S 16682 16682 15668 0 -1 1077944384 15016 0 0 0 70 5 0 0 20 0 24 0 236752241 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642317729680 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16707] ppid=16682 vsize=8413904 memory=399740 CPUtime=0 cores=0-7
/proc/16705/task/16707/stat : 16707 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642350132240 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16708] ppid=16682 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16705/task/16708/stat : 16708 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642150300816 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16709] ppid=16682 vsize=8413904 memory=3984 CPUtime=0 cores=0-7
/proc/16705/task/16709/stat : 16709 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642149247760 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16710] ppid=16682 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16705/task/16710/stat : 16710 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642148195216 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16711] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16711/stat : 16711 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642147142160 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16712] ppid=16682 vsize=8413904 memory=9367 CPUtime=0 cores=0-7
/proc/16705/task/16712/stat : 16712 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642146089616 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16713] ppid=16682 vsize=8413904 memory=75 CPUtime=0 cores=0-7
/proc/16705/task/16713/stat : 16713 (java) S 16682 16682 15668 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642145036560 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16714] ppid=16682 vsize=8413904 memory=280664705994048 CPUtime=0 cores=0-7
/proc/16705/task/16714/stat : 16714 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752242 8615837696 29868 33554432000 4194304 4196468 140731641070592 139642143984016 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16715] ppid=16682 vsize=8413904 memory=8243122710528917583 CPUtime=0 cores=0-7
/proc/16705/task/16715/stat : 16715 (java) S 16682 16682 15668 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236752243 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641573608176 139642345900674 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16716] ppid=16682 vsize=8413904 memory=3708 CPUtime=0 cores=0-7
/proc/16705/task/16716/stat : 16716 (java) S 16682 16682 15668 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236752244 8615837696 29868 33554432000 4194304 4196468 140731641070592 139640661075616 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16717] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16717/stat : 16717 (java) S 16682 16682 15668 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236752244 8615837696 29868 33554432000 4194304 4196468 140731641070592 139640526853360 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16718] ppid=16682 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16705/task/16718/stat : 16718 (java) S 16682 16682 15668 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236752246 8615837696 29868 33554432000 4194304 4196468 140731641070592 139640152349136 139642345908123 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16719] ppid=16682 vsize=8413904 memory=119408 CPUtime=0.04 cores=0-7
/proc/16705/task/16719/stat : 16719 (java) S 16682 16682 15668 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641572554992 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16720] ppid=16682 vsize=8413904 memory=1472 CPUtime=0.15 cores=0-7
/proc/16705/task/16720/stat : 16720 (java) S 16682 16682 15668 0 -1 1077944384 720 0 0 0 15 0 0 0 20 0 24 0 236752246 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641571502448 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16721] ppid=16682 vsize=8413904 memory=119408 CPUtime=0.04 cores=0-7
/proc/16705/task/16721/stat : 16721 (java) S 16682 16682 15668 0 -1 1077944384 261 0 0 0 4 0 0 0 20 0 24 0 236752246 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641570449392 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16722] ppid=16682 vsize=8413904 memory=1472 CPUtime=0.22 cores=0-7
/proc/16705/task/16722/stat : 16722 (java) S 16682 16682 15668 0 -1 1077944384 787 0 0 0 22 0 0 0 20 0 24 0 236752246 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641569396848 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16723] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16723/stat : 16723 (java) S 16682 16682 15668 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236752247 8615837696 29868 33554432000 4194304 4196468 140731641070592 139639654444000 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16724] ppid=16682 vsize=8413904 memory=1472 CPUtime=0.05 cores=0-7
/proc/16705/task/16724/stat : 16724 (java) S 16682 16682 15668 0 -1 1077944384 9 0 0 0 0 5 0 0 20 0 24 0 236752247 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641568345264 139642345900674 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16726] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16726/stat : 16726 (java) S 16682 16682 15668 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29868 33554432000 4194304 4196468 140731641070592 139641560536512 139642345914137 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16728] ppid=16682 vsize=8413904 memory=571940 CPUtime=0.02 cores=0-7
/proc/16705/task/16728/stat : 16728 (java) S 16682 16682 15668 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 24 0 236752314 8615837696 29868 33554432000 4194304 4196468 140731641070592 139638983343664 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16729] ppid=16682 vsize=8413904 memory=1472 CPUtime=0 cores=0-7
/proc/16705/task/16729/stat : 16729 (java) S 16682 16682 15668 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236752314 8615837696 29868 33554432000 4194304 4196468 140731641070592 139639251779248 139642345911453 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
[pid=16705/tid=16730] ppid=16682 vsize=8413904 memory=119408 CPUtime=0 cores=0-7
/proc/16705/task/16730/stat : 16730 (java) S 16682 16682 15668 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236752316 8615837696 29868 33554432000 4194304 4196468 140731641070592 139638714915744 139642345899733 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21647360 140731641074865 140731641074989 140731641074989 140731641077711 0
Current children cumulated CPU time: 26.5 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 120944 KiB

Child status: 0
Real time (s): 114.725
CPU time (s): 867.941
CPU user time (s): 866.165
CPU system time (s): 1.77601
CPU usage (%): 756.541
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 2975476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 866.165
system time used= 1.77601
maximum resident set size= 2977268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33141
involuntary context switches= 8721


# summary of solver processes directly reported to runsolver:
#   pid: 16682
#   total CPU time (s): 867.941
#   total CPU user time (s): 866.165
#   total CPU system time (s): 1.77601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14169 second user time and 1.51958 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-13 22:24:42
IDJOB=4307430
IDBENCH=141380
IDSOLVER=2789
FILE ID=node105/4307430-1534191882
RUNJOBID= node105-1534191843-15695
PBS_JOBID= 21037996
Free space on /tmp= 41072 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-6-6-8-cp_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307430-1534191882/watcher-4307430-1534191882 -o /tmp/evaluation-result-4307430-1534191882/solver-4307430-1534191882 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1534191843-15695 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307430-1534191882.xml

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

MD5SUM BENCH= 8a9161d398725f1a5fa3c8de0eb5bbd3
RANDOM SEED=969268002

node105.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.32
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.32
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.32
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.32
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:        27220180 kB
MemAvailable:   31902452 kB
Buffers:          181952 kB
Cached:          4757184 kB
SwapCached:           16 kB
Active:          1992432 kB
Inactive:        2999524 kB
Active(anon):       4768 kB
Inactive(anon):   100492 kB
Active(file):    1987664 kB
Inactive(file):  2899032 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:              9416 kB
Writeback:             0 kB
AnonPages:         69740 kB
Mapped:            51464 kB
Shmem:             49748 kB
Slab:             250764 kB
SReclaimable:     222820 kB
SUnreclaim:        27944 kB
KernelStack:        3568 kB
PageTables:         4964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 41064 MiB
End job on node105 at 2018-08-13 22:26:37