Trace number 4392783

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 965.432 127.507

General information on the benchmark

NameStripPacking/StripPacking-m1-series1/
StripPacking-C3P2.xml
MD5SUMec554133dcdc77f0ded322158f487a65
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark226.379
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints88
Number of domains30
Minimum domain size1
Maximum domain size60
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":83},{"size":30,"count":29},{"size":60,"count":29}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":29},{"degree":2,"count":58},{"degree":3,"count":58}]
Minimum constraint arity2
Maximum constraint arity116
Distribution of constraint arities[{"arity":2,"count":58},{"arity":3,"count":29},{"arity":116,"count":1}]
Number of extensional constraints29
Number of intensional constraints58
Distribution of constraint types[{"type":"extension","count":29},{"type":"intension","count":58},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-13469-serial-file.bin HOME/instance-4392783-1568416781.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 00:18:25 CEST 2019
0.65/0.56	c PID: 13472
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.42/1.00	c (0,0) Parsing End
1.67/1.01	c (0,0) CSP: 116 int (0 aux), 29 bool (0 aux), 88 ctr, max domain size 60
1.67/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.01	c (0,0) Constraint Name Generate Begin
1.67/1.01	c (0,0) Ctr:HOME/instance-4392783-1568416781.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.67/1.01	c (0,0) Constraint Name Generate End
1.67/1.01	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.67/1.01	c (0,0) CSP to CSPinCNF Begin
1.67/1.10	c (0,0) translated 9 (10%) constraints
1.82/1.11	c (0,0) translated 18 (20%) constraints
1.82/1.11	c (0,0) translated 27 (30%) constraints
1.82/1.12	c (0,0) translated 36 (40%) constraints
1.82/1.13	c (0,0) translated 44 (50%) constraints
1.82/1.13	c (0,0) translated 53 (60%) constraints
1.99/1.26	c (0,0) translated 62 (70%) constraints
2.21/1.33	c (0,0) translated 71 (80%) constraints
2.21/1.38	c (0,0) translated 80 (90%) constraints
2.50/1.41	c (0,0) translated 88 (100%) constraints
2.84/1.68	c (1,1) ===========================================
2.84/1.68	c (1,1) Hybrid: #OE=253, #LE=0
2.84/1.68	c (1,1) Hybrid
2.84/1.68	c (1,1) ===========================================
2.84/1.68	c (1,1) translated 88 (10%) constraints
2.84/1.68	c (1,1) translated 175 (20%) constraints
2.84/1.68	c (1,1) translated 262 (30%) constraints
2.84/1.68	c (1,1) translated 349 (40%) constraints
2.84/1.68	c (1,1) translated 436 (50%) constraints
2.84/1.68	c (1,1) translated 523 (60%) constraints
2.84/1.68	c (1,1) translated 610 (70%) constraints
2.84/1.68	c (1,1) translated 697 (80%) constraints
2.84/1.68	c (1,1) translated 784 (90%) constraints
2.84/1.69	c (1,1) translated 871 (100%) constraints
2.84/1.69	c (1,1) CSP to CSPinCNF End
2.84/1.69	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 871 ctr, max domain size 60
2.84/1.69	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.84/1.69	c (1,1) CSPinCNF Propagation Begin
2.84/1.72	c (1,1) 0 values, 27 unsatisfiable literals, and 6 valid clauses are removed
2.84/1.72	c (1,1) CSPinCNF Propagation End
2.84/1.73	c (1,1) CSP: 116 int (0 aux), 137 bool (108 aux), 865 ctr, max domain size 60
2.84/1.73	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.84/1.74	c (1,1) Hybrid: #OE=253, #LE=0
2.84/1.74	c (1,1) Simplify CSPinCNF Begin
4.06/1.83	c (1,1) Simplify CSPinCNF End
4.06/1.83	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.06/1.83	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.06/1.83	c (1,1) Calculate Precise Domain Begin
4.06/1.83	c (1,1) 0 values are removed by re-calculation
4.06/1.83	c (1,1) Calculate Precise Domain End
4.06/1.84	c (1,1) CSP: 116 int (0 aux), 1761 bool (1732 aux), 2489 ctr, max domain size 60
4.06/1.84	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.06/1.84	c (1,1) CSPinCNF to SatSolver Begin
4.33/1.94	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 2518 SAT clauses)
4.33/1.99	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 4670 SAT clauses)
5.10/2.13	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 18048 SAT clauses)
5.51/2.23	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 30682 SAT clauses)
5.87/2.31	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 43418 SAT clauses)
6.15/2.45	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 57515 SAT clauses)
6.40/2.56	c (2,2) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 70320 SAT clauses)
6.65/2.62	c (2,2) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 84391 SAT clauses)
6.65/2.69	c (2,2) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 97631 SAT clauses)
6.80/2.75	c (2,2) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 110404 SAT clauses)
6.80/2.75	c (2,2) CSPinCNF to SatSolver End
6.80/2.75	c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.80/2.75	c (2,2) 4143 bool, 110428 clause
6.80/2.75	c (2,2) Export Begin
6.95/2.86	c (2,2) Export to HOME/scop-13469-serial-file.bin
6.95/2.86	c (2,2) Export End
6.95/2.86	c (2,2) Export File Size: 0.03 MB
6.95/2.86	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
6.95/2.86	c END-Prog: Sat Sep 14 00:18:27 CEST 2019
6.95/2.87	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13469-serial-file.bin
7.65/3.33	c (0,0) Read Serial File Begin
7.65/3.33	c (0,0) HOME/scop-13469-serial-file.bin
7.92/3.57	c (0,0) Read Serial File End
7.92/3.58	
7.92/3.58	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.92/3.58	(Solving Process)
7.92/3.58	
8.12/3.60	c BEGIN-Prog: Sat Sep 14 00:18:28 CEST 2019
8.12/3.60	c PID: 13492
8.12/3.60	c IP: 172.20.3.106
8.12/3.60	c HOST: node106.alineos.net
8.12/3.61	c (0,0) SatSolver.solve Begin
8.12/3.61	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392783-1568416781.xml-scop-13472.cnf
8.12/3.64	c (0,0) c
8.12/3.64	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
8.12/3.64	c (0,0) c
8.12/3.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
8.12/3.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
8.12/3.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
8.12/3.64	c (0,0) c |                                                                                                       |
8.12/3.67	c (0,0) c |  Number of variables:          4143                                                                   |
8.12/3.67	c (0,0) c |  Number of clauses:          110428                                                                   |
8.12/3.67	c (0,0) c |  Parse time:                   0.04 s                                                                 |
8.12/3.67	c (0,0) c |                                                                                                       |
8.33/3.80	c (0,0) c |  Simplification time:          0.13 s                                                                 |
8.33/3.80	c (0,0) c |                                                                                                       |
8.33/3.80	c (0,0) c |  Generating clones                                                                                    |
8.33/3.83	c (0,0) c |  all clones generated. Memory =    86.73Mb.                                                           |
8.33/3.83	c (0,0) c ========================================================================================================|
8.33/3.83	c (0,0) c
8.33/3.83	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
8.33/3.83	c (0,0) c
8.33/3.83	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.33/3.83	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
8.33/3.83	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
8.33/3.83	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
8.33/3.83	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
8.33/3.83	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
8.33/3.83	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
8.33/3.83	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
8.33/3.83	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
8.33/3.83	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
8.33/3.83	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
8.33/3.83	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
8.33/3.83	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
8.33/3.83	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
8.33/3.83	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
8.33/3.83	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
8.33/3.83	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
8.33/3.83	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
8.33/3.83	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
241.80/33.12	c (29,0) c
241.80/33.12	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
241.80/33.12	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
241.80/33.12	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
241.80/33.12	c (29,0) c |  0 |   1104 |     830151 |     300653 |    64079 |    69295 |    37064 |   258102 |    13676 |      318 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  1 |   1144 |     846418 |     307829 |    65631 |    40661 |    40231 |   264266 |    14645 |      333 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  2 |   1234 |     825748 |     298072 |    64346 |    66695 |    39313 |   258664 |    13537 |      323 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  3 |   1134 |     829043 |     300706 |    66949 |    69334 |    38388 |   259664 |    13469 |      322 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  4 |   1138 |     841271 |     304159 |    67765 |    36986 |    39711 |   260012 |    14270 |      325 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  5 |   1149 |     832850 |     303649 |    65686 |    36482 |    38573 |   265431 |    13864 |      332 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  6 |   1041 |     804499 |     301954 |    65711 |    70587 |    39562 |   262613 |    13952 |      329 |  20 |  0.000 |
241.80/33.12	c (29,0) c |  7 |   1202 |     847458 |     308453 |    65556 |    41280 |    38408 |   268422 |    14663 |      337 |  20 |  0.000 |
241.80/33.12	c (29,0) c 
241.80/33.12	c (29,0) c synthesis     2425479 conflicts   317976534 propagations    10405 conflicts/sec  1364041 propagations/sec
241.80/33.12	c (29,0) c real: 29.4858 s, cpu: 233.114 s, memory: 663.07 Mb
471.60/62.12	c (58,0) c
471.60/62.12	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
471.60/62.12	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
471.60/62.12	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
471.60/62.12	c (58,0) c |  0 |   1868 |    1390368 |     512553 |    68756 |    76167 |    58848 |   407108 |    26646 |      632 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  1 |   1913 |    1414208 |     518348 |    73138 |    81974 |    60514 |   412721 |    26923 |      646 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  2 |   2098 |    1416546 |     511567 |    70680 |    75194 |    59339 |   408129 |    26097 |      634 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  3 |   1839 |    1383962 |     516567 |    71635 |    80190 |    61729 |   408795 |    25739 |      640 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  4 |   1906 |    1397839 |     513969 |    72341 |    77588 |    59847 |   410189 |    26840 |      639 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  5 |   1903 |    1371041 |     506928 |    71319 |    70548 |    58225 |   410853 |    26139 |      637 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  6 |   1850 |    1345823 |     504404 |    69731 |    68037 |    60532 |   402878 |    25826 |      627 |  20 |  0.000 |
471.60/62.12	c (58,0) c |  7 |   2073 |    1401253 |     513380 |    69498 |    77006 |    58743 |   413987 |    26899 |      645 |  20 |  0.000 |
471.60/62.12	c (58,0) c 
471.60/62.12	c (58,0) c synthesis     4097717 conflicts   545055790 propagations     8856 conflicts/sec  1177925 propagations/sec
471.60/62.12	c (58,0) c real: 58.4858 s, cpu: 462.725 s, memory: 722.86 Mb
692.89/91.12	c (87,0) c
692.89/91.12	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
692.89/91.12	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
692.89/91.12	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
692.89/91.12	c (87,0) c |  0 |   2483 |    1846057 |     685083 |    71236 |    94493 |    74630 |   519710 |    36213 |      927 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  1 |   2474 |    1843156 |     683763 |    75427 |    93193 |    75896 |   518387 |    35908 |      926 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  2 |   2663 |    1845444 |     673187 |    74854 |    82619 |    74123 |   511517 |    34825 |      907 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  3 |   2395 |    1821729 |     685707 |    73339 |    95137 |    76977 |   517628 |    35007 |      927 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  4 |   2527 |    1829136 |     680051 |    74105 |    89481 |    75179 |   519139 |    36094 |      926 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  5 |   2570 |    1821497 |     675443 |    73141 |    84871 |    73191 |   520774 |    35664 |      925 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  6 |   2498 |    1782091 |     672485 |    72272 |    81900 |    75994 |   514564 |    35461 |      917 |  20 |  0.000 |
692.89/91.12	c (87,0) c |  7 |   2583 |    1796694 |     671258 |    72413 |    80694 |    73947 |   518733 |    35660 |      922 |  20 |  0.000 |
692.89/91.12	c (87,0) c 
692.89/91.12	c (87,0) c synthesis     5426977 conflicts   726996714 propagations     7938 conflicts/sec  1063343 propagations/sec
692.89/91.12	c (87,0) c real: 87.4858 s, cpu: 683.69 s, memory: 782.13 Mb
912.29/120.12	c (116,0) c
912.29/120.12	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
912.29/120.12	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
912.29/120.12	c (116,0) c |------------------------------------------------------------------------------------------------------------------------|
912.29/120.12	c (116,0) c |  0 |   3107 |    2275557 |     845470 |    73713 |    77289 |    88525 |   616913 |    44469 |     1217 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  1 |   3054 |    2244906 |     838854 |    76847 |    70676 |    89630 |   615785 |    44258 |     1217 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  2 |   3158 |    2249452 |     832541 |    76047 |    64370 |    88568 |   610939 |    43116 |     1202 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  3 |   2900 |    2196150 |     831190 |    74131 |    63018 |    89668 |   608329 |    42772 |     1197 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  4 |   3060 |    2234320 |     835989 |    75534 |    67814 |    89023 |   616456 |    44571 |     1217 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  5 |   3131 |    2223462 |     830298 |    74358 |    62117 |    87241 |   616633 |    44042 |     1214 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  6 |   3077 |    2197803 |     833057 |    74049 |    64888 |    90285 |   614683 |    43696 |     1217 |  20 |  0.000 |
912.29/120.12	c (116,0) c |  7 |   3172 |    2218709 |     832578 |    75078 |    64399 |    87733 |   617559 |    44091 |     1217 |  20 |  0.000 |
912.29/120.12	c (116,0) c 
912.29/120.12	c (116,0) c synthesis     6679978 conflicts   897680209 propagations     7399 conflicts/sec   994327 propagations/sec
912.29/120.12	c (116,0) c real: 116.486 s, cpu: 902.802 s, memory: 885.22 Mb
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c real time : 123.698 s
965.02/127.33	c (124,0) c cpu time  : 955.442 s
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | Conflicts     |         6987153 |     882813 |     876560 |     870345 |     873431 |     872865 |     870209 |     869401 |     871529 |
965.02/127.33	c (124,0) c | Decisions     |        18643848 |    2372316 |    2346039 |    2346620 |    2309522 |    2329934 |    2331224 |    2292206 |    2315987 |
965.02/127.33	c (124,0) c | Propagations  |       939405280 |  117782266 |  117364109 |  116997350 |  118414238 |  116795872 |  116930763 |  117333247 |  117787435 |
965.02/127.33	c (124,0) c | ReduceDBs     |             200 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |         25 |
965.02/127.33	c (124,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
965.02/127.33	c (124,0) c | Restarts      |           25764 |       3233 |       3193 |       3271 |       3058 |       3211 |       3301 |       3198 |       3299 |
965.02/127.33	c (124,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.02/127.33	c (124,0) c | PropBinClauses|      1003566950 |  125238533 |  125219247 |  124848415 |  126347112 |  124723215 |  125019113 |  125956816 |  126214499 |
965.02/127.33	c (124,0) c | PropPreBlocker|     40339075057 | 5066646077 | 5050515498 | 4983291833 | 5023574438 | 5049183238 | 5041205406 | 5054154404 | 5070504163 |
965.02/127.33	c (124,0) c | PropNotBlocker|      6568687189 |  829297029 |  826986470 |  811887663 |  799210145 |  828649706 |  833629172 |  818423378 |  820603626 |
965.02/127.33	c (124,0) c | LitFullScans  |     61594623111 | 7734411077 | 7729805174 | 7620393660 | 7621783919 | 7722419361 | 7722394154 | 7709024924 | 7734390842 |
965.02/127.33	c (124,0) c | LitScanFracts |         3097093 |     403991 |     379951 |     386628 |     365459 |     400313 |     390546 |     383211 |     386994 |
965.02/127.33	c (124,0) c | DecisionLevel0|           25764 |       3233 |       3193 |       3271 |       3058 |       3211 |       3301 |       3198 |       3299 |
965.02/127.33	c (124,0) c | Periods       |           10264 |       1289 |       1288 |       1270 |       1270 |       1287 |       1287 |       1284 |       1289 |
965.02/127.33	c (124,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
965.02/127.33	c (124,0) c | Avg_Trail     |                 |       1747 |       1758 |       1765 |       1754 |       1752 |       1749 |       1756 |       1750 |
965.02/127.33	c (124,0) c | Avg_DL        |                 |         62 |         61 |         63 |         63 |         61 |         61 |         62 |         62 |
965.02/127.33	c (124,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.02/127.33	c (124,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | Exported      |          737525 |      91713 |      92835 |      92127 |      93200 |      92271 |      90729 |      93493 |      91157 |
965.02/127.33	c (124,0) c | Imported      |         5109793 |     641380 |     640205 |     633970 |     632952 |     639971 |     641591 |     638104 |     641620 |
965.02/127.33	c (124,0) c | Good          |             147 |         20 |         19 |         18 |         19 |         16 |         14 |         20 |         21 |
965.02/127.33	c (124,0) c | Purge         |         5109646 |     641360 |     640186 |     633952 |     632933 |     639955 |     641577 |     638084 |     641599 |
965.02/127.33	c (124,0) c | Promoted      |          366248 |      46343 |      46213 |      44937 |      44770 |      46436 |      46111 |      45518 |      45920 |
965.02/127.33	c (124,0) c | Remove_Imp    |         3907562 |     485233 |     487407 |     485983 |     483642 |     489785 |     492937 |     490031 |     492544 |
965.02/127.33	c (124,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
965.02/127.33	c (124,0) c | Binaries      |                 |          1 |          2 |          3 |          2 |          5 |          7 |          1 |          0 |
965.02/127.33	c (124,0) c | Glues         |                 |        154 |        143 |        130 |        135 |        125 |        121 |        120 |        114 |
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | Orig_Seen     |            68 % |      73852 |      77539 |      76335 |      75695 |      75663 |      74482 |      74314 |      75320 |
965.02/127.33	c (124,0) c | Diff Orig seen|                 | -     1843 |       1844 |        640 |      X     | -       32 | -     1213 | -     1381 | -      375 |
965.02/127.33	c (124,0) c | Hamming       |            31 % |       1193 |       1559 |       1266 |      X     |       1314 |       1260 |       1274 |       1191 |
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c | RunningTime   |                 |  118.7  96%|  116.6  95%|  123.2 100%|  122.1  99%|  119.8  97%|  118.6  96%|  120.7  98%|  117.2  95%|
965.02/127.33	c (124,0) c | WaitingTime   |                 |    4.4   4%|    6.4   5%|    0.0   0%|    0.9   1%|    3.3   3%|    4.5   4%|    2.4   2%|    5.9   5%|
965.02/127.33	c (124,0) c | ExchangingTime|                 |    0.3   0%|    0.3   0%|    0.2   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|    0.3   0%|
965.02/127.33	c (124,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%|
965.02/127.33	c (124,0) c | SolvingTime   |                 |  123.4     |  123.3     |  123.4     |  123.3     |  123.3     |  123.3     |  123.4     |  123.4     |
965.02/127.33	c (124,0) c | PropagationTim|                 |  105.0  85%|  106.2  86%|   94.4  76%|   94.9  77%|  101.7  82%|  100.3  81%|   98.2  80%|  106.1  86%|
965.02/127.33	c (124,0) c | AnalysisTime  |                 |   13.3  11%|   11.8  10%|   24.0  19%|   23.4  19%|   16.4  13%|   18.0  15%|   20.1  16%|   11.9  10%|
965.02/127.33	c (124,0) c | ReductionTime |                 |    1.7   1%|    1.8   1%|    1.6   1%|    1.7   1%|    1.8   1%|    1.7   1%|    1.7   1%|    1.8   1%|
965.02/127.33	c (124,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
965.02/127.33	c (124,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%|
965.02/127.33	c (124,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%|
965.02/127.33	c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c
965.02/127.33	c (124,0) c Threads : 8
965.02/127.33	c (124,0) c Winner : 3
965.02/127.33	c (124,0) c Conflicts_0 : 882813
965.02/127.33	c (124,0) c Conflicts_1 : 876560
965.02/127.33	c (124,0) c Conflicts_2 : 870345
965.02/127.33	c (124,0) c Conflicts_3 : 873431
965.02/127.33	c (124,0) c Conflicts_4 : 872865
965.02/127.33	c (124,0) c Conflicts_5 : 870209
965.02/127.33	c (124,0) c Conflicts_6 : 869401
965.02/127.33	c (124,0) c Conflicts_7 : 871529
965.02/127.33	c (124,0) c Conflicts_total : 6987153
965.02/127.33	c (124,0) c Conflicts_winner : 873431
965.02/127.33	c (124,0) c Decisions_0 : 2372316
965.02/127.33	c (124,0) c Decisions_1 : 2346039
965.02/127.33	c (124,0) c Decisions_2 : 2346620
965.02/127.33	c (124,0) c Decisions_3 : 2309522
965.02/127.33	c (124,0) c Decisions_4 : 2329934
965.02/127.33	c (124,0) c Decisions_5 : 2331224
965.02/127.33	c (124,0) c Decisions_6 : 2292206
965.02/127.33	c (124,0) c Decisions_7 : 2315987
965.02/127.33	c (124,0) c Decisions_total : 18643848
965.02/127.33	c (124,0) c Decisions_winner : 2309522
965.02/127.33	c (124,0) c Propagations_0 : 117782266
965.02/127.33	c (124,0) c Propagations_1 : 117364109
965.02/127.33	c (124,0) c Propagations_2 : 116997350
965.02/127.33	c (124,0) c Propagations_3 : 118414238
965.02/127.33	c (124,0) c Propagations_4 : 116795872
965.02/127.33	c (124,0) c Propagations_5 : 116930763
965.02/127.33	c (124,0) c Propagations_6 : 117333247
965.02/127.33	c (124,0) c Propagations_7 : 117787435
965.02/127.33	c (124,0) c Propagations_total : 939405280
965.02/127.33	c (124,0) c Propagations_winner : 118414238
965.02/127.33	c (124,0) c ReduceDBs_0 : 25
965.02/127.33	c (124,0) c ReduceDBs_1 : 25
965.02/127.33	c (124,0) c ReduceDBs_2 : 25
965.02/127.33	c (124,0) c ReduceDBs_3 : 25
965.02/127.33	c (124,0) c ReduceDBs_4 : 25
965.02/127.33	c (124,0) c ReduceDBs_5 : 25
965.02/127.33	c (124,0) c ReduceDBs_6 : 25
965.02/127.33	c (124,0) c ReduceDBs_7 : 25
965.02/127.33	c (124,0) c ReduceDBs_total : 200
965.02/127.33	c (124,0) c ReduceDBs_winner : 25
965.02/127.33	c (124,0) c SimpDBs_0 : 1
965.02/127.33	c (124,0) c SimpDBs_1 : 1
965.02/127.33	c (124,0) c SimpDBs_2 : 1
965.02/127.33	c (124,0) c SimpDBs_3 : 1
965.02/127.33	c (124,0) c SimpDBs_4 : 1
965.02/127.33	c (124,0) c SimpDBs_5 : 1
965.02/127.33	c (124,0) c SimpDBs_6 : 1
965.02/127.33	c (124,0) c SimpDBs_7 : 1
965.02/127.33	c (124,0) c SimpDBs_total : 8
965.02/127.33	c (124,0) c SimpDBs_winner : 1
965.02/127.33	c (124,0) c Restarts_0 : 3233
965.02/127.33	c (124,0) c Restarts_1 : 3193
965.02/127.33	c (124,0) c Restarts_2 : 3271
965.02/127.33	c (124,0) c Restarts_3 : 3058
965.02/127.33	c (124,0) c Restarts_4 : 3211
965.02/127.33	c (124,0) c Restarts_5 : 3301
965.02/127.33	c (124,0) c Restarts_6 : 3198
965.02/127.33	c (124,0) c Restarts_7 : 3299
965.02/127.33	c (124,0) c Restarts_total : 25764
965.02/127.33	c (124,0) c Restarts_winner : 3058
965.02/127.33	c (124,0) c ForcedImports_0 : 0
965.02/127.33	c (124,0) c ForcedImports_1 : 0
965.02/127.33	c (124,0) c ForcedImports_2 : 0
965.02/127.33	c (124,0) c ForcedImports_3 : 0
965.02/127.33	c (124,0) c ForcedImports_4 : 0
965.02/127.33	c (124,0) c ForcedImports_5 : 0
965.02/127.33	c (124,0) c ForcedImports_6 : 0
965.02/127.33	c (124,0) c ForcedImports_7 : 0
965.02/127.33	c (124,0) c ForcedImports_total : 0
965.02/127.33	c (124,0) c ForcedImports_winner : 0
965.02/127.34	c (124,0) c PropsBinClauses_0 : 125238533
965.02/127.34	c (124,0) c PropsBinClauses_1 : 125219247
965.02/127.34	c (124,0) c PropsBinClauses_2 : 124848415
965.02/127.34	c (124,0) c PropsBinClauses_3 : 126347112
965.02/127.34	c (124,0) c PropsBinClauses_4 : 124723215
965.02/127.34	c (124,0) c PropsBinClauses_5 : 125019113
965.02/127.34	c (124,0) c PropsBinClauses_6 : 125956816
965.02/127.34	c (124,0) c PropsBinClauses_7 : 126214499
965.02/127.34	c (124,0) c PropsBinClauses_total : 1003566950
965.02/127.34	c (124,0) c PropsBinClauses_winner : 126347112
965.02/127.34	c (124,0) c PropsPreBlocker_0 : 5066646077
965.02/127.34	c (124,0) c PropsPreBlocker_1 : 5050515498
965.02/127.34	c (124,0) c PropsPreBlocker_2 : 4983291833
965.02/127.34	c (124,0) c PropsPreBlocker_3 : 5023574438
965.02/127.34	c (124,0) c PropsPreBlocker_4 : 5049183238
965.02/127.34	c (124,0) c PropsPreBlocker_5 : 5041205406
965.02/127.34	c (124,0) c PropsPreBlocker_6 : 5054154404
965.02/127.34	c (124,0) c PropsPreBlocker_7 : 5070504163
965.02/127.34	c (124,0) c PropsPreBlocker_total : 40339075057
965.02/127.34	c (124,0) c PropsPreBlocker_winner : 5023574438
965.02/127.34	c (124,0) c PropsNotBlocker_0 : 829297029
965.02/127.34	c (124,0) c PropsNotBlocker_1 : 826986470
965.02/127.34	c (124,0) c PropsNotBlocker_2 : 811887663
965.02/127.34	c (124,0) c PropsNotBlocker_3 : 799210145
965.02/127.34	c (124,0) c PropsNotBlocker_4 : 828649706
965.02/127.34	c (124,0) c PropsNotBlocker_5 : 833629172
965.02/127.34	c (124,0) c PropsNotBlocker_6 : 818423378
965.02/127.34	c (124,0) c PropsNotBlocker_7 : 820603626
965.02/127.34	c (124,0) c PropsNotBlocker_total : 6568687189
965.02/127.34	c (124,0) c PropsNotBlocker_winner : 799210145
965.02/127.34	c (124,0) c PropsLitFullScans_0 : 7734411077
965.02/127.34	c (124,0) c PropsLitFullScans_1 : 7729805174
965.02/127.34	c (124,0) c PropsLitFullScans_2 : 7620393660
965.02/127.34	c (124,0) c PropsLitFullScans_3 : 7621783919
965.02/127.34	c (124,0) c PropsLitFullScans_4 : 7722419361
965.02/127.34	c (124,0) c PropsLitFullScans_5 : 7722394154
965.02/127.34	c (124,0) c PropsLitFullScans_6 : 7709024924
965.02/127.34	c (124,0) c PropsLitFullScans_7 : 7734390842
965.02/127.34	c (124,0) c PropsLitFullScans_total : 61594623111
965.02/127.34	c (124,0) c PropsLitFullScans_winner : 7621783919
965.02/127.34	c (124,0) c LitScanFractions_0 : 403991
965.02/127.34	c (124,0) c LitScanFractions_1 : 379951
965.02/127.34	c (124,0) c LitScanFractions_2 : 386628
965.02/127.34	c (124,0) c LitScanFractions_3 : 365459
965.02/127.34	c (124,0) c LitScanFractions_4 : 400313
965.02/127.34	c (124,0) c LitScanFractions_5 : 390546
965.02/127.34	c (124,0) c LitScanFractions_6 : 383211
965.02/127.34	c (124,0) c LitScanFractions_7 : 386994
965.02/127.34	c (124,0) c LitScanFractions_total : 3097093
965.02/127.34	c (124,0) c LitScanFractions_winner : 365459
965.02/127.34	c (124,0) c DecisionLevel0_0 : 3233
965.02/127.34	c (124,0) c DecisionLevel0_1 : 3193
965.02/127.34	c (124,0) c DecisionLevel0_2 : 3271
965.02/127.34	c (124,0) c DecisionLevel0_3 : 3058
965.02/127.34	c (124,0) c DecisionLevel0_4 : 3211
965.02/127.34	c (124,0) c DecisionLevel0_5 : 3301
965.02/127.34	c (124,0) c DecisionLevel0_6 : 3198
965.02/127.34	c (124,0) c DecisionLevel0_7 : 3299
965.02/127.34	c (124,0) c DecisionLevel0_total : 25764
965.02/127.34	c (124,0) c DecisionLevel0_winner : 3058
965.02/127.34	c (124,0) c Periods_0 : 1289
965.02/127.34	c (124,0) c Periods_1 : 1288
965.02/127.34	c (124,0) c Periods_2 : 1270
965.02/127.34	c (124,0) c Periods_3 : 1270
965.02/127.34	c (124,0) c Periods_4 : 1287
965.02/127.34	c (124,0) c Periods_5 : 1287
965.02/127.34	c (124,0) c Periods_6 : 1284
965.02/127.34	c (124,0) c Periods_7 : 1289
965.02/127.34	c (124,0) c Periods_total : 10264
965.02/127.34	c (124,0) c Periods_winner : 1270
965.02/127.34	c (124,0) c Margin_0 : 20
965.02/127.34	c (124,0) c Margin_1 : 20
965.02/127.34	c (124,0) c Margin_2 : 20
965.02/127.34	c (124,0) c Margin_3 : 20
965.02/127.34	c (124,0) c Margin_4 : 20
965.02/127.34	c (124,0) c Margin_5 : 20
965.02/127.34	c (124,0) c Margin_6 : 20
965.02/127.34	c (124,0) c Margin_7 : 20
965.02/127.34	c (124,0) c Margin_total : 160
965.02/127.34	c (124,0) c Margin_winner : 20
965.02/127.34	c (124,0) c Exported_0 : 91713
965.02/127.34	c (124,0) c Exported_1 : 92835
965.02/127.34	c (124,0) c Exported_2 : 92127
965.02/127.34	c (124,0) c Exported_3 : 93200
965.02/127.34	c (124,0) c Exported_4 : 92271
965.02/127.34	c (124,0) c Exported_5 : 90729
965.02/127.34	c (124,0) c Exported_6 : 93493
965.02/127.34	c (124,0) c Exported_7 : 91157
965.02/127.34	c (124,0) c Exported_total : 737525
965.02/127.34	c (124,0) c Exported_winner : 93200
965.02/127.34	c (124,0) c Imported_0 : 641380
965.02/127.34	c (124,0) c Imported_1 : 640205
965.02/127.34	c (124,0) c Imported_2 : 633970
965.02/127.34	c (124,0) c Imported_3 : 632952
965.02/127.34	c (124,0) c Imported_4 : 639971
965.02/127.34	c (124,0) c Imported_5 : 641591
965.02/127.34	c (124,0) c Imported_6 : 638104
965.02/127.34	c (124,0) c Imported_7 : 641620
965.02/127.34	c (124,0) c Imported_total : 5109793
965.02/127.34	c (124,0) c Imported_winner : 632952
965.02/127.34	c (124,0) c Good_0 : 20
965.02/127.34	c (124,0) c Good_1 : 19
965.02/127.34	c (124,0) c Good_2 : 18
965.02/127.34	c (124,0) c Good_3 : 19
965.02/127.34	c (124,0) c Good_4 : 16
965.02/127.34	c (124,0) c Good_5 : 14
965.02/127.34	c (124,0) c Good_6 : 20
965.02/127.34	c (124,0) c Good_7 : 21
965.02/127.34	c (124,0) c Good_total : 147
965.02/127.34	c (124,0) c Good_winner : 19
965.02/127.34	c (124,0) c Purge_0 : 641360
965.02/127.34	c (124,0) c Purge_1 : 640186
965.02/127.34	c (124,0) c Purge_2 : 633952
965.02/127.34	c (124,0) c Purge_3 : 632933
965.02/127.34	c (124,0) c Purge_4 : 639955
965.02/127.34	c (124,0) c Purge_5 : 641577
965.02/127.34	c (124,0) c Purge_6 : 638084
965.02/127.34	c (124,0) c Purge_7 : 641599
965.02/127.34	c (124,0) c Purge_total : 5109646
965.02/127.34	c (124,0) c Purge_winner : 632933
965.02/127.34	c (124,0) c Promoted_0 : 46343
965.02/127.34	c (124,0) c Promoted_1 : 46213
965.02/127.34	c (124,0) c Promoted_2 : 44937
965.02/127.34	c (124,0) c Promoted_3 : 44770
965.02/127.34	c (124,0) c Promoted_4 : 46436
965.02/127.34	c (124,0) c Promoted_5 : 46111
965.02/127.34	c (124,0) c Promoted_6 : 45518
965.02/127.34	c (124,0) c Promoted_7 : 45920
965.02/127.34	c (124,0) c Promoted_total : 366248
965.02/127.34	c (124,0) c Promoted_winner : 44770
965.02/127.34	c (124,0) c Remove_Imp_0 : 485233
965.02/127.34	c (124,0) c Remove_Imp_1 : 487407
965.02/127.34	c (124,0) c Remove_Imp_2 : 485983
965.02/127.34	c (124,0) c Remove_Imp_3 : 483642
965.02/127.34	c (124,0) c Remove_Imp_4 : 489785
965.02/127.34	c (124,0) c Remove_Imp_5 : 492937
965.02/127.34	c (124,0) c Remove_Imp_6 : 490031
965.02/127.34	c (124,0) c Remove_Imp_7 : 492544
965.02/127.34	c (124,0) c Remove_Imp_total : 3907562
965.02/127.34	c (124,0) c Remove_Imp_winner : 483642
965.02/127.34	c (124,0) c Blocked_Reuse_0 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_1 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_2 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_3 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_4 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_5 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_6 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_7 : 0
965.02/127.34	c (124,0) c Blocked_Reuse_total : 0
965.02/127.34	c (124,0) c Blocked_Reuse_winner : 0
965.02/127.34	c (124,0) c Unaries_0 : 0
965.02/127.34	c (124,0) c Unaries_1 : 0
965.02/127.34	c (124,0) c Unaries_2 : 0
965.02/127.34	c (124,0) c Unaries_3 : 0
965.02/127.34	c (124,0) c Unaries_4 : 0
965.02/127.34	c (124,0) c Unaries_5 : 0
965.02/127.34	c (124,0) c Unaries_6 : 0
965.02/127.34	c (124,0) c Unaries_7 : 0
965.02/127.34	c (124,0) c Unaries_total : 0
965.02/127.34	c (124,0) c Unaries_winner : 0
965.02/127.34	c (124,0) c Binaries_0 : 1
965.02/127.34	c (124,0) c Binaries_1 : 2
965.02/127.34	c (124,0) c Binaries_2 : 3
965.02/127.34	c (124,0) c Binaries_3 : 2
965.02/127.34	c (124,0) c Binaries_4 : 5
965.02/127.34	c (124,0) c Binaries_5 : 7
965.02/127.34	c (124,0) c Binaries_6 : 1
965.02/127.34	c (124,0) c Binaries_7 : 0
965.02/127.34	c (124,0) c Binaries_total : 21
965.02/127.34	c (124,0) c Binaries_winner : 2
965.02/127.34	c (124,0) c Glues_0 : 154
965.02/127.34	c (124,0) c Glues_1 : 143
965.02/127.34	c (124,0) c Glues_2 : 130
965.02/127.34	c (124,0) c Glues_3 : 135
965.02/127.34	c (124,0) c Glues_4 : 125
965.02/127.34	c (124,0) c Glues_5 : 121
965.02/127.34	c (124,0) c Glues_6 : 120
965.02/127.34	c (124,0) c Glues_7 : 114
965.02/127.34	c (124,0) c Glues_total : 1042
965.02/127.34	c (124,0) c Glues_winner : 135
965.02/127.34	c (124,0) c RunningTime_0 : 118.654928
965.02/127.34	c (124,0) c RunningTime_1 : 116.625021
965.02/127.34	c (124,0) c RunningTime_2 : 123.157008
965.02/127.34	c (124,0) c RunningTime_3 : 122.117810
965.02/127.34	c (124,0) c RunningTime_4 : 119.800822
965.02/127.34	c (124,0) c RunningTime_5 : 118.554880
965.02/127.34	c (124,0) c RunningTime_6 : 120.722701
965.02/127.34	c (124,0) c RunningTime_7 : 117.200289
965.02/127.34	c (124,0) c RunningTime_total : 956.833459
965.02/127.34	c (124,0) c RunningTime_winner : 122.117810
965.02/127.34	c (124,0) c WaitingTime_0 : 4.430260
965.02/127.34	c (124,0) c WaitingTime_1 : 6.401598
965.02/127.34	c (124,0) c WaitingTime_2 : 0.001675
965.02/127.34	c (124,0) c WaitingTime_3 : 0.906537
965.02/127.34	c (124,0) c WaitingTime_4 : 3.285876
965.02/127.34	c (124,0) c WaitingTime_5 : 4.490581
965.02/127.34	c (124,0) c WaitingTime_6 : 2.364241
965.02/127.34	c (124,0) c WaitingTime_7 : 5.872837
965.02/127.34	c (124,0) c WaitingTime_total : 27.753605
965.02/127.34	c (124,0) c WaitingTime_winner : 0.906537
965.02/127.34	c (124,0) c ExchangingTime_0 : 0.255817
965.02/127.34	c (124,0) c ExchangingTime_1 : 0.262220
965.02/127.34	c (124,0) c ExchangingTime_2 : 0.246059
965.02/127.34	c (124,0) c ExchangingTime_3 : 0.261236
965.02/127.34	c (124,0) c ExchangingTime_4 : 0.250795
965.02/127.34	c (124,0) c ExchangingTime_5 : 0.252055
965.02/127.34	c (124,0) c ExchangingTime_6 : 0.252893
965.02/127.34	c (124,0) c ExchangingTime_7 : 0.267991
965.02/127.34	c (124,0) c ExchangingTime_total : 2.049066
965.02/127.34	c (124,0) c ExchangingTime_winner : 0.261236
965.02/127.34	c (124,0) c PeriodProcTime_0 : 0.010405
965.02/127.34	c (124,0) c PeriodProcTime_1 : 0.010927
965.02/127.34	c (124,0) c PeriodProcTime_2 : 0.010398
965.02/127.34	c (124,0) c PeriodProcTime_3 : 0.009627
965.02/127.34	c (124,0) c PeriodProcTime_4 : 0.008956
965.02/127.34	c (124,0) c PeriodProcTime_5 : 0.009897
965.02/127.34	c (124,0) c PeriodProcTime_6 : 0.010611
965.02/127.34	c (124,0) c PeriodProcTime_7 : 0.009883
965.02/127.34	c (124,0) c PeriodProcTime_total : 0.080703
965.02/127.34	c (124,0) c PeriodProcTime_winner : 0.009627
965.02/127.34	c (124,0) c SolvingTime_0 : 123.351410
965.02/127.34	c (124,0) c SolvingTime_1 : 123.299767
965.02/127.34	c (124,0) c SolvingTime_2 : 123.415140
965.02/127.34	c (124,0) c SolvingTime_3 : 123.295210
965.02/127.34	c (124,0) c SolvingTime_4 : 123.346449
965.02/127.34	c (124,0) c SolvingTime_5 : 123.307412
965.02/127.34	c (124,0) c SolvingTime_6 : 123.350446
965.02/127.34	c (124,0) c SolvingTime_7 : 123.350999
965.02/127.34	c (124,0) c SolvingTime_total : 986.716833
965.02/127.34	c (124,0) c SolvingTime_winner : 123.295210
965.02/127.34	c (124,0) c PropagationTime_0 : 104.957382
965.02/127.34	c (124,0) c PropagationTime_1 : 106.180727
965.02/127.34	c (124,0) c PropagationTime_2 : 94.404849
965.02/127.34	c (124,0) c PropagationTime_3 : 94.884088
965.02/127.34	c (124,0) c PropagationTime_4 : 101.684803
965.02/127.34	c (124,0) c PropagationTime_5 : 100.297302
965.02/127.34	c (124,0) c PropagationTime_6 : 98.167867
965.02/127.34	c (124,0) c PropagationTime_7 : 106.081225
965.02/127.34	c (124,0) c PropagationTime_total : 806.658244
965.02/127.34	c (124,0) c PropagationTime_winner : 94.884088
965.02/127.34	c (124,0) c AnalysisTime_0 : 13.305077
965.02/127.34	c (124,0) c AnalysisTime_1 : 11.840205
965.02/127.34	c (124,0) c AnalysisTime_2 : 23.962960
965.02/127.34	c (124,0) c AnalysisTime_3 : 23.382801
965.02/127.34	c (124,0) c AnalysisTime_4 : 16.436838
965.02/127.34	c (124,0) c AnalysisTime_5 : 17.955849
965.02/127.34	c (124,0) c AnalysisTime_6 : 20.135529
965.02/127.34	c (124,0) c AnalysisTime_7 : 11.902480
965.02/127.34	c (124,0) c AnalysisTime_total : 138.921739
965.02/127.34	c (124,0) c AnalysisTime_winner : 23.382801
965.02/127.34	c (124,0) c ReductionTime_0 : 1.692919
965.02/127.34	c (124,0) c ReductionTime_1 : 1.773336
965.02/127.34	c (124,0) c ReductionTime_2 : 1.646636
965.02/127.34	c (124,0) c ReductionTime_3 : 1.669573
965.02/127.34	c (124,0) c ReductionTime_4 : 1.773642
965.02/127.34	c (124,0) c ReductionTime_5 : 1.663793
965.02/127.34	c (124,0) c ReductionTime_6 : 1.677016
965.02/127.34	c (124,0) c ReductionTime_7 : 1.784277
965.02/127.34	c (124,0) c ReductionTime_total : 13.681194
965.02/127.34	c (124,0) c ReductionTime_winner : 1.669573
965.02/127.34	c (124,0) c SimplifyTime_0 : 0.000254
965.02/127.34	c (124,0) c SimplifyTime_1 : 0.000239
965.02/127.34	c (124,0) c SimplifyTime_2 : 0.000315
965.02/127.34	c (124,0) c SimplifyTime_3 : 0.000309
965.02/127.34	c (124,0) c SimplifyTime_4 : 0.000315
965.02/127.34	c (124,0) c SimplifyTime_5 : 0.000278
965.02/127.34	c (124,0) c SimplifyTime_6 : 0.000266
965.02/127.34	c (124,0) c SimplifyTime_7 : 0.000323
965.02/127.34	c (124,0) c SimplifyTime_total : 0.002298
965.02/127.34	c (124,0) c SimplifyTime_winner : 0.000309
965.02/127.34	c (124,0) c UsedRateTime_0 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_1 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_2 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_3 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_4 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_5 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_6 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_7 : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_total : 0.000000
965.02/127.34	c (124,0) c UsedRateTime_winner : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_0 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_1 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_2 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_3 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_4 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_5 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_6 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_7 : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_total : 0.000000
965.02/127.34	c (124,0) c OverlapRateTime_winner : 0.000000
965.02/127.34	c (124,0) c
965.02/127.34	c (124,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
965.02/127.34	c (124,0) c
965.02/127.34	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.34	c (124,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
965.02/127.34	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.34	c (124,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
965.02/127.34	c (124,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
965.02/127.34	c (124,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
965.02/127.34	c (124,0) c | Initial random_seed   | 1671391375 | 1955000548 |   42463949 |  577043132 | 1806889810 | 1418643860 |  540847725 |  914451896 |
965.02/127.34	c (124,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
965.02/127.34	c (124,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
965.02/127.34	c (124,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
965.02/127.34	c (124,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
965.02/127.34	c (124,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
965.02/127.34	c (124,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
965.02/127.34	c (124,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
965.02/127.34	c (124,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
965.02/127.34	c (124,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
965.02/127.34	c (124,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
965.02/127.34	c (124,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
965.02/127.34	c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
965.02/127.34	c (124,0) 
965.02/127.34	c (124,0) s SATISFIABLE
965.02/127.36	c (124,0) SatSolver.solve End
965.02/127.37	c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
965.02/127.37	c (124,0) Show results Begin
965.23/127.47	c (124,0) h[0] = 6
965.23/127.47	c (124,0) h[1] = 2
965.23/127.47	c (124,0) h[2] = 7
965.23/127.47	c (124,0) h[3] = 4
965.23/127.47	c (124,0) h[4] = 1
965.23/127.47	c (124,0) h[5] = 7
965.23/127.47	c (124,0) h[6] = 11
965.23/127.47	c (124,0) h[7] = 6
965.23/127.47	c (124,0) h[8] = 2
965.23/127.47	c (124,0) h[9] = 6
965.23/127.47	c (124,0) h[10] = 10
965.23/127.47	c (124,0) h[11] = 5
965.23/127.47	c (124,0) h[12] = 2
965.23/127.47	c (124,0) h[13] = 5
965.23/127.47	c (124,0) h[14] = 2
965.23/127.47	c (124,0) h[15] = 12
965.23/127.47	c (124,0) h[16] = 7
965.23/127.47	c (124,0) h[17] = 3
965.23/127.47	c (124,0) h[18] = 6
965.23/127.47	c (124,0) h[19] = 9
965.23/127.47	c (124,0) h[20] = 1
965.23/127.47	c (124,0) h[21] = 10
965.23/127.47	c (124,0) h[22] = 6
965.23/127.47	c (124,0) h[23] = 9
965.23/127.47	c (124,0) h[24] = 1
965.23/127.47	c (124,0) h[25] = 5
965.23/127.49	c (124,0) h[26] = 5
965.23/127.49	c (124,0) h[27] = 25
965.23/127.49	c (124,0) h[28] = 5
965.23/127.49	c (124,0) r[0] = 0
965.23/127.49	c (124,0) r[1] = 0
965.23/127.49	c (124,0) r[2] = 1
965.23/127.49	c (124,0) r[3] = 0
965.23/127.49	c (124,0) r[4] = 1
965.23/127.49	c (124,0) r[5] = 0
965.23/127.49	c (124,0) r[6] = 0
965.23/127.49	c (124,0) r[7] = 0
965.23/127.49	c (124,0) r[8] = 0
965.23/127.49	c (124,0) r[9] = 0
965.23/127.49	c (124,0) r[10] = 0
965.23/127.49	c (124,0) r[11] = 1
965.23/127.49	c (124,0) r[12] = 1
965.23/127.49	c (124,0) r[13] = 1
965.23/127.49	c (124,0) r[14] = 1
965.23/127.49	c (124,0) r[15] = 1
965.23/127.49	c (124,0) r[16] = 0
965.23/127.49	c (124,0) r[17] = 0
965.23/127.49	c (124,0) r[18] = 0
965.23/127.49	c (124,0) r[19] = 0
965.23/127.49	c (124,0) r[20] = 0
965.23/127.49	c (124,0) r[21] = 1
965.23/127.49	c (124,0) r[22] = 0
965.23/127.49	c (124,0) r[23] = 0
965.23/127.49	c (124,0) r[24] = 1
965.23/127.49	c (124,0) r[25] = 1
965.23/127.49	c (124,0) r[26] = 1
965.23/127.49	c (124,0) r[27] = 1
965.23/127.49	c (124,0) r[28] = 0
965.23/127.49	c (124,0) w[0] = 18
965.23/127.49	c (124,0) w[1] = 12
965.23/127.49	c (124,0) w[2] = 10
965.23/127.49	c (124,0) w[3] = 23
965.23/127.49	c (124,0) w[4] = 4
965.23/127.49	c (124,0) w[5] = 7
965.23/127.49	c (124,0) w[6] = 4
965.23/127.49	c (124,0) w[7] = 5
965.23/127.49	c (124,0) w[8] = 7
965.23/127.49	c (124,0) w[9] = 11
965.23/127.49	c (124,0) w[10] = 19
965.23/127.49	c (124,0) w[11] = 11
965.23/127.49	c (124,0) w[12] = 4
965.23/127.49	c (124,0) w[13] = 7
965.23/127.49	c (124,0) w[14] = 4
965.23/127.49	c (124,0) w[15] = 7
965.23/127.49	c (124,0) w[16] = 13
965.23/127.49	c (124,0) w[17] = 6
965.23/127.49	c (124,0) w[18] = 10
965.23/127.49	c (124,0) w[19] = 16
965.23/127.49	c (124,0) w[20] = 4
965.23/127.49	c (124,0) w[21] = 4
965.23/127.49	c (124,0) w[22] = 24
965.23/127.49	c (124,0) w[23] = 9
965.23/127.49	c (124,0) w[24] = 2
965.23/127.49	c (124,0) w[25] = 8
965.23/127.49	c (124,0) w[26] = 3
965.23/127.49	c (124,0) w[27] = 7
965.23/127.49	c (124,0) w[28] = 21
965.23/127.49	c (124,0) x[0] = 7
965.23/127.49	c (124,0) x[1] = 18
965.23/127.49	c (124,0) x[2] = 7
965.23/127.49	c (124,0) x[3] = 30
965.23/127.49	c (124,0) x[4] = 30
965.23/127.49	c (124,0) x[5] = 0
965.23/127.49	c (124,0) x[6] = 0
965.23/127.49	c (124,0) x[7] = 25
965.23/127.49	c (124,0) x[8] = 11
965.23/127.49	c (124,0) x[9] = 38
965.23/127.49	c (124,0) x[10] = 34
965.23/127.49	c (124,0) x[11] = 49
965.23/127.49	c (124,0) x[12] = 34
965.23/127.49	c (124,0) x[13] = 46
965.23/127.49	c (124,0) x[14] = 7
965.23/127.49	c (124,0) x[15] = 0
965.23/127.49	c (124,0) x[16] = 17
965.23/127.49	c (124,0) x[17] = 32
965.23/127.49	c (124,0) x[18] = 4
965.23/127.49	c (124,0) x[19] = 16
965.23/127.49	c (124,0) x[20] = 49
965.23/127.49	c (124,0) x[21] = 30
965.23/127.49	c (124,0) x[22] = 14
965.23/127.49	c (124,0) x[23] = 7
965.23/127.49	c (124,0) x[24] = 32
965.23/127.49	c (124,0) x[25] = 38
965.23/127.49	c (124,0) x[26] = 4
965.23/127.49	c (124,0) x[27] = 53
965.23/127.49	c (124,0) x[28] = 32
965.23/127.49	c (124,0) y[0] = 15
965.23/127.49	c (124,0) y[1] = 21
965.23/127.49	c (124,0) y[2] = 23
965.23/127.49	c (124,0) y[3] = 26
965.23/127.49	c (124,0) y[4] = 15
965.23/127.49	c (124,0) y[5] = 23
965.23/127.49	c (124,0) y[6] = 0
965.23/127.49	c (124,0) y[7] = 15
965.23/127.49	c (124,0) y[8] = 21
965.23/127.49	c (124,0) y[9] = 0
965.23/127.49	c (124,0) y[10] = 16
965.23/127.49	c (124,0) y[11] = 0
965.23/127.49	c (124,0) y[12] = 14
965.23/127.49	c (124,0) y[13] = 11
965.23/127.49	c (124,0) y[14] = 21
965.23/127.49	c (124,0) y[15] = 11
965.23/127.49	c (124,0) y[16] = 23
965.23/127.49	c (124,0) y[17] = 11
965.23/127.49	c (124,0) y[18] = 0
965.23/127.49	c (124,0) y[19] = 6
965.23/127.49	c (124,0) y[20] = 5
965.23/127.49	c (124,0) y[21] = 16
965.23/127.49	c (124,0) y[22] = 0
965.23/127.49	c (124,0) y[23] = 6
965.23/127.49	c (124,0) y[24] = 14
965.23/127.49	c (124,0) y[25] = 11
965.23/127.49	c (124,0) y[26] = 6
965.23/127.49	c (124,0) y[27] = 5
965.23/127.49	c (124,0) y[28] = 6
965.23/127.49	s SATISFIABLE
965.23/127.49	v <instantiation>
965.23/127.49	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] w[25] w[26] w[27] w[28] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] h[25] h[26] h[27] h[28] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24] r[25] r[26] r[27] r[28]</list>
965.23/127.49	v     <values>7 18 7 30 30 0 0 25 11 38 34 49 34 46 7 0 17 32 4 16 49 30 14 7 32 38 4 53 32 15 21 23 26 15 23 0 15 21 0 16 0 14 11 21 11 23 11 0 6 5 16 0 6 14 11 6 5 6 18 12 10 23 4 7 4 5 7 11 19 11 4 7 4 7 13 6 10 16 4 4 24 9 2 8 3 7 21 6 2 7 4 1 7 11 6 2 6 10 5 2 5 2 12 7 3 6 9 1 10 6 9 1 5 5 25 5 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0</values>
965.23/127.49	v </instantiation>
965.23/127.49	c (124,0) Show results End
965.23/127.49	c (124,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
965.23/127.49	c (124,0) 124,124,STOP-AFTER(ALL)
965.23/127.49	c END-Prog: Sat Sep 14 00:20:32 CEST 2019

Verifier Data 

OK

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392783-1568416781/watcher-4392783-1568416781 -o /tmp/evaluation-result-4392783-1568416781/solver-4392783-1568416781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392783-1568416781.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
Current StackSize limit: 8192 KiB

solver pid=13469, runsolver pid=13466

[startup+0.100164 s]*
/proc/loadavg: 0.14 0.20 0.58 2/209 13491
/proc/meminfo: memFree=30557968/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417932803 115843072 349 33554432000 4194304 5098028 140733754639920 140733754637176 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 349 296 221 0 87 0
[pid=13472] ppid=13469 vsize=27314120 memory=107200 CPUtime=0.11 cores=0-7
/proc/13472/stat : 13472 (java) S 13469 13469 12749 0 -1 1077944320 6834 0 0 0 8 3 0 0 20 0 20 0 417932803 27969658880 26800 33554432000 4194304 4196468 140721494691264 140721494673808 139870037696247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
/proc/13472/statm: 6828530 26800 2815 1 0 6790935 0
[pid=13472/tid=13473] ppid=13469 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/13472/task/13473/stat : 13473 (java) R 13469 13469 12749 0 -1 4202560 4918 0 0 0 7 2 0 0 20 0 20 0 417932803 27969658880 26800 33554432000 4194304 4196468 140721494691264 139870009522576 139870037718173 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13474] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13474/stat : 13474 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139870041939088 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13475] ppid=13469 vsize=27314120 memory=288370134531122816 CPUtime=0 cores=0-7
/proc/13472/task/13475/stat : 13475 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869856095248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13476] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13476/stat : 13476 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869855042448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13477] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13477/stat : 13477 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869853989648 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13478] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13478/stat : 13478 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869852936848 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13479] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13479/stat : 13479 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869851884048 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13480] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13480/stat : 13480 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869850831248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13481] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13481/stat : 13481 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 26800 33554432000 4194304 4196468 140721494691264 139869849778448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13482] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13482/stat : 13482 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932807 27969658880 26800 33554432000 4194304 4196468 140721494691264 139868202752880 139870037707394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13483] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13483/stat : 13483 (java) S 13469 13469 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 26800 33554432000 4194304 4196468 140721494691264 139867958797856 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13484] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13484/stat : 13484 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 27312 33554432000 4194304 4196468 140721494691264 139867690362224 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13485] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13485/stat : 13485 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 27312 33554432000 4194304 4196468 140721494691264 139867315853648 139870037714843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13486] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13486/stat : 13486 (java) S 13469 13469 12749 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 27312 33554432000 4194304 4196468 140721494691264 139868201699696 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13487] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13487/stat : 13487 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 27312 33554432000 4194304 4196468 140721494691264 139868200646896 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13488] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13488/stat : 13488 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 27312 33554432000 4194304 4196468 140721494691264 139868199594096 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13489] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13489/stat : 13489 (java) S 13469 13469 12749 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 27312 33554432000 4194304 4196468 140721494691264 139868198541296 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13490] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13490/stat : 13490 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 27312 33554432000 4194304 4196468 140721494691264 139866817948768 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13491] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13491/stat : 13491 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 27312 33554432000 4194304 4196468 140721494691264 139868197489712 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108596 KiB

[startup+0.210147 s]*
/proc/loadavg: 0.14 0.20 0.58 2/209 13491
/proc/meminfo: memFree=30536144/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417932803 115843072 349 33554432000 4194304 5098028 140733754639920 140733754637176 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 349 296 221 0 87 0
[pid=13472] ppid=13469 vsize=27314120 memory=126540 CPUtime=0.24 cores=0-7
/proc/13472/stat : 13472 (java) S 13469 13469 12749 0 -1 1077944320 12422 0 0 0 20 4 0 0 20 0 20 0 417932803 27969658880 31635 33554432000 4194304 4196468 140721494691264 140721494673808 139870037696247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
/proc/13472/statm: 6828530 31635 2973 1 0 6790935 0
[pid=13472/tid=13473] ppid=13469 vsize=27314120 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/13472/task/13473/stat : 13473 (java) R 13469 13469 12749 0 -1 4202560 10135 0 0 0 16 3 0 0 20 0 20 0 417932803 27969658880 31635 33554432000 4194304 4196468 140721494691264 139870009495632 139870019259807 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13474] ppid=13469 vsize=27314120 memory=288230604677102837 CPUtime=0 cores=0-7
/proc/13472/task/13474/stat : 13474 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139870041939088 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13475] ppid=13469 vsize=27314120 memory=288370134531122816 CPUtime=0 cores=0-7
/proc/13472/task/13475/stat : 13475 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869856095248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13476] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13476/stat : 13476 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869855042448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13477] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13477/stat : 13477 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869853989648 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13478] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13478/stat : 13478 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869852936848 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13479] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13479/stat : 13479 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869851884048 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13480] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13480/stat : 13480 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869850831248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13481] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13481/stat : 13481 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 31635 33554432000 4194304 4196468 140721494691264 139869849778448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13482] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13482/stat : 13482 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932807 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868202752880 139870037707394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13483] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13483/stat : 13483 (java) S 13469 13469 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 31635 33554432000 4194304 4196468 140721494691264 139867958797856 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13484] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13484/stat : 13484 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 31635 33554432000 4194304 4196468 140721494691264 139867690362224 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13485] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13485/stat : 13485 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 31635 33554432000 4194304 4196468 140721494691264 139867315853648 139870037714843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13486] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13486/stat : 13486 (java) S 13469 13469 12749 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868201699696 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13487] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13487/stat : 13487 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868200646896 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13488] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13488/stat : 13488 (java) S 13469 13469 12749 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868199594096 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13489] ppid=13469 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13472/task/13489/stat : 13489 (java) S 13469 13469 12749 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 417932810 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868198541296 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13490] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13490/stat : 13490 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 31635 33554432000 4194304 4196468 140721494691264 139866817948768 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13491] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13491/stat : 13491 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 31635 33554432000 4194304 4196468 140721494691264 139868197489712 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127936 KiB

[startup+0.309479 s]*
/proc/loadavg: 0.14 0.20 0.58 2/209 13491
/proc/meminfo: memFree=30533212/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417932803 115843072 349 33554432000 4194304 5098028 140733754639920 140733754637176 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 349 296 221 0 87 0
[pid=13472] ppid=13469 vsize=27314120 memory=129628 CPUtime=0.42 cores=0-7
/proc/13472/stat : 13472 (java) S 13469 13469 12749 0 -1 1077944320 13293 0 0 0 37 5 0 0 20 0 20 0 417932803 27969658880 32407 33554432000 4194304 4196468 140721494691264 140721494673808 139870037696247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
/proc/13472/statm: 6828530 32407 3010 1 0 6790935 0
[pid=13472/tid=13473] ppid=13469 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/13472/task/13473/stat : 13473 (java) R 13469 13469 12749 0 -1 4202560 10818 0 0 0 26 4 0 0 20 0 20 0 417932803 27969658880 32407 33554432000 4194304 4196468 140721494691264 139870009479264 139870020883056 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13474] ppid=13469 vsize=27314120 memory=12024 CPUtime=0 cores=0-7
/proc/13472/task/13474/stat : 13474 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139870041939088 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13475] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13475/stat : 13475 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869856095248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13476] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13476/stat : 13476 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869855042448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13477] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13477/stat : 13477 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869853989648 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13478] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13478/stat : 13478 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869852936848 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13479] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13479/stat : 13479 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869851884048 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13480] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13480/stat : 13480 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869850831248 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13481] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13481/stat : 13481 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27969658880 32407 33554432000 4194304 4196468 140721494691264 139869849778448 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13482] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13482/stat : 13482 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417932807 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868202752880 139870037707394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13483] ppid=13469 vsize=27314120 memory=279516471823232 CPUtime=0 cores=0-7
/proc/13472/task/13483/stat : 13483 (java) S 13469 13469 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 32407 33554432000 4194304 4196468 140721494691264 139867958797856 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13484] ppid=13469 vsize=27314120 memory=279516471827840 CPUtime=0 cores=0-7
/proc/13472/task/13484/stat : 13484 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932808 27969658880 32407 33554432000 4194304 4196468 140721494691264 139867690362224 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13485] ppid=13469 vsize=27314120 memory=279516471832448 CPUtime=0 cores=0-7
/proc/13472/task/13485/stat : 13485 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932810 27969658880 32407 33554432000 4194304 4196468 140721494691264 139867315853648 139870037714843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13486] ppid=13469 vsize=27314120 memory=279516471837056 CPUtime=0.01 cores=0-7
/proc/13472/task/13486/stat : 13486 (java) S 13469 13469 12749 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 417932810 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868201699696 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13487] ppid=13469 vsize=27314120 memory=279516471841664 CPUtime=0.01 cores=0-7
/proc/13472/task/13487/stat : 13487 (java) S 13469 13469 12749 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 417932810 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868200646896 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13488] ppid=13469 vsize=27314120 memory=279516471846272 CPUtime=0.01 cores=0-7
/proc/13472/task/13488/stat : 13488 (java) R 13469 13469 12749 0 -1 4202560 171 0 0 0 1 0 0 0 20 0 20 0 417932810 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868199594096 139870021192466 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13489] ppid=13469 vsize=27314120 memory=279516471850880 CPUtime=0.07 cores=0-7
/proc/13472/task/13489/stat : 13489 (java) S 13469 13469 12749 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 417932810 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868198541296 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13490] ppid=13469 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13490/stat : 13490 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 32407 33554432000 4194304 4196468 140721494691264 139866817948768 139870037706453 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13491] ppid=13469 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13472/task/13491/stat : 13491 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932811 27969658880 32407 33554432000 4194304 4196468 140721494691264 139868197489712 139870037707394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131024 KiB

[startup+0.700894 s]
/proc/loadavg: 0.14 0.20 0.58 2/209 13491
/proc/meminfo: memFree=30512516/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417932803 115843072 349 33554432000 4194304 5098028 140733754639920 140733754637176 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 349 296 221 0 87 0
[pid=13472] ppid=13469 vsize=27322440 memory=165992 CPUtime=1.01 cores=0-7
/proc/13472/stat : 13472 (java) S 13469 13469 12749 0 -1 1077944320 20612 0 0 0 95 6 0 0 20 0 20 0 417932803 27978178560 41498 33554432000 4194304 4196468 140721494691264 140721494673808 139870037696247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
/proc/13472/statm: 6830610 41498 3183 1 0 6791959 0
[pid=13472/tid=13473] ppid=13469 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7
/proc/13472/task/13473/stat : 13473 (java) R 13469 13469 12749 0 -1 4202560 17493 0 0 0 62 5 0 0 20 0 20 0 417932803 27978178560 41498 33554432000 4194304 4196468 140721494691264 139870009530592 139870021804114 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13474] ppid=13469 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13474/stat : 13474 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27978178560 41498 33554432000 4194304 4196468 140721494691264 139870041939088 139870037706453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13475] ppid=13469 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/13472/task/13475/stat : 13475 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27978178560 41498 33554432000 4194304 4196468 140721494691264 139869856095248 139870037706453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0
[pid=13472/tid=13476] ppid=13469 vsize=27322440 memory=4008 CPUtime=0 cores=0-7
/proc/13472/task/13476/stat : 13476 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417932806 27978178560 41498 33554432000 4194304 4196468 140721494691264 139869855042448 139870037706453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9900032 140721494696682 140721494697110 140721494697110 140721494699983 0

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

[pid=13492/tid=13516] ppid=13469 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/13492/task/13516/stat : 13516 (java) S 13469 13469 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951710650384 139954617304221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13517] ppid=13469 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/13492/task/13517/stat : 13517 (java) S 13469 13469 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417933169 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951173787184 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
Current children cumulated CPU time: 946.55 s
Current children cumulated vsize: 9388848 KiB
Current children cumulated memory: 743372 KiB

[startup+126.502 s]
/proc/loadavg: 7.30 2.94 1.54 9/224 13540
/proc/meminfo: memFree=29916412/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1476 CPUtime=7.1 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 583 29619 0 0 0 0 688 22 20 0 1 0 417932803 115843072 369 33554432000 4194304 5098028 140733754639920 140733754636664 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 369 311 221 0 87 0
[pid=13492] ppid=13469 vsize=8414124 memory=121672 CPUtime=1.32 cores=0-7
/proc/13492/stat : 13492 (java) S 13469 13469 12749 0 -1 1077944320 20880 0 0 0 123 9 0 0 20 0 24 0 417933090 8616062976 30418 33554432000 4194304 4196468 140723122702720 140723122685264 139954617282295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
/proc/13492/statm: 2103531 30418 3206 1 0 2064875 0
[pid=13512] ppid=13492 vsize=861596 memory=628416 CPUtime=950.84 cores=0-7
/proc/13512/stat : 13512 (manyglucose-4.1) S 13492 13469 12749 0 -1 1077944320 408995 0 0 0 94965 119 0 0 20 0 9 0 417933166 882274304 157104 33554432000 4194304 4454172 140731108875424 140731108873824 140266812541570 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
/proc/13512/statm: 215399 157104 410 64 0 211067 0
[pid=13512/tid=13518] ppid=13492 vsize=861596 memory=948 CPUtime=117.55 cores=0-7
/proc/13512/task/13518/stat : 13518 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 44060 0 0 0 11742 13 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266787650592 4349976 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13519] ppid=13492 vsize=861596 memory=2832 CPUtime=115.18 cores=0-7
/proc/13512/task/13519/stat : 13519 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 52817 0 0 0 11501 17 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266779257800 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13520] ppid=13492 vsize=861596 memory=9404 CPUtime=122.58 cores=0-7
/proc/13512/task/13520/stat : 13520 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 44887 0 0 0 12249 9 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266770865320 4351198 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13521] ppid=13492 vsize=861596 memory=1548 CPUtime=121.7 cores=0-7
/proc/13512/task/13521/stat : 13521 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 46406 0 0 0 12159 11 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266762472584 4321856 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13522] ppid=13492 vsize=861596 memory=628 CPUtime=119.29 cores=0-7
/proc/13512/task/13522/stat : 13522 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 52174 0 0 0 11916 13 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266754079688 4351769 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13523] ppid=13492 vsize=861596 memory=1056 CPUtime=117.84 cores=0-7
/proc/13512/task/13523/stat : 13523 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 53234 0 0 0 11771 13 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266745686984 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13524] ppid=13492 vsize=861596 memory=1556 CPUtime=119.72 cores=0-7
/proc/13512/task/13524/stat : 13524 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 52580 0 0 0 11953 19 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266603076552 4351286 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13512/tid=13525] ppid=13492 vsize=861596 memory=5924 CPUtime=116.71 cores=0-7
/proc/13512/task/13525/stat : 13525 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 48200 0 0 0 11652 19 0 0 20 0 9 0 417933186 882274304 157104 33554432000 4194304 4454172 140731108875424 140266737294368 4321746 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13492/tid=13493] ppid=13469 vsize=8414124 memory=14012 CPUtime=0.79 cores=0-7
/proc/13492/task/13493/stat : 13493 (java) S 13469 13469 12749 0 -1 1077944384 17511 0 0 0 73 6 0 0 20 0 24 0 417933090 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954589122464 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13494] ppid=13469 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/13492/task/13494/stat : 13494 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933091 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954621524624 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13495] ppid=13469 vsize=8414124 memory=10356 CPUtime=0 cores=0-7
/proc/13492/task/13495/stat : 13495 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933091 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954421692944 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13496] ppid=13469 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/13492/task/13496/stat : 13496 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954420640144 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13497] ppid=13469 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13492/task/13497/stat : 13497 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954419587344 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13498] ppid=13469 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13492/task/13498/stat : 13498 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954418535568 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13499] ppid=13469 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13492/task/13499/stat : 13499 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954417482768 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13500] ppid=13469 vsize=8414124 memory=121672 CPUtime=0 cores=0-7
/proc/13492/task/13500/stat : 13500 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954416429968 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13501] ppid=13469 vsize=8414124 memory=626368 CPUtime=0 cores=0-7
/proc/13492/task/13501/stat : 13501 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954415377168 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13502] ppid=13469 vsize=8414124 memory=26372 CPUtime=0 cores=0-7
/proc/13492/task/13502/stat : 13502 (java) S 13469 13469 12749 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 417933093 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953710242160 139954617293442 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13503] ppid=13469 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/13492/task/13503/stat : 13503 (java) S 13469 13469 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417933093 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953254163488 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13504] ppid=13469 vsize=8414124 memory=2024 CPUtime=0 cores=0-7
/proc/13492/task/13504/stat : 13504 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933094 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952985727856 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13505] ppid=13469 vsize=8414124 memory=1380 CPUtime=0 cores=0-7
/proc/13492/task/13505/stat : 13505 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952611219280 139954617300891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13506] ppid=13469 vsize=8414124 memory=1128 CPUtime=0.05 cores=0-7
/proc/13492/task/13506/stat : 13506 (java) S 13469 13469 12749 0 -1 1077944384 637 0 0 0 5 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953709190000 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13507] ppid=13469 vsize=8414124 memory=772 CPUtime=0.09 cores=0-7
/proc/13492/task/13507/stat : 13507 (java) S 13469 13469 12749 0 -1 1077944384 228 0 0 0 9 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953708137200 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13508] ppid=13469 vsize=8414124 memory=4008 CPUtime=0.05 cores=0-7
/proc/13492/task/13508/stat : 13508 (java) S 13469 13469 12749 0 -1 1077944384 348 0 0 0 5 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953707084400 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13509] ppid=13469 vsize=8414124 memory=4140 CPUtime=0.22 cores=0-7
/proc/13492/task/13509/stat : 13509 (java) S 13469 13469 12749 0 -1 1077944384 749 0 0 0 22 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953706031600 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13510] ppid=13469 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/13492/task/13510/stat : 13510 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952113314400 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13511] ppid=13469 vsize=8414124 memory=3712 CPUtime=0.07 cores=0-7
/proc/13492/task/13511/stat : 13511 (java) S 13469 13469 12749 0 -1 1077944384 11 0 0 0 7 0 0 0 20 0 24 0 417933097 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953704978992 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13513] ppid=13469 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13492/task/13513/stat : 13513 (java) S 13469 13469 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953925751872 139954617306905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13515] ppid=13469 vsize=8414124 memory=121672 CPUtime=0 cores=0-7
/proc/13492/task/13515/stat : 13515 (java) S 13469 13469 12749 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951442215056 139954617304221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13516] ppid=13469 vsize=8414124 memory=611964 CPUtime=0 cores=0-7
/proc/13492/task/13516/stat : 13516 (java) S 13469 13469 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951710650384 139954617304221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13517] ppid=13469 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/13492/task/13517/stat : 13517 (java) S 13469 13469 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417933169 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951173787184 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
Current children cumulated CPU time: 959.26 s
Current children cumulated vsize: 9388848 KiB
Current children cumulated memory: 751564 KiB

[startup+127.301 s]
/proc/loadavg: 7.30 2.94 1.54 9/224 13540
/proc/meminfo: memFree=29910916/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1476 CPUtime=7.1 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 583 29619 0 0 0 0 688 22 20 0 1 0 417932803 115843072 369 33554432000 4194304 5098028 140733754639920 140733754636664 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 369 311 221 0 87 0
[pid=13492] ppid=13469 vsize=8414124 memory=121672 CPUtime=1.33 cores=0-7
/proc/13492/stat : 13492 (java) S 13469 13469 12749 0 -1 1077944320 20880 0 0 0 124 9 0 0 20 0 24 0 417933090 8616062976 30418 33554432000 4194304 4196468 140723122702720 140723122685264 139954617282295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
/proc/13492/statm: 2103531 30418 3206 1 0 2064875 0
[pid=13512] ppid=13492 vsize=861596 memory=634696 CPUtime=956.59 cores=0-7
/proc/13512/stat : 13512 (manyglucose-4.1) S 13492 13469 12749 0 -1 1077944320 409306 0 0 0 95540 119 0 0 20 0 2 0 417933166 882274304 158674 33554432000 4194304 4454172 140731108875424 140731108873808 140266812530423 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
/proc/13512/statm: 215399 158674 423 64 0 211067 0
[pid=13512/tid=13520] ppid=13492 vsize=861596 memory=-9030955755779682706 CPUtime=123.38 cores=0-7
/proc/13512/task/13520/stat : 13520 (manyglucose-4.1) R 13492 13469 12749 0 -1 4202560 44889 0 0 0 12329 9 0 0 20 0 2 0 417933186 882274304 158674 33554432000 4194304 4454172 140731108875424 140266770865320 4351286 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 24707072 140731108881257 140731108881456 140731108881456 140731108884410 0
[pid=13492/tid=13493] ppid=13469 vsize=8414124 memory=7522529139315327080 CPUtime=0.79 cores=0-7
/proc/13492/task/13493/stat : 13493 (java) S 13469 13469 12749 0 -1 1077944384 17511 0 0 0 73 6 0 0 20 0 24 0 417933090 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954589122464 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13494] ppid=13469 vsize=8414124 memory=5932474818260921956 CPUtime=0 cores=0-7
/proc/13492/task/13494/stat : 13494 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933091 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954621524624 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13495] ppid=13469 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13492/task/13495/stat : 13495 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933091 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954421692944 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13496] ppid=13469 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/13492/task/13496/stat : 13496 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954420640144 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13497] ppid=13469 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/13492/task/13497/stat : 13497 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954419587344 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13498] ppid=13469 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13492/task/13498/stat : 13498 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954418535568 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13499] ppid=13469 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/13492/task/13499/stat : 13499 (java) S 13469 13469 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954417482768 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13500] ppid=13469 vsize=8414124 memory=571536 CPUtime=0 cores=0-7
/proc/13492/task/13500/stat : 13500 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954416429968 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13501] ppid=13469 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/13492/task/13501/stat : 13501 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933092 8616062976 30418 33554432000 4194304 4196468 140723122702720 139954415377168 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13502] ppid=13469 vsize=8414124 memory=121672 CPUtime=0 cores=0-7
/proc/13492/task/13502/stat : 13502 (java) S 13469 13469 12749 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 417933093 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953710242160 139954617293442 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13503] ppid=13469 vsize=8414124 memory=546468 CPUtime=0 cores=0-7
/proc/13492/task/13503/stat : 13503 (java) S 13469 13469 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417933093 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953254163488 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13504] ppid=13469 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/13492/task/13504/stat : 13504 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933094 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952985727856 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13505] ppid=13469 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/13492/task/13505/stat : 13505 (java) S 13469 13469 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952611219280 139954617300891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13506] ppid=13469 vsize=8414124 memory=1528 CPUtime=0.05 cores=0-7
/proc/13492/task/13506/stat : 13506 (java) S 13469 13469 12749 0 -1 1077944384 637 0 0 0 5 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953709190000 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13507] ppid=13469 vsize=8414124 memory=1448 CPUtime=0.09 cores=0-7
/proc/13492/task/13507/stat : 13507 (java) S 13469 13469 12749 0 -1 1077944384 228 0 0 0 9 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953708137200 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13508] ppid=13469 vsize=8414124 memory=-9030955755779682706 CPUtime=0.05 cores=0-7
/proc/13492/task/13508/stat : 13508 (java) S 13469 13469 12749 0 -1 1077944384 348 0 0 0 5 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953707084400 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13509] ppid=13469 vsize=8414124 memory=609364 CPUtime=0.22 cores=0-7
/proc/13492/task/13509/stat : 13509 (java) S 13469 13469 12749 0 -1 1077944384 749 0 0 0 22 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953706031600 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13510] ppid=13469 vsize=8414124 memory=605268 CPUtime=0 cores=0-7
/proc/13492/task/13510/stat : 13510 (java) S 13469 13469 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417933096 8616062976 30418 33554432000 4194304 4196468 140723122702720 139952113314400 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13511] ppid=13469 vsize=8414124 memory=1760 CPUtime=0.07 cores=0-7
/proc/13492/task/13511/stat : 13511 (java) S 13469 13469 12749 0 -1 1077944384 11 0 0 0 7 0 0 0 20 0 24 0 417933097 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953704978992 139954617293442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13513] ppid=13469 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/13492/task/13513/stat : 13513 (java) S 13469 13469 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139953925751872 139954617306905 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13515] ppid=13469 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/13492/task/13515/stat : 13515 (java) S 13469 13469 12749 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951442215056 139954617304221 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13516] ppid=13469 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/13492/task/13516/stat : 13516 (java) S 13469 13469 12749 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417933166 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951710650384 139954617304221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
[pid=13492/tid=13517] ppid=13469 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/13492/task/13517/stat : 13517 (java) S 13469 13469 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417933169 8616062976 30418 33554432000 4194304 4196468 140723122702720 139951173787184 139954617292501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22503424 140723122709495 140723122709654 140723122709654 140723122712527 0
Current children cumulated CPU time: 965.02 s
Current children cumulated vsize: 9388848 KiB
Current children cumulated memory: 757844 KiB

[startup+127.501 s]
/proc/loadavg: 7.30 2.94 1.54 9/224 13540
/proc/meminfo: memFree=29910916/32770624 swapFree=66997512/67108860
[pid=13469] ppid=13466 vsize=113128 memory=1476 CPUtime=7.1 cores=0-7
/proc/13469/stat : 13469 (scop.sh) S 13466 13469 12749 0 -1 4202496 583 29619 0 0 0 0 688 22 20 0 1 0 417932803 115843072 369 33554432000 4194304 5098028 140733754639920 140733754636664 140475345519228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37224448 140733754643236 140733754643564 140733754643564 140733754646477 0
/proc/13469/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 7.1 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 127.507
CPU time (s): 965.432
CPU user time (s): 963.869
CPU system time (s): 1.56305
CPU usage (%): 757.162
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 804896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 963.869
system time used= 1.56305
maximum resident set size= 681748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20085
involuntary context switches= 9516


# summary of solver processes directly reported to runsolver:
#   pid: 13469
#   total CPU time (s): 965.432
#   total CPU user time (s): 963.869
#   total CPU system time (s): 1.56305

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19338 second user time and 1.82037 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 00:18:24
IDJOB=4392783
IDBENCH=120505
IDSOLVER=2839
FILE ID=node106/4392783-1568416781
RUNJOBID= node106-1568413091-12776
PBS_JOBID= 21702261
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C3P2.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392783-1568416781/watcher-4392783-1568416781 -o /tmp/evaluation-result-4392783-1568416781/solver-4392783-1568416781 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392783-1568416781.xml

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=800334196

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:        30652932 kB
MemAvailable:   31900920 kB
Buffers:          175860 kB
Cached:          1353540 kB
SwapCached:         9428 kB
Active:           444936 kB
Inactive:        1097812 kB
Active(anon):      13316 kB
Inactive(anon):    33832 kB
Active(file):     431620 kB
Inactive(file):  1063980 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66997512 kB
Dirty:             21108 kB
Writeback:             0 kB
AnonPages:        112504 kB
Mapped:            37016 kB
Shmem:             25132 kB
Slab:             166220 kB
SReclaimable:     136444 kB
SUnreclaim:        29776 kB
KernelStack:        3360 kB
PageTables:         5068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     487756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 00:20:32