Trace number 4405349

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-09-22)UNSAT 495.395 131.101

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-07-0080.xml
MD5SUM9b203975fed1c25a0b87c4f345706814
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 benchmark139.896
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints46
Number of domains1
Minimum domain size127
Maximum domain size127
Distribution of domain sizes[{"size":127,"count":127}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity127
Distribution of constraint arities[{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}]
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-24708-serial-file.bin HOME/instance-4405349-1569341285.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: Mon Dec 26 00:28:27 CET 2011
0.77/0.63	c PID: 24711
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.58/1.03	c (0,0) Parsing End
1.58/1.04	c (0,0) CSP: 127 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 127
1.58/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.58/1.04	c (0,0) Constraint Name Generate Begin
1.58/1.04	c (0,0) Ctr:HOME/instance-4405349-1569341285.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.58/1.04	c (0,0) Constraint Name Generate End
1.58/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.58/1.04	c (0,0) CSP to CSPinCNF Begin
4.56/1.99	c (1,1) translated 5 (10%) constraints
4.56/2.00	c (1,1) translated 10 (20%) constraints
4.56/2.01	c (1,1) translated 14 (30%) constraints
4.56/2.01	c (1,1) translated 19 (40%) constraints
5.00/2.01	c (1,1) translated 23 (50%) constraints
5.00/2.02	c (1,1) translated 28 (60%) constraints
5.00/2.02	c (1,1) translated 33 (70%) constraints
5.00/2.02	c (1,1) translated 37 (80%) constraints
5.00/2.03	c (1,1) translated 42 (90%) constraints
5.00/2.03	c (1,1) translated 46 (100%) constraints
5.00/2.03	c (1,1) ===========================================
5.00/2.03	c (1,1) Order
5.00/2.03	c (1,1) ===========================================
5.43/2.11	c (1,1) translated 818 (10%) constraints
5.43/2.17	c (1,1) translated 1635 (20%) constraints
5.80/2.21	c (1,1) translated 2453 (30%) constraints
5.80/2.26	c (1,1) translated 3270 (40%) constraints
5.80/2.29	c (1,1) translated 4088 (50%) constraints
6.14/2.33	c (1,1) translated 4905 (60%) constraints
6.14/2.37	c (1,1) translated 5723 (70%) constraints
6.46/2.40	c (1,1) translated 6540 (80%) constraints
6.46/2.43	c (1,1) translated 7358 (90%) constraints
9.32/3.53	c (2,2) translated 8175 (100%) constraints
9.32/3.53	c (2,2) CSP to CSPinCNF End
9.32/3.54	c (2,2) CSP: 391 int (264 aux), 16129 bool (16129 aux), 41000 ctr, max domain size 436
9.32/3.54	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.32/3.54	c (2,2) CSPinCNF Propagation Begin
10.91/4.28	c (3,3) 2947 values, 5932 unsatisfiable literals, and 6148 valid clauses are removed
10.91/4.28	c (3,3) CSPinCNF Propagation End
10.91/4.29	c (3,3) CSP: 391 int (264 aux), 16129 bool (16129 aux), 34852 ctr, max domain size 436
12.10/4.63	c (3,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.10/4.63	c (3,3) Simplify CSPinCNF Begin
12.10/4.68	c (4,4) Simplify CSPinCNF End
12.10/4.69	c (4,4) CSP: 391 int (264 aux), 32131 bool (32131 aux), 50854 ctr, max domain size 436
12.10/4.69	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.10/4.69	c (4,4) Calculate Precise Domain Begin
12.46/4.73	c (4,4) 20 values are removed by re-calculation
12.46/4.73	c (4,4) Calculate Precise Domain End
12.46/4.74	c (4,4) CSP: 391 int (264 aux), 32131 bool (32131 aux), 50854 ctr, max domain size 436
12.46/4.74	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.46/4.74	c (4,4) CSPinCNF to SatSolver Begin
16.41/6.06	c (5,5) 5086 (10 %) CSP clauses are encoded (0 SAT variables, 230548 SAT clauses)
18.15/7.63	c (7,7) 10171 (20 %) CSP clauses are encoded (0 SAT variables, 579735 SAT clauses)
19.69/9.19	c (8,8) 15257 (30 %) CSP clauses are encoded (0 SAT variables, 928583 SAT clauses)
21.75/10.75	c (10,10) 20342 (40 %) CSP clauses are encoded (0 SAT variables, 1258884 SAT clauses)
22.66/11.64	c (11,10) 25427 (50 %) CSP clauses are encoded (0 SAT variables, 1474895 SAT clauses)
22.66/11.68	c (11,10) 30513 (60 %) CSP clauses are encoded (0 SAT variables, 1479981 SAT clauses)
22.76/11.73	c (11,11) 35598 (70 %) CSP clauses are encoded (0 SAT variables, 1485066 SAT clauses)
22.76/11.77	c (11,11) 40684 (80 %) CSP clauses are encoded (0 SAT variables, 1490152 SAT clauses)
22.87/11.82	c (11,11) 45769 (90 %) CSP clauses are encoded (0 SAT variables, 1495237 SAT clauses)
46.27/35.60	c (34,32) 50854 (100 %) CSP clauses are encoded (0 SAT variables, 14022032 SAT clauses)
46.27/35.60	c (34,32) CSPinCNF to SatSolver End
46.27/35.60	c (34,32) Heap : 182 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
46.27/35.60	c (34,32) 102996 bool, 14022074 clause
46.27/35.60	c (34,32) Export Begin
46.46/35.70	c (35,32) Export to HOME/scop-24708-serial-file.bin
46.46/35.70	c (35,32) Export End
46.46/35.70	c (35,32) Export File Size: 0.02 MB
46.46/35.70	c (35,32) 0,0,2,3,4,4,34,STOP-AFTER(DIMACS)
46.46/35.70	c END-Prog: Mon Dec 26 00:29:02 CET 2011
46.46/35.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24708-serial-file.bin
47.10/36.26	c (0,0) Read Serial File Begin
47.10/36.26	c (0,0) HOME/scop-24708-serial-file.bin
47.36/36.49	c (0,0) Read Serial File End
47.53/36.51	
47.53/36.51	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
47.53/36.51	(Solving Process)
47.53/36.51	
47.53/36.53	c BEGIN-Prog: Mon Dec 26 00:29:03 CET 2011
47.53/36.53	c PID: 24734
47.53/36.53	c IP: 172.20.3.120
47.53/36.53	c HOST: node120.alineos.net
47.53/36.54	c (0,0) SatSolver.solve Begin
47.53/36.54	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405349-1569341285.xml-scop-24711.cnf
47.53/36.56	c (0,0) c
47.53/36.56	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)
47.53/36.56	c (0,0) c
47.53/36.56	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
47.53/36.56	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
47.53/36.56	c (0,0) c ========================================[ Problem Statistics ]===========================================
47.53/36.56	c (0,0) c |                                                                                                       |
51.91/40.77	c (4,0) c |  Number of variables:        102996                                                                   |
51.91/40.77	c (4,0) c |  Number of clauses:        14014313                                                                   |
51.91/40.77	c (4,0) c |  Parse time:                   3.82 s                                                                 |
51.91/40.77	c (4,0) c |                                                                                                       |
52.72/41.58	c (5,0) c | Too many clauses... No preprocessing                                                                  |
52.72/41.58	c (5,0) c |  Simplification time:          0.70 s                                                                 |
52.72/41.58	c (5,0) c |                                                                                                       |
52.72/41.58	c (5,0) c |  One Solver is taking   1118.60Mb... Let's take   7 solvers for this run (max 40% of the maxmemory).  |
52.72/41.58	c (5,0) c |  Generating clones                                                                                    |
54.82/43.66	c (7,0) c |  all clones generated. Memory =  6277.93Mb.                                                           |
54.82/43.66	c (7,0) c ========================================================================================================|
54.82/43.66	c (7,0) c
54.82/43.66	c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
54.82/43.66	c (7,0) c
54.82/43.66	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
54.82/43.66	c (7,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
54.82/43.66	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
54.82/43.66	c (7,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |
54.82/43.66	c (7,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |
54.82/43.66	c (7,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |
54.82/43.66	c (7,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |
54.82/43.66	c (7,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |
54.82/43.66	c (7,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
54.82/43.66	c (7,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |
54.82/43.66	c (7,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
54.82/43.66	c (7,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
54.82/43.66	c (7,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |
54.82/43.66	c (7,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
54.82/43.66	c (7,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
54.82/43.66	c (7,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
54.82/43.66	c (7,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |
54.82/43.66	c (7,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |
54.82/43.66	c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
214.11/73.41	c (37,0) c
214.11/73.41	c (37,0) c |------------------------------------------------------------------------------------------------------------------------|
214.11/73.41	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
214.11/73.41	c (37,0) c |------------------------------------------------------------------------------------------------------------------------|
214.11/73.41	c (37,0) c |  0 |      3 |       1982 |       1068 |    53961 |     1061 |       20 |    12225 |        2 |      263 |  20 |  0.887 |
214.11/73.41	c (37,0) c |  1 |      5 |       2400 |       1204 |    55570 |     1198 |       16 |    13955 |        3 |      263 |  20 |  0.900 |
214.11/73.41	c (37,0) c |  2 |      7 |       2193 |       1224 |    53214 |     1220 |       28 |    12425 |        1 |      263 |  20 |  0.893 |
214.11/73.41	c (37,0) c |  3 |      4 |       2027 |       1046 |    54526 |     1042 |       15 |    13764 |        2 |      263 |  20 |  0.891 |
214.11/73.41	c (37,0) c |  4 |      9 |       2786 |       1156 |    62742 |     1150 |       16 |    13859 |        3 |      263 |  20 |  0.891 |
214.11/73.41	c (37,0) c |  5 |    121 |      54508 |      35354 |    31458 |    19159 |     5758 |     7782 |     1336 |      246 |  20 |  0.885 |
214.11/73.41	c (37,0) c |  6 |    219 |      75743 |      48726 |    19434 |    22633 |     8523 |     4956 |      617 |      243 |  20 |  0.885 |
214.11/73.41	c (37,0) c 
214.11/73.41	c (37,0) c synthesis       89778 conflicts   246443082 propagations      570 conflicts/sec  1564943 propagations/sec
214.11/73.41	c (37,0) c real: 36.8537 s, cpu: 157.477 s, memory: 7226.29 Mb
357.79/102.41	c (66,0) c
357.79/102.41	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
357.79/102.41	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
357.79/102.41	c (66,0) c |------------------------------------------------------------------------------------------------------------------------|
357.79/102.41	c (66,0) c |  0 |      9 |       3811 |       2046 |   108668 |     1046 |       37 |    25183 |        7 |      516 |  20 |  1.063 |
357.79/102.41	c (66,0) c |  1 |      7 |       4247 |       2430 |    99610 |     1427 |       25 |    30359 |        4 |      516 |  20 |  1.137 |
357.79/102.41	c (66,0) c |  2 |     15 |       4325 |       2289 |   105462 |     1286 |       39 |    32020 |        5 |      516 |  20 |  1.365 |
357.79/102.41	c (66,0) c |  3 |      4 |       4043 |       2331 |    90785 |     1326 |       41 |    28218 |        7 |      516 |  20 |  1.098 |
357.79/102.41	c (66,0) c |  4 |      9 |       4515 |       2229 |   104787 |     1228 |       24 |    13859 |        7 |      516 |  20 |  0.891 |
357.79/102.41	c (66,0) c |  5 |    401 |     156697 |     101454 |    32506 |    30278 |    14727 |    17595 |     4613 |      496 |  20 |  1.335 |
357.79/102.41	c (66,0) c |  6 |    535 |     192708 |     123561 |    20667 |    32171 |    19234 |    14845 |     3986 |      516 |  20 |  1.365 |
357.79/102.41	c (66,0) c 
357.79/102.41	c (66,0) c synthesis      236340 conflicts   518258669 propagations      787 conflicts/sec  1726153 propagations/sec
357.79/102.41	c (66,0) c real: 65.8538 s, cpu: 300.239 s, memory: 7239.55 Mb
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c real time : 94.1779 s
494.89/130.74	c (94,0) c cpu time  : 436.79 s
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | Conflicts     |          413987 |       3141 |       3459 |       3687 |       3610 |       3961 |     189844 |     206285 |
494.89/130.74	c (94,0) c | Decisions     |          638144 |       5501 |       6002 |       6752 |       5886 |       7285 |     289731 |     316987 |
494.89/130.74	c (94,0) c | Propagations  |       749840008 |   46712711 |   45269527 |   45753469 |   45922198 |   51221940 |  248100258 |  266859905 |
494.89/130.74	c (94,0) c | ReduceDBs     |              28 |          1 |          1 |          1 |          1 |          1 |         11 |         12 |
494.89/130.74	c (94,0) c | SimpDBs       |              22 |          1 |          2 |          2 |          2 |          2 |          6 |          7 |
494.89/130.74	c (94,0) c | Restarts      |            1776 |         10 |          9 |         21 |          5 |         13 |        820 |        898 |
494.89/130.74	c (94,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
494.89/130.74	c (94,0) c | PropBinClauses|      1621180409 |  118301844 |  121363507 |  123795820 |  121260986 |  123840516 |  484519555 |  528098181 |
494.89/130.74	c (94,0) c | PropPreBlocker|     26076285325 | 4088844296 | 4059142247 | 4047843214 | 4064893698 | 4048828008 | 2927697745 | 2839036117 |
494.89/130.74	c (94,0) c | PropNotBlocker|      2629240850 |  313765200 |  326106043 |  311551706 |  297913255 |  302282785 |  533694251 |  543927610 |
494.89/130.74	c (94,0) c | LitFullScans  |     31928110331 | 4560494689 | 4584827921 | 4560875950 | 4560919103 | 4561397038 | 4539445040 | 4560150590 |
494.89/130.74	c (94,0) c | LitScanFracts |         3692148 |     390412 |     522476 |     471525 |     443689 |     454552 |     585667 |     823827 |
494.89/130.74	c (94,0) c | DecisionLevel0|            1864 |         19 |         21 |         35 |         16 |         22 |        838 |        913 |
494.89/130.74	c (94,0) c | Periods       |            5319 |        760 |        764 |        760 |        760 |        760 |        756 |        759 |
494.89/130.74	c (94,0) c | Margin        |             140 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
494.89/130.74	c (94,0) c | Avg_Trail     |                 |      65360 |      61747 |      57625 |      60687 |      58492 |      10063 |      10271 |
494.89/130.74	c (94,0) c | Avg_DL        |                 |         47 |         37 |         33 |         41 |         44 |         17 |         18 |
494.89/130.74	c (94,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
494.89/130.74	c (94,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | Exported      |           53236 |         48 |         32 |         57 |         49 |         43 |      24226 |      28781 |
494.89/130.74	c (94,0) c | Imported      |          288347 |      39525 |      51111 |      50350 |      50436 |      45498 |      27762 |      23665 |
494.89/130.74	c (94,0) c | Good          |            1342 |        148 |        226 |        200 |        199 |        192 |        192 |        185 |
494.89/130.74	c (94,0) c | Purge         |          287005 |      39377 |      50885 |      50150 |      50237 |      45306 |      27570 |      23480 |
494.89/130.74	c (94,0) c | Promoted      |           16977 |         15 |         10 |         18 |         10 |         14 |       8900 |       8010 |
494.89/130.74	c (94,0) c | Remove_Imp    |          111389 |      23183 |      24260 |      25867 |      26220 |      11859 |          0 |          0 |
494.89/130.74	c (94,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | Unaries       |                 |          9 |         12 |         14 |         11 |          9 |         18 |         15 |
494.89/130.74	c (94,0) c | Binaries      |                 |         34 |         20 |         31 |         32 |         13 |         84 |         95 |
494.89/130.74	c (94,0) c | Glues         |                 |         48 |         32 |         57 |         49 |         43 |       1414 |       1907 |
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | Orig_Seen     |             0 % |     148822 |     138541 |     147320 |     120795 |     139059 |      32921 |      21082 |
494.89/130.74	c (94,0) c | Diff Orig seen|                 |     115901 |     105620 |     114399 |      87874 |     106138 |      X     | -    11839 |
494.89/130.74	c (94,0) c | Hamming       |            12 % |      11704 |      12675 |      12572 |      11589 |      12670 |      X     |      18157 |
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c | RunningTime   |                 |   54.4  63%|   55.3  64%|   55.1  64%|   55.5  65%|   55.5  65%|   85.3  98%|   83.0  97%|
494.89/130.74	c (94,0) c | WaitingTime   |                 |   31.3  37%|   30.8  36%|   30.6  36%|   30.2  35%|   30.2  35%|    1.7   2%|    2.7   3%|
494.89/130.74	c (94,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
494.89/130.74	c (94,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
494.89/130.74	c (94,0) c | SolvingTime   |                 |   85.7     |   86.2     |   85.7     |   85.7     |   85.7     |   87.1     |   85.7     |
494.89/130.74	c (94,0) c | PropagationTim|                 |   84.7  99%|   84.5  98%|   83.9  98%|   83.9  98%|   83.9  98%|   80.7  93%|   78.1  91%|
494.89/130.74	c (94,0) c | AnalysisTime  |                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.4   0%|    0.5   1%|    2.2   3%|    2.3   3%|
494.89/130.74	c (94,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|
494.89/130.74	c (94,0) c | SimplifyTime  |                 |    0.0   0%|    0.7   1%|    0.7   1%|    0.7   1%|    0.7   1%|    1.0   1%|    2.2   3%|
494.89/130.74	c (94,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
494.89/130.74	c (94,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
494.89/130.74	c (94,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c
494.89/130.74	c (94,0) c Threads : 7
494.89/130.74	c (94,0) c Winner : 5
494.89/130.74	c (94,0) c Conflicts_0 : 3141
494.89/130.74	c (94,0) c Conflicts_1 : 3459
494.89/130.74	c (94,0) c Conflicts_2 : 3687
494.89/130.74	c (94,0) c Conflicts_3 : 3610
494.89/130.74	c (94,0) c Conflicts_4 : 3961
494.89/130.74	c (94,0) c Conflicts_5 : 189844
494.89/130.74	c (94,0) c Conflicts_6 : 206285
494.89/130.74	c (94,0) c Conflicts_total : 413987
494.89/130.74	c (94,0) c Conflicts_winner : 189844
494.89/130.74	c (94,0) c Decisions_0 : 5501
494.89/130.74	c (94,0) c Decisions_1 : 6002
494.89/130.74	c (94,0) c Decisions_2 : 6752
494.89/130.74	c (94,0) c Decisions_3 : 5886
494.89/130.74	c (94,0) c Decisions_4 : 7285
494.89/130.74	c (94,0) c Decisions_5 : 289731
494.89/130.74	c (94,0) c Decisions_6 : 316987
494.89/130.74	c (94,0) c Decisions_total : 638144
494.89/130.74	c (94,0) c Decisions_winner : 289731
494.89/130.74	c (94,0) c Propagations_0 : 46712711
494.89/130.74	c (94,0) c Propagations_1 : 45269527
494.89/130.74	c (94,0) c Propagations_2 : 45753469
494.89/130.74	c (94,0) c Propagations_3 : 45922198
494.89/130.74	c (94,0) c Propagations_4 : 51221940
494.89/130.74	c (94,0) c Propagations_5 : 248100258
494.89/130.74	c (94,0) c Propagations_6 : 266859905
494.89/130.74	c (94,0) c Propagations_total : 749840008
494.89/130.74	c (94,0) c Propagations_winner : 248100258
494.89/130.74	c (94,0) c ReduceDBs_0 : 1
494.89/130.74	c (94,0) c ReduceDBs_1 : 1
494.89/130.74	c (94,0) c ReduceDBs_2 : 1
494.89/130.74	c (94,0) c ReduceDBs_3 : 1
494.89/130.74	c (94,0) c ReduceDBs_4 : 1
494.89/130.74	c (94,0) c ReduceDBs_5 : 11
494.89/130.74	c (94,0) c ReduceDBs_6 : 12
494.89/130.74	c (94,0) c ReduceDBs_total : 28
494.89/130.74	c (94,0) c ReduceDBs_winner : 11
494.89/130.74	c (94,0) c SimpDBs_0 : 1
494.89/130.74	c (94,0) c SimpDBs_1 : 2
494.89/130.74	c (94,0) c SimpDBs_2 : 2
494.89/130.74	c (94,0) c SimpDBs_3 : 2
494.89/130.74	c (94,0) c SimpDBs_4 : 2
494.89/130.74	c (94,0) c SimpDBs_5 : 6
494.89/130.74	c (94,0) c SimpDBs_6 : 7
494.89/130.74	c (94,0) c SimpDBs_total : 22
494.89/130.74	c (94,0) c SimpDBs_winner : 6
494.89/130.74	c (94,0) c Restarts_0 : 10
494.89/130.74	c (94,0) c Restarts_1 : 9
494.89/130.74	c (94,0) c Restarts_2 : 21
494.89/130.74	c (94,0) c Restarts_3 : 5
494.89/130.74	c (94,0) c Restarts_4 : 13
494.89/130.74	c (94,0) c Restarts_5 : 820
494.89/130.74	c (94,0) c Restarts_6 : 898
494.89/130.74	c (94,0) c Restarts_total : 1776
494.89/130.74	c (94,0) c Restarts_winner : 820
494.89/130.74	c (94,0) c ForcedImports_0 : 0
494.89/130.74	c (94,0) c ForcedImports_1 : 0
494.89/130.74	c (94,0) c ForcedImports_2 : 0
494.89/130.74	c (94,0) c ForcedImports_3 : 0
494.89/130.74	c (94,0) c ForcedImports_4 : 0
494.89/130.74	c (94,0) c ForcedImports_5 : 0
494.89/130.74	c (94,0) c ForcedImports_6 : 0
494.89/130.74	c (94,0) c ForcedImports_total : 0
494.89/130.74	c (94,0) c ForcedImports_winner : 0
494.89/130.74	c (94,0) c PropsBinClauses_0 : 118301844
494.89/130.74	c (94,0) c PropsBinClauses_1 : 121363507
494.89/130.74	c (94,0) c PropsBinClauses_2 : 123795820
494.89/130.74	c (94,0) c PropsBinClauses_3 : 121260986
494.89/130.74	c (94,0) c PropsBinClauses_4 : 123840516
494.89/130.74	c (94,0) c PropsBinClauses_5 : 484519555
494.89/130.74	c (94,0) c PropsBinClauses_6 : 528098181
494.89/130.74	c (94,0) c PropsBinClauses_total : 1621180409
494.89/130.74	c (94,0) c PropsBinClauses_winner : 484519555
494.89/130.74	c (94,0) c PropsPreBlocker_0 : 4088844296
494.89/130.74	c (94,0) c PropsPreBlocker_1 : 4059142247
494.89/130.74	c (94,0) c PropsPreBlocker_2 : 4047843214
494.89/130.74	c (94,0) c PropsPreBlocker_3 : 4064893698
494.89/130.74	c (94,0) c PropsPreBlocker_4 : 4048828008
494.89/130.74	c (94,0) c PropsPreBlocker_5 : 2927697745
494.89/130.74	c (94,0) c PropsPreBlocker_6 : 2839036117
494.89/130.74	c (94,0) c PropsPreBlocker_total : 26076285325
494.89/130.74	c (94,0) c PropsPreBlocker_winner : 2927697745
494.89/130.74	c (94,0) c PropsNotBlocker_0 : 313765200
494.89/130.74	c (94,0) c PropsNotBlocker_1 : 326106043
494.89/130.74	c (94,0) c PropsNotBlocker_2 : 311551706
494.89/130.74	c (94,0) c PropsNotBlocker_3 : 297913255
494.89/130.74	c (94,0) c PropsNotBlocker_4 : 302282785
494.89/130.74	c (94,0) c PropsNotBlocker_5 : 533694251
494.89/130.74	c (94,0) c PropsNotBlocker_6 : 543927610
494.89/130.74	c (94,0) c PropsNotBlocker_total : 2629240850
494.89/130.74	c (94,0) c PropsNotBlocker_winner : 533694251
494.89/130.74	c (94,0) c PropsLitFullScans_0 : 4560494689
494.89/130.74	c (94,0) c PropsLitFullScans_1 : 4584827921
494.89/130.74	c (94,0) c PropsLitFullScans_2 : 4560875950
494.89/130.74	c (94,0) c PropsLitFullScans_3 : 4560919103
494.89/130.75	c (94,0) c PropsLitFullScans_4 : 4561397038
494.89/130.75	c (94,0) c PropsLitFullScans_5 : 4539445040
494.89/130.75	c (94,0) c PropsLitFullScans_6 : 4560150590
494.89/130.75	c (94,0) c PropsLitFullScans_total : 31928110331
494.89/130.75	c (94,0) c PropsLitFullScans_winner : 4539445040
494.89/130.75	c (94,0) c LitScanFractions_0 : 390412
494.89/130.75	c (94,0) c LitScanFractions_1 : 522476
494.89/130.75	c (94,0) c LitScanFractions_2 : 471525
494.89/130.75	c (94,0) c LitScanFractions_3 : 443689
494.89/130.75	c (94,0) c LitScanFractions_4 : 454552
494.89/130.75	c (94,0) c LitScanFractions_5 : 585667
494.89/130.75	c (94,0) c LitScanFractions_6 : 823827
494.89/130.75	c (94,0) c LitScanFractions_total : 3692148
494.89/130.75	c (94,0) c LitScanFractions_winner : 585667
494.89/130.75	c (94,0) c DecisionLevel0_0 : 19
494.89/130.75	c (94,0) c DecisionLevel0_1 : 21
494.89/130.75	c (94,0) c DecisionLevel0_2 : 35
494.89/130.75	c (94,0) c DecisionLevel0_3 : 16
494.89/130.75	c (94,0) c DecisionLevel0_4 : 22
494.89/130.75	c (94,0) c DecisionLevel0_5 : 838
494.89/130.75	c (94,0) c DecisionLevel0_6 : 913
494.89/130.75	c (94,0) c DecisionLevel0_total : 1864
494.89/130.75	c (94,0) c DecisionLevel0_winner : 838
494.89/130.75	c (94,0) c Periods_0 : 760
494.89/130.75	c (94,0) c Periods_1 : 764
494.89/130.75	c (94,0) c Periods_2 : 760
494.89/130.75	c (94,0) c Periods_3 : 760
494.89/130.75	c (94,0) c Periods_4 : 760
494.89/130.75	c (94,0) c Periods_5 : 756
494.89/130.75	c (94,0) c Periods_6 : 759
494.89/130.75	c (94,0) c Periods_total : 5319
494.89/130.75	c (94,0) c Periods_winner : 756
494.89/130.75	c (94,0) c Margin_0 : 20
494.89/130.75	c (94,0) c Margin_1 : 20
494.89/130.75	c (94,0) c Margin_2 : 20
494.89/130.75	c (94,0) c Margin_3 : 20
494.89/130.75	c (94,0) c Margin_4 : 20
494.89/130.75	c (94,0) c Margin_5 : 20
494.89/130.75	c (94,0) c Margin_6 : 20
494.89/130.75	c (94,0) c Margin_total : 140
494.89/130.75	c (94,0) c Margin_winner : 20
494.89/130.75	c (94,0) c Exported_0 : 48
494.89/130.75	c (94,0) c Exported_1 : 32
494.89/130.75	c (94,0) c Exported_2 : 57
494.89/130.75	c (94,0) c Exported_3 : 49
494.89/130.75	c (94,0) c Exported_4 : 43
494.89/130.75	c (94,0) c Exported_5 : 24226
494.89/130.75	c (94,0) c Exported_6 : 28781
494.89/130.75	c (94,0) c Exported_total : 53236
494.89/130.75	c (94,0) c Exported_winner : 24226
494.89/130.75	c (94,0) c Imported_0 : 39525
494.89/130.75	c (94,0) c Imported_1 : 51111
494.89/130.75	c (94,0) c Imported_2 : 50350
494.89/130.75	c (94,0) c Imported_3 : 50436
494.89/130.75	c (94,0) c Imported_4 : 45498
494.89/130.75	c (94,0) c Imported_5 : 27762
494.89/130.75	c (94,0) c Imported_6 : 23665
494.89/130.75	c (94,0) c Imported_total : 288347
494.89/130.75	c (94,0) c Imported_winner : 27762
494.89/130.75	c (94,0) c Good_0 : 148
494.89/130.75	c (94,0) c Good_1 : 226
494.89/130.75	c (94,0) c Good_2 : 200
494.89/130.75	c (94,0) c Good_3 : 199
494.89/130.75	c (94,0) c Good_4 : 192
494.89/130.75	c (94,0) c Good_5 : 192
494.89/130.75	c (94,0) c Good_6 : 185
494.89/130.75	c (94,0) c Good_total : 1342
494.89/130.75	c (94,0) c Good_winner : 192
494.89/130.75	c (94,0) c Purge_0 : 39377
494.89/130.75	c (94,0) c Purge_1 : 50885
494.89/130.75	c (94,0) c Purge_2 : 50150
494.89/130.75	c (94,0) c Purge_3 : 50237
494.89/130.75	c (94,0) c Purge_4 : 45306
494.89/130.75	c (94,0) c Purge_5 : 27570
494.89/130.75	c (94,0) c Purge_6 : 23480
494.89/130.75	c (94,0) c Purge_total : 287005
494.89/130.75	c (94,0) c Purge_winner : 27570
494.89/130.75	c (94,0) c Promoted_0 : 15
494.89/130.75	c (94,0) c Promoted_1 : 10
494.89/130.75	c (94,0) c Promoted_2 : 18
494.89/130.75	c (94,0) c Promoted_3 : 10
494.89/130.75	c (94,0) c Promoted_4 : 14
494.89/130.75	c (94,0) c Promoted_5 : 8900
494.89/130.75	c (94,0) c Promoted_6 : 8010
494.89/130.75	c (94,0) c Promoted_total : 16977
494.89/130.75	c (94,0) c Promoted_winner : 8900
494.89/130.75	c (94,0) c Remove_Imp_0 : 23183
494.89/130.75	c (94,0) c Remove_Imp_1 : 24260
494.89/130.75	c (94,0) c Remove_Imp_2 : 25867
494.89/130.75	c (94,0) c Remove_Imp_3 : 26220
494.89/130.75	c (94,0) c Remove_Imp_4 : 11859
494.89/130.75	c (94,0) c Remove_Imp_5 : 0
494.89/130.75	c (94,0) c Remove_Imp_6 : 0
494.89/130.75	c (94,0) c Remove_Imp_total : 111389
494.89/130.75	c (94,0) c Remove_Imp_winner : 0
494.89/130.75	c (94,0) c Blocked_Reuse_0 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_1 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_2 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_3 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_4 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_5 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_6 : 0
494.89/130.75	c (94,0) c Blocked_Reuse_total : 0
494.89/130.75	c (94,0) c Blocked_Reuse_winner : 0
494.89/130.75	c (94,0) c Unaries_0 : 9
494.89/130.75	c (94,0) c Unaries_1 : 12
494.89/130.75	c (94,0) c Unaries_2 : 14
494.89/130.75	c (94,0) c Unaries_3 : 11
494.89/130.75	c (94,0) c Unaries_4 : 9
494.89/130.75	c (94,0) c Unaries_5 : 18
494.89/130.75	c (94,0) c Unaries_6 : 15
494.89/130.75	c (94,0) c Unaries_total : 88
494.89/130.75	c (94,0) c Unaries_winner : 18
494.89/130.75	c (94,0) c Binaries_0 : 34
494.89/130.75	c (94,0) c Binaries_1 : 20
494.89/130.75	c (94,0) c Binaries_2 : 31
494.89/130.75	c (94,0) c Binaries_3 : 32
494.89/130.75	c (94,0) c Binaries_4 : 13
494.89/130.75	c (94,0) c Binaries_5 : 84
494.89/130.75	c (94,0) c Binaries_6 : 95
494.89/130.75	c (94,0) c Binaries_total : 309
494.89/130.75	c (94,0) c Binaries_winner : 84
494.89/130.75	c (94,0) c Glues_0 : 48
494.89/130.75	c (94,0) c Glues_1 : 32
494.89/130.75	c (94,0) c Glues_2 : 57
494.89/130.75	c (94,0) c Glues_3 : 49
494.89/130.75	c (94,0) c Glues_4 : 43
494.89/130.75	c (94,0) c Glues_5 : 1414
494.89/130.75	c (94,0) c Glues_6 : 1907
494.89/130.75	c (94,0) c Glues_total : 3550
494.89/130.75	c (94,0) c Glues_winner : 1414
494.89/130.75	c (94,0) c RunningTime_0 : 54.367796
494.89/130.75	c (94,0) c RunningTime_1 : 55.300281
494.89/130.75	c (94,0) c RunningTime_2 : 55.099746
494.89/130.75	c (94,0) c RunningTime_3 : 55.470423
494.89/130.75	c (94,0) c RunningTime_4 : 55.526251
494.89/130.75	c (94,0) c RunningTime_5 : 85.311471
494.89/130.75	c (94,0) c RunningTime_6 : 83.000662
494.89/130.75	c (94,0) c RunningTime_total : 444.076629
494.89/130.75	c (94,0) c RunningTime_winner : 85.311471
494.89/130.75	c (94,0) c WaitingTime_0 : 31.342993
494.89/130.75	c (94,0) c WaitingTime_1 : 30.833623
494.89/130.75	c (94,0) c WaitingTime_2 : 30.613386
494.89/130.75	c (94,0) c WaitingTime_3 : 30.246694
494.89/130.75	c (94,0) c WaitingTime_4 : 30.195111
494.89/130.75	c (94,0) c WaitingTime_5 : 1.701984
494.89/130.75	c (94,0) c WaitingTime_6 : 2.654360
494.89/130.75	c (94,0) c WaitingTime_total : 157.588151
494.89/130.75	c (94,0) c WaitingTime_winner : 1.701984
494.89/130.75	c (94,0) c ExchangingTime_0 : 0.022252
494.89/130.75	c (94,0) c ExchangingTime_1 : 0.025066
494.89/130.75	c (94,0) c ExchangingTime_2 : 0.023519
494.89/130.75	c (94,0) c ExchangingTime_3 : 0.020493
494.89/130.75	c (94,0) c ExchangingTime_4 : 0.021286
494.89/130.75	c (94,0) c ExchangingTime_5 : 0.031974
494.89/130.75	c (94,0) c ExchangingTime_6 : 0.036323
494.89/130.75	c (94,0) c ExchangingTime_total : 0.180912
494.89/130.75	c (94,0) c ExchangingTime_winner : 0.031974
494.89/130.75	c (94,0) c PeriodProcTime_0 : 0.006474
494.89/130.75	c (94,0) c PeriodProcTime_1 : 0.006493
494.89/130.75	c (94,0) c PeriodProcTime_2 : 0.006585
494.89/130.75	c (94,0) c PeriodProcTime_3 : 0.006492
494.89/130.75	c (94,0) c PeriodProcTime_4 : 0.006178
494.89/130.75	c (94,0) c PeriodProcTime_5 : 0.009117
494.89/130.75	c (94,0) c PeriodProcTime_6 : 0.008783
494.89/130.75	c (94,0) c PeriodProcTime_total : 0.050123
494.89/130.75	c (94,0) c PeriodProcTime_winner : 0.009117
494.89/130.75	c (94,0) c SolvingTime_0 : 85.739515
494.89/130.75	c (94,0) c SolvingTime_1 : 86.165462
494.89/130.75	c (94,0) c SolvingTime_2 : 85.743236
494.89/130.75	c (94,0) c SolvingTime_3 : 85.744102
494.89/130.75	c (94,0) c SolvingTime_4 : 85.748826
494.89/130.75	c (94,0) c SolvingTime_5 : 87.054545
494.89/130.75	c (94,0) c SolvingTime_6 : 85.700127
494.89/130.75	c (94,0) c SolvingTime_total : 601.895814
494.89/130.75	c (94,0) c SolvingTime_winner : 87.054545
494.89/130.75	c (94,0) c PropagationTime_0 : 84.719941
494.89/130.75	c (94,0) c PropagationTime_1 : 84.527730
494.89/130.75	c (94,0) c PropagationTime_2 : 83.900454
494.89/130.75	c (94,0) c PropagationTime_3 : 83.904046
494.89/130.75	c (94,0) c PropagationTime_4 : 83.932711
494.89/130.75	c (94,0) c PropagationTime_5 : 80.744859
494.89/130.75	c (94,0) c PropagationTime_6 : 78.059442
494.89/130.75	c (94,0) c PropagationTime_total : 579.789183
494.89/130.75	c (94,0) c PropagationTime_winner : 80.744859
494.89/130.75	c (94,0) c AnalysisTime_0 : 0.409982
494.89/130.75	c (94,0) c AnalysisTime_1 : 0.371645
494.89/130.75	c (94,0) c AnalysisTime_2 : 0.411300
494.89/130.75	c (94,0) c AnalysisTime_3 : 0.418241
494.89/130.75	c (94,0) c AnalysisTime_4 : 0.454709
494.89/130.75	c (94,0) c AnalysisTime_5 : 2.246257
494.89/130.75	c (94,0) c AnalysisTime_6 : 2.301876
494.89/130.75	c (94,0) c AnalysisTime_total : 6.614010
494.89/130.75	c (94,0) c AnalysisTime_winner : 2.246257
494.89/130.75	c (94,0) c ReductionTime_0 : 0.004720
494.89/130.75	c (94,0) c ReductionTime_1 : 0.005659
494.89/130.75	c (94,0) c ReductionTime_2 : 0.006008
494.89/130.75	c (94,0) c ReductionTime_3 : 0.005988
494.89/130.75	c (94,0) c ReductionTime_4 : 0.002847
494.89/130.75	c (94,0) c ReductionTime_5 : 0.052565
494.89/130.75	c (94,0) c ReductionTime_6 : 0.074702
494.89/130.75	c (94,0) c ReductionTime_total : 0.152489
494.89/130.75	c (94,0) c ReductionTime_winner : 0.052565
494.89/130.75	c (94,0) c SimplifyTime_0 : 0.000006
494.89/130.75	c (94,0) c SimplifyTime_1 : 0.652620
494.89/130.75	c (94,0) c SimplifyTime_2 : 0.740841
494.89/130.75	c (94,0) c SimplifyTime_3 : 0.740231
494.89/130.75	c (94,0) c SimplifyTime_4 : 0.683898
494.89/130.75	c (94,0) c SimplifyTime_5 : 1.010197
494.89/130.75	c (94,0) c SimplifyTime_6 : 2.228000
494.89/130.75	c (94,0) c SimplifyTime_total : 6.055793
494.89/130.75	c (94,0) c SimplifyTime_winner : 1.010197
494.89/130.75	c (94,0) c UsedRateTime_0 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_1 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_2 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_3 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_4 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_5 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_6 : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_total : 0.000000
494.89/130.75	c (94,0) c UsedRateTime_winner : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_0 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_1 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_2 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_3 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_4 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_5 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_6 : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_total : 0.000000
494.89/130.75	c (94,0) c OverlapRateTime_winner : 0.000000
494.89/130.75	c (94,0) c
494.89/130.75	c (94,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
494.89/130.75	c (94,0) c
494.89/130.75	c (94,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.75	c (94,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |
494.89/130.75	c (94,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.75	c (94,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |
494.89/130.75	c (94,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |      False |
494.89/130.75	c (94,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |
494.89/130.75	c (94,0) c | Initial random_seed   |  230028726 |  321122546 |   49294670 | 1215831576 |  454908110 | 1551773108 | 1308522268 |
494.89/130.75	c (94,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |
494.89/130.75	c (94,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
494.89/130.75	c (94,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |
494.89/130.75	c (94,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
494.89/130.75	c (94,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
494.89/130.75	c (94,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |
494.89/130.75	c (94,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
494.89/130.75	c (94,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.9500 |     0.9500 |
494.89/130.75	c (94,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
494.89/130.75	c (94,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |
494.89/130.75	c (94,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |
494.89/130.75	c (94,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|
494.89/130.75	c (94,0) 
494.89/130.75	c (94,0) s UNSATISFIABLE
47.93/131.04	c (94,0) SatSolver.solve End
47.93/131.04	c (94,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
47.93/131.04	c (94,0) Show results Begin
47.93/131.04	s UNSATISFIABLE
47.93/131.04	c (94,0) Show results End
47.93/131.04	c (94,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
47.93/131.04	c (94,0) 94,94,STOP-AFTER(ALL)
47.93/131.04	c END-Prog: Mon Dec 26 00:30:37 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 (12572 MiB free)
  memory of node 1: 16384 MiB (12350 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405349-1569341285/watcher-4405349-1569341285 -o /tmp/evaluation-result-4405349-1569341285/solver-4405349-1569341285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --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-4405349-1569341285.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=24708, runsolver pid=24705
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 3.41 4.43 4.35 2/211 24730
/proc/meminfo: memFree=25426296/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510134672 115843072 349 33554432000 4194304 5098028 140725130973264 140725130970520 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 349 296 221 0 87 0
[pid=24711] ppid=24708 vsize=27314120 memory=105984 CPUtime=0.1 cores=0-7
/proc/24711/stat : 24711 (java) S 24708 24708 23783 0 -1 1077944320 6044 0 0 0 8 2 0 0 20 0 20 0 510134672 27969658880 26496 33554432000 4194304 4196468 140725426782912 140725426765456 139964607626999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
/proc/24711/statm: 6828530 26496 2771 1 0 6790935 0
[pid=24711/tid=24712] ppid=24708 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/24711/task/24712/stat : 24712 (java) R 24708 24708 23783 0 -1 4202560 4155 0 0 0 7 2 0 0 20 0 20 0 510134673 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964579463840 139964607648925 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24713] ppid=24708 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24711/task/24713/stat : 24713 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964611868944 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24714] ppid=24708 vsize=27314120 memory=139825756694144 CPUtime=0 cores=0-7
/proc/24711/task/24714/stat : 24714 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964029327760 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24715] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24715/stat : 24715 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964028275216 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24716] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24716/stat : 24716 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964027222672 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24717] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24717/stat : 24717 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964026170128 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24718] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24718/stat : 24718 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26496 33554432000 4194304 4196468 140725426782912 139964025117584 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24719] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24719/stat : 24719 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26522 33554432000 4194304 4196468 140725426782912 139964024065040 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24720] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24720/stat : 24720 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 26522 33554432000 4194304 4196468 140725426782912 139964023012496 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24721] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24721/stat : 24721 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963128559600 139964607638146 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24722] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24722/stat : 24722 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 26522 33554432000 4194304 4196468 140725426782912 139962380968864 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24723] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24723/stat : 24723 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 26522 33554432000 4194304 4196468 140725426782912 139962112533488 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24724] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24724/stat : 24724 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139961738025168 139964607645595 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24725] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24725/stat : 24725 (java) S 24708 24708 23783 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963127507440 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24726] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24726/stat : 24726 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963126454896 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24727] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24727/stat : 24727 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963125402352 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24728] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24728/stat : 24728 (java) S 24708 24708 23783 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963124349808 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24729] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24729/stat : 24729 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 26522 33554432000 4194304 4196468 140725426782912 139961240119520 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24730] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24730/stat : 24730 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134681 27969658880 26522 33554432000 4194304 4196468 140725426782912 139963123296688 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107380 KiB

[startup+0.21129 s]*
/proc/loadavg: 3.41 4.43 4.35 2/211 24730
/proc/meminfo: memFree=25407260/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510134672 115843072 349 33554432000 4194304 5098028 140725130973264 140725130970520 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 349 296 221 0 87 0
[pid=24711] ppid=24708 vsize=27314120 memory=125448 CPUtime=0.23 cores=0-7
/proc/24711/stat : 24711 (java) S 24708 24708 23783 0 -1 1077944320 11545 0 0 0 19 4 0 0 20 0 20 0 510134672 27969658880 31362 33554432000 4194304 4196468 140725426782912 140725426765456 139964607626999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
/proc/24711/statm: 6828530 31362 2937 1 0 6790935 0
[pid=24711/tid=24712] ppid=24708 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24711/task/24712/stat : 24712 (java) R 24708 24708 23783 0 -1 4202560 9336 0 0 0 16 4 0 0 20 0 20 0 510134673 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964579450160 139964607638934 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24713] ppid=24708 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/24711/task/24713/stat : 24713 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964611868944 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24714] ppid=24708 vsize=27314120 memory=139825756716641 CPUtime=0 cores=0-7
/proc/24711/task/24714/stat : 24714 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964029327760 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24715] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24715/stat : 24715 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964028275216 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24716] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24716/stat : 24716 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964027222672 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24717] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24717/stat : 24717 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964026170128 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24718] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24718/stat : 24718 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964025117584 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24719] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24719/stat : 24719 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964024065040 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24720] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24720/stat : 24720 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 31362 33554432000 4194304 4196468 140725426782912 139964023012496 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24721] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24721/stat : 24721 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963128559600 139964607638146 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24722] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24722/stat : 24722 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 31362 33554432000 4194304 4196468 140725426782912 139962380968864 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24723] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24723/stat : 24723 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 31362 33554432000 4194304 4196468 140725426782912 139962112533488 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24724] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24724/stat : 24724 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139961738025168 139964607645595 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24725] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24725/stat : 24725 (java) S 24708 24708 23783 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963127507440 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24726] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24726/stat : 24726 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963126454896 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24727] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24727/stat : 24727 (java) S 24708 24708 23783 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963125402352 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24728] ppid=24708 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/24711/task/24728/stat : 24728 (java) R 24708 24708 23783 0 -1 4202560 438 0 0 0 2 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963124349808 139964599864126 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24729] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24729/stat : 24729 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 31362 33554432000 4194304 4196468 140725426782912 139961240119520 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24730] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24730/stat : 24730 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134681 27969658880 31362 33554432000 4194304 4196468 140725426782912 139963123296688 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126844 KiB

[startup+0.31084 s]*
/proc/loadavg: 3.41 4.43 4.35 3/211 24730
/proc/meminfo: memFree=25402660/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510134672 115843072 349 33554432000 4194304 5098028 140725130973264 140725130970520 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 349 296 221 0 87 0
[pid=24711] ppid=24708 vsize=27314120 memory=129436 CPUtime=0.43 cores=0-7
/proc/24711/stat : 24711 (java) S 24708 24708 23783 0 -1 1077944320 12193 0 0 0 38 5 0 0 20 0 20 0 510134672 27969658880 32359 33554432000 4194304 4196468 140725426782912 140725426765456 139964607626999 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
/proc/24711/statm: 6828530 32359 3025 1 0 6790935 0
[pid=24711/tid=24712] ppid=24708 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/24711/task/24712/stat : 24712 (java) R 24708 24708 23783 0 -1 4202560 9751 0 0 0 25 4 0 0 20 0 20 0 510134673 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964579451552 139964591670629 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24713] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24713/stat : 24713 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964611868944 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24714] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24714/stat : 24714 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964029327760 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24715] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24715/stat : 24715 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964028275216 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24716] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24716/stat : 24716 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964027222672 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24717] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24717/stat : 24717 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964026170128 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24718] ppid=24708 vsize=27314120 memory=139825613204143 CPUtime=0 cores=0-7
/proc/24711/task/24718/stat : 24718 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964025117584 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24719] ppid=24708 vsize=27314120 memory=139825613206448 CPUtime=0 cores=0-7
/proc/24711/task/24719/stat : 24719 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964024065040 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24720] ppid=24708 vsize=27314120 memory=139825613208752 CPUtime=0 cores=0-7
/proc/24711/task/24720/stat : 24720 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27969658880 32359 33554432000 4194304 4196468 140725426782912 139964023012496 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24721] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24721/stat : 24721 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963128559600 139964607638146 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24722] ppid=24708 vsize=27314120 memory=279651226431376 CPUtime=0 cores=0-7
/proc/24711/task/24722/stat : 24722 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 32359 33554432000 4194304 4196468 140725426782912 139962380968864 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24723] ppid=24708 vsize=27314120 memory=279651226429072 CPUtime=0 cores=0-7
/proc/24711/task/24723/stat : 24723 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134677 27969658880 32359 33554432000 4194304 4196468 140725426782912 139962112533488 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24724] ppid=24708 vsize=27314120 memory=279651226435984 CPUtime=0 cores=0-7
/proc/24711/task/24724/stat : 24724 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139961738025168 139964607645595 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24725] ppid=24708 vsize=27314120 memory=279651226377264 CPUtime=0.02 cores=0-7
/proc/24711/task/24725/stat : 24725 (java) S 24708 24708 23783 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963127507440 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24726] ppid=24708 vsize=27314120 memory=279651226449808 CPUtime=0.01 cores=0-7
/proc/24711/task/24726/stat : 24726 (java) S 24708 24708 23783 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963126454896 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24727] ppid=24708 vsize=27314120 memory=279651226456720 CPUtime=0.01 cores=0-7
/proc/24711/task/24727/stat : 24727 (java) S 24708 24708 23783 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963125402352 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24728] ppid=24708 vsize=27314120 memory=279651226454416 CPUtime=0.07 cores=0-7
/proc/24711/task/24728/stat : 24728 (java) S 24708 24708 23783 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963124349808 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24729] ppid=24708 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24729/stat : 24729 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510134680 27969658880 32359 33554432000 4194304 4196468 140725426782912 139961240119520 139964607637205 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24730] ppid=24708 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/24711/task/24730/stat : 24730 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134681 27969658880 32359 33554432000 4194304 4196468 140725426782912 139963123296688 139964607638146 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130832 KiB

[startup+0.700993 s]
/proc/loadavg: 3.41 4.43 4.35 2/211 24730
/proc/meminfo: memFree=25393128/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 556 318 0 0 0 0 0 0 20 0 1 0 510134672 115843072 349 33554432000 4194304 5098028 140725130973264 140725130970520 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 349 296 221 0 87 0
[pid=24711] ppid=24708 vsize=27320392 memory=159244 CPUtime=0.9 cores=0-7
/proc/24711/stat : 24711 (java) S 24708 24708 23783 0 -1 1077944320 18962 0 0 0 83 7 0 0 20 0 20 0 510134672 27976081408 39811 33554432000 4194304 4196468 140725426782912 140725426765456 139964607626999 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
/proc/24711/statm: 6830098 39811 3079 1 0 6791447 0
[pid=24711/tid=24712] ppid=24708 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/24711/task/24712/stat : 24712 (java) R 24708 24708 23783 0 -1 4202560 16408 0 0 0 61 6 0 0 20 0 20 0 510134673 27976081408 39811 33554432000 4194304 4196468 140725426782912 139964579449552 139964607648925 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24713] ppid=24708 vsize=27320392 memory=139825613415280 CPUtime=0 cores=0-7
/proc/24711/task/24713/stat : 24713 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510134675 27976081408 39811 33554432000 4194304 4196468 140725426782912 139964611868944 139964607637205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24714] ppid=24708 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/24711/task/24714/stat : 24714 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27976081408 39811 33554432000 4194304 4196468 140725426782912 139964029327760 139964607637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0
[pid=24711/tid=24715] ppid=24708 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/24711/task/24715/stat : 24715 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510134675 27976081408 39811 33554432000 4194304 4196468 140725426782912 139964028275216 139964607637205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16629760 140725426787051 140725426787478 140725426787478 140725426790351 0

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

[pid=24734/tid=24739] ppid=24708 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/24734/task/24739/stat : 24739 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30036 33554432000 4194304 4196468 140734587776256 140304712686096 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24740] ppid=24708 vsize=8414124 memory=7686721470300789911 CPUtime=0 cores=0-7
/proc/24734/task/24740/stat : 24740 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30036 33554432000 4194304 4196468 140734587776256 140304711633808 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24741] ppid=24708 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/24734/task/24741/stat : 24741 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30036 33554432000 4194304 4196468 140734587776256 140304710581008 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24742] ppid=24708 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24734/task/24742/stat : 24742 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30036 33554432000 4194304 4196468 140734587776256 140304709528720 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24743] ppid=24708 vsize=8414124 memory=120144 CPUtime=0 cores=0-7
/proc/24734/task/24743/stat : 24743 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30036 33554432000 4194304 4196468 140734587776256 140304708475920 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24744] ppid=24708 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24734/task/24744/stat : 24744 (java) S 24708 24708 23783 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510138250 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303869663344 140304910391938 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24745] ppid=24708 vsize=8414124 memory=120144 CPUtime=0 cores=0-7
/proc/24734/task/24745/stat : 24745 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303562433312 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24746] ppid=24708 vsize=8414124 memory=6943244 CPUtime=0 cores=0-7
/proc/24734/task/24746/stat : 24746 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303293998192 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24747] ppid=24708 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/24734/task/24747/stat : 24747 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140302919489616 140304910399387 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24748] ppid=24708 vsize=8414124 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/24734/task/24748/stat : 24748 (java) S 24708 24708 23783 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303868611184 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24749] ppid=24708 vsize=8414124 memory=1964 CPUtime=0.07 cores=0-7
/proc/24734/task/24749/stat : 24749 (java) S 24708 24708 23783 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303867558384 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24750] ppid=24708 vsize=8414124 memory=7686721470300789911 CPUtime=0.08 cores=0-7
/proc/24734/task/24750/stat : 24750 (java) S 24708 24708 23783 0 -1 1077944384 353 0 0 0 8 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303866506096 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24751] ppid=24708 vsize=8414124 memory=924 CPUtime=0.21 cores=0-7
/proc/24734/task/24751/stat : 24751 (java) S 24708 24708 23783 0 -1 1077944384 693 0 0 0 21 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303865453296 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24752] ppid=24708 vsize=8414124 memory=75072 CPUtime=0 cores=0-7
/proc/24734/task/24752/stat : 24752 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140302421584224 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24753] ppid=24708 vsize=8414124 memory=984 CPUtime=0.06 cores=0-7
/proc/24734/task/24753/stat : 24753 (java) S 24708 24708 23783 0 -1 1077944384 9 0 0 0 2 4 0 0 20 0 24 0 510138254 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303864400176 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24755] ppid=24708 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/24734/task/24755/stat : 24755 (java) S 24708 24708 23783 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510138328 8616062976 30036 33554432000 4194304 4196468 140734587776256 140303856366912 140304910405401 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24757] ppid=24708 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/24734/task/24757/stat : 24757 (java) S 24708 24708 23783 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510138329 8616062976 30036 33554432000 4194304 4196468 140734587776256 140301750484880 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24758] ppid=24708 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/24734/task/24758/stat : 24758 (java) S 24708 24708 23783 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510138329 8616062976 30036 33554432000 4194304 4196468 140734587776256 140302018920208 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24759] ppid=24708 vsize=8414124 memory=660 CPUtime=0 cores=0-7
/proc/24734/task/24759/stat : 24759 (java) S 24708 24708 23783 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510138331 8616062976 30036 33554432000 4194304 4196468 140734587776256 140301482057520 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
Current children cumulated CPU time: 494.59 s
Current children cumulated vsize: 15941996 KiB
Current children cumulated memory: 7064888 KiB

[startup+130.801 s]
/proc/loadavg: 4.04 4.09 4.22 2/219 24779
/proc/meminfo: memFree=18171632/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1476 CPUtime=46.51 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 582 44123 0 0 0 0 4452 199 20 0 1 0 510134672 115843072 369 33554432000 4194304 5098028 140725130973264 140725130970008 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 369 311 221 0 87 0
[pid=24734] ppid=24708 vsize=8414124 memory=120808 CPUtime=1.42 cores=0-7
/proc/24734/stat : 24734 (java) S 24708 24708 23783 0 -1 1077944320 19748 0 0 0 131 11 0 0 20 0 24 0 510138247 8616062976 30202 33554432000 4194304 4196468 140734587776256 140734587758800 140304910380791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
/proc/24734/statm: 2103531 30202 3201 1 0 2064875 0
[pid=24734/tid=24735] ppid=24708 vsize=8414124 memory=4108 CPUtime=0.84 cores=0-7
/proc/24734/task/24735/stat : 24735 (java) S 24708 24708 23783 0 -1 1077944384 16392 0 0 0 79 5 0 0 20 0 24 0 510138248 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304882220960 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24736] ppid=24708 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/24734/task/24736/stat : 24736 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304914622864 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24737] ppid=24708 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/24734/task/24737/stat : 24737 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304714791184 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24738] ppid=24708 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24734/task/24738/stat : 24738 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304713738896 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24739] ppid=24708 vsize=8414124 memory=120144 CPUtime=0 cores=0-7
/proc/24734/task/24739/stat : 24739 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304712686096 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24740] ppid=24708 vsize=8414124 memory=6928460 CPUtime=0 cores=0-7
/proc/24734/task/24740/stat : 24740 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304711633808 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24741] ppid=24708 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/24734/task/24741/stat : 24741 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304710581008 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24742] ppid=24708 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/24734/task/24742/stat : 24742 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304709528720 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24743] ppid=24708 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/24734/task/24743/stat : 24743 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304708475920 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24744] ppid=24708 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/24734/task/24744/stat : 24744 (java) S 24708 24708 23783 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510138250 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303869663344 140304910391938 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24745] ppid=24708 vsize=8414124 memory=3833466188919483054 CPUtime=0 cores=0-7
/proc/24734/task/24745/stat : 24745 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303562433312 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24746] ppid=24708 vsize=8414124 memory=1964 CPUtime=0 cores=0-7
/proc/24734/task/24746/stat : 24746 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303293998192 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24747] ppid=24708 vsize=8414124 memory=2776 CPUtime=0 cores=0-7
/proc/24734/task/24747/stat : 24747 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302919489616 140304910399387 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24748] ppid=24708 vsize=8414124 memory=924 CPUtime=0.04 cores=0-7
/proc/24734/task/24748/stat : 24748 (java) S 24708 24708 23783 0 -1 1077944384 530 0 0 0 4 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303868611184 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24749] ppid=24708 vsize=8414124 memory=1444 CPUtime=0.08 cores=0-7
/proc/24734/task/24749/stat : 24749 (java) S 24708 24708 23783 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303867558384 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24750] ppid=24708 vsize=8414124 memory=1764 CPUtime=0.08 cores=0-7
/proc/24734/task/24750/stat : 24750 (java) S 24708 24708 23783 0 -1 1077944384 362 0 0 0 8 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303866506096 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24751] ppid=24708 vsize=8414124 memory=111632 CPUtime=0.23 cores=0-7
/proc/24734/task/24751/stat : 24751 (java) S 24708 24708 23783 0 -1 1077944384 733 0 0 0 23 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303865453296 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24752] ppid=24708 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/24734/task/24752/stat : 24752 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302421584224 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24753] ppid=24708 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/24734/task/24753/stat : 24753 (java) S 24708 24708 23783 0 -1 1077944384 9 0 0 0 2 4 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303864400176 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24755] ppid=24708 vsize=8414124 memory=6943268 CPUtime=0 cores=0-7
/proc/24734/task/24755/stat : 24755 (java) S 24708 24708 23783 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510138328 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303856366912 140304910405401 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24757] ppid=24708 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7
/proc/24734/task/24757/stat : 24757 (java) S 24708 24708 23783 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 510138329 8616062976 30202 33554432000 4194304 4196468 140734587776256 140301750484912 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24758] ppid=24708 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/24734/task/24758/stat : 24758 (java) S 24708 24708 23783 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510138329 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302018920208 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24759] ppid=24708 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24734/task/24759/stat : 24759 (java) S 24708 24708 23783 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510138331 8616062976 30202 33554432000 4194304 4196468 140734587776256 140301482057520 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
Current children cumulated CPU time: 47.93 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122284 KiB

[startup+131.001 s]*
/proc/loadavg: 4.04 4.09 4.22 2/218 24779
/proc/meminfo: memFree=20910100/32770688 swapFree=66927624/67108860
[pid=24708] ppid=24705 vsize=113128 memory=1476 CPUtime=46.51 cores=0-7
/proc/24708/stat : 24708 (scop.sh) S 24705 24708 23783 0 -1 4202496 582 44123 0 0 0 0 4452 199 20 0 1 0 510134672 115843072 369 33554432000 4194304 5098028 140725130973264 140725130970008 139652193227388 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21852160 140725130978085 140725130978412 140725130978412 140725130981325 0
/proc/24708/statm: 28282 369 311 221 0 87 0
[pid=24734] ppid=24708 vsize=8414124 memory=120808 CPUtime=1.42 cores=0-7
/proc/24734/stat : 24734 (java) S 24708 24708 23783 0 -1 1077944320 19748 0 0 0 131 11 0 0 20 0 24 0 510138247 8616062976 30202 33554432000 4194304 4196468 140734587776256 140734587758800 140304910380791 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
/proc/24734/statm: 2103531 30202 3201 1 0 2064875 0
[pid=24734/tid=24735] ppid=24708 vsize=8414124 memory=1398722017469774279 CPUtime=0.84 cores=0-7
/proc/24734/task/24735/stat : 24735 (java) S 24708 24708 23783 0 -1 1077944384 16392 0 0 0 79 5 0 0 20 0 24 0 510138248 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304882220960 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24736] ppid=24708 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24734/task/24736/stat : 24736 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304914622864 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24737] ppid=24708 vsize=8414124 memory=2776 CPUtime=0 cores=0-7
/proc/24734/task/24737/stat : 24737 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304714791184 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24738] ppid=24708 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/24734/task/24738/stat : 24738 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304713738896 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24739] ppid=24708 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/24734/task/24739/stat : 24739 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304712686096 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24740] ppid=24708 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/24734/task/24740/stat : 24740 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304711633808 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24741] ppid=24708 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/24734/task/24741/stat : 24741 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304710581008 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24742] ppid=24708 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/24734/task/24742/stat : 24742 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304709528720 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24743] ppid=24708 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/24734/task/24743/stat : 24743 (java) S 24708 24708 23783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510138249 8616062976 30202 33554432000 4194304 4196468 140734587776256 140304708475920 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24744] ppid=24708 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/24734/task/24744/stat : 24744 (java) S 24708 24708 23783 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510138250 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303869663344 140304910391938 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24745] ppid=24708 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/24734/task/24745/stat : 24745 (java) S 24708 24708 23783 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303562433312 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24746] ppid=24708 vsize=8414124 memory=7686721470300789911 CPUtime=0 cores=0-7
/proc/24734/task/24746/stat : 24746 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138251 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303293998192 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24747] ppid=24708 vsize=8414124 memory=6940040 CPUtime=0 cores=0-7
/proc/24734/task/24747/stat : 24747 (java) S 24708 24708 23783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302919489616 140304910399387 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24748] ppid=24708 vsize=8414124 memory=7739274779501683046 CPUtime=0.04 cores=0-7
/proc/24734/task/24748/stat : 24748 (java) S 24708 24708 23783 0 -1 1077944384 530 0 0 0 4 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303868611184 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24749] ppid=24708 vsize=8414124 memory=7739274779501683046 CPUtime=0.08 cores=0-7
/proc/24734/task/24749/stat : 24749 (java) S 24708 24708 23783 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303867558384 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24750] ppid=24708 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/24734/task/24750/stat : 24750 (java) S 24708 24708 23783 0 -1 1077944384 362 0 0 0 8 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303866506096 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24751] ppid=24708 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7
/proc/24734/task/24751/stat : 24751 (java) S 24708 24708 23783 0 -1 1077944384 733 0 0 0 23 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303865453296 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24752] ppid=24708 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24734/task/24752/stat : 24752 (java) S 24708 24708 23783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302421584224 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24753] ppid=24708 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/24734/task/24753/stat : 24753 (java) S 24708 24708 23783 0 -1 1077944384 9 0 0 0 2 4 0 0 20 0 24 0 510138254 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303864400176 140304910391938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24755] ppid=24708 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24734/task/24755/stat : 24755 (java) S 24708 24708 23783 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510138328 8616062976 30202 33554432000 4194304 4196468 140734587776256 140303856366912 140304910405401 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24757] ppid=24708 vsize=8414124 memory=64196 CPUtime=0.01 cores=0-7
/proc/24734/task/24757/stat : 24757 (java) S 24708 24708 23783 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 510138329 8616062976 30202 33554432000 4194304 4196468 140734587776256 140301750484912 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24758] ppid=24708 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/24734/task/24758/stat : 24758 (java) S 24708 24708 23783 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510138329 8616062976 30202 33554432000 4194304 4196468 140734587776256 140302018920208 140304910402717 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
[pid=24734/tid=24759] ppid=24708 vsize=8414124 memory=4063 CPUtime=0 cores=0-7
/proc/24734/task/24759/stat : 24759 (java) S 24708 24708 23783 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510138331 8616062976 30202 33554432000 4194304 4196468 140734587776256 140301482057520 140304910390997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37974016 140734587778039 140734587778198 140734587778198 140734587781071 0
Current children cumulated CPU time: 47.93 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122284 KiB

Child status: 0
Real time (s): 131.101
CPU time (s): 495.395
CPU user time (s): 482.638
CPU system time (s): 12.7567
CPU usage (%): 377.874
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7064892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 482.638
system time used= 12.7567
maximum resident set size= 6943332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4471839
page faults= 0
swaps= 0
block input operations= 16
block output operations= 568960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 523342
involuntary context switches= 1196


# summary of solver processes directly reported to runsolver:
#   pid: 24708
#   total CPU time (s): 495.395
#   total CPU user time (s): 482.638
#   total CPU system time (s): 12.7567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15626 second user time and 1.87072 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-26 00:28:26
IDJOB=4405349
IDBENCH=133594
IDSOLVER=2867
FILE ID=node120/4405349-1569341285
RUNJOBID= node120-1324850400-23810
PBS_JOBID= 21705064
Free space on /tmp= 23412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-0080.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-4405349-1569341285/watcher-4405349-1569341285 -o /tmp/evaluation-result-4405349-1569341285/solver-4405349-1569341285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324850400-23810 --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-4405349-1569341285.xml

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

MD5SUM BENCH= 9b203975fed1c25a0b87c4f345706814
RANDOM SEED=1435980845

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:        25521136 kB
MemAvailable:   31778468 kB
Buffers:          101700 kB
Cached:          6433236 kB
SwapCached:        68836 kB
Active:          3215420 kB
Inactive:        3392592 kB
Active(anon):       3556 kB
Inactive(anon):   133836 kB
Active(file):    3211864 kB
Inactive(file):  3258756 kB
Unevictable:      107952 kB
Mlocked:          107952 kB
SwapTotal:      67108860 kB
SwapFree:       66927624 kB
Dirty:             20628 kB
Writeback:            40 kB
AnonPages:        109000 kB
Mapped:            63136 kB
Shmem:             55932 kB
Slab:             233964 kB
SReclaimable:     205092 kB
SUnreclaim:        28872 kB
KernelStack:        3488 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     531432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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= 23392 MiB
End job on node120 at 2011-12-26 00:30:37