Trace number 4392465

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 1229.39 161.969

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-18-046.xml
MD5SUM90f9fedd4c3faeb9a4a1958b76d0db2e
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 benchmark186.128
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints153
Number of domains18
Minimum domain size29
Maximum domain size46
Distribution of domain sizes[{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2}]
Minimum variable degree17
Maximum variable degree17
Distribution of variable degrees[{"degree":17,"count":36}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":153}]
Number of extensional constraints0
Number of intensional constraints153
Distribution of constraint types[{"type":"intension","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2944-serial-file.bin HOME/instance-4392465-1568450028.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 10:33:06 CEST 2019
0.65/0.57	c PID: 2947
0.65/0.57	c IP: 172.20.3.137
0.65/0.57	c HOST: node137.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.73/1.07	c (0,0) Parsing End
1.73/1.07	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
1.73/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.08	c (0,0) Constraint Name Generate Begin
1.73/1.08	c (0,0) Ctr:HOME/instance-4392465-1568450028.xml,Add:Le:Num:Or:Var
1.73/1.08	c (0,0) Constraint Name Generate End
1.73/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.73/1.08	c (0,0) CSP to CSPinCNF Begin
2.07/1.20	c (0,0) translated 16 (10%) constraints
2.25/1.21	c (0,0) translated 31 (20%) constraints
2.25/1.23	c (0,0) translated 46 (30%) constraints
2.25/1.24	c (0,0) translated 62 (40%) constraints
2.25/1.26	c (0,0) translated 77 (50%) constraints
2.25/1.27	c (0,0) translated 92 (60%) constraints
2.25/1.27	c (0,0) translated 108 (70%) constraints
2.25/1.28	c (0,0) translated 123 (80%) constraints
2.25/1.29	c (0,0) translated 138 (90%) constraints
2.25/1.29	c (0,0) translated 153 (100%) constraints
2.25/1.29	c (0,0) ===========================================
2.25/1.30	c (0,0) Order
2.25/1.30	c (0,0) ===========================================
2.50/1.30	c (0,0) translated 16 (10%) constraints
2.50/1.31	c (0,0) translated 31 (20%) constraints
2.50/1.31	c (0,0) translated 46 (30%) constraints
2.50/1.31	c (0,0) translated 62 (40%) constraints
2.50/1.32	c (0,0) translated 77 (50%) constraints
2.50/1.32	c (0,0) translated 92 (60%) constraints
2.50/1.32	c (0,0) translated 108 (70%) constraints
2.50/1.33	c (0,0) translated 123 (80%) constraints
2.50/1.33	c (0,0) translated 138 (90%) constraints
2.50/1.33	c (0,0) translated 153 (100%) constraints
2.50/1.34	c (0,0) CSP to CSPinCNF End
2.50/1.34	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
2.50/1.34	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.34	c (0,0) CSPinCNF Propagation Begin
2.50/1.36	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.50/1.36	c (0,0) CSPinCNF Propagation End
2.50/1.36	c (0,0) CSP: 36 int (0 aux), 0 bool (0 aux), 153 ctr, max domain size 46
2.50/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.50/1.36	c (0,0) Simplify CSPinCNF Begin
2.77/1.44	c (0,0) Simplify CSPinCNF End
2.77/1.44	c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 46
2.77/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.77/1.44	c (0,0) Calculate Precise Domain Begin
2.77/1.44	c (0,0) 0 values are removed by re-calculation
2.77/1.44	c (0,0) Calculate Precise Domain End
2.77/1.44	c (0,0) CSP: 36 int (0 aux), 612 bool (612 aux), 765 ctr, max domain size 46
2.77/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.77/1.44	c (0,0) CSPinCNF to SatSolver Begin
3.29/1.64	c (1,1) 77 (10 %) CSP clauses are encoded (0 SAT variables, 3574 SAT clauses)
3.29/1.67	c (1,1) 153 (20 %) CSP clauses are encoded (0 SAT variables, 5779 SAT clauses)
3.67/1.70	c (1,1) 230 (30 %) CSP clauses are encoded (0 SAT variables, 7903 SAT clauses)
3.67/1.73	c (1,1) 306 (40 %) CSP clauses are encoded (0 SAT variables, 9883 SAT clauses)
3.67/1.75	c (1,1) 383 (50 %) CSP clauses are encoded (0 SAT variables, 11789 SAT clauses)
3.67/1.77	c (1,1) 459 (60 %) CSP clauses are encoded (0 SAT variables, 13608 SAT clauses)
3.67/1.79	c (1,1) 536 (70 %) CSP clauses are encoded (0 SAT variables, 15265 SAT clauses)
4.10/1.80	c (1,1) 612 (80 %) CSP clauses are encoded (0 SAT variables, 16769 SAT clauses)
4.10/1.81	c (1,1) 689 (90 %) CSP clauses are encoded (0 SAT variables, 18108 SAT clauses)
4.10/1.82	c (1,1) 765 (100 %) CSP clauses are encoded (0 SAT variables, 19166 SAT clauses)
4.10/1.82	c (1,1) CSPinCNF to SatSolver End
4.10/1.82	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.10/1.82	c (1,1) 1926 bool, 19179 clause
4.10/1.82	c (1,1) Export Begin
4.53/1.91	c (1,1) Export to HOME/scop-2944-serial-file.bin
4.53/1.91	c (1,1) Export End
4.53/1.91	c (1,1) Export File Size: 0.01 MB
4.53/1.91	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.53/1.91	c END-Prog: Sat Sep 14 10:33:08 CEST 2019
4.53/1.93	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2944-serial-file.bin
5.10/2.39	c (0,0) Read Serial File Begin
5.10/2.39	c (0,0) HOME/scop-2944-serial-file.bin
5.36/2.59	c (0,0) Read Serial File End
5.53/2.60	
5.53/2.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.53/2.60	(Solving Process)
5.53/2.60	
5.53/2.62	c BEGIN-Prog: Sat Sep 14 10:33:08 CEST 2019
5.53/2.62	c PID: 2967
5.53/2.62	c IP: 172.20.3.137
5.53/2.62	c HOST: node137.alineos.net
5.53/2.63	c (0,0) SatSolver.solve Begin
5.53/2.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392465-1568450028.xml-scop-2947.cnf
5.53/2.65	c (0,0) c
5.53/2.65	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
5.53/2.65	c (0,0) c
5.53/2.65	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.53/2.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.53/2.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.53/2.66	c (0,0) c |                                                                                                       |
5.53/2.66	c (0,0) c |  Number of variables:          1926                                                                   |
5.53/2.66	c (0,0) c |  Number of clauses:           19179                                                                   |
5.53/2.66	c (0,0) c |  Parse time:                   0.01 s                                                                 |
5.53/2.66	c (0,0) c |                                                                                                       |
5.53/2.67	c (0,0) c |  Simplification time:          0.01 s                                                                 |
5.53/2.67	c (0,0) c |                                                                                                       |
5.53/2.67	c (0,0) c |  Generating clones                                                                                    |
5.53/2.68	c (0,0) c |  all clones generated. Memory =    33.45Mb.                                                           |
5.53/2.68	c (0,0) c ========================================================================================================|
5.53/2.68	c (0,0) c
5.53/2.68	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
5.53/2.68	c (0,0) c
5.53/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.53/2.68	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
5.53/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
5.53/2.68	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
5.53/2.68	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
5.53/2.68	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
5.53/2.68	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
5.53/2.68	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
5.53/2.68	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
5.53/2.68	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
5.53/2.68	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
5.53/2.68	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
5.53/2.68	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
5.53/2.68	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
5.53/2.68	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
5.53/2.68	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
5.53/2.68	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
5.53/2.68	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
5.53/2.68	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
235.63/31.72	c (29,0) c
235.63/31.72	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.63/31.72	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
235.63/31.72	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
235.63/31.72	c (29,0) c |  0 |    603 |     266677 |     161066 |     8282 |    46875 |    24271 |   156767 |    17601 |      258 |  20 |  0.000 |
235.63/31.72	c (29,0) c |  1 |    553 |     275590 |     168341 |     7919 |    28761 |    23557 |   160197 |    18373 |      278 |  20 |  0.001 |
235.63/31.72	c (29,0) c |  2 |    653 |     280320 |     169382 |     8433 |    29791 |    23678 |   163238 |    18146 |      277 |  20 |  0.000 |
235.63/31.72	c (29,0) c |  3 |    692 |     272795 |     164048 |     7790 |    49866 |    22827 |   163676 |    17913 |      276 |  20 |  0.000 |
235.63/31.72	c (29,0) c |  4 |    499 |     271349 |     168470 |     8161 |    28877 |    24702 |   162107 |    18001 |      277 |  20 |  0.000 |
235.63/31.72	c (29,0) c |  5 |    565 |     281174 |     170395 |     9179 |    30805 |    23733 |   163146 |    18554 |      277 |  20 |  0.000 |
235.63/31.72	c (29,0) c |  6 |    494 |     269248 |     167857 |     8000 |    28268 |    24122 |   162066 |    17994 |      276 |  20 |  0.001 |
235.63/31.72	c (29,0) c |  7 |    563 |     277651 |     171635 |     8118 |    32046 |    24384 |   162141 |    18526 |      278 |  20 |  0.001 |
235.63/31.72	c (29,0) c 
235.63/31.72	c (29,0) c synthesis     1341195 conflicts   157118659 propagations     5840 conflicts/sec   684129 propagations/sec
235.63/31.72	c (29,0) c real: 29.0725 s, cpu: 229.662 s, memory: 625.38 Mb
458.38/61.72	c (59,0) c
458.38/61.72	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
458.38/61.72	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
458.38/61.72	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
458.38/61.72	c (59,0) c |  0 |    884 |     388410 |     246162 |     8559 |    47975 |    31740 |   212744 |    26096 |      507 |  20 |  0.001 |
458.38/61.72	c (59,0) c |  1 |    767 |     392812 |     251988 |     8248 |    53794 |    31485 |   217038 |    26599 |      527 |  20 |  0.000 |
458.38/61.72	c (59,0) c |  2 |    893 |     397425 |     252296 |     8572 |    54107 |    30991 |   217023 |    26250 |      527 |  20 |  0.001 |
458.38/61.72	c (59,0) c |  3 |    908 |     392804 |     249104 |     8307 |    50918 |    30670 |   215572 |    25831 |      520 |  20 |  0.001 |
458.38/61.72	c (59,0) c |  4 |    747 |     390472 |     252540 |     8696 |    54351 |    32214 |   216589 |    26194 |      527 |  20 |  0.000 |
458.38/61.72	c (59,0) c |  5 |    833 |     399472 |     253550 |     9243 |    55361 |    30986 |   217622 |    26721 |      527 |  20 |  0.001 |
458.38/61.72	c (59,0) c |  6 |    780 |     389556 |     252546 |     8271 |    54354 |    31477 |   214974 |    26504 |      526 |  20 |  0.000 |
458.38/61.72	c (59,0) c |  7 |    850 |     395327 |     254144 |     8599 |    55954 |    32372 |   216214 |    26740 |      526 |  20 |  0.001 |
458.38/61.72	c (59,0) c 
458.38/61.72	c (59,0) c synthesis     2012330 conflicts   243200143 propagations     4452 conflicts/sec   537997 propagations/sec
458.38/61.72	c (59,0) c real: 59.0673 s, cpu: 452.048 s, memory: 632.80 Mb
682.01/90.72	c (88,0) c
682.01/90.72	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
682.01/90.72	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
682.01/90.72	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
682.01/90.72	c (88,0) c |  0 |   1103 |     481187 |     313851 |     8608 |    46660 |    38079 |   252124 |    32299 |      754 |  20 |  0.000 |
682.01/90.72	c (88,0) c |  1 |    982 |     483184 |     317404 |     8496 |    50209 |    36609 |   256237 |    32842 |      763 |  20 |  0.000 |
682.01/90.72	c (88,0) c |  2 |   1060 |     489842 |     320472 |     8858 |    53284 |    37467 |   255566 |    32194 |      765 |  20 |  0.001 |
682.01/90.72	c (88,0) c |  3 |   1115 |     488559 |     318702 |     8493 |    51513 |    36491 |   254835 |    32260 |      769 |  20 |  0.000 |
682.01/90.72	c (88,0) c |  4 |    888 |     483786 |     322066 |     9028 |    54882 |    37788 |   255217 |    32346 |      771 |  20 |  0.001 |
682.01/90.72	c (88,0) c |  5 |   1037 |     493674 |     322713 |     9309 |    55526 |    36194 |   257968 |    32965 |      774 |  20 |  0.000 |
682.01/90.72	c (88,0) c |  6 |    967 |     482892 |     321203 |     8541 |    54019 |    36475 |   256696 |    32727 |      774 |  20 |  0.000 |
682.01/90.72	c (88,0) c |  7 |    982 |     486243 |     321469 |     8792 |    54283 |    37614 |   256784 |    32840 |      774 |  20 |  0.000 |
682.01/90.72	c (88,0) c 
682.01/90.72	c (88,0) c synthesis     2557880 conflicts   314541556 propagations     3787 conflicts/sec   465635 propagations/sec
682.01/90.72	c (88,0) c real: 88.0675 s, cpu: 675.511 s, memory: 638.97 Mb
907.58/119.72	c (117,0) c
907.58/119.72	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
907.58/119.72	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
907.58/119.72	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
907.58/119.72	c (117,0) c |  0 |   1302 |     561949 |     373531 |     8712 |    67936 |    42124 |   286696 |    37728 |      995 |  20 |  0.000 |
907.58/119.72	c (117,0) c |  1 |   1164 |     565304 |     378508 |     8690 |    72912 |    41806 |   290529 |    38546 |     1015 |  20 |  0.000 |
907.58/119.72	c (117,0) c |  2 |   1171 |     569812 |     381968 |     8935 |    76382 |    43356 |   288327 |    37324 |     1015 |  20 |  0.001 |
907.58/119.72	c (117,0) c |  3 |   1290 |     568119 |     377910 |     8781 |    72328 |    41340 |   291088 |    37713 |     1015 |  20 |  0.001 |
907.58/119.72	c (117,0) c |  4 |   1001 |     564960 |     383543 |     9186 |    77953 |    42057 |   289277 |    37925 |     1015 |  20 |  0.000 |
907.58/119.72	c (117,0) c |  5 |   1175 |     569098 |     379847 |     9544 |    74265 |    41184 |   290540 |    38500 |     1015 |  20 |  0.000 |
907.58/119.72	c (117,0) c |  6 |   1080 |     558195 |     378703 |     8702 |    73118 |    41135 |   290342 |    38198 |     1011 |  20 |  0.000 |
907.58/119.72	c (117,0) c |  7 |   1048 |     565313 |     382683 |     8806 |    77095 |    41955 |   290197 |    38095 |     1013 |  20 |  0.000 |
907.58/119.72	c (117,0) c 
907.58/119.72	c (117,0) c synthesis     3036693 conflicts   377108488 propagations     3372 conflicts/sec   418720 propagations/sec
907.58/119.72	c (117,0) c real: 117.068 s, cpu: 900.622 s, memory: 644.64 Mb
1139.99/149.72	c (147,0) c
1139.99/149.72	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1139.99/149.72	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1139.99/149.72	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1139.99/149.72	c (147,0) c |  0 |   1366 |     636789 |     432247 |     8890 |    85657 |    46679 |   320977 |    42929 |     1250 |  20 |  0.000 |
1139.99/149.72	c (147,0) c |  1 |   1241 |     637507 |     435192 |     8749 |    45002 |    45905 |   324789 |    43600 |     1266 |  20 |  0.000 |
1139.99/149.72	c (147,0) c |  2 |   1213 |     648180 |     442970 |     9246 |    52782 |    48477 |   324241 |    42808 |     1269 |  20 |  0.001 |
1139.99/149.72	c (147,0) c |  3 |   1391 |     637478 |     431267 |     8916 |    84678 |    45826 |   323789 |    42940 |     1251 |  20 |  0.001 |
1139.99/149.72	c (147,0) c |  4 |   1082 |     638983 |     441659 |     9325 |    51466 |    46630 |   323040 |    42697 |     1269 |  20 |  0.000 |
1139.99/149.72	c (147,0) c |  5 |   1247 |     637312 |     433091 |     9553 |    86508 |    45874 |   318049 |    43059 |     1256 |  20 |  0.001 |
1139.99/149.72	c (147,0) c |  6 |   1139 |     632391 |     436703 |     8873 |    46515 |    47488 |   319760 |    43031 |     1270 |  20 |  0.000 |
1139.99/149.72	c (147,0) c |  7 |   1091 |     642156 |     443475 |     8850 |    53283 |    48038 |   324733 |    43175 |     1270 |  20 |  0.001 |
1139.99/149.72	c (147,0) c 
1139.99/149.72	c (147,0) c synthesis     3496605 conflicts   437870906 propagations     3086 conflicts/sec   386499 propagations/sec
1139.99/149.72	c (147,0) c real: 147.069 s, cpu: 1132.92 s, memory: 648.97 Mb
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c real time : 159.28 s
1229.25/161.93	c (159,0) c cpu time  : 1221.88 s
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | Conflicts     |         3687930 |     459391 |     458083 |     464008 |     456584 |     464023 |     459515 |     461339 |     464987 |
1229.25/161.93	c (159,0) c | Decisions     |         5348947 |     670618 |     665713 |     674337 |     669114 |     666777 |     670220 |     663009 |     669159 |
1229.25/161.93	c (159,0) c | Propagations  |       463502559 |   57452298 |   57944317 |   58258920 |   57676655 |   58223697 |   57694525 |   57896362 |   58355785 |
1229.25/161.93	c (159,0) c | ReduceDBs     |             144 |         18 |         18 |         18 |         18 |         18 |         18 |         18 |         18 |
1229.25/161.93	c (159,0) c | SimpDBs       |              18 |          2 |          2 |          2 |          2 |          3 |          3 |          2 |          2 |
1229.25/161.93	c (159,0) c | Restarts      |            9870 |       1379 |       1258 |       1217 |       1410 |       1097 |       1253 |       1149 |       1107 |
1229.25/161.93	c (159,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1229.25/161.93	c (159,0) c | PropBinClauses|       610434883 |   75627125 |   76322727 |   76711756 |   76236016 |   76507281 |   75825245 |   76368177 |   76836556 |
1229.25/161.93	c (159,0) c | PropPreBlocker|     32495535812 | 4068930531 | 4059742400 | 4078120253 | 4036865916 | 4089818487 | 4027123206 | 4058423148 | 4076511871 |
1229.25/161.93	c (159,0) c | PropNotBlocker|     11040404290 | 1376914518 | 1382098927 | 1370736690 | 1390965351 | 1372454068 | 1394517120 | 1380234086 | 1372483530 |
1229.25/161.93	c (159,0) c | LitFullScans  |     65518611367 | 8185023214 | 8184972742 | 8187883465 | 8184962503 | 8196956632 | 8184955009 | 8202912543 | 8190945259 |
1229.25/161.93	c (159,0) c | LitScanFracts |         7535991 |     988565 |     968032 |     945158 |     919958 |     950987 |     928891 |     899673 |     934727 |
1229.25/161.93	c (159,0) c | DecisionLevel0|            9896 |       1379 |       1258 |       1229 |       1415 |       1101 |       1255 |       1151 |       1108 |
1229.25/161.93	c (159,0) c | Periods       |           10918 |       1364 |       1364 |       1364 |       1364 |       1366 |       1364 |       1367 |       1365 |
1229.25/161.93	c (159,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1229.25/161.93	c (159,0) c | Avg_Trail     |                 |        745 |        744 |        746 |        741 |        747 |        745 |        742 |        746 |
1229.25/161.93	c (159,0) c | Avg_DL        |                 |         19 |         18 |         19 |         19 |         18 |         18 |         19 |         19 |
1229.25/161.93	c (159,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1229.25/161.93	c (159,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | Exported      |          394147 |      49028 |      48183 |      51051 |      48405 |      48762 |      48613 |      49940 |      50165 |
1229.25/161.93	c (159,0) c | Imported      |         2702671 |     334713 |     335447 |     339377 |     341160 |     341580 |     340473 |     335667 |     334254 |
1229.25/161.93	c (159,0) c | Good          |             631 |         60 |         61 |         99 |        104 |         96 |         99 |         55 |         57 |
1229.25/161.93	c (159,0) c | Purge         |         2702040 |     334653 |     335386 |     339278 |     341056 |     341484 |     340374 |     335612 |     334197 |
1229.25/161.93	c (159,0) c | Promoted      |          360409 |      44809 |      45314 |      44600 |      45043 |      44734 |      45423 |      45158 |      45328 |
1229.25/161.93	c (159,0) c | Remove_Imp    |         1862262 |     235905 |     236886 |     229437 |     238297 |     233104 |     230189 |     231873 |     226571 |
1229.25/161.93	c (159,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | Unaries       |                 |          0 |          0 |         12 |          5 |          4 |          2 |          2 |          1 |
1229.25/161.93	c (159,0) c | Binaries      |                 |          5 |          4 |         46 |         27 |         26 |         16 |         35 |         22 |
1229.25/161.93	c (159,0) c | Glues         |                 |        305 |        320 |        377 |        361 |        299 |        342 |        293 |        289 |
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | Orig_Seen     |            48 % |       9009 |       8821 |       9302 |       8958 |       9346 |       9556 |       9077 |       8992 |
1229.25/161.93	c (159,0) c | Diff Orig seen|                 | -      293 | -      481 |      X     | -      344 |         44 |        254 | -      225 | -      310 |
1229.25/161.93	c (159,0) c | Hamming       |            26 % |        455 |        473 |      X     |        535 |        523 |        491 |        555 |        475 |
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c | RunningTime   |                 |  159.0 100%|  152.7  97%|  151.8  96%|  155.9  98%|  151.7  96%|  152.5  96%|  153.1  97%|  150.1  95%|
1229.25/161.93	c (159,0) c | WaitingTime   |                 |    0.0   0%|    5.2   3%|    6.0   4%|    2.9   2%|    6.1   4%|    5.8   4%|    4.8   3%|    7.8   5%|
1229.25/161.93	c (159,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.1   0%|
1229.25/161.93	c (159,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1229.25/161.93	c (159,0) c | SolvingTime   |                 |  159.2     |  158.1     |  158.0     |  159.0     |  158.0     |  158.5     |  158.0     |  158.0     |
1229.25/161.93	c (159,0) c | PropagationTim|                 |  149.8  94%|  148.5  94%|  148.3  94%|  147.8  93%|  148.0  94%|  148.7  94%|  148.3  94%|  148.4  94%|
1229.25/161.93	c (159,0) c | AnalysisTime  |                 |    7.5   5%|    7.7   5%|    7.7   5%|    9.3   6%|    8.0   5%|    7.8   5%|    7.7   5%|    7.7   5%|
1229.25/161.93	c (159,0) c | ReductionTime |                 |    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|    0.7   0%|
1229.25/161.93	c (159,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1229.25/161.93	c (159,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1229.25/161.93	c (159,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1229.25/161.93	c (159,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c
1229.25/161.93	c (159,0) c Threads : 8
1229.25/161.93	c (159,0) c Winner : 2
1229.25/161.93	c (159,0) c Conflicts_0 : 459391
1229.25/161.93	c (159,0) c Conflicts_1 : 458083
1229.25/161.93	c (159,0) c Conflicts_2 : 464008
1229.25/161.93	c (159,0) c Conflicts_3 : 456584
1229.25/161.93	c (159,0) c Conflicts_4 : 464023
1229.25/161.93	c (159,0) c Conflicts_5 : 459515
1229.25/161.93	c (159,0) c Conflicts_6 : 461339
1229.25/161.93	c (159,0) c Conflicts_7 : 464987
1229.25/161.93	c (159,0) c Conflicts_total : 3687930
1229.25/161.93	c (159,0) c Conflicts_winner : 464008
1229.25/161.93	c (159,0) c Decisions_0 : 670618
1229.25/161.93	c (159,0) c Decisions_1 : 665713
1229.25/161.93	c (159,0) c Decisions_2 : 674337
1229.25/161.93	c (159,0) c Decisions_3 : 669114
1229.25/161.93	c (159,0) c Decisions_4 : 666777
1229.25/161.93	c (159,0) c Decisions_5 : 670220
1229.25/161.93	c (159,0) c Decisions_6 : 663009
1229.25/161.93	c (159,0) c Decisions_7 : 669159
1229.25/161.93	c (159,0) c Decisions_total : 5348947
1229.25/161.93	c (159,0) c Decisions_winner : 674337
1229.25/161.93	c (159,0) c Propagations_0 : 57452298
1229.25/161.93	c (159,0) c Propagations_1 : 57944317
1229.25/161.93	c (159,0) c Propagations_2 : 58258920
1229.25/161.93	c (159,0) c Propagations_3 : 57676655
1229.25/161.93	c (159,0) c Propagations_4 : 58223697
1229.25/161.93	c (159,0) c Propagations_5 : 57694525
1229.25/161.93	c (159,0) c Propagations_6 : 57896362
1229.25/161.93	c (159,0) c Propagations_7 : 58355785
1229.25/161.93	c (159,0) c Propagations_total : 463502559
1229.25/161.93	c (159,0) c Propagations_winner : 58258920
1229.25/161.93	c (159,0) c ReduceDBs_0 : 18
1229.25/161.93	c (159,0) c ReduceDBs_1 : 18
1229.25/161.93	c (159,0) c ReduceDBs_2 : 18
1229.25/161.93	c (159,0) c ReduceDBs_3 : 18
1229.25/161.93	c (159,0) c ReduceDBs_4 : 18
1229.25/161.93	c (159,0) c ReduceDBs_5 : 18
1229.25/161.93	c (159,0) c ReduceDBs_6 : 18
1229.25/161.93	c (159,0) c ReduceDBs_7 : 18
1229.25/161.93	c (159,0) c ReduceDBs_total : 144
1229.25/161.93	c (159,0) c ReduceDBs_winner : 18
1229.25/161.93	c (159,0) c SimpDBs_0 : 2
1229.25/161.93	c (159,0) c SimpDBs_1 : 2
1229.25/161.93	c (159,0) c SimpDBs_2 : 2
1229.25/161.93	c (159,0) c SimpDBs_3 : 2
1229.25/161.93	c (159,0) c SimpDBs_4 : 3
1229.25/161.93	c (159,0) c SimpDBs_5 : 3
1229.25/161.93	c (159,0) c SimpDBs_6 : 2
1229.25/161.93	c (159,0) c SimpDBs_7 : 2
1229.25/161.93	c (159,0) c SimpDBs_total : 18
1229.25/161.93	c (159,0) c SimpDBs_winner : 2
1229.25/161.93	c (159,0) c Restarts_0 : 1379
1229.25/161.93	c (159,0) c Restarts_1 : 1258
1229.25/161.94	c (159,0) c Restarts_2 : 1217
1229.25/161.94	c (159,0) c Restarts_3 : 1410
1229.25/161.94	c (159,0) c Restarts_4 : 1097
1229.25/161.94	c (159,0) c Restarts_5 : 1253
1229.25/161.94	c (159,0) c Restarts_6 : 1149
1229.25/161.94	c (159,0) c Restarts_7 : 1107
1229.25/161.94	c (159,0) c Restarts_total : 9870
1229.25/161.94	c (159,0) c Restarts_winner : 1217
1229.25/161.94	c (159,0) c ForcedImports_0 : 0
1229.25/161.94	c (159,0) c ForcedImports_1 : 0
1229.25/161.94	c (159,0) c ForcedImports_2 : 0
1229.25/161.94	c (159,0) c ForcedImports_3 : 0
1229.25/161.94	c (159,0) c ForcedImports_4 : 0
1229.25/161.94	c (159,0) c ForcedImports_5 : 0
1229.25/161.94	c (159,0) c ForcedImports_6 : 0
1229.25/161.94	c (159,0) c ForcedImports_7 : 0
1229.25/161.94	c (159,0) c ForcedImports_total : 0
1229.25/161.94	c (159,0) c ForcedImports_winner : 0
1229.25/161.94	c (159,0) c PropsBinClauses_0 : 75627125
1229.25/161.94	c (159,0) c PropsBinClauses_1 : 76322727
1229.25/161.94	c (159,0) c PropsBinClauses_2 : 76711756
1229.25/161.94	c (159,0) c PropsBinClauses_3 : 76236016
1229.25/161.94	c (159,0) c PropsBinClauses_4 : 76507281
1229.25/161.94	c (159,0) c PropsBinClauses_5 : 75825245
1229.25/161.94	c (159,0) c PropsBinClauses_6 : 76368177
1229.25/161.94	c (159,0) c PropsBinClauses_7 : 76836556
1229.25/161.94	c (159,0) c PropsBinClauses_total : 610434883
1229.25/161.94	c (159,0) c PropsBinClauses_winner : 76711756
1229.25/161.94	c (159,0) c PropsPreBlocker_0 : 4068930531
1229.25/161.94	c (159,0) c PropsPreBlocker_1 : 4059742400
1229.25/161.94	c (159,0) c PropsPreBlocker_2 : 4078120253
1229.25/161.94	c (159,0) c PropsPreBlocker_3 : 4036865916
1229.25/161.94	c (159,0) c PropsPreBlocker_4 : 4089818487
1229.25/161.94	c (159,0) c PropsPreBlocker_5 : 4027123206
1229.25/161.94	c (159,0) c PropsPreBlocker_6 : 4058423148
1229.25/161.94	c (159,0) c PropsPreBlocker_7 : 4076511871
1229.25/161.94	c (159,0) c PropsPreBlocker_total : 32495535812
1229.25/161.94	c (159,0) c PropsPreBlocker_winner : 4078120253
1229.25/161.94	c (159,0) c PropsNotBlocker_0 : 1376914518
1229.25/161.94	c (159,0) c PropsNotBlocker_1 : 1382098927
1229.25/161.94	c (159,0) c PropsNotBlocker_2 : 1370736690
1229.25/161.94	c (159,0) c PropsNotBlocker_3 : 1390965351
1229.25/161.94	c (159,0) c PropsNotBlocker_4 : 1372454068
1229.25/161.94	c (159,0) c PropsNotBlocker_5 : 1394517120
1229.25/161.94	c (159,0) c PropsNotBlocker_6 : 1380234086
1229.25/161.94	c (159,0) c PropsNotBlocker_7 : 1372483530
1229.25/161.94	c (159,0) c PropsNotBlocker_total : 11040404290
1229.25/161.94	c (159,0) c PropsNotBlocker_winner : 1370736690
1229.25/161.94	c (159,0) c PropsLitFullScans_0 : 8185023214
1229.25/161.94	c (159,0) c PropsLitFullScans_1 : 8184972742
1229.25/161.94	c (159,0) c PropsLitFullScans_2 : 8187883465
1229.25/161.94	c (159,0) c PropsLitFullScans_3 : 8184962503
1229.25/161.94	c (159,0) c PropsLitFullScans_4 : 8196956632
1229.25/161.94	c (159,0) c PropsLitFullScans_5 : 8184955009
1229.25/161.94	c (159,0) c PropsLitFullScans_6 : 8202912543
1229.25/161.94	c (159,0) c PropsLitFullScans_7 : 8190945259
1229.25/161.94	c (159,0) c PropsLitFullScans_total : 65518611367
1229.25/161.94	c (159,0) c PropsLitFullScans_winner : 8187883465
1229.25/161.94	c (159,0) c LitScanFractions_0 : 988565
1229.25/161.94	c (159,0) c LitScanFractions_1 : 968032
1229.25/161.94	c (159,0) c LitScanFractions_2 : 945158
1229.25/161.94	c (159,0) c LitScanFractions_3 : 919958
1229.25/161.94	c (159,0) c LitScanFractions_4 : 950987
1229.25/161.94	c (159,0) c LitScanFractions_5 : 928891
1229.25/161.94	c (159,0) c LitScanFractions_6 : 899673
1229.25/161.94	c (159,0) c LitScanFractions_7 : 934727
1229.25/161.94	c (159,0) c LitScanFractions_total : 7535991
1229.25/161.94	c (159,0) c LitScanFractions_winner : 945158
1229.25/161.94	c (159,0) c DecisionLevel0_0 : 1379
1229.25/161.94	c (159,0) c DecisionLevel0_1 : 1258
1229.25/161.94	c (159,0) c DecisionLevel0_2 : 1229
1229.25/161.94	c (159,0) c DecisionLevel0_3 : 1415
1229.25/161.94	c (159,0) c DecisionLevel0_4 : 1101
1229.25/161.94	c (159,0) c DecisionLevel0_5 : 1255
1229.25/161.94	c (159,0) c DecisionLevel0_6 : 1151
1229.25/161.94	c (159,0) c DecisionLevel0_7 : 1108
1229.25/161.94	c (159,0) c DecisionLevel0_total : 9896
1229.25/161.94	c (159,0) c DecisionLevel0_winner : 1229
1229.25/161.94	c (159,0) c Periods_0 : 1364
1229.25/161.94	c (159,0) c Periods_1 : 1364
1229.25/161.94	c (159,0) c Periods_2 : 1364
1229.25/161.94	c (159,0) c Periods_3 : 1364
1229.25/161.94	c (159,0) c Periods_4 : 1366
1229.25/161.94	c (159,0) c Periods_5 : 1364
1229.25/161.94	c (159,0) c Periods_6 : 1367
1229.25/161.94	c (159,0) c Periods_7 : 1365
1229.25/161.94	c (159,0) c Periods_total : 10918
1229.25/161.94	c (159,0) c Periods_winner : 1364
1229.25/161.94	c (159,0) c Margin_0 : 20
1229.25/161.94	c (159,0) c Margin_1 : 20
1229.25/161.94	c (159,0) c Margin_2 : 20
1229.25/161.94	c (159,0) c Margin_3 : 20
1229.25/161.94	c (159,0) c Margin_4 : 20
1229.25/161.94	c (159,0) c Margin_5 : 20
1229.25/161.94	c (159,0) c Margin_6 : 20
1229.25/161.94	c (159,0) c Margin_7 : 20
1229.25/161.94	c (159,0) c Margin_total : 160
1229.25/161.94	c (159,0) c Margin_winner : 20
1229.25/161.94	c (159,0) c Exported_0 : 49028
1229.25/161.94	c (159,0) c Exported_1 : 48183
1229.25/161.94	c (159,0) c Exported_2 : 51051
1229.25/161.94	c (159,0) c Exported_3 : 48405
1229.25/161.94	c (159,0) c Exported_4 : 48762
1229.25/161.94	c (159,0) c Exported_5 : 48613
1229.25/161.94	c (159,0) c Exported_6 : 49940
1229.25/161.94	c (159,0) c Exported_7 : 50165
1229.25/161.94	c (159,0) c Exported_total : 394147
1229.25/161.94	c (159,0) c Exported_winner : 51051
1229.25/161.94	c (159,0) c Imported_0 : 334713
1229.25/161.94	c (159,0) c Imported_1 : 335447
1229.25/161.94	c (159,0) c Imported_2 : 339377
1229.25/161.94	c (159,0) c Imported_3 : 341160
1229.25/161.94	c (159,0) c Imported_4 : 341580
1229.25/161.94	c (159,0) c Imported_5 : 340473
1229.25/161.94	c (159,0) c Imported_6 : 335667
1229.25/161.94	c (159,0) c Imported_7 : 334254
1229.25/161.94	c (159,0) c Imported_total : 2702671
1229.25/161.94	c (159,0) c Imported_winner : 339377
1229.25/161.94	c (159,0) c Good_0 : 60
1229.25/161.94	c (159,0) c Good_1 : 61
1229.25/161.94	c (159,0) c Good_2 : 99
1229.25/161.94	c (159,0) c Good_3 : 104
1229.25/161.94	c (159,0) c Good_4 : 96
1229.25/161.94	c (159,0) c Good_5 : 99
1229.25/161.94	c (159,0) c Good_6 : 55
1229.25/161.94	c (159,0) c Good_7 : 57
1229.25/161.94	c (159,0) c Good_total : 631
1229.25/161.94	c (159,0) c Good_winner : 99
1229.25/161.94	c (159,0) c Purge_0 : 334653
1229.25/161.94	c (159,0) c Purge_1 : 335386
1229.25/161.94	c (159,0) c Purge_2 : 339278
1229.25/161.94	c (159,0) c Purge_3 : 341056
1229.25/161.94	c (159,0) c Purge_4 : 341484
1229.25/161.94	c (159,0) c Purge_5 : 340374
1229.25/161.94	c (159,0) c Purge_6 : 335612
1229.25/161.94	c (159,0) c Purge_7 : 334197
1229.25/161.94	c (159,0) c Purge_total : 2702040
1229.25/161.94	c (159,0) c Purge_winner : 339278
1229.25/161.94	c (159,0) c Promoted_0 : 44809
1229.25/161.94	c (159,0) c Promoted_1 : 45314
1229.25/161.94	c (159,0) c Promoted_2 : 44600
1229.25/161.94	c (159,0) c Promoted_3 : 45043
1229.25/161.94	c (159,0) c Promoted_4 : 44734
1229.25/161.94	c (159,0) c Promoted_5 : 45423
1229.25/161.94	c (159,0) c Promoted_6 : 45158
1229.25/161.94	c (159,0) c Promoted_7 : 45328
1229.25/161.94	c (159,0) c Promoted_total : 360409
1229.25/161.94	c (159,0) c Promoted_winner : 44600
1229.25/161.94	c (159,0) c Remove_Imp_0 : 235905
1229.25/161.94	c (159,0) c Remove_Imp_1 : 236886
1229.25/161.94	c (159,0) c Remove_Imp_2 : 229437
1229.25/161.94	c (159,0) c Remove_Imp_3 : 238297
1229.25/161.94	c (159,0) c Remove_Imp_4 : 233104
1229.25/161.94	c (159,0) c Remove_Imp_5 : 230189
1229.25/161.94	c (159,0) c Remove_Imp_6 : 231873
1229.25/161.94	c (159,0) c Remove_Imp_7 : 226571
1229.25/161.94	c (159,0) c Remove_Imp_total : 1862262
1229.25/161.94	c (159,0) c Remove_Imp_winner : 229437
1229.25/161.94	c (159,0) c Blocked_Reuse_0 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_1 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_2 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_3 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_4 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_5 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_6 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_7 : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_total : 0
1229.25/161.94	c (159,0) c Blocked_Reuse_winner : 0
1229.25/161.94	c (159,0) c Unaries_0 : 0
1229.25/161.94	c (159,0) c Unaries_1 : 0
1229.25/161.94	c (159,0) c Unaries_2 : 12
1229.25/161.94	c (159,0) c Unaries_3 : 5
1229.25/161.94	c (159,0) c Unaries_4 : 4
1229.25/161.94	c (159,0) c Unaries_5 : 2
1229.25/161.94	c (159,0) c Unaries_6 : 2
1229.25/161.94	c (159,0) c Unaries_7 : 1
1229.25/161.94	c (159,0) c Unaries_total : 26
1229.25/161.94	c (159,0) c Unaries_winner : 12
1229.25/161.94	c (159,0) c Binaries_0 : 5
1229.25/161.94	c (159,0) c Binaries_1 : 4
1229.25/161.94	c (159,0) c Binaries_2 : 46
1229.25/161.94	c (159,0) c Binaries_3 : 27
1229.25/161.94	c (159,0) c Binaries_4 : 26
1229.25/161.94	c (159,0) c Binaries_5 : 16
1229.25/161.94	c (159,0) c Binaries_6 : 35
1229.25/161.94	c (159,0) c Binaries_7 : 22
1229.25/161.94	c (159,0) c Binaries_total : 181
1229.25/161.94	c (159,0) c Binaries_winner : 46
1229.25/161.94	c (159,0) c Glues_0 : 305
1229.25/161.94	c (159,0) c Glues_1 : 320
1229.25/161.94	c (159,0) c Glues_2 : 377
1229.25/161.94	c (159,0) c Glues_3 : 361
1229.25/161.94	c (159,0) c Glues_4 : 299
1229.25/161.94	c (159,0) c Glues_5 : 342
1229.25/161.94	c (159,0) c Glues_6 : 293
1229.25/161.94	c (159,0) c Glues_7 : 289
1229.25/161.94	c (159,0) c Glues_total : 2586
1229.25/161.94	c (159,0) c Glues_winner : 377
1229.25/161.94	c (159,0) c RunningTime_0 : 159.024766
1229.25/161.94	c (159,0) c RunningTime_1 : 152.722701
1229.25/161.94	c (159,0) c RunningTime_2 : 151.774729
1229.25/161.94	c (159,0) c RunningTime_3 : 155.924106
1229.25/161.94	c (159,0) c RunningTime_4 : 151.732698
1229.25/161.94	c (159,0) c RunningTime_5 : 152.480044
1229.25/161.94	c (159,0) c RunningTime_6 : 153.073038
1229.25/161.94	c (159,0) c RunningTime_7 : 150.111933
1229.25/161.94	c (159,0) c RunningTime_total : 1226.844015
1229.25/161.94	c (159,0) c RunningTime_winner : 151.774729
1229.25/161.94	c (159,0) c WaitingTime_0 : 0.001527
1229.25/161.94	c (159,0) c WaitingTime_1 : 5.220698
1229.25/161.94	c (159,0) c WaitingTime_2 : 6.008861
1229.25/161.94	c (159,0) c WaitingTime_3 : 2.933767
1229.25/161.94	c (159,0) c WaitingTime_4 : 6.084528
1229.25/161.94	c (159,0) c WaitingTime_5 : 5.829293
1229.25/161.94	c (159,0) c WaitingTime_6 : 4.773479
1229.25/161.94	c (159,0) c WaitingTime_7 : 7.766032
1229.25/161.94	c (159,0) c WaitingTime_total : 38.618184
1229.25/161.94	c (159,0) c WaitingTime_winner : 6.008861
1229.25/161.94	c (159,0) c ExchangingTime_0 : 0.158285
1229.25/161.94	c (159,0) c ExchangingTime_1 : 0.162434
1229.25/161.94	c (159,0) c ExchangingTime_2 : 0.159537
1229.25/161.94	c (159,0) c ExchangingTime_3 : 0.156552
1229.25/161.94	c (159,0) c ExchangingTime_4 : 0.155027
1229.25/161.94	c (159,0) c ExchangingTime_5 : 0.159568
1229.25/161.94	c (159,0) c ExchangingTime_6 : 0.177214
1229.25/161.94	c (159,0) c ExchangingTime_7 : 0.149560
1229.25/161.94	c (159,0) c ExchangingTime_total : 1.278177
1229.25/161.94	c (159,0) c ExchangingTime_winner : 0.159537
1229.25/161.94	c (159,0) c PeriodProcTime_0 : 0.019636
1229.25/161.94	c (159,0) c PeriodProcTime_1 : 0.012829
1229.25/161.94	c (159,0) c PeriodProcTime_2 : 0.010809
1229.25/161.94	c (159,0) c PeriodProcTime_3 : 0.010395
1229.25/161.94	c (159,0) c PeriodProcTime_4 : 0.012306
1229.25/161.94	c (159,0) c PeriodProcTime_5 : 0.011492
1229.25/161.94	c (159,0) c PeriodProcTime_6 : 0.013079
1229.25/161.94	c (159,0) c PeriodProcTime_7 : 0.010479
1229.25/161.94	c (159,0) c PeriodProcTime_total : 0.101027
1229.25/161.94	c (159,0) c PeriodProcTime_winner : 0.010809
1229.25/161.94	c (159,0) c SolvingTime_0 : 159.204215
1229.25/161.94	c (159,0) c SolvingTime_1 : 158.118661
1229.25/161.94	c (159,0) c SolvingTime_2 : 157.953936
1229.25/161.94	c (159,0) c SolvingTime_3 : 159.024820
1229.25/161.94	c (159,0) c SolvingTime_4 : 157.984559
1229.25/161.94	c (159,0) c SolvingTime_5 : 158.480397
1229.25/161.94	c (159,0) c SolvingTime_6 : 158.036810
1229.25/161.94	c (159,0) c SolvingTime_7 : 158.038005
1229.25/161.94	c (159,0) c SolvingTime_total : 1266.841403
1229.25/161.94	c (159,0) c SolvingTime_winner : 157.953936
1229.25/161.94	c (159,0) c PropagationTime_0 : 149.784253
1229.25/161.94	c (159,0) c PropagationTime_1 : 148.482542
1229.25/161.94	c (159,0) c PropagationTime_2 : 148.284241
1229.25/161.94	c (159,0) c PropagationTime_3 : 147.769081
1229.25/161.94	c (159,0) c PropagationTime_4 : 147.970640
1229.25/161.94	c (159,0) c PropagationTime_5 : 148.662799
1229.25/161.94	c (159,0) c PropagationTime_6 : 148.328248
1229.25/161.94	c (159,0) c PropagationTime_7 : 148.443531
1229.25/161.94	c (159,0) c PropagationTime_total : 1187.725334
1229.25/161.94	c (159,0) c PropagationTime_winner : 148.284241
1229.25/161.94	c (159,0) c AnalysisTime_0 : 7.485679
1229.25/161.94	c (159,0) c AnalysisTime_1 : 7.695512
1229.25/161.94	c (159,0) c AnalysisTime_2 : 7.679625
1229.25/161.94	c (159,0) c AnalysisTime_3 : 9.251548
1229.25/161.94	c (159,0) c AnalysisTime_4 : 7.967344
1229.25/161.94	c (159,0) c AnalysisTime_5 : 7.819761
1229.25/161.94	c (159,0) c AnalysisTime_6 : 7.703523
1229.25/161.94	c (159,0) c AnalysisTime_7 : 7.673759
1229.25/161.94	c (159,0) c AnalysisTime_total : 63.276751
1229.25/161.94	c (159,0) c AnalysisTime_winner : 7.679625
1229.25/161.94	c (159,0) c ReductionTime_0 : 0.657321
1229.25/161.94	c (159,0) c ReductionTime_1 : 0.685613
1229.25/161.94	c (159,0) c ReductionTime_2 : 0.685616
1229.25/161.94	c (159,0) c ReductionTime_3 : 0.685493
1229.25/161.94	c (159,0) c ReductionTime_4 : 0.698314
1229.25/161.94	c (159,0) c ReductionTime_5 : 0.681650
1229.25/161.94	c (159,0) c ReductionTime_6 : 0.697210
1229.25/161.94	c (159,0) c ReductionTime_7 : 0.676926
1229.25/161.94	c (159,0) c ReductionTime_total : 5.468143
1229.25/161.94	c (159,0) c ReductionTime_winner : 0.685616
1229.25/161.94	c (159,0) c SimplifyTime_0 : 0.014624
1229.25/161.94	c (159,0) c SimplifyTime_1 : 0.014259
1229.25/161.94	c (159,0) c SimplifyTime_2 : 0.014998
1229.25/161.94	c (159,0) c SimplifyTime_3 : 0.012959
1229.25/161.94	c (159,0) c SimplifyTime_4 : 0.058419
1229.25/161.94	c (159,0) c SimplifyTime_5 : 0.029040
1229.25/161.94	c (159,0) c SimplifyTime_6 : 0.015965
1229.25/161.94	c (159,0) c SimplifyTime_7 : 0.014693
1229.25/161.94	c (159,0) c SimplifyTime_total : 0.174956
1229.25/161.94	c (159,0) c SimplifyTime_winner : 0.014998
1229.25/161.94	c (159,0) c UsedRateTime_0 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_1 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_2 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_3 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_4 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_5 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_6 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_7 : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_total : 0.000000
1229.25/161.94	c (159,0) c UsedRateTime_winner : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_0 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_1 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_2 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_3 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_4 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_5 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_6 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_7 : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_total : 0.000000
1229.25/161.94	c (159,0) c OverlapRateTime_winner : 0.000000
1229.25/161.94	c (159,0) c
1229.25/161.94	c (159,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1229.25/161.94	c (159,0) c
1229.25/161.94	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.94	c (159,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1229.25/161.94	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.94	c (159,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1229.25/161.94	c (159,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1229.25/161.94	c (159,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1229.25/161.94	c (159,0) c | Initial random_seed   | 1686321248 |  275907774 | 1014382381 |  660192626 |  869111611 | 2070202714 | 1461931764 |  601583038 |
1229.25/161.94	c (159,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1229.25/161.94	c (159,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1229.25/161.94	c (159,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1229.25/161.94	c (159,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1229.25/161.94	c (159,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1229.25/161.94	c (159,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1229.25/161.94	c (159,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1229.25/161.94	c (159,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1229.25/161.94	c (159,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1229.25/161.94	c (159,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1229.25/161.94	c (159,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1229.25/161.94	c (159,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1229.25/161.94	c (159,0) 
1229.25/161.94	c (159,0) s UNSATISFIABLE
1229.25/161.95	c (159,0) SatSolver.solve End
1229.25/161.95	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1229.25/161.95	c (159,0) Show results Begin
1229.25/161.95	s UNSATISFIABLE
1229.25/161.95	c (159,0) Show results End
1229.25/161.95	c (159,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1229.25/161.96	c (159,0) 159,159,STOP-AFTER(ALL)
1229.25/161.96	c END-Prog: Sat Sep 14 10:35:48 CEST 2019

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392465-1568450028/watcher-4392465-1568450028 -o /tmp/evaluation-result-4392465-1568450028/solver-4392465-1568450028 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568447416-2308 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392465-1568450028.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=2944, runsolver pid=2941
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 8.04 8.16 8.26 2/212 2966
/proc/meminfo: memFree=30501624/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421250143 115843072 349 33554432000 4194304 5098028 140721825056688 140721825053944 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 349 296 221 0 87 0
[pid=2947] ppid=2944 vsize=27314120 memory=105396 CPUtime=0.1 cores=0-7
/proc/2947/stat : 2947 (java) S 2944 2944 2281 0 -1 1077944320 6478 0 0 0 8 2 0 0 20 0 20 0 421250143 27969658880 26349 33554432000 4194304 4196468 140721814027632 140721814010176 140493857976055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
/proc/2947/statm: 6828530 26349 2784 1 0 6790935 0
[pid=2947/tid=2948] ppid=2944 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/2947/task/2948/stat : 2948 (java) R 2944 2944 2281 0 -1 4202560 4575 0 0 0 7 2 0 0 20 0 20 0 421250143 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493829802384 140493612584208 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2949] ppid=2944 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/2947/task/2949/stat : 2949 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493862218512 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2950] ppid=2944 vsize=27314120 memory=139747093100160 CPUtime=0 cores=0-7
/proc/2947/task/2950/stat : 2950 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493280037776 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2951] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2951/stat : 2951 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493278985232 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2952] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2952/stat : 2952 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493277932688 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2953] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2953/stat : 2953 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493276879120 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2954] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2954/stat : 2954 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493275826576 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2955] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2955/stat : 2955 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493274774032 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2956] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2956/stat : 2956 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 26414 33554432000 4194304 4196468 140721814027632 140493273721488 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2957] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2957/stat : 2957 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250147 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492379515376 140493857987202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2958] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2958/stat : 2958 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 26414 33554432000 4194304 4196468 140721814027632 140491467253152 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2959] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2959/stat : 2959 (java) S 2944 2944 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 26414 33554432000 4194304 4196468 140721814027632 140491333031408 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2960] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2960/stat : 2960 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250150 27969658880 26414 33554432000 4194304 4196468 140721814027632 140490958527184 140493857994651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2961] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2961/stat : 2961 (java) S 2944 2944 2281 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492378462192 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2962] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2962/stat : 2962 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492377409648 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2963] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2963/stat : 2963 (java) R 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492376357104 140493857987202 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2964] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2964/stat : 2964 (java) S 2944 2944 2281 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492375304560 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2965] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2965/stat : 2965 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140490460621536 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2966] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2966/stat : 2966 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 26414 33554432000 4194304 4196468 140721814027632 140492374252464 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106792 KiB

[startup+0.210124 s]*
/proc/loadavg: 8.04 8.16 8.26 3/212 2966
/proc/meminfo: memFree=30480432/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421250143 115843072 349 33554432000 4194304 5098028 140721825056688 140721825053944 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 349 296 221 0 87 0
[pid=2947] ppid=2944 vsize=27314120 memory=124728 CPUtime=0.25 cores=0-7
/proc/2947/stat : 2947 (java) S 2944 2944 2281 0 -1 1077944320 11992 0 0 0 21 4 0 0 20 0 20 0 421250143 27969658880 31182 33554432000 4194304 4196468 140721814027632 140721814010176 140493857976055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
/proc/2947/statm: 6828530 31182 2942 1 0 6790935 0
[pid=2947/tid=2948] ppid=2944 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2947/task/2948/stat : 2948 (java) R 2944 2944 2281 0 -1 4202560 9708 0 0 0 16 3 0 0 20 0 20 0 421250143 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493829783616 140493843141600 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2949] ppid=2944 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/2947/task/2949/stat : 2949 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493862218512 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2950] ppid=2944 vsize=27314120 memory=3689492968434808480 CPUtime=0 cores=0-7
/proc/2947/task/2950/stat : 2950 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493280037776 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2951] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2951/stat : 2951 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493278985232 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2952] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2952/stat : 2952 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493277932688 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2953] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2953/stat : 2953 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493276879120 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2954] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2954/stat : 2954 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493275826576 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2955] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2955/stat : 2955 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493274774032 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2956] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2956/stat : 2956 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 31182 33554432000 4194304 4196468 140721814027632 140493273721488 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2957] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2957/stat : 2957 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250147 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492379515376 140493857987202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2958] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2958/stat : 2958 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 31182 33554432000 4194304 4196468 140721814027632 140491467253152 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2959] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2959/stat : 2959 (java) S 2944 2944 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 31182 33554432000 4194304 4196468 140721814027632 140491333031408 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2960] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2960/stat : 2960 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250150 27969658880 31182 33554432000 4194304 4196468 140721814027632 140490958527184 140493857994651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2961] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2961/stat : 2961 (java) S 2944 2944 2281 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492378462192 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2962] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2962/stat : 2962 (java) S 2944 2944 2281 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492377409648 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2963] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2963/stat : 2963 (java) S 2944 2944 2281 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492376357104 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2964] ppid=2944 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/2947/task/2964/stat : 2964 (java) S 2944 2944 2281 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492375304560 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2965] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2965/stat : 2965 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140490460621536 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2966] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2966/stat : 2966 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 31182 33554432000 4194304 4196468 140721814027632 140492374252464 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126124 KiB

[startup+0.309671 s]*
/proc/loadavg: 8.04 8.16 8.26 2/212 2966
/proc/meminfo: memFree=30477828/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421250143 115843072 349 33554432000 4194304 5098028 140721825056688 140721825053944 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 349 296 221 0 87 0
[pid=2947] ppid=2944 vsize=27314120 memory=128408 CPUtime=0.42 cores=0-7
/proc/2947/stat : 2947 (java) S 2944 2944 2281 0 -1 1077944320 12973 0 0 0 37 5 0 0 20 0 20 0 421250143 27969658880 32102 33554432000 4194304 4196468 140721814027632 140721814010176 140493857976055 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
/proc/2947/statm: 6828530 32102 3042 1 0 6790935 0
[pid=2947/tid=2948] ppid=2944 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2947/task/2948/stat : 2948 (java) R 2944 2944 2281 0 -1 4202560 10507 0 0 0 25 4 0 0 20 0 20 0 421250143 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493829806128 140493838251358 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2949] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2949/stat : 2949 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493862218512 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2950] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2950/stat : 2950 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493280037776 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2951] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2951/stat : 2951 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493278985232 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2952] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2952/stat : 2952 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493277932688 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2953] ppid=2944 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/2947/task/2953/stat : 2953 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493276879120 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2954] ppid=2944 vsize=27314120 memory=139746961617839 CPUtime=0 cores=0-7
/proc/2947/task/2954/stat : 2954 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493275826576 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2955] ppid=2944 vsize=27314120 memory=139746961620144 CPUtime=0 cores=0-7
/proc/2947/task/2955/stat : 2955 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493274774032 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2956] ppid=2944 vsize=27314120 memory=139746961622448 CPUtime=0 cores=0-7
/proc/2947/task/2956/stat : 2956 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250146 27969658880 32102 33554432000 4194304 4196468 140721814027632 140493273721488 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2957] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2957/stat : 2957 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250147 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492379515376 140493857987202 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2958] ppid=2944 vsize=27314120 memory=279493923251856 CPUtime=0 cores=0-7
/proc/2947/task/2958/stat : 2958 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 32102 33554432000 4194304 4196468 140721814027632 140491467253152 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2959] ppid=2944 vsize=27314120 memory=279493923258768 CPUtime=0 cores=0-7
/proc/2947/task/2959/stat : 2959 (java) S 2944 2944 2281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421250148 27969658880 32102 33554432000 4194304 4196468 140721814027632 140491333031408 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2960] ppid=2944 vsize=27314120 memory=279493923200048 CPUtime=0 cores=0-7
/proc/2947/task/2960/stat : 2960 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250150 27969658880 32102 33554432000 4194304 4196468 140721814027632 140490958527184 140493857994651 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2961] ppid=2944 vsize=27314120 memory=279493923272592 CPUtime=0.01 cores=0-7
/proc/2947/task/2961/stat : 2961 (java) S 2944 2944 2281 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492378462192 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2962] ppid=2944 vsize=27314120 memory=279493923279504 CPUtime=0.01 cores=0-7
/proc/2947/task/2962/stat : 2962 (java) S 2944 2944 2281 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492377409648 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2963] ppid=2944 vsize=27314120 memory=279493923277200 CPUtime=0.01 cores=0-7
/proc/2947/task/2963/stat : 2963 (java) S 2944 2944 2281 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492376357104 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2964] ppid=2944 vsize=27314120 memory=279493923293360 CPUtime=0.07 cores=0-7
/proc/2947/task/2964/stat : 2964 (java) S 2944 2944 2281 0 -1 1077944384 448 0 0 0 7 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492375304560 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2965] ppid=2944 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2965/stat : 2965 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140490460621536 140493857986261 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2966] ppid=2944 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/2947/task/2966/stat : 2966 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250151 27969658880 32102 33554432000 4194304 4196468 140721814027632 140492374252464 140493857987202 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129804 KiB

[startup+0.700845 s]
/proc/loadavg: 8.04 8.16 8.26 2/212 2966
/proc/meminfo: memFree=30457856/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421250143 115843072 349 33554432000 4194304 5098028 140721825056688 140721825053944 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 349 296 221 0 87 0
[pid=2947] ppid=2944 vsize=27320392 memory=164836 CPUtime=0.98 cores=0-7
/proc/2947/stat : 2947 (java) S 2944 2944 2281 0 -1 1077944320 19889 0 0 0 91 7 0 0 20 0 20 0 421250143 27976081408 41209 33554432000 4194304 4196468 140721814027632 140721814010176 140493857976055 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
/proc/2947/statm: 6830098 41209 3172 1 0 6791447 0
[pid=2947/tid=2948] ppid=2944 vsize=27320392 memory=279493923651248 CPUtime=0.67 cores=0-7
/proc/2947/task/2948/stat : 2948 (java) R 2944 2944 2281 0 -1 4202560 16971 0 0 0 61 6 0 0 20 0 20 0 421250143 27976081408 41209 33554432000 4194304 4196468 140721814027632 140493829808304 140493857997981 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2949] ppid=2944 vsize=27320392 memory=139746961826672 CPUtime=0 cores=0-7
/proc/2947/task/2949/stat : 2949 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421250146 27976081408 41209 33554432000 4194304 4196468 140721814027632 140493862218512 140493857986261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2950] ppid=2944 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/2947/task/2950/stat : 2950 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27976081408 41209 33554432000 4194304 4196468 140721814027632 140493280037776 140493857986261 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0
[pid=2947/tid=2951] ppid=2944 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/2947/task/2951/stat : 2951 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421250146 27976081408 41209 33554432000 4194304 4196468 140721814027632 140493278985232 140493857986261 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20639744 140721814029036 140721814029462 140721814029462 140721814032335 0

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

[pid=2967/tid=2977] ppid=2944 vsize=8414124 memory=4152 CPUtime=0 cores=0-7
/proc/2967/task/2977/stat : 2977 (java) S 2944 2944 2281 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421250339 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071812339696 140072785947266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2978] ppid=2944 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/2967/task/2978/stat : 2978 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071365764000 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2979] ppid=2944 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/2967/task/2979/stat : 2979 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071097328624 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2980] ppid=2944 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/2967/task/2980/stat : 2980 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070722820304 140072785954715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2981] ppid=2944 vsize=8414124 memory=1412 CPUtime=0.03 cores=0-7
/proc/2967/task/2981/stat : 2981 (java) S 2944 2944 2281 0 -1 1077944384 356 0 0 0 3 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071811287536 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2982] ppid=2944 vsize=8414124 memory=3672 CPUtime=0.06 cores=0-7
/proc/2967/task/2982/stat : 2982 (java) S 2944 2944 2281 0 -1 1077944384 421 0 0 0 6 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071810234992 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2983] ppid=2944 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7
/proc/2967/task/2983/stat : 2983 (java) S 2944 2944 2281 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071809182448 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2984] ppid=2944 vsize=8414124 memory=120416 CPUtime=0.19 cores=0-7
/proc/2967/task/2984/stat : 2984 (java) S 2944 2944 2281 0 -1 1077944384 713 0 0 0 19 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071808129904 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2985] ppid=2944 vsize=8414124 memory=402780 CPUtime=0 cores=0-7
/proc/2967/task/2985/stat : 2985 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070224914656 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2986] ppid=2944 vsize=8414124 memory=399744 CPUtime=0.08 cores=0-7
/proc/2967/task/2986/stat : 2986 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071807076784 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2988] ppid=2944 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/2967/task/2988/stat : 2988 (java) S 2944 2944 2281 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071799043264 140072785960729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2990] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2990/stat : 2990 (java) S 2944 2944 2281 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069553815312 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2991] ppid=2944 vsize=8414124 memory=120416 CPUtime=0 cores=0-7
/proc/2967/task/2991/stat : 2991 (java) S 2944 2944 2281 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421250409 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069822250896 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2992] ppid=2944 vsize=8414124 memory=398204 CPUtime=0 cores=0-7
/proc/2967/task/2992/stat : 2992 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250411 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069285387952 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
Current children cumulated CPU time: 1228.79 s
Current children cumulated vsize: 9192928 KiB
Current children cumulated memory: 525204 KiB

[startup+161.801 s]
/proc/loadavg: 8.01 8.12 8.22 4/219 3008
/proc/meminfo: memFree=30084168/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1476 CPUtime=4.62 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 583 26353 0 0 0 0 447 15 20 0 1 0 421250143 115843072 369 33554432000 4194304 5098028 140721825056688 140721825053432 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 369 311 221 0 87 0
[pid=2967] ppid=2944 vsize=8414124 memory=120416 CPUtime=1.25 cores=0-7
/proc/2967/stat : 2967 (java) S 2944 2944 2281 0 -1 1077944320 19974 0 0 0 117 8 0 0 20 0 24 0 421250336 8616062976 30104 33554432000 4194304 4196468 140736460659456 140736460642000 140072785936119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
/proc/2967/statm: 2103531 30104 3194 1 0 2064875 0
[pid=2987] ppid=2967 vsize=665676 memory=403372 CPUtime=1223.28 cores=0-7
/proc/2987/stat : 2987 (manyglucose-4.1) S 2967 2944 2281 0 -1 1077944320 801023 0 0 0 122175 153 0 0 20 0 2 0 421250408 681652224 100843 33554432000 4194304 4454172 140723527609296 140723527607680 140506144767735 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 31690752 140723527615338 140723527615536 140723527615536 140723527618490 0
/proc/2987/statm: 166419 100843 419 64 0 162087 0
[pid=2987/tid=2993] ppid=2967 vsize=665676 memory=-4075877051373423737 CPUtime=159.06 cores=0-7
/proc/2987/task/2993/stat : 2993 (manyglucose-4.1) R 2967 2944 2281 0 -1 4202560 100356 0 0 0 15889 17 0 0 20 0 2 0 421250411 681652224 100843 33554432000 4194304 4454172 140723527609296 140506129550072 4351289 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 31690752 140723527615338 140723527615536 140723527615536 140723527618490 0
[pid=2967/tid=2968] ppid=2944 vsize=8414124 memory=528 CPUtime=0.75 cores=0-7
/proc/2967/task/2968/stat : 2968 (java) S 2944 2944 2281 0 -1 1077944384 16771 0 0 0 70 5 0 0 20 0 24 0 421250337 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072757776288 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2969] ppid=2944 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/2967/task/2969/stat : 2969 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072790178064 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2970] ppid=2944 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/2967/task/2970/stat : 2970 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072590346640 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2971] ppid=2944 vsize=8414124 memory=399860 CPUtime=0 cores=0-7
/proc/2967/task/2971/stat : 2971 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072589294096 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2972] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2972/stat : 2972 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072588241552 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2973] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2973/stat : 2973 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072587189008 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2974] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2974/stat : 2974 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072586136464 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2975] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2975/stat : 2975 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072585083920 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2976] ppid=2944 vsize=8414124 memory=120416 CPUtime=0 cores=0-7
/proc/2967/task/2976/stat : 2976 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072584031376 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2977] ppid=2944 vsize=8414124 memory=403012 CPUtime=0 cores=0-7
/proc/2967/task/2977/stat : 2977 (java) S 2944 2944 2281 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421250339 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071812339696 140072785947266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2978] ppid=2944 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/2967/task/2978/stat : 2978 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071365764000 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2979] ppid=2944 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/2967/task/2979/stat : 2979 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071097328624 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2980] ppid=2944 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/2967/task/2980/stat : 2980 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070722820304 140072785954715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2981] ppid=2944 vsize=8414124 memory=1764 CPUtime=0.03 cores=0-7
/proc/2967/task/2981/stat : 2981 (java) S 2944 2944 2281 0 -1 1077944384 356 0 0 0 3 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071811287536 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2982] ppid=2944 vsize=8414124 memory=928 CPUtime=0.06 cores=0-7
/proc/2967/task/2982/stat : 2982 (java) S 2944 2944 2281 0 -1 1077944384 421 0 0 0 6 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071810234992 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2983] ppid=2944 vsize=8414124 memory=1768 CPUtime=0.07 cores=0-7
/proc/2967/task/2983/stat : 2983 (java) S 2944 2944 2281 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071809182448 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2984] ppid=2944 vsize=8414124 memory=832 CPUtime=0.19 cores=0-7
/proc/2967/task/2984/stat : 2984 (java) S 2944 2944 2281 0 -1 1077944384 713 0 0 0 19 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071808129904 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2985] ppid=2944 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/2967/task/2985/stat : 2985 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070224914656 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2986] ppid=2944 vsize=8414124 memory=4104 CPUtime=0.08 cores=0-7
/proc/2967/task/2986/stat : 2986 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071807076784 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2988] ppid=2944 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/2967/task/2988/stat : 2988 (java) S 2944 2944 2281 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071799043264 140072785960729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2990] ppid=2944 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/2967/task/2990/stat : 2990 (java) S 2944 2944 2281 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069553815312 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2991] ppid=2944 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/2967/task/2991/stat : 2991 (java) S 2944 2944 2281 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421250409 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069822250896 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2992] ppid=2944 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/2967/task/2992/stat : 2992 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250411 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069285387952 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
Current children cumulated CPU time: 1229.15 s
Current children cumulated vsize: 9192928 KiB
Current children cumulated memory: 525264 KiB

[startup+161.901 s]
/proc/loadavg: 8.01 8.12 8.22 4/219 3008
/proc/meminfo: memFree=30084168/32770624 swapFree=66927268/67108860
[pid=2944] ppid=2941 vsize=113128 memory=1476 CPUtime=4.62 cores=0-7
/proc/2944/stat : 2944 (scop.sh) S 2941 2944 2281 0 -1 4202496 583 26353 0 0 0 0 447 15 20 0 1 0 421250143 115843072 369 33554432000 4194304 5098028 140721825056688 140721825053432 139873312584316 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12693504 140721825063717 140721825064044 140721825064044 140721825066957 0
/proc/2944/statm: 28282 369 311 221 0 87 0
[pid=2967] ppid=2944 vsize=8414124 memory=120416 CPUtime=1.25 cores=0-7
/proc/2967/stat : 2967 (java) S 2944 2944 2281 0 -1 1077944320 19974 0 0 0 117 8 0 0 20 0 24 0 421250336 8616062976 30104 33554432000 4194304 4196468 140736460659456 140736460642000 140072785936119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
/proc/2967/statm: 2103531 30104 3194 1 0 2064875 0
[pid=2987] ppid=2967 vsize=665676 memory=403372 CPUtime=1223.38 cores=0-7
/proc/2987/stat : 2987 (manyglucose-4.1) S 2967 2944 2281 0 -1 1077944320 801039 0 0 0 122185 153 0 0 20 0 2 0 421250408 681652224 100843 33554432000 4194304 4454172 140723527609296 140723527607680 140506144767735 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 31690752 140723527615338 140723527615536 140723527615536 140723527618490 0
/proc/2987/statm: 166419 100843 419 64 0 162087 0
[pid=2987/tid=2993] ppid=2967 vsize=665676 memory=0 CPUtime=159.16 cores=0-7
/proc/2987/task/2993/stat : 2993 (manyglucose-4.1) R 2967 2944 2281 0 -1 4202560 100372 0 0 0 15899 17 0 0 20 0 2 0 421250411 681652224 100843 33554432000 4194304 4454172 140723527609296 140506129550072 4351747 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 31690752 140723527615338 140723527615536 140723527615536 140723527618490 0
[pid=2967/tid=2968] ppid=2944 vsize=8414124 memory=120416 CPUtime=0.75 cores=0-7
/proc/2967/task/2968/stat : 2968 (java) S 2944 2944 2281 0 -1 1077944384 16771 0 0 0 70 5 0 0 20 0 24 0 421250337 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072757776288 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2969] ppid=2944 vsize=8414124 memory=120416 CPUtime=0 cores=0-7
/proc/2967/task/2969/stat : 2969 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072790178064 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2970] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2970/stat : 2970 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072590346640 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2971] ppid=2944 vsize=8414124 memory=393520 CPUtime=0 cores=0-7
/proc/2967/task/2971/stat : 2971 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072589294096 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2972] ppid=2944 vsize=8414124 memory=139746962451216 CPUtime=0 cores=0-7
/proc/2967/task/2972/stat : 2972 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072588241552 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2973] ppid=2944 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/2967/task/2973/stat : 2973 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072587189008 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2974] ppid=2944 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/2967/task/2974/stat : 2974 (java) S 2944 2944 2281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072586136464 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2975] ppid=2944 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/2967/task/2975/stat : 2975 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072585083920 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2976] ppid=2944 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/2967/task/2976/stat : 2976 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250338 8616062976 30104 33554432000 4194304 4196468 140736460659456 140072584031376 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2977] ppid=2944 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/2967/task/2977/stat : 2977 (java) S 2944 2944 2281 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 421250339 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071812339696 140072785947266 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2978] ppid=2944 vsize=8414124 memory=7306062783016687469 CPUtime=0 cores=0-7
/proc/2967/task/2978/stat : 2978 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071365764000 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2979] ppid=2944 vsize=8414124 memory=120416 CPUtime=0 cores=0-7
/proc/2967/task/2979/stat : 2979 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250340 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071097328624 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2980] ppid=2944 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/2967/task/2980/stat : 2980 (java) S 2944 2944 2281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070722820304 140072785954715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2981] ppid=2944 vsize=8414124 memory=279493925218656 CPUtime=0.03 cores=0-7
/proc/2967/task/2981/stat : 2981 (java) S 2944 2944 2281 0 -1 1077944384 356 0 0 0 3 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071811287536 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2982] ppid=2944 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/2967/task/2982/stat : 2982 (java) S 2944 2944 2281 0 -1 1077944384 421 0 0 0 6 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071810234992 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2983] ppid=2944 vsize=8414124 memory=988 CPUtime=0.07 cores=0-7
/proc/2967/task/2983/stat : 2983 (java) S 2944 2944 2281 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071809182448 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2984] ppid=2944 vsize=8414124 memory=1436 CPUtime=0.19 cores=0-7
/proc/2967/task/2984/stat : 2984 (java) S 2944 2944 2281 0 -1 1077944384 713 0 0 0 19 0 0 0 20 0 24 0 421250342 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071808129904 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2985] ppid=2944 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/2967/task/2985/stat : 2985 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140070224914656 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2986] ppid=2944 vsize=8414124 memory=-3472574513799858002 CPUtime=0.08 cores=0-7
/proc/2967/task/2986/stat : 2986 (java) S 2944 2944 2281 0 -1 1077944384 13 0 0 0 4 4 0 0 20 0 24 0 421250343 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071807076784 140072785947266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2988] ppid=2944 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/2967/task/2988/stat : 2988 (java) S 2944 2944 2281 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140071799043264 140072785960729 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2990] ppid=2944 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/2967/task/2990/stat : 2990 (java) S 2944 2944 2281 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 421250408 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069553815312 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2991] ppid=2944 vsize=8414124 memory=279493923318272 CPUtime=0 cores=0-7
/proc/2967/task/2991/stat : 2991 (java) S 2944 2944 2281 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 421250409 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069822250896 140072785958045 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
[pid=2967/tid=2992] ppid=2944 vsize=8414124 memory=537093215 CPUtime=0 cores=0-7
/proc/2967/task/2992/stat : 2992 (java) S 2944 2944 2281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 421250411 8616062976 30104 33554432000 4194304 4196468 140736460659456 140069285387952 140072785946325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26705920 140736460661752 140736460661910 140736460661910 140736460664783 0
Current children cumulated CPU time: 1229.25 s
Current children cumulated vsize: 9192928 KiB
Current children cumulated memory: 525264 KiB

Child status: 0
Real time (s): 161.969
CPU time (s): 1229.39
CPU user time (s): 1227.59
CPU system time (s): 1.79931
CPU usage (%): 759.028
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 525264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1227.59
system time used= 1.79931
maximum resident set size= 403380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14010
involuntary context switches= 12575


# summary of solver processes directly reported to runsolver:
#   pid: 2944
#   total CPU time (s): 1229.39
#   total CPU user time (s): 1227.59
#   total CPU system time (s): 1.79931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57362 second user time and 2.33444 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 10:33:06
IDJOB=4392465
IDBENCH=141723
IDSOLVER=2838
FILE ID=node137/4392465-1568450028
RUNJOBID= node137-1568447416-2308
PBS_JOBID= 21702354
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-18-046.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392465-1568450028/watcher-4392465-1568450028 -o /tmp/evaluation-result-4392465-1568450028/solver-4392465-1568450028 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568447416-2308 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392465-1568450028.xml

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

MD5SUM BENCH= 90f9fedd4c3faeb9a4a1958b76d0db2e
RANDOM SEED=1098122706

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        30595556 kB
MemAvailable:   31817996 kB
Buffers:           99484 kB
Cached:          1402796 kB
SwapCached:        77540 kB
Active:          1426376 kB
Inactive:         156532 kB
Active(anon):       3576 kB
Inactive(anon):   118296 kB
Active(file):    1422800 kB
Inactive(file):    38236 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927268 kB
Dirty:             20840 kB
Writeback:             0 kB
AnonPages:        113160 kB
Mapped:            44484 kB
Shmem:             32780 kB
Slab:             183256 kB
SReclaimable:     154480 kB
SUnreclaim:        28776 kB
KernelStack:        3360 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 10:35:48