Trace number 4392350

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-05-int.xml
MD5SUM5aa02d8e33e0310131c8602cbce67fff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033151
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints27
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":23},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity25
Distribution of constraint arities[{"arity":2,"count":26},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":1},{"type":"instantiation","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-15000-serial-file.bin HOME/instance-4392350-1568437066.xml
0.66/0.60	
0.66/0.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Thu Dec 15 13:18:09 CET 2011
0.77/0.63	c PID: 15003
0.77/0.63	c IP: 172.20.3.120
0.77/0.63	c HOST: node120.alineos.net
0.77/0.64	c (0,0) Parsing Begin
1.57/1.08	c (0,0) Parsing End
1.57/1.08	c (0,0) CSP: 24 int (0 aux), 1 bool (0 aux), 27 ctr, max domain size 25
1.57/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/1.08	c (0,0) Constraint Name Generate Begin
1.57/1.09	c (0,0) Ctr:HOME/instance-4392350-1568437066.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.57/1.09	c (0,0) Constraint Name Generate End
1.57/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/1.09	c (0,0) CSP to CSPinCNF Begin
2.45/1.41	c (0,0) translated 3 (10%) constraints
2.45/1.43	c (0,0) translated 6 (20%) constraints
2.45/1.45	c (0,0) translated 9 (30%) constraints
2.45/1.46	c (0,0) translated 11 (40%) constraints
2.45/1.47	c (0,0) translated 14 (50%) constraints
2.45/1.49	c (0,0) translated 17 (60%) constraints
2.77/1.50	c (0,0) translated 19 (70%) constraints
2.77/1.51	c (0,0) translated 22 (80%) constraints
2.77/1.52	c (0,0) translated 25 (90%) constraints
2.77/1.53	c (0,0) translated 27 (100%) constraints
2.77/1.53	c (0,0) ===========================================
2.77/1.53	c (0,0) Order
2.77/1.53	c (0,0) ===========================================
2.77/1.55	c (0,0) translated 81 (10%) constraints
2.77/1.56	c (0,0) translated 161 (20%) constraints
2.77/1.57	c (0,0) translated 242 (30%) constraints
3.07/1.66	c (1,1) translated 322 (40%) constraints
3.07/1.69	c (1,1) translated 402 (50%) constraints
3.07/1.69	c (1,1) translated 483 (60%) constraints
3.35/1.70	c (1,1) translated 563 (70%) constraints
3.35/1.70	c (1,1) translated 644 (80%) constraints
3.35/1.71	c (1,1) translated 724 (90%) constraints
3.35/1.71	c (1,1) translated 804 (100%) constraints
3.35/1.72	c (1,1) CSP to CSPinCNF End
3.35/1.72	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 2106 ctr, max domain size 24
3.35/1.72	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.35/1.72	c (1,1) CSPinCNF Propagation Begin
3.35/1.78	c (1,1) 74 values, 212 unsatisfiable literals, and 351 valid clauses are removed
3.35/1.78	c (1,1) CSPinCNF Propagation End
3.35/1.78	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 1755 ctr, max domain size 24
3.35/1.78	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.35/1.78	c (1,1) Simplify CSPinCNF Begin
3.74/1.83	c (1,1) Simplify CSPinCNF End
3.74/1.83	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.74/1.83	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.74/1.83	c (1,1) Calculate Precise Domain Begin
3.74/1.83	c (1,1) 0 values are removed by re-calculation
3.74/1.83	c (1,1) Calculate Precise Domain End
3.74/1.83	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.74/1.83	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.74/1.83	c (1,1) CSPinCNF to SatSolver Begin
4.45/2.03	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 3767 SAT clauses)
4.45/2.10	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 7834 SAT clauses)
4.88/2.16	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 11901 SAT clauses)
4.88/2.18	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 13415 SAT clauses)
4.88/2.18	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 13664 SAT clauses)
4.88/2.19	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 13913 SAT clauses)
4.88/2.19	c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 14162 SAT clauses)
5.26/2.21	c (1,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 14781 SAT clauses)
5.26/2.24	c (1,1) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 16327 SAT clauses)
5.26/2.26	c (1,1) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 17858 SAT clauses)
5.26/2.26	c (1,1) CSPinCNF to SatSolver End
5.26/2.26	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.26/2.26	c (1,1) 2232 bool, 17859 clause
5.26/2.26	c (1,1) Export Begin
5.69/2.35	c (1,1) Export to HOME/scop-15000-serial-file.bin
5.69/2.35	c (1,1) Export End
5.69/2.35	c (1,1) Export File Size: 0.01 MB
5.69/2.35	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.69/2.35	c END-Prog: Thu Dec 15 13:18:11 CET 2011
5.69/2.37	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15000-serial-file.bin
5.87/2.88	c (0,0) Read Serial File Begin
5.87/2.88	c (0,0) HOME/scop-15000-serial-file.bin
6.71/3.10	c (0,0) Read Serial File End
6.86/3.12	
6.86/3.12	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
6.86/3.12	(Solving Process)
6.86/3.12	
6.86/3.14	c BEGIN-Prog: Thu Dec 15 13:18:12 CET 2011
6.86/3.14	c PID: 15023
6.86/3.14	c IP: 172.20.3.120
6.86/3.14	c HOST: node120.alineos.net
6.86/3.14	c (0,0) SatSolver.solve Begin
6.86/3.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392350-1568437066.xml-scop-15003.cnf
6.86/3.17	c (0,0) c
6.86/3.17	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.86/3.17	c (0,0) c
6.86/3.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
6.86/3.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
6.86/3.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
6.86/3.17	c (0,0) c |                                                                                                       |
6.86/3.18	c (0,0) c |  Number of variables:          2232                                                                   |
6.86/3.18	c (0,0) c |  Number of clauses:           17859                                                                   |
6.86/3.18	c (0,0) c |  Parse time:                   0.01 s                                                                 |
6.86/3.18	c (0,0) c |                                                                                                       |
6.86/3.19	c (0,0) c |  Simplification time:          0.01 s                                                                 |
6.86/3.19	c (0,0) c |                                                                                                       |
6.86/3.19	c (0,0) c |  Generating clones                                                                                    |
6.86/3.20	c (0,0) c |  all clones generated. Memory =    34.36Mb.                                                           |
6.86/3.20	c (0,0) c ========================================================================================================|
6.86/3.20	c (0,0) c
6.86/3.20	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.86/3.20	c (0,0) c
6.86/3.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.86/3.20	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.86/3.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.86/3.20	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.86/3.20	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.86/3.20	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.86/3.20	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.86/3.20	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.86/3.20	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.86/3.20	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.86/3.20	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.86/3.20	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.86/3.20	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.86/3.20	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.86/3.20	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.86/3.20	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.86/3.20	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.86/3.20	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.86/3.20	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c real time : 2.29644 s
24.63/5.47	c (2,0) c cpu time  : 17.8247 s
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | Conflicts     |          322611 |      40463 |      42361 |      39280 |      41645 |      39765 |      41291 |      38836 |      38970 |
24.63/5.47	c (2,0) c | Decisions     |          430596 |      52923 |      57244 |      52975 |      56333 |      52913 |      54916 |      52510 |      50782 |
24.63/5.47	c (2,0) c | Propagations  |        54005540 |    6935326 |    6564116 |    6916402 |    6734428 |    6799874 |    6796156 |    6557756 |    6701482 |
24.63/5.47	c (2,0) c | ReduceDBs     |              40 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.63/5.47	c (2,0) c | SimpDBs       |              75 |          5 |         16 |         13 |         14 |          3 |          9 |         12 |          3 |
24.63/5.47	c (2,0) c | Restarts      |             437 |         31 |         80 |         44 |         73 |         77 |         38 |         50 |         44 |
24.63/5.47	c (2,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.63/5.47	c (2,0) c | PropBinClauses|        86316076 |   11114905 |   10478237 |   11074676 |   10772217 |   10820788 |   10925052 |   10588253 |   10541948 |
24.63/5.47	c (2,0) c | PropPreBlocker|       677341259 |   84367806 |   83056668 |   88323039 |   84156367 |   85783330 |   84147446 |   83879722 |   83626881 |
24.63/5.47	c (2,0) c | PropNotBlocker|       216379701 |   27541693 |   27913224 |   26872524 |   27422611 |   27235375 |   26339323 |   26397943 |   26657008 |
24.63/5.47	c (2,0) c | LitFullScans  |      1201921650 |  149638166 |  150093963 |  156032676 |  150048253 |  150040317 |  150035715 |  149289688 |  146742872 |
24.63/5.47	c (2,0) c | LitScanFracts |          102363 |       2488 |      53515 |       2809 |      10562 |       2973 |       2331 |       3070 |      24615 |
24.63/5.47	c (2,0) c | DecisionLevel0|             569 |         33 |        107 |         69 |         98 |         79 |         56 |         80 |         47 |
24.63/5.47	c (2,0) c | Periods       |             198 |         24 |         25 |         26 |         25 |         25 |         25 |         24 |         24 |
24.63/5.47	c (2,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
24.63/5.47	c (2,0) c | Avg_Trail     |                 |        938 |        962 |       1049 |        969 |       1022 |       1002 |       1032 |        979 |
24.63/5.47	c (2,0) c | Avg_DL        |                 |         13 |         14 |         14 |         14 |         14 |         13 |         13 |         14 |
24.63/5.47	c (2,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.63/5.47	c (2,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | Exported      |           69661 |       8360 |       9011 |       8701 |       9195 |       8121 |       9010 |       8672 |       8591 |
24.63/5.47	c (2,0) c | Imported      |           95681 |       9259 |       9269 |      18690 |      14006 |      13901 |      13967 |      13757 |       2832 |
24.63/5.47	c (2,0) c | Good          |            2151 |        219 |        227 |        342 |        292 |        308 |        295 |        297 |        171 |
24.63/5.47	c (2,0) c | Purge         |           93530 |       9040 |       9042 |      18348 |      13714 |      13593 |      13672 |      13460 |       2661 |
24.63/5.47	c (2,0) c | Promoted      |            2080 |        319 |        206 |        328 |        224 |        143 |        472 |        223 |        165 |
24.63/5.47	c (2,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.63/5.47	c (2,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | Unaries       |                 |          2 |         27 |         25 |         25 |          2 |         18 |         30 |          3 |
24.63/5.47	c (2,0) c | Binaries      |                 |        102 |        123 |        150 |        153 |         93 |        137 |        195 |         79 |
24.63/5.47	c (2,0) c | Glues         |                 |        739 |        917 |        900 |        979 |        820 |        808 |        925 |        665 |
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | Orig_Seen     |            73 % |      11884 |      12144 |      12218 |      12113 |      12078 |      12152 |      12263 |      11644 |
24.63/5.47	c (2,0) c | Diff Orig seen|                 | -      379 | -      119 | -       45 | -      150 | -      185 | -      111 |      X     | -      619 |
24.63/5.47	c (2,0) c | Hamming       |            24 % |        544 |        548 |        609 |        542 |        592 |        529 |      X     |        527 |
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c | RunningTime   |                 |    2.3 100%|    2.2 100%|    2.3 100%|    2.2 100%|    2.2 100%|    2.2 100%|    2.2 100%|    2.2 100%|
24.63/5.47	c (2,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%|
24.63/5.47	c (2,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%|
24.63/5.47	c (2,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%|
24.63/5.47	c (2,0) c | SolvingTime   |                 |    2.3     |    2.2     |    2.3     |    2.2     |    2.3     |    2.2     |    2.2     |    2.2     |
24.63/5.47	c (2,0) c | PropagationTim|                 |    1.9  82%|    1.8  81%|    1.8  80%|    1.8  81%|    1.8  81%|    1.8  81%|    1.8  81%|    1.8  82%|
24.63/5.47	c (2,0) c | AnalysisTime  |                 |    0.3  12%|    0.3  13%|    0.3  14%|    0.3  13%|    0.3  13%|    0.3  13%|    0.3  13%|    0.3  13%|
24.63/5.47	c (2,0) c | ReductionTime |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
24.63/5.47	c (2,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|    0.0   0%|
24.63/5.47	c (2,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%|
24.63/5.47	c (2,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%|
24.63/5.47	c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c
24.63/5.47	c (2,0) c Threads : 8
24.63/5.47	c (2,0) c Winner : 6
24.63/5.47	c (2,0) c Conflicts_0 : 40463
24.63/5.47	c (2,0) c Conflicts_1 : 42361
24.63/5.47	c (2,0) c Conflicts_2 : 39280
24.63/5.47	c (2,0) c Conflicts_3 : 41645
24.63/5.47	c (2,0) c Conflicts_4 : 39765
24.63/5.47	c (2,0) c Conflicts_5 : 41291
24.63/5.47	c (2,0) c Conflicts_6 : 38836
24.63/5.47	c (2,0) c Conflicts_7 : 38970
24.63/5.47	c (2,0) c Conflicts_total : 322611
24.63/5.47	c (2,0) c Conflicts_winner : 38836
24.63/5.47	c (2,0) c Decisions_0 : 52923
24.63/5.47	c (2,0) c Decisions_1 : 57244
24.63/5.47	c (2,0) c Decisions_2 : 52975
24.63/5.47	c (2,0) c Decisions_3 : 56333
24.63/5.47	c (2,0) c Decisions_4 : 52913
24.63/5.47	c (2,0) c Decisions_5 : 54916
24.63/5.47	c (2,0) c Decisions_6 : 52510
24.63/5.47	c (2,0) c Decisions_7 : 50782
24.63/5.47	c (2,0) c Decisions_total : 430596
24.63/5.47	c (2,0) c Decisions_winner : 52510
24.63/5.47	c (2,0) c Propagations_0 : 6935326
24.63/5.47	c (2,0) c Propagations_1 : 6564116
24.63/5.47	c (2,0) c Propagations_2 : 6916402
24.63/5.47	c (2,0) c Propagations_3 : 6734428
24.63/5.47	c (2,0) c Propagations_4 : 6799874
24.63/5.47	c (2,0) c Propagations_5 : 6796156
24.63/5.47	c (2,0) c Propagations_6 : 6557756
24.63/5.47	c (2,0) c Propagations_7 : 6701482
24.63/5.47	c (2,0) c Propagations_total : 54005540
24.63/5.47	c (2,0) c Propagations_winner : 6557756
24.63/5.47	c (2,0) c ReduceDBs_0 : 5
24.63/5.47	c (2,0) c ReduceDBs_1 : 5
24.63/5.47	c (2,0) c ReduceDBs_2 : 5
24.63/5.47	c (2,0) c ReduceDBs_3 : 5
24.63/5.47	c (2,0) c ReduceDBs_4 : 5
24.63/5.47	c (2,0) c ReduceDBs_5 : 5
24.63/5.47	c (2,0) c ReduceDBs_6 : 5
24.63/5.47	c (2,0) c ReduceDBs_7 : 5
24.63/5.47	c (2,0) c ReduceDBs_total : 40
24.63/5.47	c (2,0) c ReduceDBs_winner : 5
24.63/5.47	c (2,0) c SimpDBs_0 : 5
24.63/5.47	c (2,0) c SimpDBs_1 : 16
24.63/5.47	c (2,0) c SimpDBs_2 : 13
24.63/5.47	c (2,0) c SimpDBs_3 : 14
24.63/5.47	c (2,0) c SimpDBs_4 : 3
24.63/5.47	c (2,0) c SimpDBs_5 : 9
24.63/5.47	c (2,0) c SimpDBs_6 : 12
24.63/5.47	c (2,0) c SimpDBs_7 : 3
24.63/5.47	c (2,0) c SimpDBs_total : 75
24.63/5.47	c (2,0) c SimpDBs_winner : 12
24.63/5.47	c (2,0) c Restarts_0 : 31
24.63/5.47	c (2,0) c Restarts_1 : 80
24.63/5.47	c (2,0) c Restarts_2 : 44
24.63/5.47	c (2,0) c Restarts_3 : 73
24.63/5.47	c (2,0) c Restarts_4 : 77
24.63/5.47	c (2,0) c Restarts_5 : 38
24.63/5.47	c (2,0) c Restarts_6 : 50
24.63/5.47	c (2,0) c Restarts_7 : 44
24.63/5.47	c (2,0) c Restarts_total : 437
24.63/5.47	c (2,0) c Restarts_winner : 50
24.63/5.47	c (2,0) c ForcedImports_0 : 0
24.63/5.47	c (2,0) c ForcedImports_1 : 0
24.63/5.47	c (2,0) c ForcedImports_2 : 0
24.63/5.47	c (2,0) c ForcedImports_3 : 0
24.63/5.47	c (2,0) c ForcedImports_4 : 0
24.63/5.47	c (2,0) c ForcedImports_5 : 0
24.63/5.47	c (2,0) c ForcedImports_6 : 0
24.63/5.47	c (2,0) c ForcedImports_7 : 0
24.63/5.47	c (2,0) c ForcedImports_total : 0
24.63/5.47	c (2,0) c ForcedImports_winner : 0
24.63/5.47	c (2,0) c PropsBinClauses_0 : 11114905
24.63/5.47	c (2,0) c PropsBinClauses_1 : 10478237
24.63/5.47	c (2,0) c PropsBinClauses_2 : 11074676
24.63/5.47	c (2,0) c PropsBinClauses_3 : 10772217
24.63/5.47	c (2,0) c PropsBinClauses_4 : 10820788
24.63/5.47	c (2,0) c PropsBinClauses_5 : 10925052
24.63/5.47	c (2,0) c PropsBinClauses_6 : 10588253
24.63/5.47	c (2,0) c PropsBinClauses_7 : 10541948
24.63/5.47	c (2,0) c PropsBinClauses_total : 86316076
24.63/5.47	c (2,0) c PropsBinClauses_winner : 10588253
24.63/5.47	c (2,0) c PropsPreBlocker_0 : 84367806
24.63/5.47	c (2,0) c PropsPreBlocker_1 : 83056668
24.63/5.47	c (2,0) c PropsPreBlocker_2 : 88323039
24.63/5.47	c (2,0) c PropsPreBlocker_3 : 84156367
24.63/5.47	c (2,0) c PropsPreBlocker_4 : 85783330
24.63/5.47	c (2,0) c PropsPreBlocker_5 : 84147446
24.63/5.47	c (2,0) c PropsPreBlocker_6 : 83879722
24.63/5.47	c (2,0) c PropsPreBlocker_7 : 83626881
24.63/5.47	c (2,0) c PropsPreBlocker_total : 677341259
24.63/5.47	c (2,0) c PropsPreBlocker_winner : 83879722
24.63/5.47	c (2,0) c PropsNotBlocker_0 : 27541693
24.63/5.47	c (2,0) c PropsNotBlocker_1 : 27913224
24.63/5.47	c (2,0) c PropsNotBlocker_2 : 26872524
24.63/5.47	c (2,0) c PropsNotBlocker_3 : 27422611
24.63/5.47	c (2,0) c PropsNotBlocker_4 : 27235375
24.63/5.47	c (2,0) c PropsNotBlocker_5 : 26339323
24.63/5.47	c (2,0) c PropsNotBlocker_6 : 26397943
24.63/5.47	c (2,0) c PropsNotBlocker_7 : 26657008
24.63/5.47	c (2,0) c PropsNotBlocker_total : 216379701
24.63/5.47	c (2,0) c PropsNotBlocker_winner : 26397943
24.63/5.47	c (2,0) c PropsLitFullScans_0 : 149638166
24.63/5.47	c (2,0) c PropsLitFullScans_1 : 150093963
24.63/5.47	c (2,0) c PropsLitFullScans_2 : 156032676
24.63/5.47	c (2,0) c PropsLitFullScans_3 : 150048253
24.63/5.47	c (2,0) c PropsLitFullScans_4 : 150040317
24.63/5.47	c (2,0) c PropsLitFullScans_5 : 150035715
24.63/5.47	c (2,0) c PropsLitFullScans_6 : 149289688
24.63/5.47	c (2,0) c PropsLitFullScans_7 : 146742872
24.63/5.47	c (2,0) c PropsLitFullScans_total : 1201921650
24.63/5.47	c (2,0) c PropsLitFullScans_winner : 149289688
24.63/5.47	c (2,0) c LitScanFractions_0 : 2488
24.63/5.47	c (2,0) c LitScanFractions_1 : 53515
24.63/5.47	c (2,0) c LitScanFractions_2 : 2809
24.63/5.47	c (2,0) c LitScanFractions_3 : 10562
24.63/5.47	c (2,0) c LitScanFractions_4 : 2973
24.63/5.47	c (2,0) c LitScanFractions_5 : 2331
24.63/5.47	c (2,0) c LitScanFractions_6 : 3070
24.63/5.47	c (2,0) c LitScanFractions_7 : 24615
24.63/5.47	c (2,0) c LitScanFractions_total : 102363
24.63/5.47	c (2,0) c LitScanFractions_winner : 3070
24.63/5.47	c (2,0) c DecisionLevel0_0 : 33
24.63/5.47	c (2,0) c DecisionLevel0_1 : 107
24.63/5.47	c (2,0) c DecisionLevel0_2 : 69
24.63/5.47	c (2,0) c DecisionLevel0_3 : 98
24.63/5.47	c (2,0) c DecisionLevel0_4 : 79
24.63/5.47	c (2,0) c DecisionLevel0_5 : 56
24.63/5.47	c (2,0) c DecisionLevel0_6 : 80
24.63/5.47	c (2,0) c DecisionLevel0_7 : 47
24.63/5.47	c (2,0) c DecisionLevel0_total : 569
24.63/5.47	c (2,0) c DecisionLevel0_winner : 80
24.63/5.47	c (2,0) c Periods_0 : 24
24.63/5.47	c (2,0) c Periods_1 : 25
24.63/5.47	c (2,0) c Periods_2 : 26
24.63/5.48	c (2,0) c Periods_3 : 25
24.63/5.48	c (2,0) c Periods_4 : 25
24.63/5.48	c (2,0) c Periods_5 : 25
24.63/5.48	c (2,0) c Periods_6 : 24
24.63/5.48	c (2,0) c Periods_7 : 24
24.63/5.48	c (2,0) c Periods_total : 198
24.63/5.48	c (2,0) c Periods_winner : 24
24.63/5.48	c (2,0) c Margin_0 : 20
24.63/5.48	c (2,0) c Margin_1 : 20
24.63/5.48	c (2,0) c Margin_2 : 20
24.63/5.48	c (2,0) c Margin_3 : 20
24.63/5.48	c (2,0) c Margin_4 : 20
24.63/5.48	c (2,0) c Margin_5 : 20
24.63/5.48	c (2,0) c Margin_6 : 20
24.63/5.48	c (2,0) c Margin_7 : 20
24.63/5.48	c (2,0) c Margin_total : 160
24.63/5.48	c (2,0) c Margin_winner : 20
24.63/5.48	c (2,0) c Exported_0 : 8360
24.63/5.48	c (2,0) c Exported_1 : 9011
24.63/5.48	c (2,0) c Exported_2 : 8701
24.63/5.48	c (2,0) c Exported_3 : 9195
24.63/5.48	c (2,0) c Exported_4 : 8121
24.63/5.48	c (2,0) c Exported_5 : 9010
24.63/5.48	c (2,0) c Exported_6 : 8672
24.63/5.48	c (2,0) c Exported_7 : 8591
24.63/5.48	c (2,0) c Exported_total : 69661
24.63/5.48	c (2,0) c Exported_winner : 8672
24.63/5.48	c (2,0) c Imported_0 : 9259
24.63/5.48	c (2,0) c Imported_1 : 9269
24.63/5.48	c (2,0) c Imported_2 : 18690
24.63/5.48	c (2,0) c Imported_3 : 14006
24.63/5.48	c (2,0) c Imported_4 : 13901
24.63/5.48	c (2,0) c Imported_5 : 13967
24.63/5.48	c (2,0) c Imported_6 : 13757
24.63/5.48	c (2,0) c Imported_7 : 2832
24.63/5.48	c (2,0) c Imported_total : 95681
24.63/5.48	c (2,0) c Imported_winner : 13757
24.63/5.48	c (2,0) c Good_0 : 219
24.63/5.48	c (2,0) c Good_1 : 227
24.63/5.48	c (2,0) c Good_2 : 342
24.63/5.48	c (2,0) c Good_3 : 292
24.63/5.48	c (2,0) c Good_4 : 308
24.63/5.48	c (2,0) c Good_5 : 295
24.63/5.48	c (2,0) c Good_6 : 297
24.63/5.48	c (2,0) c Good_7 : 171
24.63/5.48	c (2,0) c Good_total : 2151
24.63/5.48	c (2,0) c Good_winner : 297
24.63/5.48	c (2,0) c Purge_0 : 9040
24.63/5.48	c (2,0) c Purge_1 : 9042
24.63/5.48	c (2,0) c Purge_2 : 18348
24.63/5.48	c (2,0) c Purge_3 : 13714
24.63/5.48	c (2,0) c Purge_4 : 13593
24.63/5.48	c (2,0) c Purge_5 : 13672
24.63/5.48	c (2,0) c Purge_6 : 13460
24.63/5.48	c (2,0) c Purge_7 : 2661
24.63/5.48	c (2,0) c Purge_total : 93530
24.63/5.48	c (2,0) c Purge_winner : 13460
24.63/5.48	c (2,0) c Promoted_0 : 319
24.63/5.48	c (2,0) c Promoted_1 : 206
24.63/5.48	c (2,0) c Promoted_2 : 328
24.63/5.48	c (2,0) c Promoted_3 : 224
24.63/5.48	c (2,0) c Promoted_4 : 143
24.63/5.48	c (2,0) c Promoted_5 : 472
24.63/5.48	c (2,0) c Promoted_6 : 223
24.63/5.48	c (2,0) c Promoted_7 : 165
24.63/5.48	c (2,0) c Promoted_total : 2080
24.63/5.48	c (2,0) c Promoted_winner : 223
24.63/5.48	c (2,0) c Remove_Imp_0 : 0
24.63/5.48	c (2,0) c Remove_Imp_1 : 0
24.63/5.48	c (2,0) c Remove_Imp_2 : 0
24.63/5.48	c (2,0) c Remove_Imp_3 : 0
24.63/5.48	c (2,0) c Remove_Imp_4 : 0
24.63/5.48	c (2,0) c Remove_Imp_5 : 0
24.63/5.48	c (2,0) c Remove_Imp_6 : 0
24.63/5.48	c (2,0) c Remove_Imp_7 : 0
24.63/5.48	c (2,0) c Remove_Imp_total : 0
24.63/5.48	c (2,0) c Remove_Imp_winner : 0
24.63/5.48	c (2,0) c Blocked_Reuse_0 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_1 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_2 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_3 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_4 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_5 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_6 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_7 : 0
24.63/5.48	c (2,0) c Blocked_Reuse_total : 0
24.63/5.48	c (2,0) c Blocked_Reuse_winner : 0
24.63/5.48	c (2,0) c Unaries_0 : 2
24.63/5.48	c (2,0) c Unaries_1 : 27
24.63/5.48	c (2,0) c Unaries_2 : 25
24.63/5.48	c (2,0) c Unaries_3 : 25
24.63/5.48	c (2,0) c Unaries_4 : 2
24.63/5.48	c (2,0) c Unaries_5 : 18
24.63/5.48	c (2,0) c Unaries_6 : 30
24.63/5.48	c (2,0) c Unaries_7 : 3
24.63/5.48	c (2,0) c Unaries_total : 132
24.63/5.48	c (2,0) c Unaries_winner : 30
24.63/5.48	c (2,0) c Binaries_0 : 102
24.63/5.48	c (2,0) c Binaries_1 : 123
24.63/5.48	c (2,0) c Binaries_2 : 150
24.63/5.48	c (2,0) c Binaries_3 : 153
24.63/5.48	c (2,0) c Binaries_4 : 93
24.63/5.48	c (2,0) c Binaries_5 : 137
24.63/5.48	c (2,0) c Binaries_6 : 195
24.63/5.48	c (2,0) c Binaries_7 : 79
24.63/5.48	c (2,0) c Binaries_total : 1032
24.63/5.48	c (2,0) c Binaries_winner : 195
24.63/5.48	c (2,0) c Glues_0 : 739
24.63/5.48	c (2,0) c Glues_1 : 917
24.63/5.48	c (2,0) c Glues_2 : 900
24.63/5.48	c (2,0) c Glues_3 : 979
24.63/5.48	c (2,0) c Glues_4 : 820
24.63/5.48	c (2,0) c Glues_5 : 808
24.63/5.48	c (2,0) c Glues_6 : 925
24.63/5.48	c (2,0) c Glues_7 : 665
24.63/5.48	c (2,0) c Glues_total : 6753
24.63/5.48	c (2,0) c Glues_winner : 925
24.63/5.48	c (2,0) c RunningTime_0 : 2.257340
24.63/5.48	c (2,0) c RunningTime_1 : 2.238165
24.63/5.48	c (2,0) c RunningTime_2 : 2.252553
24.63/5.48	c (2,0) c RunningTime_3 : 2.237083
24.63/5.48	c (2,0) c RunningTime_4 : 2.245092
24.63/5.48	c (2,0) c RunningTime_5 : 2.233804
24.63/5.48	c (2,0) c RunningTime_6 : 2.210436
24.63/5.48	c (2,0) c RunningTime_7 : 2.216400
24.63/5.48	c (2,0) c RunningTime_total : 17.890874
24.63/5.48	c (2,0) c RunningTime_winner : 2.210436
24.63/5.48	c (2,0) c WaitingTime_0 : 0.000002
24.63/5.48	c (2,0) c WaitingTime_1 : 0.000008
24.63/5.48	c (2,0) c WaitingTime_2 : 0.000008
24.63/5.48	c (2,0) c WaitingTime_3 : 0.000009
24.63/5.48	c (2,0) c WaitingTime_4 : 0.000005
24.63/5.48	c (2,0) c WaitingTime_5 : 0.000005
24.63/5.48	c (2,0) c WaitingTime_6 : 0.000005
24.63/5.48	c (2,0) c WaitingTime_7 : 0.000000
24.63/5.48	c (2,0) c WaitingTime_total : 0.000043
24.63/5.48	c (2,0) c WaitingTime_winner : 0.000005
24.63/5.48	c (2,0) c ExchangingTime_0 : 0.004648
24.63/5.48	c (2,0) c ExchangingTime_1 : 0.005144
24.63/5.48	c (2,0) c ExchangingTime_2 : 0.008349
24.63/5.48	c (2,0) c ExchangingTime_3 : 0.005735
24.63/5.48	c (2,0) c ExchangingTime_4 : 0.006968
24.63/5.48	c (2,0) c ExchangingTime_5 : 0.006305
24.63/5.48	c (2,0) c ExchangingTime_6 : 0.005448
24.63/5.48	c (2,0) c ExchangingTime_7 : 0.003897
24.63/5.48	c (2,0) c ExchangingTime_total : 0.046494
24.63/5.48	c (2,0) c ExchangingTime_winner : 0.005448
24.63/5.48	c (2,0) c PeriodProcTime_0 : 0.000133
24.63/5.48	c (2,0) c PeriodProcTime_1 : 0.000149
24.63/5.48	c (2,0) c PeriodProcTime_2 : 0.000203
24.63/5.48	c (2,0) c PeriodProcTime_3 : 0.000145
24.63/5.48	c (2,0) c PeriodProcTime_4 : 0.000126
24.63/5.48	c (2,0) c PeriodProcTime_5 : 0.000159
24.63/5.48	c (2,0) c PeriodProcTime_6 : 0.000161
24.63/5.48	c (2,0) c PeriodProcTime_7 : 0.000134
24.63/5.48	c (2,0) c PeriodProcTime_total : 0.001210
24.63/5.48	c (2,0) c PeriodProcTime_winner : 0.000161
24.63/5.48	c (2,0) c SolvingTime_0 : 2.262124
24.63/5.48	c (2,0) c SolvingTime_1 : 2.243466
24.63/5.48	c (2,0) c SolvingTime_2 : 2.261113
24.63/5.48	c (2,0) c SolvingTime_3 : 2.242972
24.63/5.48	c (2,0) c SolvingTime_4 : 2.252191
24.63/5.48	c (2,0) c SolvingTime_5 : 2.240273
24.63/5.48	c (2,0) c SolvingTime_6 : 2.216050
24.63/5.48	c (2,0) c SolvingTime_7 : 2.220432
24.63/5.48	c (2,0) c SolvingTime_total : 17.938621
24.63/5.48	c (2,0) c SolvingTime_winner : 2.216050
24.63/5.48	c (2,0) c PropagationTime_0 : 1.860314
24.63/5.48	c (2,0) c PropagationTime_1 : 1.824959
24.63/5.48	c (2,0) c PropagationTime_2 : 1.818262
24.63/5.48	c (2,0) c PropagationTime_3 : 1.823832
24.63/5.48	c (2,0) c PropagationTime_4 : 1.834228
24.63/5.48	c (2,0) c PropagationTime_5 : 1.809318
24.63/5.48	c (2,0) c PropagationTime_6 : 1.790836
24.63/5.48	c (2,0) c PropagationTime_7 : 1.811943
24.63/5.48	c (2,0) c PropagationTime_total : 14.573691
24.63/5.48	c (2,0) c PropagationTime_winner : 1.790836
24.63/5.48	c (2,0) c AnalysisTime_0 : 0.277677
24.63/5.48	c (2,0) c AnalysisTime_1 : 0.280944
24.63/5.48	c (2,0) c AnalysisTime_2 : 0.305363
24.63/5.48	c (2,0) c AnalysisTime_3 : 0.284008
24.63/5.48	c (2,0) c AnalysisTime_4 : 0.290956
24.63/5.48	c (2,0) c AnalysisTime_5 : 0.296973
24.63/5.48	c (2,0) c AnalysisTime_6 : 0.292020
24.63/5.48	c (2,0) c AnalysisTime_7 : 0.282920
24.63/5.48	c (2,0) c AnalysisTime_total : 2.310861
24.63/5.48	c (2,0) c AnalysisTime_winner : 0.292020
24.63/5.48	c (2,0) c ReductionTime_0 : 0.020224
24.63/5.48	c (2,0) c ReductionTime_1 : 0.020929
24.63/5.48	c (2,0) c ReductionTime_2 : 0.020402
24.63/5.48	c (2,0) c ReductionTime_3 : 0.020110
24.63/5.48	c (2,0) c ReductionTime_4 : 0.020624
24.63/5.48	c (2,0) c ReductionTime_5 : 0.022212
24.63/5.48	c (2,0) c ReductionTime_6 : 0.019500
24.63/5.48	c (2,0) c ReductionTime_7 : 0.021808
24.63/5.48	c (2,0) c ReductionTime_total : 0.165808
24.63/5.48	c (2,0) c ReductionTime_winner : 0.019500
24.63/5.48	c (2,0) c SimplifyTime_0 : 0.003727
24.63/5.48	c (2,0) c SimplifyTime_1 : 0.011394
24.63/5.48	c (2,0) c SimplifyTime_2 : 0.009360
24.63/5.48	c (2,0) c SimplifyTime_3 : 0.009962
24.63/5.48	c (2,0) c SimplifyTime_4 : 0.001866
24.63/5.48	c (2,0) c SimplifyTime_5 : 0.007464
24.63/5.48	c (2,0) c SimplifyTime_6 : 0.013578
24.63/5.48	c (2,0) c SimplifyTime_7 : 0.003218
24.63/5.48	c (2,0) c SimplifyTime_total : 0.060568
24.63/5.48	c (2,0) c SimplifyTime_winner : 0.013578
24.63/5.48	c (2,0) c UsedRateTime_0 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_1 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_2 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_3 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_4 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_5 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_6 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_7 : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_total : 0.000000
24.63/5.48	c (2,0) c UsedRateTime_winner : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_0 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_1 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_2 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_3 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_4 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_5 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_6 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_7 : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_total : 0.000000
24.63/5.48	c (2,0) c OverlapRateTime_winner : 0.000000
24.63/5.48	c (2,0) c
24.63/5.48	c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
24.63/5.48	c (2,0) c
24.63/5.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.48	c (2,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.63/5.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.48	c (2,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
24.63/5.48	c (2,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
24.63/5.48	c (2,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
24.63/5.48	c (2,0) c | Initial random_seed   |  400308233 | 2065252151 |  222951419 |  425678140 |  565575828 |  201835128 |  922384536 |  242074796 |
24.63/5.48	c (2,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
24.63/5.48	c (2,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.63/5.48	c (2,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
24.63/5.48	c (2,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
24.63/5.48	c (2,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
24.63/5.48	c (2,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
24.63/5.48	c (2,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
24.63/5.48	c (2,0) c | var_decay             |     0.8800 |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8800 |     0.8700 |     0.8700 |
24.63/5.48	c (2,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
24.63/5.48	c (2,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
24.63/5.48	c (2,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
24.63/5.48	c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.63/5.48	c (2,0) 
24.63/5.48	c (2,0) s UNSATISFIABLE
24.63/5.49	c (2,0) SatSolver.solve End
24.63/5.49	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
24.63/5.49	c (2,0) Show results Begin
24.63/5.49	s UNSATISFIABLE
24.63/5.49	c (2,0) Show results End
24.63/5.49	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
24.63/5.49	c (2,0) 2,2,STOP-AFTER(ALL)
24.63/5.49	c END-Prog: Thu Dec 15 13:18:14 CET 2011

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (13739 MiB free)
  memory of node 1: 16384 MiB (13848 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392350-1568437066/watcher-4392350-1568437066 -o /tmp/evaluation-result-4392350-1568437066/solver-4392350-1568437066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --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-4392350-1568437066.xml 

running on 8 cores: 0-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=15000, runsolver pid=14997
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 4.94 5.25 5.21 4/211 15022
/proc/meminfo: memFree=28154164/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419712920 115843072 349 33554432000 4194304 5098028 140725187965344 140725187962600 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 349 296 221 0 87 0
[pid=15003] ppid=15000 vsize=27314120 memory=106960 CPUtime=0.1 cores=0-7
/proc/15003/stat : 15003 (java) S 15000 15000 11952 0 -1 1077944320 6291 0 0 0 8 2 0 0 20 0 20 0 419712920 27969658880 26740 33554432000 4194304 4196468 140737200464528 140737200447072 139708860243703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
/proc/15003/statm: 6828530 26740 2775 1 0 6790935 0
[pid=15003/tid=15004] ppid=15000 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/15003/task/15004/stat : 15004 (java) R 15000 15000 11952 0 -1 4202560 4418 0 0 0 7 2 0 0 20 0 20 0 419712920 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708832070032 139708860265629 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15005] ppid=15000 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15003/task/15005/stat : 15005 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708864486160 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15006] ppid=15000 vsize=27314120 memory=139630926796416 CPUtime=0 cores=0-7
/proc/15003/task/15006/stat : 15006 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708647881616 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15007] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15007/stat : 15007 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708646829072 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15008] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15008/stat : 15008 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708645776528 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15009] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15009/stat : 15009 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708644722960 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15010] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15010/stat : 15010 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708643670416 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15011] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15011/stat : 15011 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708277447184 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15012] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15012/stat : 15012 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 26740 33554432000 4194304 4196468 140737200464528 139708276394640 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15013] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15013/stat : 15013 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712924 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706911128048 139708860254850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15014] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15014/stat : 15014 (java) S 15000 15000 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706830415264 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15015] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15015/stat : 15015 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706561979888 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15016] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15016/stat : 15016 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706187471568 139708860262299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15017] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15017/stat : 15017 (java) S 15000 15000 11952 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706910074864 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15018] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15018/stat : 15018 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706909022320 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15019] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15019/stat : 15019 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706907969776 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15020] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15020/stat : 15020 (java) S 15000 15000 11952 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706906917232 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15021] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15021/stat : 15021 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 26740 33554432000 4194304 4196468 140737200464528 139705689565920 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15022] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15022/stat : 15022 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712929 27969658880 26740 33554432000 4194304 4196468 140737200464528 139706905865136 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108356 KiB

[startup+0.21145 s]*
/proc/loadavg: 4.94 5.25 5.21 2/211 15022
/proc/meminfo: memFree=28134776/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419712920 115843072 349 33554432000 4194304 5098028 140725187965344 140725187962600 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 349 296 221 0 87 0
[pid=15003] ppid=15000 vsize=27314120 memory=126468 CPUtime=0.23 cores=0-7
/proc/15003/stat : 15003 (java) S 15000 15000 11952 0 -1 1077944320 11791 0 0 0 19 4 0 0 20 0 20 0 419712920 27969658880 31617 33554432000 4194304 4196468 140737200464528 140737200447072 139708860243703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
/proc/15003/statm: 6828530 31617 2940 1 0 6790935 0
[pid=15003/tid=15004] ppid=15000 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15003/task/15004/stat : 15004 (java) R 15000 15000 11952 0 -1 4202560 9589 0 0 0 16 3 0 0 20 0 20 0 419712920 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708832047312 139708844324190 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15005] ppid=15000 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/15003/task/15005/stat : 15005 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708864486160 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15006] ppid=15000 vsize=27314120 memory=139630926809289 CPUtime=0 cores=0-7
/proc/15003/task/15006/stat : 15006 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708647881616 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15007] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15007/stat : 15007 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708646829072 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15008] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15008/stat : 15008 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708645776528 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15009] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15009/stat : 15009 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708644722960 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15010] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15010/stat : 15010 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708643670416 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15011] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15011/stat : 15011 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708277447184 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15012] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15012/stat : 15012 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 31617 33554432000 4194304 4196468 140737200464528 139708276394640 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15013] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15013/stat : 15013 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712924 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706911128048 139708860254850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15014] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15014/stat : 15014 (java) S 15000 15000 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706830415264 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15015] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15015/stat : 15015 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706561979888 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15016] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15016/stat : 15016 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706187471568 139708860262299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15017] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15017/stat : 15017 (java) S 15000 15000 11952 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706910074864 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15018] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15018/stat : 15018 (java) S 15000 15000 11952 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706909022320 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15019] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15019/stat : 15019 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706907969776 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15020] ppid=15000 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15003/task/15020/stat : 15020 (java) R 15000 15000 11952 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706906917232 139708839683376 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15021] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15021/stat : 15021 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 31617 33554432000 4194304 4196468 140737200464528 139705689565920 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15022] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15022/stat : 15022 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712929 27969658880 31617 33554432000 4194304 4196468 140737200464528 139706905865136 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127864 KiB

[startup+0.310692 s]*
/proc/loadavg: 4.94 5.25 5.21 3/211 15022
/proc/meminfo: memFree=28130668/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419712920 115843072 349 33554432000 4194304 5098028 140725187965344 140725187962600 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 349 296 221 0 87 0
[pid=15003] ppid=15000 vsize=27314120 memory=129904 CPUtime=0.43 cores=0-7
/proc/15003/stat : 15003 (java) S 15000 15000 11952 0 -1 1077944320 12287 0 0 0 38 5 0 0 20 0 20 0 419712920 27969658880 32476 33554432000 4194304 4196468 140737200464528 140737200447072 139708860243703 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
/proc/15003/statm: 6828530 32476 3023 1 0 6790935 0
[pid=15003/tid=15004] ppid=15000 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/15003/task/15004/stat : 15004 (java) R 15000 15000 11952 0 -1 4202560 9866 0 0 0 26 4 0 0 20 0 20 0 419712920 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708832073552 139708844324190 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15005] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15005/stat : 15005 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708864486160 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15006] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15006/stat : 15006 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708647881616 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15007] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15007/stat : 15007 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708646829072 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15008] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15008/stat : 15008 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708645776528 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15009] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15009/stat : 15009 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708644722960 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15010] ppid=15000 vsize=27314120 memory=139630796171951 CPUtime=0 cores=0-7
/proc/15003/task/15010/stat : 15010 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708643670416 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15011] ppid=15000 vsize=27314120 memory=139630796174256 CPUtime=0 cores=0-7
/proc/15003/task/15011/stat : 15011 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708277447184 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15012] ppid=15000 vsize=27314120 memory=139630796176560 CPUtime=0 cores=0-7
/proc/15003/task/15012/stat : 15012 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712923 27969658880 32476 33554432000 4194304 4196468 140737200464528 139708276394640 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15013] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15013/stat : 15013 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419712924 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706911128048 139708860254850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15014] ppid=15000 vsize=27314120 memory=279261592366992 CPUtime=0 cores=0-7
/proc/15003/task/15014/stat : 15014 (java) S 15000 15000 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706830415264 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15015] ppid=15000 vsize=27314120 memory=279261592364688 CPUtime=0 cores=0-7
/proc/15003/task/15015/stat : 15015 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712925 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706561979888 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15016] ppid=15000 vsize=27314120 memory=279261592371600 CPUtime=0 cores=0-7
/proc/15003/task/15016/stat : 15016 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706187471568 139708860262299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15017] ppid=15000 vsize=27314120 memory=279261592312880 CPUtime=0.01 cores=0-7
/proc/15003/task/15017/stat : 15017 (java) S 15000 15000 11952 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706910074864 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15018] ppid=15000 vsize=27314120 memory=279261592385424 CPUtime=0 cores=0-7
/proc/15003/task/15018/stat : 15018 (java) S 15000 15000 11952 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706909022320 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15019] ppid=15000 vsize=27314120 memory=279261592392336 CPUtime=0.01 cores=0-7
/proc/15003/task/15019/stat : 15019 (java) S 15000 15000 11952 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706907969776 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15020] ppid=15000 vsize=27314120 memory=279261592390032 CPUtime=0.07 cores=0-7
/proc/15003/task/15020/stat : 15020 (java) S 15000 15000 11952 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706906917232 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15021] ppid=15000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15021/stat : 15021 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419712928 27969658880 32476 33554432000 4194304 4196468 140737200464528 139705689565920 139708860253909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15022] ppid=15000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15003/task/15022/stat : 15022 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712929 27969658880 32476 33554432000 4194304 4196468 140737200464528 139706905865136 139708860254850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131300 KiB

[startup+0.701111 s]
/proc/loadavg: 4.94 5.25 5.21 2/211 15022
/proc/meminfo: memFree=28121204/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419712920 115843072 349 33554432000 4194304 5098028 140725187965344 140725187962600 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 349 296 221 0 87 0
[pid=15003] ppid=15000 vsize=27320392 memory=159144 CPUtime=0.9 cores=0-7
/proc/15003/stat : 15003 (java) S 15000 15000 11952 0 -1 1077944320 18945 0 0 0 84 6 0 0 20 0 20 0 419712920 27976081408 39786 33554432000 4194304 4196468 140737200464528 140737200447072 139708860243703 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
/proc/15003/statm: 6830098 39786 3077 1 0 6791447 0
[pid=15003/tid=15004] ppid=15000 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/15003/task/15004/stat : 15004 (java) R 15000 15000 11952 0 -1 4202560 16451 0 0 0 62 5 0 0 20 0 20 0 419712920 27976081408 39786 33554432000 4194304 4196468 140737200464528 139708832065184 139708841637472 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15005] ppid=15000 vsize=27320392 memory=139630796383088 CPUtime=0 cores=0-7
/proc/15003/task/15005/stat : 15005 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27976081408 39786 33554432000 4194304 4196468 140737200464528 139708864486160 139708860253909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15006] ppid=15000 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15003/task/15006/stat : 15006 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27976081408 39786 33554432000 4194304 4196468 140737200464528 139708647881616 139708860253909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0
[pid=15003/tid=15007] ppid=15000 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/15003/task/15007/stat : 15007 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419712923 27976081408 39786 33554432000 4194304 4196468 140737200464528 139708646829072 139708860253909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8765440 140737200468715 140737200469142 140737200469142 140737200472015 0

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

/proc/15023/task/15034/stat : 15034 (java) S 15000 15000 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419713161 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036871807904 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15035] ppid=15000 vsize=8414124 memory=7649399379952940337 CPUtime=0 cores=0-7
/proc/15023/task/15035/stat : 15035 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713161 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036603372528 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15036] ppid=15000 vsize=8414124 memory=7649399384247907633 CPUtime=0 cores=0-7
/proc/15023/task/15036/stat : 15036 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036228864208 140038301185947 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15037] ppid=15000 vsize=8414124 memory=7649399388542874929 CPUtime=0.03 cores=0-7
/proc/15023/task/15037/stat : 15037 (java) S 15000 15000 11952 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037393537520 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15038] ppid=15000 vsize=8414124 memory=7649399392837842225 CPUtime=0.06 cores=0-7
/proc/15023/task/15038/stat : 15038 (java) S 15000 15000 11952 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037392484976 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15039] ppid=15000 vsize=8414124 memory=7649399397132809521 CPUtime=0.08 cores=0-7
/proc/15023/task/15039/stat : 15039 (java) S 15000 15000 11952 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037391432432 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15040] ppid=15000 vsize=8414124 memory=7649399358494881073 CPUtime=0.2 cores=0-7
/proc/15023/task/15040/stat : 15040 (java) S 15000 15000 11952 0 -1 1077944384 558 0 0 0 20 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037390379888 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15041] ppid=15000 vsize=8414124 memory=7649399362789848369 CPUtime=0 cores=0-7
/proc/15023/task/15041/stat : 15041 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035730958560 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15042] ppid=15000 vsize=8414124 memory=7649399367084815665 CPUtime=0 cores=0-7
/proc/15023/task/15042/stat : 15042 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037389326768 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15044] ppid=15000 vsize=8414124 memory=7649399375674750257 CPUtime=0 cores=0-7
/proc/15023/task/15044/stat : 15044 (java) S 15000 15000 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037381293248 140038301191961 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15046] ppid=15000 vsize=8414124 memory=7649399384264684849 CPUtime=0 cores=0-7
/proc/15023/task/15046/stat : 15046 (java) S 15000 15000 11952 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035059859216 140038301189277 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15047] ppid=15000 vsize=8414124 memory=7649399388559652145 CPUtime=0 cores=0-7
/proc/15023/task/15047/stat : 15047 (java) S 15000 15000 11952 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035328294800 140038301189277 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15048] ppid=15000 vsize=8414124 memory=7649399392854619441 CPUtime=0 cores=0-7
/proc/15023/task/15048/stat : 15048 (java) S 15000 15000 11952 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419713239 8616062976 29953 33554432000 4194304 4196468 140724419446752 140034791431856 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
Current children cumulated CPU time: 23.03 s
Current children cumulated vsize: 9155624 KiB
Current children cumulated memory: 178628 KiB

[startup+5.40224 s]
/proc/loadavg: 4.94 5.25 5.21 9/224 15056
/proc/meminfo: memFree=28091172/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1476 CPUtime=5.87 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 582 27152 0 0 0 0 571 16 20 0 1 0 419712920 115843072 369 33554432000 4194304 5098028 140725187965344 140725187962088 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 369 311 221 0 87 0
[pid=15023] ppid=15000 vsize=8414124 memory=119812 CPUtime=1.25 cores=0-7
/proc/15023/stat : 15023 (java) S 15000 15000 11952 0 -1 1077944320 20776 0 0 0 116 9 0 0 20 0 24 0 419713157 8616062976 29953 33554432000 4194304 4196468 140724419446752 140724419429296 140038301167351 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
/proc/15023/statm: 2103531 29953 3201 1 0 2064875 0
[pid=15043] ppid=15023 vsize=628372 memory=69180 CPUtime=17.51 cores=0-7
/proc/15043/stat : 15043 (manyglucose-4.1) S 15023 15000 11952 0 -1 1077944320 26177 0 0 0 1744 7 0 0 20 0 9 0 419713237 643452928 17295 33554432000 4194304 4454172 140721534794416 140721534792816 139647116012162 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
/proc/15043/statm: 157093 17295 402 64 0 152761 0
[pid=15043/tid=15049] ppid=15023 vsize=628372 memory=0 CPUtime=2.17 cores=0-7
/proc/15043/task/15049/stat : 15049 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 2891 0 0 0 217 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647100783720 4349976 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15050] ppid=15023 vsize=628372 memory=0 CPUtime=2.18 cores=0-7
/proc/15043/task/15050/stat : 15050 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 2278 0 0 0 218 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647092391016 4353764 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15051] ppid=15023 vsize=628372 memory=0 CPUtime=2.18 cores=0-7
/proc/15043/task/15051/stat : 15051 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 3214 0 0 0 218 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647083998296 4351531 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15052] ppid=15023 vsize=628372 memory=0 CPUtime=2.18 cores=0-7
/proc/15043/task/15052/stat : 15052 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 2524 0 0 0 218 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647075605608 4349826 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15053] ppid=15023 vsize=628372 memory=0 CPUtime=2.17 cores=0-7
/proc/15043/task/15053/stat : 15053 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 3031 0 0 0 217 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647067212648 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15054] ppid=15023 vsize=628372 memory=0 CPUtime=2.18 cores=0-7
/proc/15043/task/15054/stat : 15054 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 2806 0 0 0 218 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647058820200 4350942 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15055] ppid=15023 vsize=628372 memory=0 CPUtime=2.18 cores=0-7
/proc/15043/task/15055/stat : 15055 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 3069 0 0 0 218 0 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139647050427496 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15043/tid=15056] ppid=15023 vsize=628372 memory=0 CPUtime=2.14 cores=0-7
/proc/15043/task/15056/stat : 15056 (manyglucose-4.1) R 15023 15000 11952 0 -1 4202560 2664 0 0 0 213 1 0 0 20 0 9 0 419713240 643452928 17295 33554432000 4194304 4454172 140721534794416 139646969310312 4333121 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 20705280 140721534796649 140721534796848 140721534796848 140721534799802 0
[pid=15023/tid=15024] ppid=15000 vsize=8414124 memory=0 CPUtime=0.82 cores=0-7
/proc/15023/task/15024/stat : 15024 (java) S 15000 15000 11952 0 -1 1077944384 17727 0 0 0 76 6 0 0 20 0 24 0 419713157 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038273007520 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15025] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15025/stat : 15025 (java) S 15000 15000 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038305409296 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15026] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15026/stat : 15026 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038105577872 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15027] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15027/stat : 15027 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038104525328 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15028] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15028/stat : 15028 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038103472784 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15029] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15029/stat : 15029 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038102420240 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15030] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15030/stat : 15030 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038101367696 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15031] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15031/stat : 15031 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038100315152 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15032] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15032/stat : 15032 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419713159 8616062976 29953 33554432000 4194304 4196468 140724419446752 140038099262608 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15033] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15033/stat : 15033 (java) S 15000 15000 11952 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419713160 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037394589680 140038301178498 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15034] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15034/stat : 15034 (java) S 15000 15000 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419713161 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036871807904 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15035] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15035/stat : 15035 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713161 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036603372528 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15036] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15036/stat : 15036 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140036228864208 140038301185947 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15037] ppid=15000 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/15023/task/15037/stat : 15037 (java) S 15000 15000 11952 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037393537520 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15038] ppid=15000 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/15023/task/15038/stat : 15038 (java) S 15000 15000 11952 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037392484976 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15039] ppid=15000 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/15023/task/15039/stat : 15039 (java) S 15000 15000 11952 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037391432432 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15040] ppid=15000 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/15023/task/15040/stat : 15040 (java) S 15000 15000 11952 0 -1 1077944384 558 0 0 0 20 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037390379888 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15041] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15041/stat : 15041 (java) S 15000 15000 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035730958560 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15042] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15042/stat : 15042 (java) S 15000 15000 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419713164 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037389326768 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15044] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15044/stat : 15044 (java) S 15000 15000 11952 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140037381293248 140038301191961 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15046] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15046/stat : 15046 (java) S 15000 15000 11952 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035059859216 140038301189277 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15047] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15047/stat : 15047 (java) S 15000 15000 11952 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419713237 8616062976 29953 33554432000 4194304 4196468 140724419446752 140035328294800 140038301189277 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15048] ppid=15000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15023/task/15048/stat : 15048 (java) S 15000 15000 11952 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419713239 8616062976 29953 33554432000 4194304 4196468 140724419446752 140034791431856 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
Current children cumulated CPU time: 24.63 s
Current children cumulated vsize: 9155624 KiB
Current children cumulated memory: 190468 KiB

[startup+5.50155 s]
/proc/loadavg: 4.94 5.25 5.21 9/224 15056
/proc/meminfo: memFree=28091172/32770688 swapFree=66919992/67108860
[pid=15000] ppid=14997 vsize=113128 memory=1476 CPUtime=5.87 cores=0-7
/proc/15000/stat : 15000 (scop.sh) S 14997 15000 11952 0 -1 4202496 582 27152 0 0 0 0 571 16 20 0 1 0 419712920 115843072 369 33554432000 4194304 5098028 140725187965344 140725187962088 140354560418428 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35028992 140725187973925 140725187974252 140725187974252 140725187977165 0
/proc/15000/statm: 28282 369 311 221 0 87 0
[pid=15023] ppid=15000 vsize=8151972 memory=122160 CPUtime=19.2 cores=0-7
/proc/15023/stat : 15023 (java) S 15000 15000 11952 0 -1 1077944320 20883 26446 0 0 122 9 1782 7 20 0 21 0 419713157 8347619328 30540 33554432000 4194304 4196468 140724419446752 140724419429296 140038301167351 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
/proc/15023/statm: 2037993 30540 3205 1 0 1999337 0
[pid=15023/tid=15024] ppid=15000 vsize=8151972 memory=0 CPUtime=18.72 cores=0-7
/proc/15023/task/15024/stat : 15024 (java) S 15000 15000 11952 0 -1 1077944384 17741 26446 0 0 77 6 1782 7 20 0 21 0 419713157 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038273010832 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15025] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15025/stat : 15025 (java) S 15000 15000 11952 0 -1 1077944384 2 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038305409296 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15026] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15026/stat : 15026 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038105577872 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15027] ppid=15000 vsize=8151972 memory=19921 CPUtime=17.89 cores=0-7
/proc/15023/task/15027/stat : 15027 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038104525328 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15028] ppid=15000 vsize=8151972 memory=4420 CPUtime=17.89 cores=0-7
/proc/15023/task/15028/stat : 15028 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038103472784 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15029] ppid=15000 vsize=8151972 memory=6628 CPUtime=17.89 cores=0-7
/proc/15023/task/15029/stat : 15029 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038102420240 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15030] ppid=15000 vsize=8151972 memory=8836 CPUtime=17.89 cores=0-7
/proc/15023/task/15030/stat : 15030 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038101367696 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15031] ppid=15000 vsize=8151972 memory=11044 CPUtime=17.89 cores=0-7
/proc/15023/task/15031/stat : 15031 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038100315152 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15032] ppid=15000 vsize=8151972 memory=119812 CPUtime=17.89 cores=0-7
/proc/15023/task/15032/stat : 15032 (java) S 15000 15000 11952 0 -1 1077944384 3 26446 0 0 0 0 1782 7 20 0 21 0 419713159 8347619328 30540 33554432000 4194304 4196468 140724419446752 140038099262608 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15033] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15033/stat : 15033 (java) S 15000 15000 11952 0 -1 1077944384 6 26446 0 0 0 0 1782 7 20 0 21 0 419713160 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037394589888 140038301178498 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15034] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15034/stat : 15034 (java) S 15000 15000 11952 0 -1 1077944384 13 26446 0 0 0 0 1782 7 20 0 21 0 419713161 8347619328 30540 33554432000 4194304 4196468 140724419446752 140036871807904 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15035] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15035/stat : 15035 (java) S 15000 15000 11952 0 -1 1077944384 1 26446 0 0 0 0 1782 7 20 0 21 0 419713161 8347619328 30540 33554432000 4194304 4196468 140724419446752 140036603372528 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15036] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15036/stat : 15036 (java) S 15000 15000 11952 0 -1 1077944384 21 26446 0 0 0 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140036228863920 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15037] ppid=15000 vsize=8151972 memory=-6421031960926448530 CPUtime=17.93 cores=0-7
/proc/15023/task/15037/stat : 15037 (java) S 15000 15000 11952 0 -1 1077944384 531 26446 0 0 4 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037393537520 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15038] ppid=15000 vsize=8151972 memory=0 CPUtime=17.95 cores=0-7
/proc/15023/task/15038/stat : 15038 (java) S 15000 15000 11952 0 -1 1077944384 299 26446 0 0 6 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037392484976 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15039] ppid=15000 vsize=8151972 memory=0 CPUtime=17.98 cores=0-7
/proc/15023/task/15039/stat : 15039 (java) S 15000 15000 11952 0 -1 1077944384 277 26446 0 0 9 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037391412832 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15040] ppid=15000 vsize=8151972 memory=0 CPUtime=18.11 cores=0-7
/proc/15023/task/15040/stat : 15040 (java) S 15000 15000 11952 0 -1 1077944384 601 26446 0 0 22 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037390379888 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15041] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15041/stat : 15041 (java) S 15000 15000 11952 0 -1 1077944384 3 26446 0 0 0 0 1782 7 20 0 21 0 419713164 8347619328 30540 33554432000 4194304 4196468 140724419446752 140035730958560 140038301177557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15044] ppid=15000 vsize=8151972 memory=0 CPUtime=17.89 cores=0-7
/proc/15023/task/15044/stat : 15044 (java) S 15000 15000 11952 0 -1 1077944384 24 26446 0 0 0 0 1782 7 20 0 21 0 419713237 8347619328 30540 33554432000 4194304 4196468 140724419446752 140037381292432 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
[pid=15023/tid=15048] ppid=15000 vsize=8151972 memory=1176 CPUtime=17.89 cores=0-7
/proc/15023/task/15048/stat : 15048 (java) S 15000 15000 11952 0 -1 1077944384 14 26446 0 0 0 0 1782 7 20 0 21 0 419713239 8347619328 30540 33554432000 4194304 4196468 140724419446752 140034791433648 140038301178498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13094912 140724419453943 140724419454102 140724419454102 140724419456975 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 123636 KiB

Child status: 0
Real time (s): 5.51318
CPU time (s): 25.1234
CPU user time (s): 24.767
CPU system time (s): 0.356344
CPU usage (%): 455.697
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 331892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.767
system time used= 0.356344
maximum resident set size= 335976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75080
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7998
involuntary context switches= 207


# summary of solver processes directly reported to runsolver:
#   pid: 15000
#   total CPU time (s): 25.1234
#   total CPU user time (s): 24.767
#   total CPU system time (s): 0.356344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070914 second user time and 0.115644 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 13:18:08
IDJOB=4392350
IDBENCH=134597
IDSOLVER=2838
FILE ID=node120/4392350-1568437066
RUNJOBID= node120-1323945801-11979
PBS_JOBID= 21702313
Free space on /tmp= 61648 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-05-int.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-4392350-1568437066/watcher-4392350-1568437066 -o /tmp/evaluation-result-4392350-1568437066/solver-4392350-1568437066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --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-4392350-1568437066.xml

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

MD5SUM BENCH= 5aa02d8e33e0310131c8602cbce67fff
RANDOM SEED=586682644

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28249732 kB
MemAvailable:   31823996 kB
Buffers:          199660 kB
Cached:          3679688 kB
SwapCached:        77548 kB
Active:          1106732 kB
Inactive:        2855908 kB
Active(anon):       5036 kB
Inactive(anon):   128168 kB
Active(file):    1101696 kB
Inactive(file):  2727740 kB
Unevictable:      106944 kB
Mlocked:          106944 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             20836 kB
Writeback:             0 kB
AnonPages:        129772 kB
Mapped:            48744 kB
Shmem:             41008 kB
Slab:             150360 kB
SReclaimable:     121324 kB
SUnreclaim:        29036 kB
KernelStack:        3712 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61628 MiB
End job on node120 at 2011-12-15 13:18:14