Trace number 4307521

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
scop both+glucose-syrup (2018-07-31)SAT 136.989 30.5773

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06d_c18.xml
MD5SUM71f002b78114a95e8a0fa642f39b0e56
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.5792
Satisfiable
(Un)Satisfiability was proved
Number of variables1176
Number of constraints701
Number of domains3
Minimum domain size7
Maximum domain size42
Distribution of domain sizes[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity2
Maximum constraint arity294
Distribution of constraint arities[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints588
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-12248-serial-file.bin HOME/instance-4307521-1534192633.xml
0.66/0.52	
0.66/0.53	scop both+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 22:37:14 CEST 2018
0.66/0.55	c PID: 12251
0.66/0.55	c IP: 172.20.3.137
0.66/0.55	c HOST: node137.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.42/1.35	c (0,0) Parsing End
3.42/1.36	c (0,0) CSP: 1176 int (0 aux), 0 bool (0 aux), 701 ctr, max domain size 42
4.06/1.52	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.06/1.52	c (0,0) Constraint Name Generate Begin
4.06/1.52	c (0,0) Ctr:HOME/instance-4307521-1534192633.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr
4.06/1.52	c (0,0) Constraint Name Generate End
4.06/1.52	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.06/1.52	c (0,0) CSP to CSPinCNF Begin
6.16/2.17	c (1,1) translated 71 (10%) constraints
11.79/4.33	c (3,3) translated 141 (20%) constraints
12.63/4.55	c (4,4) translated 211 (30%) constraints
13.44/4.73	c (4,4) translated 281 (40%) constraints
13.85/4.87	c (4,4) translated 351 (50%) constraints
14.68/5.02	c (4,4) translated 421 (60%) constraints
15.09/5.18	c (4,4) translated 491 (70%) constraints
15.85/5.33	c (4,4) translated 561 (80%) constraints
16.13/5.45	c (4,4) translated 631 (90%) constraints
16.40/5.58	c (5,5) translated 701 (100%) constraints
17.76/5.98	c (5,5) STATISTICS1:HOME/instance-4307521-1534192633.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,6031,56774,42,42,42,2,42:11561;41:324;40:298;39:305;38:625;8:882;7:882,42:86359;41:1271;40:1121;39:1121;38:2210;8:6468;7:5880;2:22209,42:28;9:294;8:294;7:168;4:445;3:31211;2:24259;1:75,2:14877;1:121581;0:588,
17.76/5.98	c (5,5) ==========================================
17.76/5.98	c (5,5) Both Encoding selects:
17.76/5.98	c (5,5) Order
17.76/5.98	c (5,5) ==========================================
18.59/6.23	c (5,5) translated 5678 (10%) constraints
19.24/6.41	c (5,5) translated 11355 (20%) constraints
20.03/6.75	c (6,6) translated 17033 (30%) constraints
20.55/7.17	c (6,6) translated 22710 (40%) constraints
20.95/7.57	c (7,7) translated 28387 (50%) constraints
21.35/7.99	c (7,7) translated 34065 (60%) constraints
21.78/8.36	c (7,7) translated 39742 (70%) constraints
22.54/8.52	c (7,7) translated 45420 (80%) constraints
22.79/8.61	c (8,8) translated 51097 (90%) constraints
22.90/8.70	c (8,8) translated 56774 (100%) constraints
22.90/8.70	c (8,8) CSP to CSPinCNF End
22.90/8.71	c (8,8) CSP: 1176 int (0 aux), 29551 bool (29551 aux), 106166 ctr, max domain size 42
22.90/8.71	c (8,8) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.90/8.71	c (8,8) CSPinCNF Propagation Begin
24.44/9.45	c (8,8) 262 values, 2426 unsatisfiable literals, and 1752 valid clauses are removed
24.44/9.45	c (8,8) CSPinCNF Propagation End
24.44/9.46	c (8,8) CSP: 1368 int (192 aux), 29359 bool (29359 aux), 104414 ctr, max domain size 42
24.44/9.46	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
24.44/9.46	c (8,8) Simplify CSPinCNF Begin
25.47/10.19	c (9,9) Simplify CSPinCNF End
25.80/10.21	c (9,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
25.80/10.21	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.80/10.21	c (9,9) Calculate Precise Domain Begin
25.80/10.21	c (9,9) 0 values are removed by re-calculation
25.80/10.21	c (9,9) Calculate Precise Domain End
25.80/10.23	c (9,9) CSP: 1368 int (192 aux), 57534 bool (57534 aux), 132589 ctr, max domain size 42
25.80/10.23	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.80/10.23	c (9,9) CSPinCNF to SatSolver Begin
28.08/11.55	c (11,11) 13259 (10 %) CSP clauses are encoded (85272 SAT variables, 394862 SAT clauses)
29.21/12.65	c (12,12) 26518 (20 %) CSP clauses are encoded (85272 SAT variables, 764389 SAT clauses)
31.17/13.65	c (13,12) 39777 (30 %) CSP clauses are encoded (85272 SAT variables, 1053907 SAT clauses)
31.27/13.74	c (13,13) 53036 (40 %) CSP clauses are encoded (85272 SAT variables, 1075643 SAT clauses)
31.37/13.80	c (13,13) 66295 (50 %) CSP clauses are encoded (85272 SAT variables, 1088902 SAT clauses)
31.37/13.86	c (13,13) 79554 (60 %) CSP clauses are encoded (85272 SAT variables, 1102161 SAT clauses)
31.47/13.92	c (13,13) 92813 (70 %) CSP clauses are encoded (85272 SAT variables, 1115420 SAT clauses)
31.47/13.98	c (13,13) 106072 (80 %) CSP clauses are encoded (85272 SAT variables, 1128679 SAT clauses)
31.68/14.16	c (13,13) 119331 (90 %) CSP clauses are encoded (85272 SAT variables, 1184304 SAT clauses)
31.85/14.22	c (13,13) 132589 (100 %) CSP clauses are encoded (85272 SAT variables, 1197562 SAT clauses)
31.85/14.22	c (13,13) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
31.85/14.22	c (13,13) CSPinCNF to SatSolver End
31.85/14.22	c (13,13) Heap : 1171 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
32.76/14.62	c (14,13) STATISTICS2:HOME/instance-4307521-1534192633.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,58902,132589,42,42,42,2,42:19934;41:606;40:1165;39:1124;38:2338;8:1764;7:1764,42:145153;41:2169;40:4035;39:3711;38:7308;8:8232;7:7644;2:151335,42:7;38:20;36:1;8:294;7:462;4:445;3:29791;2:101494;1:75,2:28695;1:272197,
32.76/14.62	c (14,13) 85272 bool, 1197563 clause
32.76/14.62	c (14,13) Export Begin
32.93/14.76	c (14,14) Export to HOME/scop-12248-serial-file.bin
32.93/14.76	c (14,14) Export End
32.93/14.77	c (14,14) Export File Size: 0.24 MB
32.93/14.77	c (14,14) 0,0,8,8,9,9,13,STOP-AFTER(DIMACS)
32.93/14.77	c END-Prog: Mon Aug 13 22:37:28 CEST 2018
0.00/14.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12248-serial-file.bin
33.83/15.31	c (0,0) Read Serial File Begin
33.83/15.31	c (0,0) HOME/scop-12248-serial-file.bin
34.24/15.55	c (0,0) Read Serial File End
34.24/15.56	
34.24/15.56	scop order+glucose-syrup (2018-07-31)
34.24/15.56	(Solving Process)
34.24/15.56	
34.24/15.59	c BEGIN-Prog: Mon Aug 13 22:37:29 CEST 2018
34.24/15.59	c PID: 12271
34.24/15.59	c IP: 172.20.3.137
34.24/15.59	c HOST: node137.alineos.net
34.24/15.59	c (0,0) SatSolver.solve Begin
34.24/15.59	c (0,0) 0 bool, 0 clause
34.24/15.59	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307521-1534192633.xml-scop-12251.cnf
102.53/26.14	c (10,0) c
102.53/26.14	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
102.53/26.14	c (10,0) c
102.53/26.14	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
102.53/26.14	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
102.53/26.14	c (10,0) c ========================================[ Problem Statistics ]===========================================
102.53/26.14	c (10,0) c |                                                                                                       |
102.53/26.14	c (10,0) c |  Number of variables:         85272                                                                   |
102.53/26.15	c (10,0) c |  Number of clauses:         1196638                                                                   |
102.53/26.15	c (10,0) c |  Parse time:                   0.36 s                                                                 |
102.53/26.15	c (10,0) c |                                                                                                       |
102.53/26.15	c (10,0) c |  Eliminated clauses:           0.93 Mb                                                                |
102.53/26.15	c (10,0) c |  Simplification time:          1.35 s                                                                 |
102.53/26.15	c (10,0) c |                                                                                                       |
102.53/26.15	c (10,0) c |  Generating clones                                                                                    |
102.53/26.15	c (10,0) c |  all clones generated. Memory = 726.51Mb.                                                             |
102.53/26.15	c (10,0) c ========================================================================================================|
102.53/26.15	c (10,0) c
102.53/26.15	c (10,0) c |-------------------------------------------------------------------------------------------------------|
102.53/26.15	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
102.53/26.15	c (10,0) c |-------------------------------------------------------------------------------------------------------|
102.53/26.15	c (10,0) c |  0 |     45 |     190059 |       8771 |    50110 |     4917 |      653 |     4619 |      139 |  9.017 |
102.53/26.15	c (10,0) c |  1 |     42 |     179111 |       7900 |    46030 |     4037 |      487 |     4480 |      182 |  9.008 |
102.53/26.15	c (10,0) c |  2 |     32 |     181671 |       7901 |    48351 |     4126 |      403 |     4830 |      177 |  9.008 |
102.53/26.15	c (10,0) c |  3 |     31 |     164350 |       8417 |    45117 |     4625 |      683 |     4582 |      175 |  9.008 |
102.53/26.15	c (10,0) c |  4 |     39 |     207125 |      10743 |    55968 |     6936 |      965 |     4361 |      168 |  9.008 |
102.53/26.15	c (10,0) c |  5 |     34 |     184810 |      10955 |    59277 |     7087 |      927 |     4354 |      133 |  9.029 |
102.53/26.15	c (10,0) c |  6 |     46 |     168171 |       8153 |    48454 |     4310 |      543 |     4782 |      169 |  9.015 |
102.53/26.15	c (10,0) c |  7 |     36 |     171647 |       8270 |    47868 |     4402 |      667 |     4470 |      203 |  9.008 |
102.53/26.15	c (10,0) c 
102.53/26.15	c (10,0) c synthesis       71113 conflicts    74014618 propagations     2024 conflicts/sec  2106121 propagations/sec
102.53/26.15	c (10,0) c Total Memory so far : 1309.50Mb
102.53/26.15	c (10,0) c
102.53/26.15	c (10,0) c |-------------------------------------------------------------------------------------------------------|
102.53/26.15	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
102.53/26.15	c (10,0) c |-------------------------------------------------------------------------------------------------------|
102.53/26.15	c (10,0) c |  0 |     85 |     355574 |      16121 |    80566 |     7287 |     1400 |    11023 |      577 |  9.332 |
102.53/26.15	c (10,0) c |  1 |     78 |     344172 |      15731 |    77483 |     6895 |     1286 |    10894 |      497 |  9.330 |
102.53/26.15	c (10,0) c |  2 |     67 |     342789 |      15298 |    79747 |     6523 |     1154 |    11052 |      481 |  9.323 |
102.53/26.15	c (10,0) c |  3 |     69 |     330132 |      16340 |    76938 |     7532 |     1458 |    10777 |      591 |  9.323 |
102.53/26.15	c (10,0) c |  4 |     79 |     368353 |      18642 |    86412 |     9846 |     1872 |    10550 |      445 |  9.323 |
102.53/26.15	c (10,0) c |  5 |     76 |     355572 |      20005 |    91470 |    11141 |     2040 |    10057 |      529 |  9.344 |
102.53/26.15	c (10,0) c |  6 |     90 |     338759 |      16638 |    81563 |     7806 |     1446 |    10733 |      545 |  9.330 |
102.53/26.15	c (10,0) c |  7 |     84 |     343471 |      17427 |    80336 |     8585 |     1767 |    10434 |      602 |  9.330 |
102.53/26.15	c (10,0) c 
135.96/30.34	c (15,0) c synthesis      136204 conflicts   150301666 propagations     2036 conflicts/sec  2246263 propagations/sec
135.96/30.34	c (15,0) c Total Memory so far : 1310.02Mb
135.96/30.34	c (15,0) c
135.96/30.34	c (15,0) c |-------------------------------------------------------------------------------------------------------|
135.96/30.34	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
135.96/30.34	c (15,0) c |-------------------------------------------------------------------------------------------------------|
135.96/30.34	c (15,0) c |  0 |    121 |     501019 |      23551 |   106154 |    14701 |     2199 |    16802 |     1084 |  9.404 |
135.96/30.34	c (15,0) c |  1 |    124 |     490791 |      23079 |   100767 |    14233 |     2116 |    17016 |      989 |  9.402 |
135.96/30.34	c (15,0) c |  2 |    135 |     489720 |      22715 |   105165 |    13927 |     1945 |    17161 |     1019 |  9.395 |
135.96/30.34	c (15,0) c |  3 |    116 |     476125 |      23599 |   101080 |    14764 |     2273 |    16720 |     1023 |  9.395 |
135.96/30.34	c (15,0) c |  4 |    127 |     511860 |      26441 |   111347 |    10258 |     2774 |    16159 |      854 |  9.395 |
135.96/30.34	c (15,0) c |  5 |    120 |     511451 |      27541 |   114313 |    11330 |     2819 |    16288 |     1045 |  9.416 |
135.96/30.34	c (15,0) c |  6 |    144 |     494813 |      25323 |   108735 |     9110 |     2448 |    16653 |     1062 |  9.402 |
135.96/30.34	c (15,0) c |  7 |    137 |     493412 |      24692 |   106264 |     8504 |     2558 |    16574 |     1035 |  9.402 |
135.96/30.34	c (15,0) c 
135.96/30.34	c (15,0) c synthesis      196942 conflicts   223335849 propagations     1995 conflicts/sec  2262313 propagations/sec
135.96/30.34	c (15,0) c Total Memory so far : 1310.66Mb
135.96/30.34	c (15,0) c last restart ## conflicts  :  61 833 
135.96/30.34	c (15,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer).
135.96/30.34	c (15,0) c Total Memory so far : 1310.66Mb
135.96/30.34	c (15,0) c
135.96/30.34	c (15,0) c real time : 14.7306 s
135.96/30.34	c (15,0) c cpu time  : 100.303 s
135.96/30.34	c (15,0) c
135.96/30.34	c (15,0) c
135.96/30.34	c (15,0) c
135.96/30.34	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
135.96/30.34	c (15,0) c
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) c | Conflicts     |          199674 |      23842 |      23427 |      23113 |      23860 |      26764 |      27933 |      25794 |      24941 |
135.96/30.35	c (15,0) c | Decisions     |         4023722 |     506328 |     498674 |     497162 |     482505 |     518897 |     519051 |     501735 |     499370 |
135.96/30.35	c (15,0) c | Propagations  |       226812466 |   28233455 |   27247619 |   28238462 |   27589621 |   29609668 |   29528989 |   28423929 |   27940723 |
135.96/30.35	c (15,0) c | Avg_Trail     |                 |      23412 |      24111 |      23725 |      24288 |      23387 |      23603 |      23431 |      23325 |
135.96/30.35	c (15,0) c | Avg_DL        |                 |        326 |        341 |        331 |        347 |        317 |        333 |        329 |        322 |
135.96/30.35	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.96/30.35	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) c | Exported      |           19428 |       2231 |       2155 |       1985 |       2291 |       2786 |       2872 |       2532 |       2576 |
135.96/30.35	c (15,0) c | Imported      |          135419 |      17184 |      17016 |      17420 |      17021 |      16593 |      16503 |      16839 |      16843 |
135.96/30.35	c (15,0) c | Good          |           20035 |       2434 |       2565 |       2540 |       2557 |       2434 |       2492 |       2506 |       2507 |
135.96/30.35	c (15,0) c | Purge         |          115384 |      14750 |      14451 |      14880 |      14464 |      14159 |      14011 |      14333 |      14336 |
135.96/30.35	c (15,0) c | Promoted      |            8309 |       1113 |       1024 |       1049 |       1039 |        870 |       1075 |       1088 |       1051 |
135.96/30.35	c (15,0) c | Remove_Imp    |            3863 |       1654 |          0 |          0 |       1453 |          0 |          0 |        428 |        328 |
135.96/30.35	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) c | Unaries       |                 |         34 |         13 |         11 |         14 |         13 |         25 |         12 |         23 |
135.96/30.35	c (15,0) c | Binaries      |                 |        435 |        284 |        327 |        302 |        434 |        370 |        356 |        363 |
135.96/30.35	c (15,0) c | Glues         |                 |        764 |        591 |        619 |        617 |        824 |        798 |        710 |        731 |
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) c | Orig_Seen     |             9 % |     107323 |     101686 |     106425 |     102277 |     112635 |     115272 |     109947 |     107236 |
135.96/30.35	c (15,0) c | Diff Orig seen|                 | -     2624 | -     8261 | -     3522 | -     7670 |       2688 |       5325 |      X     | -     2711 |
135.96/30.35	c (15,0) c | Hamming       |            16 % |      13748 |      13282 |      14301 |      14182 |      14502 |      14468 |      X     |      12757 |
135.96/30.35	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
135.96/30.35	c (15,0) 
135.96/30.35	c (15,0) s SATISFIABLE
34.76/30.43	c (15,0) SatSolver.solve End
34.76/30.43	c (15,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
34.76/30.43	c (15,0) Show results Begin
136.77/30.53	s SATISFIABLE
136.77/30.56	v <instantiation>
136.77/30.56	v     <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6]</list>
136.77/30.56	v     <values>0 10 15 22 26 31 40 1 16 37 18 6 30 29 2 24 38 12 21 34 7 3 11 32 14 25 39 20 4 9 36 17 35 19 28 5 29 39 16 30 18 9 6 0 31 13 27 41 23 7 38 22 25 32 12 1 8 2 14 20 28 33 36 9 39 19 28 15 4 30 10 17 21 27 37 2 35 11 33 16 1 29 36 22 12 34 24 5 41 8 18 13 26 3 7 20 38 31 14 40 25 6 23 0 32 15 4 23 30 8 28 41 16 20 9 26 2 40 34 17 32 27 11 36 21 5 18 6 33 3 13 37 24 19 25 35 38 14 10 0 20 5 29 10 31 17 37 21 36 28 0 7 32 14 22 15 1 8 39 35 27 23 3 12 40 34 9 26 24 41 13 2 33 6 19 25 30 18 4 16 11 38 26 31 5 21 10 15 39 27 35 17 41 22 7 4 28 13 34 37 11 23 2 29 12 20 36 9 1 33 30 8 40 24 19 14 3 31 1 41 9 17 20 25 32 28 0 15 40 22 10 33 27 2 19 38 16 11 34 37 26 23 12 3 8 35 7 4 39 24 13 21 36 14 30 29 18 5 6 37 18 6 31 0 24 12 38 19 7 32 1 25 13 39 21 8 33 3 26 15 40 22 10 34 4 27 16 41 23 11 35 5 29 17 0 6 32 21 37 14 19 1 31 22 11 38 29 7 2 8 33 24 16 10 28 3 23 13 18 39 34 30 4 15 35 25 40 9 27 5 20 26 12 41 36 17 6 18 37 14 1 24 36 7 35 38 13 21 27 2 8 30 39 22 15 12 34 9 4 16 31 29 23 5 10 0 40 20 26 19 32 11 3 41 17 28 25 33 12 29 23 2 34 7 37 13 28 24 6 18 35 38 14 36 8 3 19 30 21 15 22 0 32 9 26 39 16 1 11 5 25 33 40 17 10 27 4 31 20 41 18 37 25 1 36 5 12 19 38 9 33 30 4 24 20 16 29 8 13 31 3 21 39 10 26 2 17 35 22 40 7 0 27 32 11 23 41 15 34 14 28 6 24 2 12 30 35 37 18 25 19 14 7 3 38 31 26 13 34 16 0 39 23 27 33 17 10 6 40 22 28 32 21 9 8 15 4 29 5 20 36 11 41 1 30 25 36 15 5 1 9 31 26 6 37 20 0 13 32 17 3 38 7 21 14 33 11 18 39 24 8 29 34 12 28 40 23 2 16 35 27 19 41 4 22 10 36 21 4 29 17 11 8 37 34 1 28 10 18 20 38 7 2 19 33 13 25 39 9 5 35 22 3 26 40 14 30 23 32 16 0 41 24 31 27 12 6 15 0 1 2 3 4 5 6 0 2 6 3 1 5 4 0 4 6 2 3 5 1 0 1 5 2 4 6 3 0 1 6 2 5 3 4 0 4 6 2 5 3 1 1 0 5 2 4 6 3 1 6 3 4 5 2 0 1 0 2 3 4 5 6 1 6 3 4 2 0 5 1 2 3 4 6 0 5 1 5 2 0 4 6 3 2 5 4 0 6 1 3 2 4 0 1 3 6 5 2 6 4 1 3 0 5 2 0 3 5 1 4 6 2 3 1 4 0 6 5 2 5 4 1 6 3 0 3 1 5 0 2 6 4 3 4 5 6 2 1 0 3 0 4 1 5 2 6 3 6 4 0 1 5 2 3 2 0 1 6 5 4 3 0 2 6 5 1 4 4 6 2 0 5 1 3 4 5 3 0 2 1 6 4 5 0 3 1 2 6 4 5 2 6 3 1 0 4 2 5 6 1 3 0 4 2 3 6 1 0 5 5 1 6 4 3 2 0 5 0 6 1 2 3 4 5 4 0 2 6 3 1 5 4 0 3 6 2 1 5 6 4 3 2 0 1 5 1 0 6 4 2 3 6 2 5 4 3 0 1 6 3 1 5 0 4 2 6 3 1 5 0 4 2 6 3 1 5 0 4 2 6 3 1 5 0 4 2 6 3 1 5 0 4 2 0 1 6 4 7 2 3 0 6 4 2 7 5 1 0 1 6 4 3 2 5 0 4 2 3 7 6 5 0 3 6 4 7 2 5 1 4 5 2 7 6 3 1 3 7 2 0 4 6 1 6 7 2 4 5 0 1 5 7 4 3 2 6 2 0 3 6 5 4 1 2 0 7 4 5 3 6 2 0 7 3 5 4 6 2 5 4 0 6 1 7 2 5 4 1 3 6 7 2 6 1 0 3 5 4 3 4 0 6 2 5 7 3 0 2 1 4 6 7 3 2 5 0 6 4 7 3 7 4 0 6 1 2 3 7 2 6 5 0 4 4 3 5 1 2 6 0 4 7 2 5 0 3 6 4 7 1 0 5 6 2 4 7 3 6 2 5 1 4 0 2 5 6 7 3 4 3 2 1 0 7 6 5 2 6 3 0 7 4 5 6 3 2 1 7 4 5 6 4 2 1 3 0 5 1 4 6 2 7 0 5 4 6 3 1 0 2 6 5 1 7 4 0 2 6 3 0 7 1 4 2 6 2 3 7 4 1 5 6 2 5 7 4 0 3 6 5 3 7 0 4 2 6 4 0 5 3 2 1 7 6 0 5 2 3 4 7 1 0 3 6 2 4 7 2 1 6 4 0 5 7 2 5 4 6 3 0 7 4 6 5 2 1 3</values>
136.77/30.56	v </instantiation>
136.77/30.56	c (15,0) Show results End
136.77/30.56	c (15,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
136.77/30.56	c (15,0) 15,15,STOP-AFTER(ALL)
136.77/30.56	c END-Prog: Mon Aug 13 22:37:44 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307521-1534192633/watcher-4307521-1534192633 -o /tmp/evaluation-result-4307521-1534192633/solver-4307521-1534192633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307521-1534192633.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 4.77 6.36 7.11 2/199 12270
/proc/meminfo: memFree=22407768/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236826500 115843072 349 33554432000 4194304 5098028 140720755570128 140720755567384 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 349 296 221 0 87 0
[pid=12251] ppid=12248 vsize=27313900 memory=106420 CPUtime=0.1 cores=0-7
/proc/12251/stat : 12251 (java) S 12248 12248 10382 0 -1 1077944320 6595 0 0 0 8 2 0 0 20 0 20 0 236826500 27969433600 26605 33554432000 4194304 4196468 140730978002608 140730977985152 139979906338551 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
/proc/12251/statm: 6828475 26605 2738 1 0 6790935 0
[pid=12251/tid=12252] ppid=12248 vsize=27313900 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12251/task/12252/stat : 12252 (java) R 12248 12248 10382 0 -1 4202560 4688 0 0 0 7 2 0 0 20 0 20 0 236826501 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979878173120 139979890419038 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12253] ppid=12248 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12251/task/12253/stat : 12253 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979910581008 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12254] ppid=12248 vsize=27313900 memory=139918537610880 CPUtime=0 cores=0-7
/proc/12251/task/12254/stat : 12254 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979724737424 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12255] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12255/stat : 12255 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979723684880 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12256] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12256/stat : 12256 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979722632336 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12257] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12257/stat : 12257 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979721578768 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12258] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12258/stat : 12258 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979720526224 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12259] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12259/stat : 12259 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979719473680 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12260] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12260/stat : 12260 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 26605 33554432000 4194304 4196468 140730978002608 139979718421136 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12261] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12261/stat : 12261 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826504 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978025134576 139979906349698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12262] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12262/stat : 12262 (java) S 12248 12248 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 26605 33554432000 4194304 4196468 140730978002608 139977816008096 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12263] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12263/stat : 12263 (java) S 12248 12248 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 26605 33554432000 4194304 4196468 140730978002608 139977681786352 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12264] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12264/stat : 12264 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 26605 33554432000 4194304 4196468 140730978002608 139977307282128 139979906357147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12265] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12265/stat : 12265 (java) S 12248 12248 10382 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978024081392 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12266] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12266/stat : 12266 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978023028848 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12267] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12267/stat : 12267 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978021976304 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12268] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12268/stat : 12268 (java) S 12248 12248 10382 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978020923760 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12269] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12269/stat : 12269 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 26605 33554432000 4194304 4196468 140730978002608 139976809376480 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12270] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12270/stat : 12270 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 26605 33554432000 4194304 4196468 140730978002608 139978019871664 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 107816 KiB

[startup+0.210442 s]*
/proc/loadavg: 4.77 6.36 7.11 2/199 12270
/proc/meminfo: memFree=22391520/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236826500 115843072 349 33554432000 4194304 5098028 140720755570128 140720755567384 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 349 296 221 0 87 0
[pid=12251] ppid=12248 vsize=27313900 memory=120792 CPUtime=0.25 cores=0-7
/proc/12251/stat : 12251 (java) S 12248 12248 10382 0 -1 1077944320 10502 0 0 0 21 4 0 0 20 0 20 0 236826500 27969433600 30198 33554432000 4194304 4196468 140730978002608 140730977985152 139979906338551 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
/proc/12251/statm: 6828475 30198 2837 1 0 6790935 0
[pid=12251/tid=12252] ppid=12248 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12251/task/12252/stat : 12252 (java) R 12248 12248 10382 0 -1 4202560 8367 0 0 0 17 3 0 0 20 0 20 0 236826501 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979878154192 139979906350486 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12253] ppid=12248 vsize=27313900 memory=342 CPUtime=0 cores=0-7
/proc/12251/task/12253/stat : 12253 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979910581008 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12254] ppid=12248 vsize=27313900 memory=4049214840105817760 CPUtime=0 cores=0-7
/proc/12251/task/12254/stat : 12254 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979724737424 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12255] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12255/stat : 12255 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979723684880 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12256] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12256/stat : 12256 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979722632336 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12257] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12257/stat : 12257 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979721578768 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12258] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12258/stat : 12258 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979720526224 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12259] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12259/stat : 12259 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979719473680 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12260] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12260/stat : 12260 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 30198 33554432000 4194304 4196468 140730978002608 139979718421136 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12261] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12261/stat : 12261 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826504 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978025134576 139979906349698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12262] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12262/stat : 12262 (java) S 12248 12248 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 30198 33554432000 4194304 4196468 140730978002608 139977816008096 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12263] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12263/stat : 12263 (java) S 12248 12248 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 30198 33554432000 4194304 4196468 140730978002608 139977681786352 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12264] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12264/stat : 12264 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 30198 33554432000 4194304 4196468 140730978002608 139977307282128 139979906357147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12265] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12265/stat : 12265 (java) S 12248 12248 10382 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978024081392 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12266] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12266/stat : 12266 (java) S 12248 12248 10382 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978023028848 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12267] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12267/stat : 12267 (java) S 12248 12248 10382 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978021976304 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12268] ppid=12248 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7
/proc/12251/task/12268/stat : 12268 (java) S 12248 12248 10382 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 236826508 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978020923760 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12269] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12269/stat : 12269 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 30198 33554432000 4194304 4196468 140730978002608 139976809376480 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12270] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12270/stat : 12270 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 30198 33554432000 4194304 4196468 140730978002608 139978019871664 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122188 KiB

[startup+0.310294 s]*
/proc/loadavg: 4.77 6.36 7.11 2/199 12270
/proc/meminfo: memFree=22387504/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236826500 115843072 349 33554432000 4194304 5098028 140720755570128 140720755567384 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 349 296 221 0 87 0
[pid=12251] ppid=12248 vsize=27313900 memory=125248 CPUtime=0.42 cores=0-7
/proc/12251/stat : 12251 (java) S 12248 12248 10382 0 -1 1077944320 11117 0 0 0 38 4 0 0 20 0 20 0 236826500 27969433600 31312 33554432000 4194304 4196468 140730978002608 140730977985152 139979906338551 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
/proc/12251/statm: 6828475 31312 2952 1 0 6790935 0
[pid=12251/tid=12252] ppid=12248 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12251/task/12252/stat : 12252 (java) R 12248 12248 10382 0 -1 4202560 8809 0 0 0 26 3 0 0 20 0 20 0 236826501 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979878134000 139979887902111 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12253] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12253/stat : 12253 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979910581008 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12254] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12254/stat : 12254 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979724737424 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12255] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12255/stat : 12255 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979723684880 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12256] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12256/stat : 12256 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979722632336 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12257] ppid=12248 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/12251/task/12257/stat : 12257 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979721578768 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12258] ppid=12248 vsize=27313900 memory=139918424765359 CPUtime=0 cores=0-7
/proc/12251/task/12258/stat : 12258 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979720526224 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12259] ppid=12248 vsize=27313900 memory=139918424767664 CPUtime=0 cores=0-7
/proc/12251/task/12259/stat : 12259 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979719473680 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12260] ppid=12248 vsize=27313900 memory=139918424769968 CPUtime=0 cores=0-7
/proc/12251/task/12260/stat : 12260 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27969433600 31312 33554432000 4194304 4196468 140730978002608 139979718421136 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12261] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12261/stat : 12261 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826504 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978025134576 139979906349698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12262] ppid=12248 vsize=27313900 memory=279836849546896 CPUtime=0 cores=0-7
/proc/12251/task/12262/stat : 12262 (java) S 12248 12248 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 31312 33554432000 4194304 4196468 140730978002608 139977816008096 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12263] ppid=12248 vsize=27313900 memory=279836849553808 CPUtime=0 cores=0-7
/proc/12251/task/12263/stat : 12263 (java) S 12248 12248 10382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236826505 27969433600 31312 33554432000 4194304 4196468 140730978002608 139977681786352 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12264] ppid=12248 vsize=27313900 memory=279836849495088 CPUtime=0 cores=0-7
/proc/12251/task/12264/stat : 12264 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 31312 33554432000 4194304 4196468 140730978002608 139977307282128 139979906357147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12265] ppid=12248 vsize=27313900 memory=279836849567632 CPUtime=0 cores=0-7
/proc/12251/task/12265/stat : 12265 (java) S 12248 12248 10382 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978024081392 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12266] ppid=12248 vsize=27313900 memory=279836849574544 CPUtime=0 cores=0-7
/proc/12251/task/12266/stat : 12266 (java) S 12248 12248 10382 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 236826507 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978023028848 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12267] ppid=12248 vsize=27313900 memory=279836849572240 CPUtime=0.02 cores=0-7
/proc/12251/task/12267/stat : 12267 (java) S 12248 12248 10382 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 236826508 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978021976304 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12268] ppid=12248 vsize=27313900 memory=279836849588400 CPUtime=0.07 cores=0-7
/proc/12251/task/12268/stat : 12268 (java) S 12248 12248 10382 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 20 0 236826508 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978020923760 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12269] ppid=12248 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12269/stat : 12269 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 31312 33554432000 4194304 4196468 140730978002608 139976809376480 139979906348757 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12270] ppid=12248 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/12251/task/12270/stat : 12270 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826508 27969433600 31312 33554432000 4194304 4196468 140730978002608 139978019871664 139979906349698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126644 KiB

[startup+0.701052 s]
/proc/loadavg: 4.77 6.36 7.11 2/199 12270
/proc/meminfo: memFree=22362948/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 236826500 115843072 349 33554432000 4194304 5098028 140720755570128 140720755567384 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 349 296 221 0 87 0
[pid=12251] ppid=12248 vsize=27320172 memory=165296 CPUtime=1.04 cores=0-7
/proc/12251/stat : 12251 (java) S 12248 12248 10382 0 -1 1077944320 18323 0 0 0 97 7 0 0 20 0 20 0 236826500 27975856128 41324 33554432000 4194304 4196468 140730978002608 140730977985152 139979906338551 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
/proc/12251/statm: 6830043 41324 3138 1 0 6791447 0
[pid=12251/tid=12252] ppid=12248 vsize=27320172 memory=279836849946288 CPUtime=0.67 cores=0-7
/proc/12251/task/12252/stat : 12252 (java) R 12248 12248 10382 0 -1 4202560 15329 0 0 0 63 4 0 0 20 0 20 0 236826501 27975856128 41324 33554432000 4194304 4196468 140730978002608 139979878169056 139979898575678 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12253] ppid=12248 vsize=27320172 memory=139918424974192 CPUtime=0 cores=0-7
/proc/12251/task/12253/stat : 12253 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236826503 27975856128 41324 33554432000 4194304 4196468 140730978002608 139979910581008 139979906348757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12254] ppid=12248 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/12251/task/12254/stat : 12254 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27975856128 41324 33554432000 4194304 4196468 140730978002608 139979724737424 139979906348757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0
[pid=12251/tid=12255] ppid=12248 vsize=27320172 memory=752 CPUtime=0 cores=0-7
/proc/12251/task/12255/stat : 12255 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236826503 27975856128 41324 33554432000 4194304 4196468 140730978002608 139979723684880 139979906348757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8114176 140730978005993 140730978006317 140730978006317 140730978009039 0

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

[pid=12271/tid=12274] ppid=12248 vsize=8413904 memory=3977443136263103798 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061060340112 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12275] ppid=12248 vsize=8413904 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061059287568 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12276] ppid=12248 vsize=8413904 memory=125916 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061058235024 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12277] ppid=12248 vsize=8413904 memory=805608 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061057182480 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12278] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061056129936 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12279] ppid=12248 vsize=8413904 memory=541 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061055077392 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12280] ppid=12248 vsize=8413904 memory=685 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 31498 33554432000 4194304 4196468 140732655746928 140061054024848 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12281] ppid=12248 vsize=8413904 memory=420 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12248 12248 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236827985 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060080949232 140061255940738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12282] ppid=12248 vsize=8413904 memory=246 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12248 12248 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236827985 8615837696 31498 33554432000 4194304 4196468 140732655746928 140059890148256 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12283] ppid=12248 vsize=8413904 memory=219 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827986 8615837696 31498 33554432000 4194304 4196468 140732655746928 140059621712880 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12284] ppid=12248 vsize=8413904 memory=7 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140059247204560 140061255948187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12285] ppid=12248 vsize=8413904 memory=674 CPUtime=0.08 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12248 12248 10382 0 -1 1077944384 556 0 0 0 8 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060079897072 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12286] ppid=12248 vsize=8413904 memory=18649 CPUtime=0.13 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) S 12248 12248 10382 0 -1 1077944384 689 0 0 0 13 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060078844528 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12287] ppid=12248 vsize=8413904 memory=0 CPUtime=0.12 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12248 12248 10382 0 -1 1077944384 364 0 0 0 12 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060077791984 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12288] ppid=12248 vsize=8413904 memory=-5155634583016467845 CPUtime=0.22 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12248 12248 10382 0 -1 1077944384 621 0 0 0 22 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060076739440 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12289] ppid=12248 vsize=8413904 memory=279836851102464 CPUtime=0 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827988 8615837696 31498 33554432000 4194304 4196468 140732655746928 140058749298912 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12290] ppid=12248 vsize=8413904 memory=7019257425709197167 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827989 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060075686320 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12292] ppid=12248 vsize=8413904 memory=7524508290343583840 CPUtime=0 cores=0-7
/proc/12271/task/12292/stat : 12292 (java) S 12248 12248 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236828062 8615837696 31498 33554432000 4194304 4196468 140732655746928 140060067878080 140061255954201 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12294] ppid=12248 vsize=8413904 memory=37700 CPUtime=0 cores=0-7
/proc/12271/task/12294/stat : 12294 (java) S 12248 12248 10382 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 236828062 8615837696 31498 33554432000 4194304 4196468 140732655746928 140058078199600 140061255951517 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12295] ppid=12248 vsize=8413904 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/12271/task/12295/stat : 12295 (java) S 12248 12248 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236828062 8615837696 31498 33554432000 4194304 4196468 140732655746928 140058346635184 140061255951517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12296] ppid=12248 vsize=8413904 memory=6370719275257063784 CPUtime=0 cores=0-7
/proc/12271/task/12296/stat : 12296 (java) S 12248 12248 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236828064 8615837696 31498 33554432000 4194304 4196468 140732655746928 140057809772192 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
Current children cumulated CPU time: 133.64 s
Current children cumulated vsize: 9869144 KiB
Current children cumulated memory: 938180 KiB

[startup+30.4015 s]
/proc/loadavg: 4.84 6.19 7.03 10/212 12304
/proc/meminfo: memFree=21555800/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1472 CPUtime=33.21 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 590 42190 0 0 0 0 3174 147 20 0 1 0 236826500 115843072 368 33554432000 4194304 5098028 140720755570128 140720755566872 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 368 311 221 0 87 0
[pid=12271] ppid=12248 vsize=8413904 memory=142388 CPUtime=1.55 cores=0-7
/proc/12271/stat : 12271 (java) S 12248 12248 10382 0 -1 1077944320 19300 0 0 0 147 8 0 0 20 0 24 0 236827982 8615837696 35597 33554432000 4194304 4196468 140732655746928 140732655729472 140061255929591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
/proc/12271/statm: 2103476 35597 3160 1 0 2064875 0
[pid=12271/tid=12272] ppid=12248 vsize=8413904 memory=808168 CPUtime=0.82 cores=0-7
/proc/12271/task/12272/stat : 12272 (java) S 12248 12248 10382 0 -1 1077944384 15068 0 0 0 76 6 0 0 20 0 24 0 236827982 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061227769744 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12273] ppid=12248 vsize=8413904 memory=3321 CPUtime=0 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061260171536 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12274] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061060340112 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12275] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061059287568 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12276] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061058235024 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12277] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827983 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061057182480 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12278] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12248 12248 10382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061056129936 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12279] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061055077392 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12280] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827984 8615837696 35597 33554432000 4194304 4196468 140732655746928 140061054024848 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12281] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12248 12248 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236827985 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060080949232 140061255940738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12282] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12248 12248 10382 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236827985 8615837696 35597 33554432000 4194304 4196468 140732655746928 140059890148256 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12283] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827986 8615837696 35597 33554432000 4194304 4196468 140732655746928 140059621712880 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12284] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12248 12248 10382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140059247204560 140061255948187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12285] ppid=12248 vsize=8413904 memory=0 CPUtime=0.09 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12248 12248 10382 0 -1 1077944384 558 0 0 0 9 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060079897072 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12286] ppid=12248 vsize=8413904 memory=0 CPUtime=0.16 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) R 12248 12248 10382 0 -1 4202560 704 0 0 0 16 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060078844528 140061241972650 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12287] ppid=12248 vsize=8413904 memory=0 CPUtime=0.13 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12248 12248 10382 0 -1 1077944384 368 0 0 0 13 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060077791984 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12288] ppid=12248 vsize=8413904 memory=1 CPUtime=0.25 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) S 12248 12248 10382 0 -1 1077944384 1151 0 0 0 25 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060076739440 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12289] ppid=12248 vsize=8413904 memory=6708 CPUtime=0 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827988 8615837696 35597 33554432000 4194304 4196468 140732655746928 140058749298912 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12290] ppid=12248 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12248 12248 10382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236827989 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060075686320 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12292] ppid=12248 vsize=8413904 memory=1524 CPUtime=0 cores=0-7
/proc/12271/task/12292/stat : 12292 (java) S 12248 12248 10382 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236828062 8615837696 35597 33554432000 4194304 4196468 140732655746928 140060067878080 140061255954201 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12294] ppid=12248 vsize=8413904 memory=407 CPUtime=0.05 cores=0-7
/proc/12271/task/12294/stat : 12294 (java) R 12248 12248 10382 0 -1 4202560 50 0 0 0 5 0 0 0 20 0 24 0 236828062 8615837696 35597 33554432000 4194304 4196468 140732655746928 140058078199536 140060712376864 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12295] ppid=12248 vsize=8413904 memory=1 CPUtime=0 cores=0-7
/proc/12271/task/12295/stat : 12295 (java) S 12248 12248 10382 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236828062 8615837696 35597 33554432000 4194304 4196468 140732655746928 140058346635184 140061255951517 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12296] ppid=12248 vsize=8413904 memory=636 CPUtime=0 cores=0-7
/proc/12271/task/12296/stat : 12296 (java) S 12248 12248 10382 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 236828064 8615837696 35597 33554432000 4194304 4196468 140732655746928 140057809772192 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
Current children cumulated CPU time: 34.76 s
Current children cumulated vsize: 8527032 KiB
Current children cumulated memory: 143860 KiB

[startup+30.502 s]
/proc/loadavg: 4.84 6.19 7.03 10/212 12304
/proc/meminfo: memFree=21555800/32770624 swapFree=67108372/67108860
[pid=12248] ppid=12245 vsize=113128 memory=1472 CPUtime=33.21 cores=0-7
/proc/12248/stat : 12248 (scop.sh) S 12245 12248 10382 0 -1 4202496 590 42190 0 0 0 0 3174 147 20 0 1 0 236826500 115843072 368 33554432000 4194304 5098028 140720755570128 140720755566872 140131202572924 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34615296 140720755577891 140720755578115 140720755578115 140720755580877 0
/proc/12248/statm: 28282 368 311 221 0 87 0
[pid=12271] ppid=12248 vsize=8282828 memory=148144 CPUtime=103.56 cores=0-7
/proc/12271/stat : 12271 (java) S 12248 12248 10382 0 -1 1077944320 19629 680515 0 0 174 8 10032 142 20 0 22 0 236827982 8481615872 37036 33554432000 4194304 4196468 140732655746928 140732655729472 140061255929591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
/proc/12271/statm: 2070707 37036 3177 1 0 2032106 0
[pid=12271/tid=12272] ppid=12248 vsize=8282828 memory=125992 CPUtime=102.62 cores=0-7
/proc/12271/task/12272/stat : 12272 (java) R 12248 12248 10382 0 -1 4202560 15196 680515 0 0 82 6 10032 142 20 0 22 0 236827982 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061227768176 140061255941526 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12273] ppid=12248 vsize=8282828 memory=810844 CPUtime=101.74 cores=0-7
/proc/12271/task/12273/stat : 12273 (java) S 12248 12248 10382 0 -1 1077944384 2 680515 0 0 0 0 10032 142 20 0 22 0 236827983 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061260171536 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12274] ppid=12248 vsize=8282828 memory=125992 CPUtime=101.74 cores=0-7
/proc/12271/task/12274/stat : 12274 (java) S 12248 12248 10382 0 -1 1077944384 2 680515 0 0 0 0 10032 142 20 0 22 0 236827983 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061060340112 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12275] ppid=12248 vsize=8282828 memory=1472 CPUtime=101.74 cores=0-7
/proc/12271/task/12275/stat : 12275 (java) S 12248 12248 10382 0 -1 1077944384 1 680515 0 0 0 0 10032 142 20 0 22 0 236827983 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061059287568 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12276] ppid=12248 vsize=8282828 memory=56 CPUtime=101.74 cores=0-7
/proc/12271/task/12276/stat : 12276 (java) S 12248 12248 10382 0 -1 1077944384 2 680515 0 0 0 0 10032 142 20 0 22 0 236827983 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061058235024 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12277] ppid=12248 vsize=8282828 memory=5792864149036427627 CPUtime=101.74 cores=0-7
/proc/12271/task/12277/stat : 12277 (java) S 12248 12248 10382 0 -1 1077944384 1 680515 0 0 0 0 10032 142 20 0 22 0 236827983 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061057182480 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12278] ppid=12248 vsize=8282828 memory=1472 CPUtime=101.74 cores=0-7
/proc/12271/task/12278/stat : 12278 (java) S 12248 12248 10382 0 -1 1077944384 2 680515 0 0 0 0 10032 142 20 0 22 0 236827984 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061056129936 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12279] ppid=12248 vsize=8282828 memory=125992 CPUtime=101.74 cores=0-7
/proc/12271/task/12279/stat : 12279 (java) S 12248 12248 10382 0 -1 1077944384 1 680515 0 0 0 0 10032 142 20 0 22 0 236827984 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061055077392 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12280] ppid=12248 vsize=8282828 memory=807288 CPUtime=101.74 cores=0-7
/proc/12271/task/12280/stat : 12280 (java) S 12248 12248 10382 0 -1 1077944384 3 680515 0 0 0 0 10032 142 20 0 22 0 236827984 8481615872 37036 33554432000 4194304 4196468 140732655746928 140061054024848 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12281] ppid=12248 vsize=8282828 memory=807224 CPUtime=101.74 cores=0-7
/proc/12271/task/12281/stat : 12281 (java) S 12248 12248 10382 0 -1 1077944384 8 680515 0 0 0 0 10032 142 20 0 22 0 236827985 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060080949232 140061255940738 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12282] ppid=12248 vsize=8282828 memory=1472 CPUtime=101.74 cores=0-7
/proc/12271/task/12282/stat : 12282 (java) S 12248 12248 10382 0 -1 1077944384 13 680515 0 0 0 0 10032 142 20 0 22 0 236827985 8481615872 37036 33554432000 4194304 4196468 140732655746928 140059890148256 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12283] ppid=12248 vsize=8282828 memory=125992 CPUtime=101.74 cores=0-7
/proc/12271/task/12283/stat : 12283 (java) S 12248 12248 10382 0 -1 1077944384 1 680515 0 0 0 0 10032 142 20 0 22 0 236827986 8481615872 37036 33554432000 4194304 4196468 140732655746928 140059621712880 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12284] ppid=12248 vsize=8282828 memory=7810763844726514514 CPUtime=101.74 cores=0-7
/proc/12271/task/12284/stat : 12284 (java) S 12248 12248 10382 0 -1 1077944384 1 680515 0 0 0 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140059247204560 140061255948187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12285] ppid=12248 vsize=8282828 memory=7810763844726514514 CPUtime=101.87 cores=0-7
/proc/12271/task/12285/stat : 12285 (java) S 12248 12248 10382 0 -1 1077944384 581 680515 0 0 13 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060079897072 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12286] ppid=12248 vsize=8282828 memory=1100 CPUtime=101.94 cores=0-7
/proc/12271/task/12286/stat : 12286 (java) R 12248 12248 10382 0 -1 4202560 724 680515 0 0 20 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060078844528 140061240841921 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12287] ppid=12248 vsize=8282828 memory=2144 CPUtime=101.9 cores=0-7
/proc/12271/task/12287/stat : 12287 (java) S 12248 12248 10382 0 -1 1077944384 386 680515 0 0 16 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060077791984 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12288] ppid=12248 vsize=8282828 memory=1752 CPUtime=102.04 cores=0-7
/proc/12271/task/12288/stat : 12288 (java) R 12248 12248 10382 0 -1 4202560 1278 680515 0 0 30 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060076739440 140061234940753 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12289] ppid=12248 vsize=8282828 memory=7521 CPUtime=101.74 cores=0-7
/proc/12271/task/12289/stat : 12289 (java) S 12248 12248 10382 0 -1 1077944384 3 680515 0 0 0 0 10032 142 20 0 22 0 236827988 8481615872 37036 33554432000 4194304 4196468 140732655746928 140058749298912 140061255939797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12290] ppid=12248 vsize=8282828 memory=0 CPUtime=101.74 cores=0-7
/proc/12271/task/12290/stat : 12290 (java) S 12248 12248 10382 0 -1 1077944384 3 680515 0 0 0 0 10032 142 20 0 22 0 236827989 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060075686320 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12292] ppid=12248 vsize=8282828 memory=0 CPUtime=101.74 cores=0-7
/proc/12271/task/12292/stat : 12292 (java) S 12248 12248 10382 0 -1 1077944384 24 680515 0 0 0 0 10032 142 20 0 22 0 236828062 8481615872 37036 33554432000 4194304 4196468 140732655746928 140060067877264 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
[pid=12271/tid=12296] ppid=12248 vsize=8282828 memory=40789 CPUtime=101.74 cores=0-7
/proc/12271/task/12296/stat : 12296 (java) S 12248 12248 10382 0 -1 1077944384 12 680515 0 0 0 0 10032 142 20 0 22 0 236828064 8481615872 37036 33554432000 4194304 4196468 140732655746928 140057809774000 140061255940738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23580672 140732655748273 140732655748397 140732655748397 140732655751119 0
Current children cumulated CPU time: 136.77 s
Current children cumulated vsize: 8395956 KiB
Current children cumulated memory: 149616 KiB

Child status: 0
Real time (s): 30.5773
CPU time (s): 136.989
CPU user time (s): 133.978
CPU system time (s): 3.01083
CPU usage (%): 448.009
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 6050604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.978
system time used= 3.01083
maximum resident set size= 6049828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51573
involuntary context switches= 1055


# summary of solver processes directly reported to runsolver:
#   pid: 12248
#   total CPU time (s): 136.989
#   total CPU user time (s): 133.978
#   total CPU system time (s): 3.01083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270954 second user time and 0.417416 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 22:37:13
IDJOB=4307521
IDBENCH=141393
IDSOLVER=2789
FILE ID=node137/4307521-1534192633
RUNJOBID= node137-1534189810-10409
PBS_JOBID= 21037989
Free space on /tmp= 26576 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307521-1534192633/watcher-4307521-1534192633 -o /tmp/evaluation-result-4307521-1534192633/solver-4307521-1534192633 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1534189810-10409 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307521-1534192633.xml

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

MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56
RANDOM SEED=1469846286

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22501028 kB
MemAvailable:   31897140 kB
Buffers:          120360 kB
Cached:          9469788 kB
SwapCached:            8 kB
Active:          4261124 kB
Inactive:        5387504 kB
Active(anon):       5252 kB
Inactive(anon):   105160 kB
Active(file):    4255872 kB
Inactive(file):  5282344 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              8324 kB
Writeback:             0 kB
AnonPages:        152648 kB
Mapped:            54716 kB
Shmem:             49624 kB
Slab:             314580 kB
SReclaimable:     286356 kB
SUnreclaim:        28224 kB
KernelStack:        3632 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26568 MiB
End job on node137 at 2018-08-13 22:37:44