Trace number 4392425

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 122.854 18.8624

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N1c.xml
MD5SUM19f4dcf35e46defaa68e633424c84ce1
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 benchmark122.854
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-13034-serial-file.bin HOME/instance-4392425-1568416777.xml
0.63/0.56	
0.63/0.56	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.63/0.56	
0.63/0.59	c BEGIN-Prog: Sat Sep 14 01:18:55 CEST 2019
0.63/0.59	c PID: 13037
0.95/0.88	c IP: 172.20.3.147
0.95/0.88	c HOST: node147.alineos.net
0.95/0.88	c (0,0) Parsing Begin
1.41/1.16	c (0,0) Parsing End
1.41/1.16	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.41/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/1.16	c (0,0) Constraint Name Generate Begin
1.41/1.17	c (0,0) Ctr:HOME/instance-4392425-1568416777.xml,Add:ExtensionSupport:Le:NoOverlap:Num:Var
1.41/1.17	c (0,0) Constraint Name Generate End
1.41/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/1.17	c (0,0) CSP to CSPinCNF Begin
1.60/1.25	c (0,0) translated 6 (10%) constraints
1.60/1.26	c (0,0) translated 11 (20%) constraints
1.60/1.26	c (0,0) translated 16 (30%) constraints
1.60/1.27	c (0,0) translated 21 (40%) constraints
1.60/1.27	c (0,0) translated 26 (50%) constraints
1.60/1.27	c (0,0) translated 32 (60%) constraints
1.75/1.39	c (0,0) translated 37 (70%) constraints
1.94/1.44	c (0,0) translated 42 (80%) constraints
1.94/1.48	c (0,0) translated 47 (90%) constraints
2.20/1.52	c (0,0) translated 52 (100%) constraints
2.51/1.62	c (1,0) ===========================================
2.51/1.62	c (1,0) Order
2.51/1.62	c (1,0) ===========================================
2.51/1.63	c (1,0) translated 43 (10%) constraints
2.51/1.63	c (1,0) translated 85 (20%) constraints
2.51/1.63	c (1,0) translated 128 (30%) constraints
2.51/1.64	c (1,0) translated 170 (40%) constraints
2.51/1.65	c (1,0) translated 213 (50%) constraints
2.51/1.65	c (1,0) translated 255 (60%) constraints
2.51/1.65	c (1,0) translated 298 (70%) constraints
2.51/1.66	c (1,0) translated 340 (80%) constraints
2.51/1.66	c (1,0) translated 383 (90%) constraints
2.51/1.67	c (1,0) translated 425 (100%) constraints
2.51/1.67	c (1,0) CSP to CSPinCNF End
2.51/1.67	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.51/1.67	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.67	c (1,0) CSPinCNF Propagation Begin
2.51/1.70	c (1,0) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.51/1.70	c (1,0) CSPinCNF Propagation End
2.51/1.70	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 196
2.51/1.70	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.70	c (1,0) Simplify CSPinCNF Begin
2.92/1.76	c (1,1) Simplify CSPinCNF End
2.92/1.76	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.92/1.76	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.76	c (1,1) Calculate Precise Domain Begin
2.92/1.76	c (1,1) 0 values are removed by re-calculation
2.92/1.76	c (1,1) Calculate Precise Domain End
2.92/1.76	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 196
2.92/1.76	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.92/1.76	c (1,1) CSPinCNF to SatSolver Begin
3.21/1.87	c (1,1) 97 (10 %) CSP clauses are encoded (0 SAT variables, 5854 SAT clauses)
3.21/1.88	c (1,1) 194 (20 %) CSP clauses are encoded (0 SAT variables, 5951 SAT clauses)
3.21/1.89	c (1,1) 291 (30 %) CSP clauses are encoded (0 SAT variables, 6048 SAT clauses)
4.06/2.08	c (1,1) 388 (40 %) CSP clauses are encoded (0 SAT variables, 24313 SAT clauses)
4.52/2.19	c (1,1) 485 (50 %) CSP clauses are encoded (0 SAT variables, 45110 SAT clauses)
4.77/2.25	c (1,1) 582 (60 %) CSP clauses are encoded (0 SAT variables, 60101 SAT clauses)
4.96/2.33	c (1,1) 679 (70 %) CSP clauses are encoded (0 SAT variables, 80074 SAT clauses)
5.06/2.42	c (1,1) 776 (80 %) CSP clauses are encoded (0 SAT variables, 102531 SAT clauses)
5.18/2.51	c (1,1) 873 (90 %) CSP clauses are encoded (0 SAT variables, 124013 SAT clauses)
5.18/2.57	c (2,1) 969 (100 %) CSP clauses are encoded (0 SAT variables, 141024 SAT clauses)
5.18/2.58	c (2,1) CSPinCNF to SatSolver End
5.18/2.58	c (2,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.18/2.58	c (2,1) 6455 bool, 141255 clause
5.18/2.58	c (2,1) Export Begin
5.29/2.68	c (2,1) Export to HOME/scop-13034-serial-file.bin
5.29/2.68	c (2,1) Export End
5.29/2.68	c (2,1) Export File Size: 0.03 MB
5.29/2.68	c (2,1) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
5.29/2.68	c END-Prog: Sat Sep 14 01:18:57 CEST 2019
5.29/2.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13034-serial-file.bin
6.03/3.16	c (0,0) Read Serial File Begin
6.03/3.16	c (0,0) HOME/scop-13034-serial-file.bin
6.28/3.39	c (0,0) Read Serial File End
6.46/3.40	
6.46/3.40	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.46/3.40	(Solving Process)
6.46/3.40	
6.46/3.43	c BEGIN-Prog: Sat Sep 14 01:18:58 CEST 2019
6.46/3.43	c PID: 13058
6.46/3.43	c IP: 172.20.3.147
6.46/3.43	c HOST: node147.alineos.net
6.46/3.43	c (0,0) SatSolver.solve Begin
6.46/3.43	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392425-1568416777.xml-scop-13037.cnf
6.46/3.46	c (0,0) c
6.46/3.46	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)
6.46/3.46	c (0,0) c
6.46/3.46	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.46/3.46	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.46/3.46	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.46/3.46	c (0,0) c |                                                                                                       |
6.70/3.50	c (0,0) c |  Number of variables:          6455                                                                   |
6.70/3.50	c (0,0) c |  Number of clauses:          141255                                                                   |
6.70/3.50	c (0,0) c |  Parse time:                   0.04 s                                                                 |
6.70/3.50	c (0,0) c |                                                                                                       |
6.72/3.75	c (0,0) c |  Simplification time:          0.24 s                                                                 |
6.72/3.75	c (0,0) c |                                                                                                       |
6.72/3.75	c (0,0) c |  Generating clones                                                                                    |
6.72/3.79	c (0,0) c |  all clones generated. Memory =   104.66Mb.                                                           |
6.72/3.79	c (0,0) c ========================================================================================================|
6.72/3.79	c (0,0) c
6.72/3.79	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.72/3.79	c (0,0) c
6.72/3.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.72/3.79	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.72/3.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.72/3.79	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.72/3.79	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.72/3.79	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.72/3.79	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.72/3.79	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.72/3.79	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.72/3.79	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.72/3.79	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.72/3.79	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.72/3.79	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.72/3.79	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.72/3.79	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.72/3.79	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.72/3.79	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.72/3.79	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.72/3.79	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c real time : 15.2454 s
122.46/18.70	c (15,0) c cpu time  : 115.372 s
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | Conflicts     |          606329 |      76338 |      74344 |      76656 |      76681 |      73548 |      76211 |      76964 |      75587 |
122.46/18.70	c (15,0) c | Decisions     |         1145989 |     143726 |     138476 |     143101 |     146711 |     137519 |     147248 |     145915 |     143293 |
122.46/18.70	c (15,0) c | Propagations  |       184868623 |   22959914 |   22862306 |   23335046 |   23027049 |   23164428 |   23204958 |   23183685 |   23131237 |
122.46/18.70	c (15,0) c | ReduceDBs     |              56 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |          7 |
122.46/18.70	c (15,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
122.46/18.70	c (15,0) c | Restarts      |            1585 |        181 |        180 |        203 |        234 |        148 |        232 |        209 |        198 |
122.46/18.70	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
122.46/18.70	c (15,0) c | PropBinClauses|       232794385 |   28668903 |   28761249 |   29868819 |   28975645 |   29078051 |   29005075 |   29428235 |   29008408 |
122.46/18.70	c (15,0) c | PropPreBlocker|      3900354902 |  483212842 |  483466178 |  492271285 |  486461959 |  488686676 |  489976019 |  487961068 |  488318875 |
122.46/18.70	c (15,0) c | PropNotBlocker|      1166980596 |  146353025 |  146131079 |  147913523 |  145158760 |  145058766 |  145889015 |  146739484 |  143736944 |
122.46/18.70	c (15,0) c | LitFullScans  |      6890244561 |  858056759 |  858048758 |  870048498 |  858050253 |  862310957 |  864084312 |  861604156 |  858040868 |
122.46/18.70	c (15,0) c | LitScanFracts |          362271 |      49827 |      40512 |      42658 |      46168 |      33867 |      79012 |      38535 |      31692 |
122.46/18.70	c (15,0) c | DecisionLevel0|            1585 |        181 |        180 |        203 |        234 |        148 |        232 |        209 |        198 |
122.46/18.70	c (15,0) c | Periods       |            1147 |        143 |        143 |        145 |        143 |        143 |        144 |        143 |        143 |
122.46/18.70	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
122.46/18.70	c (15,0) c | Avg_Trail     |                 |       2789 |       2779 |       2742 |       2810 |       2877 |       2826 |       2762 |       2842 |
122.46/18.70	c (15,0) c | Avg_DL        |                 |         27 |         27 |         27 |         27 |         27 |         27 |         27 |         28 |
122.46/18.70	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
122.46/18.70	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | Exported      |           97395 |      11986 |      12022 |      12631 |      12161 |      12097 |      11611 |      13109 |      11778 |
122.46/18.70	c (15,0) c | Imported      |          611857 |      76754 |      76869 |      74816 |      76755 |      76674 |      77464 |      76159 |      76366 |
122.46/18.70	c (15,0) c | Good          |              95 |          9 |         12 |          8 |         13 |         13 |         13 |         13 |         14 |
122.46/18.70	c (15,0) c | Purge         |          611762 |      76745 |      76857 |      74808 |      76742 |      76661 |      77451 |      76146 |      76352 |
122.46/18.70	c (15,0) c | Promoted      |           45444 |       5999 |       5559 |       5543 |       5599 |       5522 |       5792 |       5552 |       5878 |
122.46/18.70	c (15,0) c | Remove_Imp    |          311774 |      33774 |      41320 |      40060 |      39183 |      40486 |      39948 |      39024 |      37979 |
122.46/18.70	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
122.46/18.70	c (15,0) c | Binaries      |                 |          5 |          2 |          4 |          2 |          1 |          1 |          2 |          0 |
122.46/18.70	c (15,0) c | Glues         |                 |         52 |         43 |         36 |         39 |         29 |         36 |         37 |         33 |
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | Orig_Seen     |            39 % |      53125 |      53366 |      52702 |      53560 |      56602 |      55781 |      54540 |      59324 |
122.46/18.70	c (15,0) c | Diff Orig seen|                 | -     1415 | -     1174 | -     1838 | -      980 |       2062 |       1241 |      X     |       4784 |
122.46/18.70	c (15,0) c | Hamming       |            32 % |       1979 |       2335 |       1968 |       2454 |       1926 |       1847 |      X     |       2406 |
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c | RunningTime   |                 |   14.9 100%|   14.8 100%|   14.3 100%|   14.6 100%|   14.3 100%|   14.3 100%|   14.2 100%|   14.2 100%|
122.46/18.70	c (15,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
122.46/18.70	c (15,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
122.46/18.70	c (15,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%|
122.46/18.70	c (15,0) c | SolvingTime   |                 |   14.9     |   14.8     |   14.3     |   14.6     |   14.3     |   14.3     |   14.3     |   14.3     |
122.46/18.70	c (15,0) c | PropagationTim|                 |   12.6  85%|   12.7  86%|   12.2  85%|   12.5  85%|   12.2  86%|   12.2  86%|   12.2  86%|   12.2  86%|
122.46/18.70	c (15,0) c | AnalysisTime  |                 |    1.7  11%|    1.4  10%|    1.5  10%|    1.5  10%|    1.4  10%|    1.4  10%|    1.4  10%|    1.4  10%|
122.46/18.70	c (15,0) c | ReductionTime |                 |    0.1   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.1   1%|    0.1   1%|
122.46/18.70	c (15,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%|
122.46/18.70	c (15,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%|
122.46/18.70	c (15,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%|
122.46/18.70	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c
122.46/18.70	c (15,0) c Threads : 8
122.46/18.70	c (15,0) c Winner : 6
122.46/18.70	c (15,0) c Conflicts_0 : 76338
122.46/18.70	c (15,0) c Conflicts_1 : 74344
122.46/18.70	c (15,0) c Conflicts_2 : 76656
122.46/18.70	c (15,0) c Conflicts_3 : 76681
122.46/18.70	c (15,0) c Conflicts_4 : 73548
122.46/18.70	c (15,0) c Conflicts_5 : 76211
122.46/18.70	c (15,0) c Conflicts_6 : 76964
122.46/18.70	c (15,0) c Conflicts_7 : 75587
122.46/18.70	c (15,0) c Conflicts_total : 606329
122.46/18.70	c (15,0) c Conflicts_winner : 76964
122.46/18.70	c (15,0) c Decisions_0 : 143726
122.46/18.70	c (15,0) c Decisions_1 : 138476
122.46/18.70	c (15,0) c Decisions_2 : 143101
122.46/18.70	c (15,0) c Decisions_3 : 146711
122.46/18.70	c (15,0) c Decisions_4 : 137519
122.46/18.70	c (15,0) c Decisions_5 : 147248
122.46/18.70	c (15,0) c Decisions_6 : 145915
122.46/18.70	c (15,0) c Decisions_7 : 143293
122.46/18.70	c (15,0) c Decisions_total : 1145989
122.46/18.70	c (15,0) c Decisions_winner : 145915
122.46/18.70	c (15,0) c Propagations_0 : 22959914
122.46/18.70	c (15,0) c Propagations_1 : 22862306
122.46/18.70	c (15,0) c Propagations_2 : 23335046
122.46/18.70	c (15,0) c Propagations_3 : 23027049
122.46/18.70	c (15,0) c Propagations_4 : 23164428
122.46/18.70	c (15,0) c Propagations_5 : 23204958
122.46/18.70	c (15,0) c Propagations_6 : 23183685
122.46/18.70	c (15,0) c Propagations_7 : 23131237
122.46/18.70	c (15,0) c Propagations_total : 184868623
122.46/18.70	c (15,0) c Propagations_winner : 23183685
122.46/18.70	c (15,0) c ReduceDBs_0 : 7
122.46/18.70	c (15,0) c ReduceDBs_1 : 7
122.46/18.70	c (15,0) c ReduceDBs_2 : 7
122.46/18.70	c (15,0) c ReduceDBs_3 : 7
122.46/18.70	c (15,0) c ReduceDBs_4 : 7
122.46/18.70	c (15,0) c ReduceDBs_5 : 7
122.46/18.70	c (15,0) c ReduceDBs_6 : 7
122.46/18.70	c (15,0) c ReduceDBs_7 : 7
122.46/18.70	c (15,0) c ReduceDBs_total : 56
122.46/18.70	c (15,0) c ReduceDBs_winner : 7
122.46/18.70	c (15,0) c SimpDBs_0 : 1
122.46/18.70	c (15,0) c SimpDBs_1 : 1
122.46/18.70	c (15,0) c SimpDBs_2 : 1
122.46/18.70	c (15,0) c SimpDBs_3 : 1
122.46/18.70	c (15,0) c SimpDBs_4 : 1
122.46/18.70	c (15,0) c SimpDBs_5 : 1
122.46/18.70	c (15,0) c SimpDBs_6 : 1
122.46/18.70	c (15,0) c SimpDBs_7 : 1
122.46/18.70	c (15,0) c SimpDBs_total : 8
122.46/18.70	c (15,0) c SimpDBs_winner : 1
122.46/18.70	c (15,0) c Restarts_0 : 181
122.46/18.70	c (15,0) c Restarts_1 : 180
122.46/18.70	c (15,0) c Restarts_2 : 203
122.46/18.70	c (15,0) c Restarts_3 : 234
122.46/18.70	c (15,0) c Restarts_4 : 148
122.46/18.70	c (15,0) c Restarts_5 : 232
122.46/18.71	c (15,0) c Restarts_6 : 209
122.46/18.71	c (15,0) c Restarts_7 : 198
122.46/18.71	c (15,0) c Restarts_total : 1585
122.46/18.71	c (15,0) c Restarts_winner : 209
122.46/18.71	c (15,0) c ForcedImports_0 : 0
122.46/18.71	c (15,0) c ForcedImports_1 : 0
122.46/18.71	c (15,0) c ForcedImports_2 : 0
122.46/18.71	c (15,0) c ForcedImports_3 : 0
122.46/18.71	c (15,0) c ForcedImports_4 : 0
122.46/18.71	c (15,0) c ForcedImports_5 : 0
122.46/18.71	c (15,0) c ForcedImports_6 : 0
122.46/18.71	c (15,0) c ForcedImports_7 : 0
122.46/18.71	c (15,0) c ForcedImports_total : 0
122.46/18.71	c (15,0) c ForcedImports_winner : 0
122.46/18.71	c (15,0) c PropsBinClauses_0 : 28668903
122.46/18.71	c (15,0) c PropsBinClauses_1 : 28761249
122.46/18.71	c (15,0) c PropsBinClauses_2 : 29868819
122.46/18.71	c (15,0) c PropsBinClauses_3 : 28975645
122.46/18.71	c (15,0) c PropsBinClauses_4 : 29078051
122.46/18.71	c (15,0) c PropsBinClauses_5 : 29005075
122.46/18.71	c (15,0) c PropsBinClauses_6 : 29428235
122.46/18.71	c (15,0) c PropsBinClauses_7 : 29008408
122.46/18.71	c (15,0) c PropsBinClauses_total : 232794385
122.46/18.71	c (15,0) c PropsBinClauses_winner : 29428235
122.46/18.71	c (15,0) c PropsPreBlocker_0 : 483212842
122.46/18.71	c (15,0) c PropsPreBlocker_1 : 483466178
122.46/18.71	c (15,0) c PropsPreBlocker_2 : 492271285
122.46/18.71	c (15,0) c PropsPreBlocker_3 : 486461959
122.46/18.71	c (15,0) c PropsPreBlocker_4 : 488686676
122.46/18.71	c (15,0) c PropsPreBlocker_5 : 489976019
122.46/18.71	c (15,0) c PropsPreBlocker_6 : 487961068
122.46/18.71	c (15,0) c PropsPreBlocker_7 : 488318875
122.46/18.71	c (15,0) c PropsPreBlocker_total : 3900354902
122.46/18.71	c (15,0) c PropsPreBlocker_winner : 487961068
122.46/18.71	c (15,0) c PropsNotBlocker_0 : 146353025
122.46/18.71	c (15,0) c PropsNotBlocker_1 : 146131079
122.46/18.71	c (15,0) c PropsNotBlocker_2 : 147913523
122.46/18.71	c (15,0) c PropsNotBlocker_3 : 145158760
122.46/18.71	c (15,0) c PropsNotBlocker_4 : 145058766
122.46/18.71	c (15,0) c PropsNotBlocker_5 : 145889015
122.46/18.71	c (15,0) c PropsNotBlocker_6 : 146739484
122.46/18.71	c (15,0) c PropsNotBlocker_7 : 143736944
122.46/18.71	c (15,0) c PropsNotBlocker_total : 1166980596
122.46/18.71	c (15,0) c PropsNotBlocker_winner : 146739484
122.46/18.71	c (15,0) c PropsLitFullScans_0 : 858056759
122.46/18.71	c (15,0) c PropsLitFullScans_1 : 858048758
122.46/18.71	c (15,0) c PropsLitFullScans_2 : 870048498
122.46/18.71	c (15,0) c PropsLitFullScans_3 : 858050253
122.46/18.71	c (15,0) c PropsLitFullScans_4 : 862310957
122.46/18.71	c (15,0) c PropsLitFullScans_5 : 864084312
122.46/18.71	c (15,0) c PropsLitFullScans_6 : 861604156
122.46/18.71	c (15,0) c PropsLitFullScans_7 : 858040868
122.46/18.71	c (15,0) c PropsLitFullScans_total : 6890244561
122.46/18.71	c (15,0) c PropsLitFullScans_winner : 861604156
122.46/18.71	c (15,0) c LitScanFractions_0 : 49827
122.46/18.71	c (15,0) c LitScanFractions_1 : 40512
122.46/18.71	c (15,0) c LitScanFractions_2 : 42658
122.46/18.71	c (15,0) c LitScanFractions_3 : 46168
122.46/18.71	c (15,0) c LitScanFractions_4 : 33867
122.46/18.71	c (15,0) c LitScanFractions_5 : 79012
122.46/18.71	c (15,0) c LitScanFractions_6 : 38535
122.46/18.71	c (15,0) c LitScanFractions_7 : 31692
122.46/18.71	c (15,0) c LitScanFractions_total : 362271
122.46/18.71	c (15,0) c LitScanFractions_winner : 38535
122.46/18.71	c (15,0) c DecisionLevel0_0 : 181
122.46/18.71	c (15,0) c DecisionLevel0_1 : 180
122.46/18.71	c (15,0) c DecisionLevel0_2 : 203
122.46/18.71	c (15,0) c DecisionLevel0_3 : 234
122.46/18.71	c (15,0) c DecisionLevel0_4 : 148
122.46/18.71	c (15,0) c DecisionLevel0_5 : 232
122.46/18.71	c (15,0) c DecisionLevel0_6 : 209
122.46/18.71	c (15,0) c DecisionLevel0_7 : 198
122.46/18.71	c (15,0) c DecisionLevel0_total : 1585
122.46/18.71	c (15,0) c DecisionLevel0_winner : 209
122.46/18.71	c (15,0) c Periods_0 : 143
122.46/18.71	c (15,0) c Periods_1 : 143
122.46/18.71	c (15,0) c Periods_2 : 145
122.46/18.71	c (15,0) c Periods_3 : 143
122.46/18.71	c (15,0) c Periods_4 : 143
122.46/18.71	c (15,0) c Periods_5 : 144
122.46/18.71	c (15,0) c Periods_6 : 143
122.46/18.71	c (15,0) c Periods_7 : 143
122.46/18.71	c (15,0) c Periods_total : 1147
122.46/18.71	c (15,0) c Periods_winner : 143
122.46/18.71	c (15,0) c Margin_0 : 20
122.46/18.71	c (15,0) c Margin_1 : 20
122.46/18.71	c (15,0) c Margin_2 : 20
122.46/18.71	c (15,0) c Margin_3 : 20
122.46/18.71	c (15,0) c Margin_4 : 20
122.46/18.71	c (15,0) c Margin_5 : 20
122.46/18.71	c (15,0) c Margin_6 : 20
122.46/18.71	c (15,0) c Margin_7 : 20
122.46/18.71	c (15,0) c Margin_total : 160
122.46/18.71	c (15,0) c Margin_winner : 20
122.46/18.71	c (15,0) c Exported_0 : 11986
122.46/18.71	c (15,0) c Exported_1 : 12022
122.46/18.71	c (15,0) c Exported_2 : 12631
122.46/18.71	c (15,0) c Exported_3 : 12161
122.46/18.71	c (15,0) c Exported_4 : 12097
122.46/18.71	c (15,0) c Exported_5 : 11611
122.46/18.71	c (15,0) c Exported_6 : 13109
122.46/18.71	c (15,0) c Exported_7 : 11778
122.46/18.71	c (15,0) c Exported_total : 97395
122.46/18.71	c (15,0) c Exported_winner : 13109
122.46/18.71	c (15,0) c Imported_0 : 76754
122.46/18.71	c (15,0) c Imported_1 : 76869
122.46/18.71	c (15,0) c Imported_2 : 74816
122.46/18.71	c (15,0) c Imported_3 : 76755
122.46/18.71	c (15,0) c Imported_4 : 76674
122.46/18.71	c (15,0) c Imported_5 : 77464
122.46/18.71	c (15,0) c Imported_6 : 76159
122.46/18.71	c (15,0) c Imported_7 : 76366
122.46/18.71	c (15,0) c Imported_total : 611857
122.46/18.71	c (15,0) c Imported_winner : 76159
122.46/18.71	c (15,0) c Good_0 : 9
122.46/18.71	c (15,0) c Good_1 : 12
122.46/18.71	c (15,0) c Good_2 : 8
122.46/18.71	c (15,0) c Good_3 : 13
122.46/18.71	c (15,0) c Good_4 : 13
122.46/18.71	c (15,0) c Good_5 : 13
122.46/18.71	c (15,0) c Good_6 : 13
122.46/18.71	c (15,0) c Good_7 : 14
122.46/18.71	c (15,0) c Good_total : 95
122.46/18.71	c (15,0) c Good_winner : 13
122.46/18.71	c (15,0) c Purge_0 : 76745
122.46/18.71	c (15,0) c Purge_1 : 76857
122.46/18.71	c (15,0) c Purge_2 : 74808
122.46/18.71	c (15,0) c Purge_3 : 76742
122.46/18.71	c (15,0) c Purge_4 : 76661
122.46/18.71	c (15,0) c Purge_5 : 77451
122.46/18.71	c (15,0) c Purge_6 : 76146
122.46/18.71	c (15,0) c Purge_7 : 76352
122.46/18.71	c (15,0) c Purge_total : 611762
122.46/18.71	c (15,0) c Purge_winner : 76146
122.46/18.71	c (15,0) c Promoted_0 : 5999
122.46/18.71	c (15,0) c Promoted_1 : 5559
122.46/18.71	c (15,0) c Promoted_2 : 5543
122.46/18.71	c (15,0) c Promoted_3 : 5599
122.46/18.71	c (15,0) c Promoted_4 : 5522
122.46/18.71	c (15,0) c Promoted_5 : 5792
122.46/18.71	c (15,0) c Promoted_6 : 5552
122.46/18.71	c (15,0) c Promoted_7 : 5878
122.46/18.71	c (15,0) c Promoted_total : 45444
122.46/18.71	c (15,0) c Promoted_winner : 5552
122.46/18.71	c (15,0) c Remove_Imp_0 : 33774
122.46/18.71	c (15,0) c Remove_Imp_1 : 41320
122.46/18.71	c (15,0) c Remove_Imp_2 : 40060
122.46/18.71	c (15,0) c Remove_Imp_3 : 39183
122.46/18.71	c (15,0) c Remove_Imp_4 : 40486
122.46/18.71	c (15,0) c Remove_Imp_5 : 39948
122.46/18.71	c (15,0) c Remove_Imp_6 : 39024
122.46/18.71	c (15,0) c Remove_Imp_7 : 37979
122.46/18.71	c (15,0) c Remove_Imp_total : 311774
122.46/18.71	c (15,0) c Remove_Imp_winner : 39024
122.46/18.71	c (15,0) c Blocked_Reuse_0 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_1 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_2 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_3 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_4 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_5 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_6 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_7 : 0
122.46/18.71	c (15,0) c Blocked_Reuse_total : 0
122.46/18.71	c (15,0) c Blocked_Reuse_winner : 0
122.46/18.71	c (15,0) c Unaries_0 : 0
122.46/18.71	c (15,0) c Unaries_1 : 0
122.46/18.71	c (15,0) c Unaries_2 : 0
122.46/18.71	c (15,0) c Unaries_3 : 0
122.46/18.71	c (15,0) c Unaries_4 : 0
122.46/18.71	c (15,0) c Unaries_5 : 0
122.46/18.71	c (15,0) c Unaries_6 : 0
122.46/18.71	c (15,0) c Unaries_7 : 0
122.46/18.71	c (15,0) c Unaries_total : 0
122.46/18.71	c (15,0) c Unaries_winner : 0
122.46/18.71	c (15,0) c Binaries_0 : 5
122.46/18.71	c (15,0) c Binaries_1 : 2
122.46/18.71	c (15,0) c Binaries_2 : 4
122.46/18.71	c (15,0) c Binaries_3 : 2
122.46/18.71	c (15,0) c Binaries_4 : 1
122.46/18.71	c (15,0) c Binaries_5 : 1
122.46/18.71	c (15,0) c Binaries_6 : 2
122.46/18.71	c (15,0) c Binaries_7 : 0
122.46/18.71	c (15,0) c Binaries_total : 17
122.46/18.71	c (15,0) c Binaries_winner : 2
122.46/18.71	c (15,0) c Glues_0 : 52
122.46/18.71	c (15,0) c Glues_1 : 43
122.46/18.71	c (15,0) c Glues_2 : 36
122.46/18.71	c (15,0) c Glues_3 : 39
122.46/18.71	c (15,0) c Glues_4 : 29
122.46/18.71	c (15,0) c Glues_5 : 36
122.46/18.71	c (15,0) c Glues_6 : 37
122.46/18.71	c (15,0) c Glues_7 : 33
122.46/18.71	c (15,0) c Glues_total : 305
122.46/18.71	c (15,0) c Glues_winner : 37
122.46/18.71	c (15,0) c RunningTime_0 : 14.864390
122.46/18.71	c (15,0) c RunningTime_1 : 14.750160
122.46/18.71	c (15,0) c RunningTime_2 : 14.286242
122.46/18.71	c (15,0) c RunningTime_3 : 14.603497
122.46/18.71	c (15,0) c RunningTime_4 : 14.259692
122.46/18.71	c (15,0) c RunningTime_5 : 14.275796
122.46/18.71	c (15,0) c RunningTime_6 : 14.225620
122.46/18.71	c (15,0) c RunningTime_7 : 14.245825
122.46/18.71	c (15,0) c RunningTime_total : 115.511222
122.46/18.71	c (15,0) c RunningTime_winner : 14.225620
122.46/18.71	c (15,0) c WaitingTime_0 : 0.000145
122.46/18.71	c (15,0) c WaitingTime_1 : 0.000151
122.46/18.71	c (15,0) c WaitingTime_2 : 0.000186
122.46/18.71	c (15,0) c WaitingTime_3 : 0.000192
122.46/18.71	c (15,0) c WaitingTime_4 : 0.000191
122.46/18.71	c (15,0) c WaitingTime_5 : 0.000190
122.46/18.71	c (15,0) c WaitingTime_6 : 0.000181
122.46/18.71	c (15,0) c WaitingTime_7 : 0.000195
122.46/18.71	c (15,0) c WaitingTime_total : 0.001431
122.46/18.71	c (15,0) c WaitingTime_winner : 0.000181
122.46/18.71	c (15,0) c ExchangingTime_0 : 0.032439
122.46/18.71	c (15,0) c ExchangingTime_1 : 0.032570
122.46/18.71	c (15,0) c ExchangingTime_2 : 0.025944
122.46/18.71	c (15,0) c ExchangingTime_3 : 0.030366
122.46/18.71	c (15,0) c ExchangingTime_4 : 0.029711
122.46/18.71	c (15,0) c ExchangingTime_5 : 0.026600
122.46/18.71	c (15,0) c ExchangingTime_6 : 0.030384
122.46/18.71	c (15,0) c ExchangingTime_7 : 0.030707
122.46/18.71	c (15,0) c ExchangingTime_total : 0.238721
122.46/18.71	c (15,0) c ExchangingTime_winner : 0.030384
122.46/18.71	c (15,0) c PeriodProcTime_0 : 0.001255
122.46/18.71	c (15,0) c PeriodProcTime_1 : 0.001276
122.46/18.71	c (15,0) c PeriodProcTime_2 : 0.001009
122.46/18.71	c (15,0) c PeriodProcTime_3 : 0.001246
122.46/18.71	c (15,0) c PeriodProcTime_4 : 0.001303
122.46/18.71	c (15,0) c PeriodProcTime_5 : 0.001019
122.46/18.71	c (15,0) c PeriodProcTime_6 : 0.001159
122.46/18.71	c (15,0) c PeriodProcTime_7 : 0.001259
122.46/18.71	c (15,0) c PeriodProcTime_total : 0.009527
122.46/18.71	c (15,0) c PeriodProcTime_winner : 0.001159
122.46/18.71	c (15,0) c SolvingTime_0 : 14.898229
122.46/18.71	c (15,0) c SolvingTime_1 : 14.784156
122.46/18.71	c (15,0) c SolvingTime_2 : 14.313381
122.46/18.71	c (15,0) c SolvingTime_3 : 14.635302
122.46/18.71	c (15,0) c SolvingTime_4 : 14.290897
122.46/18.71	c (15,0) c SolvingTime_5 : 14.303604
122.46/18.71	c (15,0) c SolvingTime_6 : 14.257345
122.46/18.71	c (15,0) c SolvingTime_7 : 14.277986
122.46/18.71	c (15,0) c SolvingTime_total : 115.760901
122.46/18.71	c (15,0) c SolvingTime_winner : 14.257345
122.46/18.71	c (15,0) c PropagationTime_0 : 12.640159
122.46/18.71	c (15,0) c PropagationTime_1 : 12.740823
122.46/18.71	c (15,0) c PropagationTime_2 : 12.231414
122.46/18.71	c (15,0) c PropagationTime_3 : 12.509326
122.46/18.71	c (15,0) c PropagationTime_4 : 12.245692
122.46/18.71	c (15,0) c PropagationTime_5 : 12.230732
122.46/18.71	c (15,0) c PropagationTime_6 : 12.204816
122.46/18.71	c (15,0) c PropagationTime_7 : 12.221676
122.46/18.71	c (15,0) c PropagationTime_total : 99.024638
122.46/18.71	c (15,0) c PropagationTime_winner : 12.204816
122.46/18.71	c (15,0) c AnalysisTime_0 : 1.650782
122.46/18.71	c (15,0) c AnalysisTime_1 : 1.422893
122.46/18.71	c (15,0) c AnalysisTime_2 : 1.466572
122.46/18.71	c (15,0) c AnalysisTime_3 : 1.484477
122.46/18.71	c (15,0) c AnalysisTime_4 : 1.437401
122.46/18.71	c (15,0) c AnalysisTime_5 : 1.446133
122.46/18.71	c (15,0) c AnalysisTime_6 : 1.431006
122.46/18.71	c (15,0) c AnalysisTime_7 : 1.443240
122.46/18.71	c (15,0) c AnalysisTime_total : 11.782503
122.46/18.71	c (15,0) c AnalysisTime_winner : 1.431006
122.46/18.71	c (15,0) c ReductionTime_0 : 0.138822
122.46/18.71	c (15,0) c ReductionTime_1 : 0.153621
122.46/18.71	c (15,0) c ReductionTime_2 : 0.166817
122.46/18.71	c (15,0) c ReductionTime_3 : 0.154422
122.46/18.71	c (15,0) c ReductionTime_4 : 0.151473
122.46/18.71	c (15,0) c ReductionTime_5 : 0.150574
122.46/18.71	c (15,0) c ReductionTime_6 : 0.147914
122.46/18.71	c (15,0) c ReductionTime_7 : 0.149893
122.46/18.71	c (15,0) c ReductionTime_total : 1.213536
122.46/18.71	c (15,0) c ReductionTime_winner : 0.147914
122.46/18.71	c (15,0) c SimplifyTime_0 : 0.000018
122.46/18.71	c (15,0) c SimplifyTime_1 : 0.000023
122.46/18.71	c (15,0) c SimplifyTime_2 : 0.000015
122.46/18.71	c (15,0) c SimplifyTime_3 : 0.000020
122.46/18.71	c (15,0) c SimplifyTime_4 : 0.000017
122.46/18.71	c (15,0) c SimplifyTime_5 : 0.000022
122.46/18.71	c (15,0) c SimplifyTime_6 : 0.000020
122.46/18.71	c (15,0) c SimplifyTime_7 : 0.000017
122.46/18.71	c (15,0) c SimplifyTime_total : 0.000151
122.46/18.71	c (15,0) c SimplifyTime_winner : 0.000020
122.46/18.71	c (15,0) c UsedRateTime_0 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_1 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_2 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_3 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_4 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_5 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_6 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_7 : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_total : 0.000000
122.46/18.71	c (15,0) c UsedRateTime_winner : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_0 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_1 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_2 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_3 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_4 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_5 : 0.000000
122.46/18.71	c (15,0) c OverlapRateTime_6 : 0.000000
122.46/18.72	c (15,0) c OverlapRateTime_7 : 0.000000
122.46/18.72	c (15,0) c OverlapRateTime_total : 0.000000
122.46/18.72	c (15,0) c OverlapRateTime_winner : 0.000000
122.46/18.72	c (15,0) c
122.46/18.72	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
122.46/18.72	c (15,0) c
122.46/18.72	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.72	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
122.46/18.72	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.72	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
122.46/18.72	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
122.46/18.72	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
122.46/18.72	c (15,0) c | Initial random_seed   | 1448888057 | 1885706614 |  741838420 |  534357814 |  190869395 | 1720508035 | 1374942022 | 1393921338 |
122.46/18.72	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
122.46/18.72	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
122.46/18.72	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
122.46/18.72	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
122.46/18.72	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
122.46/18.72	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
122.46/18.72	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
122.46/18.72	c (15,0) c | var_decay             |     0.9500 |     0.9400 |     0.9500 |     0.9500 |     0.9400 |     0.9500 |     0.9500 |     0.9500 |
122.46/18.72	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
122.46/18.72	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
122.46/18.72	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
122.46/18.72	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
122.46/18.72	c (15,0) 
122.46/18.72	c (15,0) s SATISFIABLE
122.46/18.74	c (15,0) SatSolver.solve End
122.46/18.74	c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
122.46/18.74	c (15,0) Show results Begin
122.71/18.83	c (15,0) h[0] = 86
122.71/18.83	c (15,0) h[1] = 54
122.71/18.83	c (15,0) h[2] = 81
122.71/18.83	c (15,0) h[3] = 88
122.71/18.83	c (15,0) h[4] = 117
122.71/18.83	c (15,0) h[5] = 32
122.71/18.83	c (15,0) h[6] = 42
122.71/18.83	c (15,0) h[7] = 15
122.71/18.83	c (15,0) h[8] = 55
122.71/18.83	c (15,0) h[9] = 10
122.71/18.83	c (15,0) h[10] = 78
122.71/18.83	c (15,0) h[11] = 29
122.71/18.83	c (15,0) h[12] = 40
122.71/18.83	c (15,0) h[13] = 49
122.71/18.83	c (15,0) h[14] = 64
122.71/18.83	c (15,0) h[15] = 30
122.71/18.83	c (15,0) h[16] = 34
122.71/18.83	c (15,0) r[0] = 0
122.71/18.83	c (15,0) r[1] = 0
122.71/18.83	c (15,0) r[2] = 0
122.71/18.83	c (15,0) r[3] = 0
122.71/18.83	c (15,0) r[4] = 0
122.71/18.83	c (15,0) r[5] = 0
122.71/18.83	c (15,0) r[6] = 0
122.71/18.83	c (15,0) r[7] = 0
122.71/18.83	c (15,0) r[8] = 0
122.71/18.83	c (15,0) r[9] = 0
122.71/18.83	c (15,0) r[10] = 0
122.71/18.83	c (15,0) r[11] = 0
122.71/18.83	c (15,0) r[12] = 0
122.71/18.83	c (15,0) r[13] = 0
122.71/18.83	c (15,0) r[14] = 0
122.71/18.83	c (15,0) r[15] = 0
122.71/18.83	c (15,0) r[16] = 0
122.71/18.83	c (15,0) w[0] = 35
122.71/18.83	c (15,0) w[1] = 17
122.71/18.83	c (15,0) w[2] = 36
122.71/18.83	c (15,0) w[3] = 70
122.71/18.83	c (15,0) w[4] = 42
122.71/18.83	c (15,0) w[5] = 5
122.71/18.83	c (15,0) w[6] = 12
122.71/18.83	c (15,0) w[7] = 25
122.71/18.83	c (15,0) w[8] = 11
122.71/18.83	c (15,0) w[9] = 40
122.71/18.83	c (15,0) w[10] = 26
122.71/18.83	c (15,0) w[11] = 44
122.71/18.83	c (15,0) w[12] = 77
122.71/18.83	c (15,0) w[13] = 86
122.71/18.83	c (15,0) w[14] = 79
122.71/18.83	c (15,0) w[15] = 9
122.71/18.83	c (15,0) w[16] = 121
122.71/18.83	c (15,0) x[0] = 17
122.71/18.83	c (15,0) x[1] = 0
122.71/18.83	c (15,0) x[2] = 52
122.71/18.83	c (15,0) x[3] = 130
122.71/18.83	c (15,0) x[4] = 88
122.71/18.83	c (15,0) x[5] = 12
122.71/18.83	c (15,0) x[6] = 0
122.71/18.83	c (15,0) x[7] = 52
122.71/18.83	c (15,0) x[8] = 77
122.71/18.83	c (15,0) x[9] = 12
122.71/18.83	c (15,0) x[10] = 174
122.71/18.83	c (15,0) x[11] = 130
122.71/18.83	c (15,0) x[12] = 0
122.71/18.83	c (15,0) x[13] = 88
122.71/18.83	c (15,0) x[14] = 0
122.71/18.83	c (15,0) x[15] = 79
122.71/18.83	c (15,0) x[16] = 79
122.71/18.83	c (15,0) y[0] = 0
122.71/18.83	c (15,0) y[1] = 0
122.71/18.83	c (15,0) y[2] = 0
122.71/18.83	c (15,0) y[3] = 78
122.71/18.83	c (15,0) y[4] = 49
122.71/18.83	c (15,0) y[5] = 54
122.71/18.83	c (15,0) y[6] = 54
122.71/18.83	c (15,0) y[7] = 81
122.71/18.83	c (15,0) y[8] = 81
122.71/18.83	c (15,0) y[9] = 86
122.71/18.83	c (15,0) y[10] = 0
122.71/18.83	c (15,0) y[11] = 49
122.71/18.83	c (15,0) y[12] = 96
122.71/18.83	c (15,0) y[13] = 0
122.71/18.83	c (15,0) y[14] = 136
122.71/18.83	c (15,0) y[15] = 136
122.71/18.83	c (15,0) y[16] = 166
122.71/18.83	s SATISFIABLE
122.71/18.84	v <instantiation>
122.71/18.84	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] 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] 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] 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] 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]</list>
122.71/18.84	v     <values>17 0 52 130 88 12 0 52 77 12 174 130 0 88 0 79 79 0 0 0 78 49 54 54 81 81 86 0 49 96 0 136 136 166 35 17 36 70 42 5 12 25 11 40 26 44 77 86 79 9 121 86 54 81 88 117 32 42 15 55 10 78 29 40 49 64 30 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
122.71/18.84	v </instantiation>
122.71/18.84	c (15,0) Show results End
122.71/18.85	c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
122.71/18.85	c (15,0) 15,15,STOP-AFTER(ALL)
122.71/18.85	c END-Prog: Sat Sep 14 01:19:13 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 (11792 MiB free)
  memory of node 1: 16384 MiB (14433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392425-1568416777/watcher-4392425-1568416777 -o /tmp/evaluation-result-4392425-1568416777/solver-4392425-1568416777 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568416725-12631 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392425-1568416777.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13034, runsolver pid=13031
Current StackSize limit: 8192 KiB


[startup+0.100166 s]*
/proc/loadavg: 0.08 0.27 0.71 1/211 13056
/proc/meminfo: memFree=26766936/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417591595 115843072 348 33554432000 4194304 5098028 140735546882912 140735546880168 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 348 296 221 0 87 0
[pid=13037] ppid=13034 vsize=27314120 memory=104660 CPUtime=0.08 cores=0-7
/proc/13037/stat : 13037 (java) S 13034 13034 12604 0 -1 1077944320 6725 0 0 0 6 2 0 0 20 0 20 0 417591596 27969658880 26165 33554432000 4194304 4196468 140726132452032 140726132434576 140180155490039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
/proc/13037/statm: 6828530 26165 2681 1 0 6790935 0
[pid=13037/tid=13038] ppid=13034 vsize=27314120 memory=4134930498285298233 CPUtime=0.07 cores=0-7
/proc/13037/task/13038/stat : 13038 (java) R 13034 13034 12604 0 -1 4202560 4908 0 0 0 5 2 0 0 20 0 20 0 417591596 27969658880 26231 33554432000 4194304 4196468 140726132452032 140180127317024 140179977903990 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13039] ppid=13034 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13037/task/13039/stat : 13039 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140180159732240 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13040] ppid=13034 vsize=27314120 memory=140250255337088 CPUtime=0 cores=0-7
/proc/13037/task/13040/stat : 13040 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179973888656 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13041] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13041/stat : 13041 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179972835600 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13042] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13042/stat : 13042 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179971783056 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13043] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13043/stat : 13043 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179970731024 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13044] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13044/stat : 13044 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179969678480 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13045] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13045/stat : 13045 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179968625424 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13046] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13046/stat : 13046 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179967572880 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13048] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13048/stat : 13048 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591600 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179213838576 140180155501186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13049] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13049/stat : 13049 (java) S 13034 13034 12604 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 26231 33554432000 4194304 4196468 140726132452032 140178068858016 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13050] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13050/stat : 13050 (java) S 13034 13034 12604 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177934635760 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13051] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13051/stat : 13051 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177560131536 140180155508635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13052] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13052/stat : 13052 (java) S 13034 13034 12604 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179212786416 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13053] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13053/stat : 13053 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140179211733872 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13054] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13054/stat : 13054 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177800415728 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13055] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13055/stat : 13055 (java) S 13034 13034 12604 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177799363184 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13056] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13056/stat : 13056 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177062226400 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13057] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13057/stat : 13057 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591606 27969658880 26231 33554432000 4194304 4196468 140726132452032 140177798310576 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106052 KiB

[startup+0.210278 s]*
/proc/loadavg: 0.08 0.27 0.71 2/212 13057
/proc/meminfo: memFree=26743332/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417591595 115843072 348 33554432000 4194304 5098028 140735546882912 140735546880168 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 348 296 221 0 87 0
[pid=13037] ppid=13034 vsize=27314120 memory=122236 CPUtime=0.21 cores=0-7
/proc/13037/stat : 13037 (java) S 13034 13034 12604 0 -1 1077944320 12363 0 0 0 17 4 0 0 20 0 20 0 417591596 27969658880 30559 33554432000 4194304 4196468 140726132452032 140726132434576 140180155490039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
/proc/13037/statm: 6828530 30559 2934 1 0 6790935 0
[pid=13037/tid=13038] ppid=13034 vsize=27314120 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/13037/task/13038/stat : 13038 (java) R 13034 13034 12604 0 -1 4202560 10113 0 0 0 14 3 0 0 20 0 20 0 417591596 27969658880 30559 33554432000 4194304 4196468 140726132452032 140180127293648 140180155511965 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13039] ppid=13034 vsize=27314120 memory=328 CPUtime=0 cores=0-7
/proc/13037/task/13039/stat : 13039 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140180159732240 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13040] ppid=13034 vsize=27314120 memory=140250258468269 CPUtime=0 cores=0-7
/proc/13037/task/13040/stat : 13040 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179973888656 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13041] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13041/stat : 13041 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179972835600 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13042] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13042/stat : 13042 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179971783056 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13043] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13043/stat : 13043 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179970731024 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13044] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13044/stat : 13044 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179969678480 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13045] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13045/stat : 13045 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179968625424 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13046] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13046/stat : 13046 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179967572880 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13048] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13048/stat : 13048 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591600 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179213838576 140180155501186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13049] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13049/stat : 13049 (java) S 13034 13034 12604 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 30559 33554432000 4194304 4196468 140726132452032 140178068858016 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13050] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13050/stat : 13050 (java) S 13034 13034 12604 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177934635760 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13051] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13051/stat : 13051 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177560131536 140180155508635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13052] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13052/stat : 13052 (java) S 13034 13034 12604 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179212786416 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13053] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13053/stat : 13053 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140179211733872 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13054] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13054/stat : 13054 (java) S 13034 13034 12604 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177800415728 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13055] ppid=13034 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/13037/task/13055/stat : 13055 (java) R 13034 13034 12604 0 -1 4202560 461 0 0 0 2 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177799363184 140180155501974 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13056] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13056/stat : 13056 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177062226400 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13057] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13057/stat : 13057 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591606 27969658880 30559 33554432000 4194304 4196468 140726132452032 140177798310576 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123628 KiB

[startup+0.309418 s]*
/proc/loadavg: 0.08 0.27 0.71 2/212 13057
/proc/meminfo: memFree=26738852/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417591595 115843072 348 33554432000 4194304 5098028 140735546882912 140735546880168 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 348 296 221 0 87 0
[pid=13037] ppid=13034 vsize=27314120 memory=127992 CPUtime=0.4 cores=0-7
/proc/13037/stat : 13037 (java) S 13034 13034 12604 0 -1 1077944320 12766 0 0 0 35 5 0 0 20 0 20 0 417591596 27969658880 31998 33554432000 4194304 4196468 140726132452032 140726132434576 140180155490039 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
/proc/13037/statm: 6828530 31998 3046 1 0 6790935 0
[pid=13037/tid=13038] ppid=13034 vsize=27314120 memory=6791534058613427641 CPUtime=0.27 cores=0-7
/proc/13037/task/13038/stat : 13038 (java) R 13034 13034 12604 0 -1 4202560 10317 0 0 0 24 3 0 0 20 0 20 0 417591596 27969658880 31998 33554432000 4194304 4196468 140726132452032 140180127314592 140180139570556 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13039] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13039/stat : 13039 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140180159732240 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13040] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13040/stat : 13040 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179973888656 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13041] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13041/stat : 13041 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179972835600 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13042] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13042/stat : 13042 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179971783056 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13043] ppid=13034 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/13037/task/13043/stat : 13043 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179970731024 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13044] ppid=13034 vsize=27314120 memory=140250143880111 CPUtime=0 cores=0-7
/proc/13037/task/13044/stat : 13044 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179969678480 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13045] ppid=13034 vsize=27314120 memory=140250143882416 CPUtime=0 cores=0-7
/proc/13037/task/13045/stat : 13045 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179968625424 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13046] ppid=13034 vsize=27314120 memory=140250143884720 CPUtime=0 cores=0-7
/proc/13037/task/13046/stat : 13046 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179967572880 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13048] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13048/stat : 13048 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591600 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179213838576 140180155501186 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13049] ppid=13034 vsize=27314120 memory=280500287776400 CPUtime=0 cores=0-7
/proc/13037/task/13049/stat : 13049 (java) S 13034 13034 12604 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 31998 33554432000 4194304 4196468 140726132452032 140178068858016 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13050] ppid=13034 vsize=27314120 memory=280500287783312 CPUtime=0 cores=0-7
/proc/13037/task/13050/stat : 13050 (java) S 13034 13034 12604 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417591601 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177934635760 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13051] ppid=13034 vsize=27314120 memory=280500287724592 CPUtime=0 cores=0-7
/proc/13037/task/13051/stat : 13051 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177560131536 140180155508635 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13052] ppid=13034 vsize=27314120 memory=280500287797136 CPUtime=0 cores=0-7
/proc/13037/task/13052/stat : 13052 (java) S 13034 13034 12604 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179212786416 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13053] ppid=13034 vsize=27314120 memory=280500287804048 CPUtime=0.02 cores=0-7
/proc/13037/task/13053/stat : 13053 (java) S 13034 13034 12604 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140179211733872 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13054] ppid=13034 vsize=27314120 memory=280500287801744 CPUtime=0 cores=0-7
/proc/13037/task/13054/stat : 13054 (java) S 13034 13034 12604 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177800415728 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13055] ppid=13034 vsize=27314120 memory=280500287817904 CPUtime=0.07 cores=0-7
/proc/13037/task/13055/stat : 13055 (java) S 13034 13034 12604 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177799363184 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13056] ppid=13034 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13056/stat : 13056 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417591604 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177062226400 140180155500245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13057] ppid=13034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/13037/task/13057/stat : 13057 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591606 27969658880 31998 33554432000 4194304 4196468 140726132452032 140177798310576 140180155501186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129384 KiB

[startup+0.700893 s]
/proc/loadavg: 0.08 0.27 0.71 3/212 13057
/proc/meminfo: memFree=26719928/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 417591595 115843072 348 33554432000 4194304 5098028 140735546882912 140735546880168 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 348 296 221 0 87 0
[pid=13037] ppid=13034 vsize=27320392 memory=162788 CPUtime=0.95 cores=0-7
/proc/13037/stat : 13037 (java) S 13034 13034 12604 0 -1 1077944320 20297 0 0 0 86 9 0 0 20 0 20 0 417591596 27976081408 40697 33554432000 4194304 4196468 140726132452032 140726132434576 140180155490039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
/proc/13037/statm: 6830098 40697 3172 1 0 6791447 0
[pid=13037/tid=13038] ppid=13034 vsize=27320392 memory=280500288175792 CPUtime=0.65 cores=0-7
/proc/13037/task/13038/stat : 13038 (java) R 13034 13034 12604 0 -1 4202560 17323 0 0 0 59 6 0 0 20 0 20 0 417591596 27976081408 40697 33554432000 4194304 4196468 140726132452032 140180127322032 140180138858845 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13039] ppid=13034 vsize=27320392 memory=140250144088944 CPUtime=0 cores=0-7
/proc/13037/task/13039/stat : 13039 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27976081408 40697 33554432000 4194304 4196468 140726132452032 140180159732240 140180155500245 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13040] ppid=13034 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/13037/task/13040/stat : 13040 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417591599 27976081408 40697 33554432000 4194304 4196468 140726132452032 140179973888656 140180155500245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0
[pid=13037/tid=13041] ppid=13034 vsize=27320392 memory=1096 CPUtime=0 cores=0-7
/proc/13037/task/13041/stat : 13041 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417591599 27976081408 40697 33554432000 4194304 4196468 140726132452032 140179972835600 140180155500245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25239552 140726132454123 140726132454550 140726132454550 140726132457423 0

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

/proc/13058/task/13063/stat : 13063 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899794951184 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13064] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13064/stat : 13064 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899793897872 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13065] ppid=13034 vsize=8414124 memory=288230617492234971 CPUtime=0 cores=0-7
/proc/13058/task/13065/stat : 13065 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899792845072 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13066] ppid=13034 vsize=8414124 memory=15535219654546125 CPUtime=0 cores=0-7
/proc/13058/task/13066/stat : 13066 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899791792784 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13067] ppid=13034 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/13058/task/13067/stat : 13067 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899790739984 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13068] ppid=13034 vsize=8414124 memory=7445407198981547876 CPUtime=0 cores=0-7
/proc/13058/task/13068/stat : 13068 (java) S 13034 13034 12604 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898750188144 139899992656514 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13069] ppid=13034 vsize=8414124 memory=6009603347192439907 CPUtime=0 cores=0-7
/proc/13058/task/13069/stat : 13069 (java) S 13034 13034 12604 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898627548448 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13070] ppid=13034 vsize=8414124 memory=7378987904814764624 CPUtime=0 cores=0-7
/proc/13058/task/13070/stat : 13070 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898359113328 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13071] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13071/stat : 13071 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897984604752 139899992663963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13072] ppid=13034 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/13058/task/13072/stat : 13072 (java) S 13034 13034 12604 0 -1 1077944384 650 0 0 0 7 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898749134960 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13073] ppid=13034 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/13058/task/13073/stat : 13073 (java) S 13034 13034 12604 0 -1 1077944384 271 0 0 0 6 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898748082160 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13074] ppid=13034 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/13058/task/13074/stat : 13074 (java) S 13034 13034 12604 0 -1 1077944384 270 0 0 0 6 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898747029872 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13075] ppid=13034 vsize=8414124 memory=2241 CPUtime=0.21 cores=0-7
/proc/13058/task/13075/stat : 13075 (java) S 13034 13034 12604 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898745977072 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13076] ppid=13034 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/13058/task/13076/stat : 13076 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897486699360 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13077] ppid=13034 vsize=8414124 memory=5787233721067851877 CPUtime=0 cores=0-7
/proc/13058/task/13077/stat : 13077 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898744924976 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13079] ppid=13034 vsize=8414124 memory=6100 CPUtime=0 cores=0-7
/proc/13058/task/13079/stat : 13079 (java) S 13034 13034 12604 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899433301824 139899992669977 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13081] ppid=13034 vsize=8414124 memory=2241 CPUtime=0 cores=0-7
/proc/13058/task/13081/stat : 13081 (java) S 13034 13034 12604 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139896815598992 139899992667293 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13082] ppid=13034 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/13058/task/13082/stat : 13082 (java) S 13034 13034 12604 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897084034320 139899992667293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13083] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13083/stat : 13083 (java) S 13034 13034 12604 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417591943 8616062976 30691 33554432000 4194304 4196468 140732636314624 139896547171632 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
Current children cumulated CPU time: 122.18 s
Current children cumulated vsize: 9227412 KiB
Current children cumulated memory: 458136 KiB

[startup+18.7011 s]
/proc/loadavg: 1.90 0.66 0.83 6/221 13091
/proc/meminfo: memFree=26413548/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1472 CPUtime=5.49 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 581 27649 0 0 0 0 523 26 20 0 1 0 417591595 115843072 368 33554432000 4194304 5098028 140735546882912 140735546879656 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 368 311 221 0 87 0
[pid=13058] ppid=13034 vsize=8414124 memory=122764 CPUtime=1.24 cores=0-7
/proc/13058/stat : 13058 (java) S 13034 13034 12604 0 -1 1077944320 20587 0 0 0 116 8 0 0 20 0 24 0 417591865 8616062976 30691 33554432000 4194304 4196468 140732636314624 140732636297168 139899992645367 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
/proc/13058/statm: 2103531 30691 3211 1 0 2064875 0
[pid=13078] ppid=13058 vsize=700160 memory=333928 CPUtime=115.73 cores=0-7
/proc/13078/stat : 13078 (manyglucose-4.1) S 13058 13034 12604 0 -1 1077944320 139909 0 0 0 11536 37 0 0 20 0 2 0 417591941 716963840 83482 33554432000 4194304 4454172 140736543713392 140736543711776 140520641400567 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 23404544 140736543720297 140736543720496 140736543720496 140736543723450 0
/proc/13078/statm: 175040 83482 416 64 0 170708 0
[pid=13078/tid=13084] ppid=13058 vsize=700160 memory=7686721470368028054 CPUtime=14.89 cores=0-7
/proc/13078/task/13084/stat : 13084 (manyglucose-4.1) R 13058 13034 12604 0 -1 4202560 13200 0 0 0 1484 5 0 0 20 0 2 0 417591975 716963840 83482 33554432000 4194304 4454172 140736543713392 140520620051560 4351539 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23404544 140736543720297 140736543720496 140736543720496 140736543723450 0
[pid=13058/tid=13059] ppid=13034 vsize=8414124 memory=314548 CPUtime=0.78 cores=0-7
/proc/13058/task/13059/stat : 13059 (java) S 13034 13034 12604 0 -1 1077944384 17428 0 0 0 73 5 0 0 20 0 24 0 417591866 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899964485536 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13060] ppid=13034 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/13058/task/13060/stat : 13060 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899996887952 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13061] ppid=13034 vsize=8414124 memory=122764 CPUtime=0 cores=0-7
/proc/13058/task/13061/stat : 13061 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899797056272 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13062] ppid=13034 vsize=8414124 memory=314668 CPUtime=0 cores=0-7
/proc/13058/task/13062/stat : 13062 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899796003984 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13063] ppid=13034 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/13058/task/13063/stat : 13063 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899794951184 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13064] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13064/stat : 13064 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899793897872 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13065] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13065/stat : 13065 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899792845072 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13066] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13066/stat : 13066 (java) S 13034 13034 12604 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899791792784 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13067] ppid=13034 vsize=8414124 memory=280500289076448 CPUtime=0 cores=0-7
/proc/13058/task/13067/stat : 13067 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591867 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899790739984 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13068] ppid=13034 vsize=8414124 memory=4122960524726105286 CPUtime=0 cores=0-7
/proc/13058/task/13068/stat : 13068 (java) S 13034 13034 12604 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898750188144 139899992656514 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13069] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13069/stat : 13069 (java) S 13034 13034 12604 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898627548448 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13070] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13070/stat : 13070 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591869 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898359113328 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13071] ppid=13034 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/13058/task/13071/stat : 13071 (java) S 13034 13034 12604 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897984604752 139899992663963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13072] ppid=13034 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/13058/task/13072/stat : 13072 (java) S 13034 13034 12604 0 -1 1077944384 650 0 0 0 7 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898749134960 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13073] ppid=13034 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/13058/task/13073/stat : 13073 (java) S 13034 13034 12604 0 -1 1077944384 271 0 0 0 6 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898748082160 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13074] ppid=13034 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/13058/task/13074/stat : 13074 (java) S 13034 13034 12604 0 -1 1077944384 270 0 0 0 6 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898747029872 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13075] ppid=13034 vsize=8414124 memory=122764 CPUtime=0.21 cores=0-7
/proc/13058/task/13075/stat : 13075 (java) S 13034 13034 12604 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898745977072 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13076] ppid=13034 vsize=8414124 memory=313880 CPUtime=0 cores=0-7
/proc/13058/task/13076/stat : 13076 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897486699360 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13077] ppid=13034 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/13058/task/13077/stat : 13077 (java) S 13034 13034 12604 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417591872 8616062976 30691 33554432000 4194304 4196468 140732636314624 139898744924976 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13079] ppid=13034 vsize=8414124 memory=122764 CPUtime=0 cores=0-7
/proc/13058/task/13079/stat : 13079 (java) S 13034 13034 12604 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139899433301824 139899992669977 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13081] ppid=13034 vsize=8414124 memory=325888 CPUtime=0 cores=0-7
/proc/13058/task/13081/stat : 13081 (java) S 13034 13034 12604 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139896815598992 139899992667293 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13082] ppid=13034 vsize=8414124 memory=2244 CPUtime=0 cores=0-7
/proc/13058/task/13082/stat : 13082 (java) S 13034 13034 12604 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417591941 8616062976 30691 33554432000 4194304 4196468 140732636314624 139897084034320 139899992667293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13083] ppid=13034 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/13058/task/13083/stat : 13083 (java) S 13034 13034 12604 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417591943 8616062976 30691 33554432000 4194304 4196468 140732636314624 139896547171632 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
Current children cumulated CPU time: 122.46 s
Current children cumulated vsize: 9227412 KiB
Current children cumulated memory: 458164 KiB

[startup+18.801 s]
/proc/loadavg: 1.90 0.66 0.83 6/221 13091
/proc/meminfo: memFree=26413548/32770624 swapFree=66957012/67108860
[pid=13034] ppid=13031 vsize=113128 memory=1472 CPUtime=5.49 cores=0-7
/proc/13034/stat : 13034 (scop.sh) S 13031 13034 12604 0 -1 4202496 581 27649 0 0 0 0 523 26 20 0 1 0 417591595 115843072 368 33554432000 4194304 5098028 140735546882912 140735546879656 140612341318268 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29659136 140735546888997 140735546889324 140735546889324 140735546892237 0
/proc/13034/statm: 28282 368 311 221 0 87 0
[pid=13058] ppid=13034 vsize=8283048 memory=129620 CPUtime=117.22 cores=0-7
/proc/13058/stat : 13058 (java) S 13034 13034 12604 0 -1 1077944320 21314 139923 0 0 138 9 11537 38 20 0 22 0 417591865 8481841152 32405 33554432000 4194304 4196468 140732636314624 140732636297168 139899992645367 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
/proc/13058/statm: 2070762 32405 3224 1 0 2032106 0
[pid=13058/tid=13059] ppid=13034 vsize=8283048 memory=331372 CPUtime=116.58 cores=0-7
/proc/13058/task/13059/stat : 13059 (java) R 13034 13034 12604 0 -1 4202560 17602 139923 0 0 78 5 11537 38 20 0 22 0 417591866 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899964482768 139899992667293 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13060] ppid=13034 vsize=8283048 memory=549 CPUtime=115.75 cores=0-7
/proc/13058/task/13060/stat : 13060 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899996887952 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13061] ppid=13034 vsize=8283048 memory=0 CPUtime=115.75 cores=0-7
/proc/13058/task/13061/stat : 13061 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899797056272 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13062] ppid=13034 vsize=8283048 memory=122764 CPUtime=115.75 cores=0-7
/proc/13058/task/13062/stat : 13062 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899796003984 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13063] ppid=13034 vsize=8283048 memory=314548 CPUtime=115.75 cores=0-7
/proc/13058/task/13063/stat : 13063 (java) S 13034 13034 12604 0 -1 1077944384 3 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899794951184 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13064] ppid=13034 vsize=8283048 memory=0 CPUtime=115.75 cores=0-7
/proc/13058/task/13064/stat : 13064 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899793897872 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13065] ppid=13034 vsize=8283048 memory=0 CPUtime=115.75 cores=0-7
/proc/13058/task/13065/stat : 13065 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899792845072 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13066] ppid=13034 vsize=8283048 memory=3512 CPUtime=115.75 cores=0-7
/proc/13058/task/13066/stat : 13066 (java) S 13034 13034 12604 0 -1 1077944384 2 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899791792784 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13067] ppid=13034 vsize=8283048 memory=40584 CPUtime=115.75 cores=0-7
/proc/13058/task/13067/stat : 13067 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591867 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899790739984 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13068] ppid=13034 vsize=8283048 memory=1472 CPUtime=115.75 cores=0-7
/proc/13058/task/13068/stat : 13068 (java) S 13034 13034 12604 0 -1 1077944384 7 139923 0 0 0 0 11537 38 20 0 22 0 417591869 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898750188144 139899992656514 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13069] ppid=13034 vsize=8283048 memory=122764 CPUtime=115.75 cores=0-7
/proc/13058/task/13069/stat : 13069 (java) S 13034 13034 12604 0 -1 1077944384 13 139923 0 0 0 0 11537 38 20 0 22 0 417591869 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898627548448 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13070] ppid=13034 vsize=8283048 memory=78 CPUtime=115.75 cores=0-7
/proc/13058/task/13070/stat : 13070 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591869 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898359113328 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13071] ppid=13034 vsize=8283048 memory=0 CPUtime=115.75 cores=0-7
/proc/13058/task/13071/stat : 13071 (java) S 13034 13034 12604 0 -1 1077944384 1 139923 0 0 0 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139897984604752 139899992663963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13072] ppid=13034 vsize=8283048 memory=0 CPUtime=115.83 cores=0-7
/proc/13058/task/13072/stat : 13072 (java) S 13034 13034 12604 0 -1 1077944384 670 139923 0 0 8 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898749134960 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13073] ppid=13034 vsize=8283048 memory=0 CPUtime=115.83 cores=0-7
/proc/13058/task/13073/stat : 13073 (java) S 13034 13034 12604 0 -1 1077944384 284 139923 0 0 8 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898748082160 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13074] ppid=13034 vsize=8283048 memory=8187704045996132563 CPUtime=115.86 cores=0-7
/proc/13058/task/13074/stat : 13074 (java) S 13034 13034 12604 0 -1 1077944384 435 139923 0 0 10 1 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898747029872 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13075] ppid=13034 vsize=8283048 memory=-7101718590825193272 CPUtime=116.01 cores=0-7
/proc/13058/task/13075/stat : 13075 (java) R 13034 13034 12604 0 -1 4202560 862 139923 0 0 26 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898745977072 139899992666714 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13076] ppid=13034 vsize=8283048 memory=2828 CPUtime=115.75 cores=0-7
/proc/13058/task/13076/stat : 13076 (java) S 13034 13034 12604 0 -1 1077944384 3 139923 0 0 0 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139897486699360 139899992655573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13077] ppid=13034 vsize=8283048 memory=1164 CPUtime=115.75 cores=0-7
/proc/13058/task/13077/stat : 13077 (java) S 13034 13034 12604 0 -1 1077944384 3 139923 0 0 0 0 11537 38 20 0 22 0 417591872 8481841152 32405 33554432000 4194304 4196468 140732636314624 139898744924976 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13079] ppid=13034 vsize=8283048 memory=1472 CPUtime=115.75 cores=0-7
/proc/13058/task/13079/stat : 13079 (java) S 13034 13034 12604 0 -1 1077944384 34 139923 0 0 0 0 11537 38 20 0 22 0 417591941 8481841152 32405 33554432000 4194304 4196468 140732636314624 139899433301008 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
[pid=13058/tid=13083] ppid=13034 vsize=8283048 memory=7309461365170007889 CPUtime=115.75 cores=0-7
/proc/13058/task/13083/stat : 13083 (java) S 13034 13034 12604 0 -1 1077944384 11 139923 0 0 0 0 11537 38 20 0 22 0 417591943 8481841152 32405 33554432000 4194304 4196468 140732636314624 139896547173424 139899992656514 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22077440 140732636320759 140732636320918 140732636320918 140732636323791 0
Current children cumulated CPU time: 122.71 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 131092 KiB

Child status: 0
Real time (s): 18.8624
CPU time (s): 122.854
CPU user time (s): 122.09
CPU system time (s): 0.764177
CPU usage (%): 651.319
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 704800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.09
system time used= 0.764177
maximum resident set size= 712028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14461
involuntary context switches= 1278


# summary of solver processes directly reported to runsolver:
#   pid: 13034
#   total CPU time (s): 122.854
#   total CPU user time (s): 122.09
#   total CPU system time (s): 0.764177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.183255 second user time and 0.29293 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-14 01:18:54
IDJOB=4392425
IDBENCH=120419
IDSOLVER=2838
FILE ID=node147/4392425-1568416777
RUNJOBID= node147-1568416725-12631
PBS_JOBID= 21702253
Free space on /tmp= 58880 MiB

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

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

MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=1272116339

node147.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.52
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.52
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.52
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.52
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:        26855768 kB
MemAvailable:   31812092 kB
Buffers:          183308 kB
Cached:          5000452 kB
SwapCached:        48500 kB
Active:          2026908 kB
Inactive:        3209304 kB
Active(anon):       4520 kB
Inactive(anon):    89344 kB
Active(file):    2022388 kB
Inactive(file):  3119960 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:             21024 kB
Writeback:             0 kB
AnonPages:        113388 kB
Mapped:            44792 kB
Shmem:             32768 kB
Slab:             271668 kB
SReclaimable:     242436 kB
SUnreclaim:        29232 kB
KernelStack:        3392 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58860 MiB
End job on node147 at 2019-09-14 01:19:13