Trace number 4388368

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 1032.16 732.731

General information on the benchmark

NameCrossword/Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1905.xml
MD5SUMb304f6c83ea7150e2963a619c79f8da9
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 benchmark0.587835
Satisfiable
(Un)Satisfiability was proved
Number of variables361
Number of constraints126
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":291}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":70},{"degree":2,"count":291}]
Minimum constraint arity3
Maximum constraint arity19
Distribution of constraint arities[{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}]
Number of extensional constraints126
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":126}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-9882-serial-file.bin HOME/instance-4388368-1568297571.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 16:12:12 CEST 2019
0.66/0.56	c PID: 9885
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.27/1.59	c (1,1) Parsing End
3.27/1.60	c (1,1) CSP: 291 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 26
3.27/1.60	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.27/1.60	c (1,1) Constraint Name Generate Begin
3.59/1.61	c (1,1) Ctr:HOME/instance-4388368-1568297571.xml,ExtensionSupport:Var
3.59/1.61	c (1,1) Constraint Name Generate End
3.59/1.61	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.59/1.61	c (1,1) CSP to CSPinCNF Begin
22.08/12.44	c (11,11) translated 13 (10%) constraints
32.52/21.89	c (21,20) translated 26 (20%) constraints
42.65/30.70	c (30,29) translated 38 (30%) constraints
53.73/40.35	c (39,38) translated 51 (40%) constraints
64.54/49.37	c (48,46) translated 63 (50%) constraints
68.88/51.89	c (51,48) translated 76 (60%) constraints
97.35/75.89	c (75,71) translated 89 (70%) constraints
279.54/229.65	c (229,215) translated 101 (80%) constraints
352.28/293.88	c (293,277) translated 114 (90%) constraints
384.40/323.05	c (322,305) translated 126 (100%) constraints
400.72/337.60	c (337,319) ===========================================
402.30/339.11	c (338,320) Hybrid: #OE=612877, #LE=0
402.30/339.11	c (338,320) Hybrid
402.30/339.11	c (338,320) ===========================================
415.61/351.13	c (350,332) translated 585457 (10%) constraints
430.72/363.64	c (363,344) translated 1170914 (20%) constraints
444.59/376.29	c (375,356) translated 1756371 (30%) constraints
458.62/388.91	c (388,368) translated 2341828 (40%) constraints
472.50/401.54	c (401,381) translated 2927285 (50%) constraints
485.76/413.42	c (412,392) translated 3512742 (60%) constraints
499.34/425.74	c (425,404) translated 4098199 (70%) constraints
513.59/438.62	c (438,416) translated 4683656 (80%) constraints
596.89/468.87	c (468,429) translated 5269113 (90%) constraints
611.54/481.45	c (480,441) translated 5854569 (100%) constraints
611.54/481.45	c (480,441) CSP to CSPinCNF End
611.75/481.66	c (481,441) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
611.75/481.66	c (481,441) Heap : 7652 MiB used (max 10825 MiB), NonHeap : 27 MiB used (max 0 MiB)
611.75/481.66	c (481,441) CSPinCNF Propagation Begin
727.50/530.05	c (529,467) 0 values, 126 unsatisfiable literals, and 0 valid clauses are removed
727.50/530.05	c (529,467) CSPinCNF Propagation End
727.69/530.23	c (529,467) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
727.69/530.23	c (529,467) Heap : 8652 MiB used (max 10476 MiB), NonHeap : 27 MiB used (max 0 MiB)
728.89/531.47	c (530,468) Hybrid: #OE=612877, #LE=0
728.89/531.47	c (530,468) Simplify CSPinCNF Begin
813.49/561.25	c (560,478) Simplify CSPinCNF End
813.69/561.43	c (560,478) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
813.69/561.43	c (560,478) Heap : 7638 MiB used (max 10283 MiB), NonHeap : 27 MiB used (max 0 MiB)
813.69/561.43	c (560,478) Calculate Precise Domain Begin
813.69/561.43	c (560,478) 0 values are removed by re-calculation
813.69/561.43	c (560,478) Calculate Precise Domain End
813.90/561.61	c (561,478) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
813.90/561.61	c (561,478) Heap : 7638 MiB used (max 10283 MiB), NonHeap : 27 MiB used (max 0 MiB)
813.90/561.61	c (561,478) CSPinCNF to SatSolver Begin
825.05/569.41	c (568,485) 585457 (10 %) CSP clauses are encoded (0 SAT variables, 592434 SAT clauses)
835.26/576.11	c (575,491) 1170914 (20 %) CSP clauses are encoded (0 SAT variables, 1177891 SAT clauses)
845.32/582.97	c (582,496) 1756371 (30 %) CSP clauses are encoded (0 SAT variables, 1763348 SAT clauses)
859.04/590.76	c (590,502) 2341828 (40 %) CSP clauses are encoded (0 SAT variables, 2348805 SAT clauses)
873.46/598.76	c (598,508) 2927285 (50 %) CSP clauses are encoded (0 SAT variables, 2934262 SAT clauses)
885.61/605.77	c (605,513) 3512742 (60 %) CSP clauses are encoded (0 SAT variables, 3519719 SAT clauses)
897.76/612.94	c (612,519) 4098199 (70 %) CSP clauses are encoded (0 SAT variables, 4105176 SAT clauses)
907.91/619.90	c (619,525) 4683656 (80 %) CSP clauses are encoded (0 SAT variables, 4690633 SAT clauses)
920.84/627.51	c (626,531) 5269113 (90 %) CSP clauses are encoded (0 SAT variables, 5276090 SAT clauses)
931.46/634.35	c (633,536) 5854569 (100 %) CSP clauses are encoded (0 SAT variables, 5861546 SAT clauses)
931.46/634.35	c (633,536) CSPinCNF to SatSolver End
931.46/634.35	c (633,536) Heap : 9050 MiB used (max 10425 MiB), NonHeap : 29 MiB used (max 0 MiB)
931.46/634.35	c (633,536) 619855 bool, 5861547 clause
931.46/634.35	c (633,536) Export Begin
931.58/634.47	c (633,536) Export to HOME/scop-9882-serial-file.bin
931.58/634.47	c (633,536) Export End
931.58/634.47	c (633,536) Export File Size: 0.06 MB
931.58/634.47	c (633,536) 1,1,481,529,560,561,633,STOP-AFTER(DIMACS)
931.58/634.47	c END-Prog: Thu Sep 12 16:22:46 CEST 2019
0.00/634.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9882-serial-file.bin
932.41/635.01	c (0,0) Read Serial File Begin
932.41/635.01	c (0,0) HOME/scop-9882-serial-file.bin
932.71/635.26	c (0,0) Read Serial File End
932.71/635.28	
932.71/635.28	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
932.71/635.28	(Solving Process)
932.71/635.28	
932.95/635.30	c BEGIN-Prog: Thu Sep 12 16:22:47 CEST 2019
932.95/635.30	c PID: 9956
932.95/635.30	c IP: 172.20.3.124
932.95/635.30	c HOST: node124.alineos.net
932.95/635.30	c (0,0) SatSolver.solve Begin
932.95/635.30	c (0,0) HOME/cryptominisat5  HOME/instance-4388368-1568297571.xml-scop-9885.cnf
932.95/635.34	c (0,0) c Outputting solution to console
932.95/635.34	c (0,0) c CryptoMiniSat version 5.6.8
932.95/635.34	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
932.95/635.34	c (0,0) c CMS SHA revision GIT-notfound
932.95/635.34	c (0,0) c CMS is MIT licensed
932.95/635.34	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
932.95/635.34	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
932.95/635.34	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388368-1568297571.xml-scop-9885.cnf
932.95/635.34	c (0,0) c Reading file 'HOME/instance-4388368-1568297571.xml-scop-9885.cnf'
932.95/635.34	c (0,0) c -- header says num vars:         619855
932.95/635.34	c (0,0) c -- header says num clauses:     5861547
935.33/637.52	c (2,0) c -- clauses added: 5861547
935.33/637.52	c (2,0) c -- xor clauses added: 0
935.33/637.52	c (2,0) c -- vars added 619855
935.33/637.52	c (2,0) c Parsing time: 2.04 s
935.44/637.66	c (2,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
935.44/637.69	c (2,0) c [distill] long cls tried: 12/12 cl-short:12 lit-r:9 T: 0.03 T-out: N T-r: 99.79%
941.85/644.02	c (9,0) c [distill] long cls tried: 430/407 cl-short:430 lit-r:9030 T: 1.07 T-out: N T-r: 94.52%
950.23/652.44	c (17,0) c [distill] long cls tried: 562/908 cl-short:562 lit-r:3566 T: 1.55 T-out: N T-r: 92.42%
952.64/654.82	c (19,0) c   glue     1    42  8193  619855 4563K 1297K    3.76    3.37  1153  3086  3471   487   63.97   60.29
962.86/665.07	c (30,0) c [distill] long cls tried: 1865/2668 cl-short:1865 lit-r:9248 T: 4.39 T-out: N T-r: 76.72%
969.97/672.12	c (37,0) c   geom     1    73 16386  619855 4563K 1297K    3.76    3.37  3385  6278  5778   949   79.51   75.03
974.35/676.53	c (41,0) c [distill] long cls tried: 886/3479 cl-short:886 lit-r:2905 T: 2.52 T-out: N T-r: 87.35%
989.67/691.83	c (56,0) c [distill] long cls tried: 2063/5434 cl-short:2063 lit-r:15773 T: 4.97 T-out: N T-r: 74.00%
990.48/692.63	c (57,0) c   glue     1   112   24K  619855 4563K 1297K    3.76    3.37  5508  8260  9325  1493   80.50   75.73
1007.28/709.47	c (74,0) c [distill] long cls tried: 2214/7527 cl-short:2214 lit-r:6972 T: 5.98 T-out: N T-r: 70.51%
1008.38/710.55	c (75,0) c   glue     1   145   32K  619855 4563K 1297K    3.76    3.37  7636 11423  9272  1930   74.55   69.93
1018.69/720.88	c (85,0) c   glue     1   168   40K  619855 4563K 1297K    3.76    3.37 10044 10374 15790  2246   78.08   73.64
1025.79/727.94	c (92,0) c [distill] long cls tried: 2644/10021 cl-short:2644 lit-r:11802 T: 6.22 T-out: N T-r: 67.46%
1029.49/731.63	c (96,0) c ------- FINAL TOTAL SEARCH STATS ---------
1029.49/731.63	c (96,0) c UIP search time          : 93.61       (97.86     % time)
1029.49/731.63	c (96,0) c restarts                 : 177         (253.72    confls per restart)
1029.49/731.63	c (96,0) c blocked restarts         : 193         (1.09      per normal restart)
1029.49/731.63	c (96,0) c time                     : 93.61       
1029.49/731.63	c (96,0) c decisions                : 401414      (0.00      % random)
1029.49/731.63	c (96,0) c propagations             : 412794254   
1029.49/731.63	c (96,0) c decisions/conflicts      : 8.94        
1029.49/731.63	c (96,0) c conflicts                : 44908       (479.74    / sec)
1029.49/731.63	c (96,0) c conf lits non-minim      : 4741094     (105.57    lit/confl)
1029.49/731.63	c (96,0) c conf lits final          : 80.43       
1029.49/731.63	c (96,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
1029.49/731.63	c (96,0) c red which0               : 6804        (15.15     % of confl)
1029.49/731.63	c (96,0) c props/decision           : 0.00        
1029.49/731.63	c (96,0) c props/conflict           : 0.00        
1029.49/731.63	c (96,0) c 0-depth assigns          : 0           (0.00      % vars)
1029.49/731.63	c (96,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
1029.49/731.63	c (96,0) c reduceDB time            : 0.02        (0.02      % time)
1029.49/731.63	c (96,0) c OccSimplifier time       : 0.00        (0.00      % time)
1029.49/731.63	c (96,0) c [occur] 0.00 is overhead
1029.49/731.63	c (96,0) c [occur] link-in T: 0.00 cleanup T: 0.00
1029.49/731.63	c (96,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
1029.49/731.63	c (96,0) c SCC time                 : 0.00        (0.00      % time)
1029.49/731.63	c (96,0) c [scc] new: 0 BP 0M  T: 0.00
1029.49/731.63	c (96,0) c vrep replace time        : 0.00        (0.00      % time)
1029.49/731.63	c (96,0) c vrep tree roots          : 0           
1029.49/731.63	c (96,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
1029.49/731.63	c (96,0) c distill time             : 26.72       (27.93     % time)
1029.49/731.63	c (96,0) c strength cache-irred time: 0.00        (0.00      % time)
1029.49/731.63	c (96,0) c strength cache-red time  : 0.00        (0.00      % time)
1029.49/731.63	c (96,0) c Conflicts in UIP         : 44908       (469.48    confl/time_this_thread)
1029.49/731.63	c (96,0) c Mem used                 : 706.46      MB
1029.49/731.63	c (96,0) c Total time (this thread) : 95.65       
1029.49/731.63	c (96,0) s SATISFIABLE
1031.66/732.55	c (97,0) SatSolver.solve End
1031.66/732.56	c (97,0) Heap : 391 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1031.66/732.56	c (97,0) Show results Begin
1031.81/732.69	c (97,0) x[0][0] = 0
1031.81/732.69	c (97,0) x[0][1] = 2
1031.81/732.69	c (97,0) x[0][2] = 14
1031.81/732.69	c (97,0) x[0][3] = 25
1031.81/732.69	c (97,0) x[0][6] = 11
1031.81/732.69	c (97,0) x[0][7] = 11
1031.81/732.69	c (97,0) x[0][8] = 4
1031.81/732.69	c (97,0) x[0][10] = 6
1031.81/732.69	c (97,0) x[0][11] = 17
1031.81/732.69	c (97,0) x[0][12] = 4
1031.81/732.69	c (97,0) x[0][13] = 5
1031.81/732.69	c (97,0) x[0][15] = 2
1031.81/732.69	c (97,0) x[0][16] = 0
1031.81/732.69	c (97,0) x[0][17] = 12
1031.81/732.69	c (97,0) x[0][18] = 0
1031.81/732.69	c (97,0) x[1][0] = 18
1031.81/732.69	c (97,0) x[1][1] = 0
1031.81/732.69	c (97,0) x[1][2] = 23
1031.81/732.69	c (97,0) x[1][3] = 4
1031.81/732.69	c (97,0) x[1][5] = 15
1031.81/732.69	c (97,0) x[1][6] = 0
1031.81/732.69	c (97,0) x[1][7] = 4
1031.81/732.69	c (97,0) x[1][8] = 11
1031.81/732.69	c (97,0) x[1][10] = 17
1031.81/732.69	c (97,0) x[1][11] = 4
1031.81/732.69	c (97,0) x[1][12] = 13
1031.81/732.69	c (97,0) x[1][13] = 14
1031.81/732.69	c (97,0) x[1][15] = 14
1031.81/732.69	c (97,0) x[1][16] = 6
1031.81/732.69	c (97,0) x[1][17] = 4
1031.81/732.69	c (97,0) x[1][18] = 17
1031.81/732.69	c (97,0) x[2][0] = 12
1031.81/732.69	c (97,0) x[2][1] = 4
1031.81/732.69	c (97,0) x[2][2] = 13
1031.81/732.69	c (97,0) x[2][3] = 20
1031.81/732.69	c (97,0) x[2][5] = 5
1031.81/732.69	c (97,0) x[2][6] = 2
1031.81/732.69	c (97,0) x[2][7] = 4
1031.81/732.69	c (97,0) x[2][8] = 12
1031.81/732.69	c (97,0) x[2][10] = 20
1031.81/732.69	c (97,0) x[2][11] = 4
1031.81/732.69	c (97,0) x[2][12] = 13
1031.81/732.69	c (97,0) x[2][13] = 4
1031.81/732.69	c (97,0) x[2][15] = 22
1031.81/732.69	c (97,0) x[2][16] = 0
1031.81/732.69	c (97,0) x[2][17] = 11
1031.81/732.69	c (97,0) x[2][18] = 24
1031.81/732.69	c (97,0) x[3][0] = 17
1031.81/732.69	c (97,0) x[3][1] = 4
1031.81/732.69	c (97,0) x[3][2] = 0
1031.81/732.69	c (97,0) x[3][3] = 6
1031.81/732.69	c (97,0) x[3][4] = 6
1031.81/732.69	c (97,0) x[3][5] = 0
1031.81/732.69	c (97,0) x[3][6] = 4
1031.81/732.69	c (97,0) x[3][8] = 4
1031.81/732.69	c (97,0) x[3][9] = 15
1031.81/732.69	c (97,0) x[3][10] = 8
1031.81/732.69	c (97,0) x[3][12] = 18
1031.81/732.69	c (97,0) x[3][13] = 7
1031.81/732.69	c (97,0) x[3][14] = 0
1031.81/732.69	c (97,0) x[3][15] = 22
1031.81/732.69	c (97,0) x[4][3] = 12
1031.81/732.69	c (97,0) x[4][4] = 14
1031.81/732.69	c (97,0) x[4][5] = 17
1031.81/732.69	c (97,0) x[4][6] = 17
1031.81/732.69	c (97,0) x[4][7] = 14
1031.81/732.69	c (97,0) x[4][8] = 11
1031.81/732.69	c (97,0) x[4][9] = 14
1031.81/732.69	c (97,0) x[4][10] = 18
1031.81/732.69	c (97,0) x[4][11] = 12
1031.81/732.69	c (97,0) x[4][12] = 0
1031.81/732.69	c (97,0) x[4][13] = 13
1031.81/732.69	c (97,0) x[4][14] = 25
1031.81/732.69	c (97,0) x[4][15] = 0
1031.81/732.69	c (97,0) x[4][16] = 13
1031.81/732.69	c (97,0) x[4][17] = 14
1031.81/732.69	c (97,0) x[4][18] = 18
1031.81/732.69	c (97,0) x[5][0] = 17
1031.81/732.69	c (97,0) x[5][1] = 18
1031.81/732.69	c (97,0) x[5][2] = 7
1031.81/732.69	c (97,0) x[5][3] = 4
1031.81/732.69	c (97,0) x[5][4] = 13
1031.81/732.69	c (97,0) x[5][5] = 8
1031.81/732.69	c (97,0) x[5][7] = 13
1031.81/732.69	c (97,0) x[5][8] = 10
1031.81/732.69	c (97,0) x[5][9] = 20
1031.81/732.69	c (97,0) x[5][10] = 11
1031.81/732.69	c (97,0) x[5][11] = 20
1031.81/732.69	c (97,0) x[5][14] = 8
1031.81/732.69	c (97,0) x[5][15] = 17
1031.81/732.69	c (97,0) x[5][16] = 20
1031.81/732.69	c (97,0) x[5][17] = 24
1031.81/732.69	c (97,0) x[5][18] = 0
1031.81/732.69	c (97,0) x[6][0] = 4
1031.81/732.69	c (97,0) x[6][1] = 15
1031.81/732.69	c (97,0) x[6][2] = 8
1031.81/732.69	c (97,0) x[6][4] = 18
1031.81/732.69	c (97,0) x[6][5] = 13
1031.81/732.69	c (97,0) x[6][6] = 0
1031.81/732.69	c (97,0) x[6][7] = 6
1031.81/732.69	c (97,0) x[6][9] = 7
1031.81/732.69	c (97,0) x[6][10] = 0
1031.81/732.69	c (97,0) x[6][11] = 9
1031.81/732.69	c (97,0) x[6][12] = 14
1031.81/732.69	c (97,0) x[6][15] = 17
1031.81/732.69	c (97,0) x[6][16] = 4
1031.81/732.69	c (97,0) x[6][17] = 4
1031.81/732.69	c (97,0) x[6][18] = 19
1031.81/732.69	c (97,0) x[7][0] = 1
1031.81/732.69	c (97,0) x[7][1] = 20
1031.81/732.69	c (97,0) x[7][2] = 3
1031.81/732.69	c (97,0) x[7][3] = 4
1031.81/732.69	c (97,0) x[7][5] = 0
1031.81/732.69	c (97,0) x[7][6] = 21
1031.81/732.69	c (97,0) x[7][7] = 14
1031.81/732.69	c (97,0) x[7][8] = 8
1031.81/732.69	c (97,0) x[7][11] = 0
1031.81/732.69	c (97,0) x[7][12] = 12
1031.81/732.69	c (97,0) x[7][13] = 4
1031.81/732.69	c (97,0) x[7][14] = 18
1031.81/732.69	c (97,0) x[7][16] = 17
1031.81/732.69	c (97,0) x[7][17] = 20
1031.81/732.69	c (97,0) x[7][18] = 25
1031.81/732.69	c (97,0) x[8][0] = 0
1031.81/732.69	c (97,0) x[8][1] = 17
1031.81/732.69	c (97,0) x[8][2] = 17
1031.81/732.69	c (97,0) x[8][3] = 4
1031.81/732.69	c (97,0) x[8][6] = 4
1031.81/732.69	c (97,0) x[8][7] = 11
1031.81/732.69	c (97,0) x[8][8] = 10
1031.81/732.69	c (97,0) x[8][9] = 0
1031.81/732.69	c (97,0) x[8][10] = 0
1031.81/732.69	c (97,0) x[8][12] = 15
1031.81/732.69	c (97,0) x[8][13] = 17
1031.81/732.69	c (97,0) x[8][14] = 14
1031.81/732.69	c (97,0) x[8][15] = 0
1031.81/732.69	c (97,0) x[9][0] = 1
1031.81/732.69	c (97,0) x[9][1] = 17
1031.81/732.69	c (97,0) x[9][2] = 14
1031.81/732.69	c (97,0) x[9][3] = 13
1031.81/732.69	c (97,0) x[9][4] = 2
1031.81/732.69	c (97,0) x[9][5] = 7
1031.81/732.69	c (97,0) x[9][6] = 8
1031.81/732.69	c (97,0) x[9][7] = 14
1031.81/732.69	c (97,0) x[9][8] = 0
1031.81/732.69	c (97,0) x[9][9] = 11
1031.81/732.69	c (97,0) x[9][10] = 21
1031.81/732.69	c (97,0) x[9][11] = 4
1031.81/732.69	c (97,0) x[9][12] = 14
1031.81/732.69	c (97,0) x[9][13] = 11
1031.81/732.69	c (97,0) x[9][14] = 0
1031.81/732.69	c (97,0) x[9][15] = 8
1031.81/732.69	c (97,0) x[9][16] = 17
1031.81/732.69	c (97,0) x[9][17] = 4
1031.81/732.69	c (97,0) x[9][18] = 18
1031.81/732.69	c (97,0) x[10][3] = 4
1031.81/732.69	c (97,0) x[10][4] = 19
1031.81/732.69	c (97,0) x[10][5] = 14
1031.81/732.69	c (97,0) x[10][6] = 13
1031.81/732.69	c (97,0) x[10][8] = 19
1031.81/732.69	c (97,0) x[10][9] = 17
1031.81/732.69	c (97,0) x[10][10] = 14
1031.81/732.69	c (97,0) x[10][11] = 9
1031.81/732.69	c (97,0) x[10][12] = 4
1031.81/732.69	c (97,0) x[10][15] = 12
1031.81/732.69	c (97,0) x[10][16] = 20
1031.81/732.69	c (97,0) x[10][17] = 18
1031.81/732.69	c (97,0) x[10][18] = 0
1031.81/732.69	c (97,0) x[11][0] = 12
1031.81/732.69	c (97,0) x[11][1] = 8
1031.81/732.69	c (97,0) x[11][2] = 25
1031.81/732.69	c (97,0) x[11][4] = 4
1031.81/732.69	c (97,0) x[11][5] = 7
1031.81/732.69	c (97,0) x[11][6] = 4
1031.81/732.69	c (97,0) x[11][7] = 13
1031.81/732.69	c (97,0) x[11][10] = 19
1031.81/732.69	c (97,0) x[11][11] = 4
1031.81/732.69	c (97,0) x[11][12] = 11
1031.81/732.69	c (97,0) x[11][13] = 4
1031.81/732.69	c (97,0) x[11][15] = 0
1031.81/732.69	c (97,0) x[11][16] = 3
1031.81/732.69	c (97,0) x[11][17] = 18
1031.81/732.69	c (97,0) x[11][18] = 11
1031.81/732.69	c (97,0) x[12][0] = 4
1031.81/732.69	c (97,0) x[12][1] = 15
1031.81/732.69	c (97,0) x[12][2] = 0
1031.81/732.69	c (97,0) x[12][3] = 17
1031.81/732.69	c (97,0) x[12][6] = 18
1031.81/732.69	c (97,0) x[12][7] = 8
1031.81/732.69	c (97,0) x[12][8] = 11
1031.81/732.69	c (97,0) x[12][9] = 24
1031.81/732.69	c (97,0) x[12][11] = 2
1031.81/732.69	c (97,0) x[12][12] = 4
1031.81/732.69	c (97,0) x[12][13] = 11
1031.81/732.69	c (97,0) x[12][14] = 0
1031.81/732.69	c (97,0) x[12][16] = 25
1031.81/732.69	c (97,0) x[12][17] = 4
1031.81/732.69	c (97,0) x[12][18] = 2
1031.81/732.69	c (97,0) x[13][0] = 10
1031.81/732.69	c (97,0) x[13][1] = 4
1031.81/732.69	c (97,0) x[13][2] = 17
1031.81/732.69	c (97,0) x[13][3] = 8
1031.81/732.69	c (97,0) x[13][4] = 12
1031.81/732.69	c (97,0) x[13][7] = 21
1031.81/732.69	c (97,0) x[13][8] = 0
1031.81/732.69	c (97,0) x[13][9] = 0
1031.81/732.69	c (97,0) x[13][10] = 17
1031.81/732.69	c (97,0) x[13][11] = 19
1031.81/732.69	c (97,0) x[13][13] = 18
1031.81/732.69	c (97,0) x[13][14] = 15
1031.81/732.69	c (97,0) x[13][15] = 4
1031.81/732.69	c (97,0) x[13][16] = 4
1031.81/732.69	c (97,0) x[13][17] = 3
1031.81/732.69	c (97,0) x[13][18] = 0
1031.81/732.69	c (97,0) x[14][0] = 0
1031.81/732.69	c (97,0) x[14][1] = 17
1031.81/732.69	c (97,0) x[14][2] = 17
1031.81/732.69	c (97,0) x[14][3] = 14
1031.81/732.69	c (97,0) x[14][4] = 24
1031.81/732.69	c (97,0) x[14][5] = 14
1031.81/732.69	c (97,0) x[14][6] = 11
1031.81/732.69	c (97,0) x[14][7] = 0
1031.81/732.69	c (97,0) x[14][8] = 18
1031.81/732.69	c (97,0) x[14][9] = 2
1031.81/732.69	c (97,0) x[14][10] = 0
1031.81/732.69	c (97,0) x[14][11] = 18
1031.81/732.69	c (97,0) x[14][12] = 8
1031.81/732.69	c (97,0) x[14][13] = 19
1031.81/732.69	c (97,0) x[14][14] = 0
1031.81/732.69	c (97,0) x[14][15] = 18
1031.81/732.69	c (97,0) x[15][3] = 18
1031.81/732.69	c (97,0) x[15][4] = 0
1031.81/732.69	c (97,0) x[15][5] = 20
1031.81/732.69	c (97,0) x[15][6] = 4
1031.81/732.69	c (97,0) x[15][8] = 0
1031.81/732.69	c (97,0) x[15][9] = 20
1031.81/732.69	c (97,0) x[15][10] = 6
1031.81/732.69	c (97,0) x[15][12] = 19
1031.81/732.69	c (97,0) x[15][13] = 4
1031.81/732.69	c (97,0) x[15][14] = 23
1031.81/732.69	c (97,0) x[15][15] = 19
1031.81/732.69	c (97,0) x[15][16] = 20
1031.81/732.69	c (97,0) x[15][17] = 17
1031.81/732.69	c (97,0) x[15][18] = 0
1031.81/732.69	c (97,0) x[16][0] = 8
1031.81/732.69	c (97,0) x[16][1] = 11
1031.81/732.69	c (97,0) x[16][2] = 9
1031.81/732.69	c (97,0) x[16][3] = 0
1031.81/732.69	c (97,0) x[16][5] = 4
1031.81/732.69	c (97,0) x[16][6] = 15
1031.81/732.69	c (97,0) x[16][7] = 0
1031.81/732.69	c (97,0) x[16][8] = 17
1031.81/732.69	c (97,0) x[16][10] = 14
1031.81/732.69	c (97,0) x[16][11] = 18
1031.81/732.69	c (97,0) x[16][12] = 4
1031.81/732.69	c (97,0) x[16][13] = 0
1031.81/732.69	c (97,0) x[16][15] = 17
1031.81/732.69	c (97,0) x[16][16] = 4
1031.81/732.69	c (97,0) x[16][17] = 8
1031.81/732.69	c (97,0) x[16][18] = 13
1031.81/732.69	c (97,0) x[17][0] = 1
1031.81/732.69	c (97,0) x[17][1] = 11
1031.81/732.69	c (97,0) x[17][2] = 4
1031.81/732.69	c (97,0) x[17][3] = 18
1031.81/732.69	c (97,0) x[17][5] = 2
1031.81/732.69	c (97,0) x[17][6] = 17
1031.81/732.69	c (97,0) x[17][7] = 24
1031.81/732.69	c (97,0) x[17][8] = 19
1031.81/732.69	c (97,0) x[17][10] = 19
1031.81/732.69	c (97,0) x[17][11] = 14
1031.81/732.69	c (97,0) x[17][12] = 17
1031.81/732.69	c (97,0) x[17][13] = 3
1031.81/732.69	c (97,0) x[17][15] = 20
1031.81/732.69	c (97,0) x[17][16] = 12
1031.81/732.69	c (97,0) x[17][17] = 1
1031.81/732.69	c (97,0) x[17][18] = 14
1031.81/732.69	c (97,0) x[18][0] = 13
1031.81/732.69	c (97,0) x[18][1] = 14
1031.81/732.69	c (97,0) x[18][2] = 3
1031.81/732.69	c (97,0) x[18][3] = 14
1031.81/732.69	c (97,0) x[18][5] = 7
1031.81/732.69	c (97,0) x[18][6] = 4
1031.81/732.69	c (97,0) x[18][7] = 17
1031.81/732.69	c (97,0) x[18][8] = 4
1031.81/732.69	c (97,0) x[18][10] = 18
1031.81/732.69	c (97,0) x[18][11] = 1
1031.81/732.69	c (97,0) x[18][12] = 0
1031.81/732.69	c (97,0) x[18][15] = 13
1031.81/732.69	c (97,0) x[18][16] = 14
1031.81/732.69	c (97,0) x[18][17] = 4
1031.81/732.69	c (97,0) x[18][18] = 13
1031.81/732.69	s SATISFIABLE
1031.81/732.70	v <instantiation>
1031.81/732.70	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18]</list>
1031.81/732.70	v     <values>0 2 14 25 11 11 4 6 17 4 5 2 0 12 0 18 0 23 4 15 0 4 11 17 4 13 14 14 6 4 17 12 4 13 20 5 2 4 12 20 4 13 4 22 0 11 24 17 4 0 6 6 0 4 4 15 8 18 7 0 22 12 14 17 17 14 11 14 18 12 0 13 25 0 13 14 18 17 18 7 4 13 8 13 10 20 11 20 8 17 20 24 0 4 15 8 18 13 0 6 7 0 9 14 17 4 4 19 1 20 3 4 0 21 14 8 0 12 4 18 17 20 25 0 17 17 4 4 11 10 0 0 15 17 14 0 1 17 14 13 2 7 8 14 0 11 21 4 14 11 0 8 17 4 18 4 19 14 13 19 17 14 9 4 12 20 18 0 12 8 25 4 7 4 13 19 4 11 4 0 3 18 11 4 15 0 17 18 8 11 24 2 4 11 0 25 4 2 10 4 17 8 12 21 0 0 17 19 18 15 4 4 3 0 0 17 17 14 24 14 11 0 18 2 0 18 8 19 0 18 18 0 20 4 0 20 6 19 4 23 19 20 17 0 8 11 9 0 4 15 0 17 14 18 4 0 17 4 8 13 1 11 4 18 2 17 24 19 19 14 17 3 20 12 1 14 13 14 3 14 7 4 17 4 18 1 0 13 14 4 13</values>
1031.81/732.70	v </instantiation>
1031.81/732.70	c (97,0) Show results End
1031.81/732.70	c (97,0) Heap : 412 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1031.81/732.70	c (97,0) 97,97,STOP-AFTER(ALL)
1031.81/732.70	c END-Prog: Thu Sep 12 16:24:24 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388368-1568297571/watcher-4388368-1568297571 -o /tmp/evaluation-result-4388368-1568297571/solver-4388368-1568297571 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388368-1568297571.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.10007 s]*
/proc/loadavg: 2.02 2.08 2.11 4/235 9899
/proc/meminfo: memFree=14785756/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405697310 115843072 349 33554432000 4194304 5098028 140729919040160 140729919037416 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 349 296 221 0 87 0
[pid=9885] ppid=9882 vsize=15012696 memory=70344 CPUtime=0.11 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9882 9882 5595 0 -1 1077944320 6359 0 0 0 9 2 0 0 20 0 15 0 405697311 15373000704 17586 33554432000 4194304 4196468 140725793543248 140725793525792 140564320095991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
/proc/9885/statm: 3753174 17586 2925 1 0 3715579 0
[pid=9885/tid=9886] ppid=9882 vsize=15012696 memory=-2843878425720833182 CPUtime=0.09 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) R 9882 9882 5595 0 -1 4202560 4202 0 0 0 7 2 0 0 20 0 15 0 405697311 15373000704 17652 33554432000 4194304 4196468 140725793543248 140564291887160 140564304176478 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9887] ppid=9882 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 17652 33554432000 4194304 4196468 140725793543248 140564324338192 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9888] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 17652 33554432000 4194304 4196468 140725793543248 140563780594320 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9889] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 17652 33554432000 4194304 4196468 140725793543248 140563779541264 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9890] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 17652 33554432000 4194304 4196468 140725793543248 140563778488720 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9891] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 17652 33554432000 4194304 4196468 140725793543248 140563357711088 140564320107138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9892] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9882 9882 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 17652 33554432000 4194304 4196468 140725793543248 140562938193568 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9893] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9882 9882 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405697315 15373000704 17718 33554432000 4194304 4196468 140725793543248 140562803971312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9894] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 17718 33554432000 4194304 4196468 140725793543248 140562429467088 140564320114587 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9895] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9882 9882 5595 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 17718 33554432000 4194304 4196468 140725793543248 140563356657904 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9896] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9882 9882 5595 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 17718 33554432000 4194304 4196468 140725793543248 140563355605360 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9897] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0.01 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) R 9882 9882 5595 0 -1 4202560 430 0 0 0 1 0 0 0 20 0 15 0 405697317 15373000704 17718 33554432000 4194304 4196468 140725793543248 140563354549480 140564300063110 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9898] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 17718 33554432000 4194304 4196468 140725793543248 140561931561312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9899] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697318 15373000704 17718 33554432000 4194304 4196468 140725793543248 140563353500720 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71740 KiB

[startup+0.210985 s]*
/proc/loadavg: 2.02 2.08 2.11 3/235 9899
/proc/meminfo: memFree=14766872/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405697310 115843072 349 33554432000 4194304 5098028 140729919040160 140729919037416 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 349 296 221 0 87 0
[pid=9885] ppid=9882 vsize=15012696 memory=85952 CPUtime=0.25 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9882 9882 5595 0 -1 1077944320 11577 0 0 0 21 4 0 0 20 0 15 0 405697311 15373000704 21488 33554432000 4194304 4196468 140725793543248 140725793525792 140564320095991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
/proc/9885/statm: 3753174 21488 2963 1 0 3715579 0
[pid=9885/tid=9886] ppid=9882 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) R 9882 9882 5595 0 -1 4202560 9300 0 0 0 17 3 0 0 20 0 15 0 405697311 15373000704 21553 33554432000 4194304 4196468 140725793543248 140564291895376 140564305821694 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9887] ppid=9882 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 21553 33554432000 4194304 4196468 140725793543248 140564324338192 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9888] ppid=9882 vsize=15012696 memory=140214347353630 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563780594320 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9889] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563779541264 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9890] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563778488720 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9891] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563357711088 140564320107138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9892] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9882 9882 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 21553 33554432000 4194304 4196468 140725793543248 140562938193568 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9893] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9882 9882 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405697315 15373000704 21553 33554432000 4194304 4196468 140725793543248 140562803971312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9894] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 21553 33554432000 4194304 4196468 140725793543248 140562429467088 140564320114587 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9895] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9882 9882 5595 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563356657904 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9896] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9882 9882 5595 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563355605360 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9897] ppid=9882 vsize=15012696 memory=140214347343488 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) S 9882 9882 5595 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 405697317 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563354552304 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9898] ppid=9882 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 21553 33554432000 4194304 4196468 140725793543248 140561931561312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9899] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697318 15373000704 21553 33554432000 4194304 4196468 140725793543248 140563353500720 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87348 KiB

[startup+0.310852 s]*
/proc/loadavg: 2.02 2.08 2.11 3/235 9899
/proc/meminfo: memFree=14763584/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405697310 115843072 349 33554432000 4194304 5098028 140729919040160 140729919037416 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 349 296 221 0 87 0
[pid=9885] ppid=9882 vsize=15012696 memory=90240 CPUtime=0.43 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9882 9882 5595 0 -1 1077944320 12097 0 0 0 39 4 0 0 20 0 15 0 405697311 15373000704 22560 33554432000 4194304 4196468 140725793543248 140725793525792 140564320095991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
/proc/9885/statm: 3753174 22560 3057 1 0 3715579 0
[pid=9885/tid=9886] ppid=9882 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) R 9882 9882 5595 0 -1 4202560 9612 0 0 0 27 3 0 0 20 0 15 0 405697311 15373000704 22560 33554432000 4194304 4196468 140725793543248 140564291890096 140564305261537 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9887] ppid=9882 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 22560 33554432000 4194304 4196468 140725793543248 140564324338192 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9888] ppid=9882 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563780594320 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9889] ppid=9882 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563779541264 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9890] ppid=9882 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563778488720 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9891] ppid=9882 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563357711088 140564320107138 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9892] ppid=9882 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9882 9882 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405697314 15373000704 22560 33554432000 4194304 4196468 140725793543248 140562938193568 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9893] ppid=9882 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9882 9882 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405697315 15373000704 22560 33554432000 4194304 4196468 140725793543248 140562803971312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9894] ppid=9882 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 22560 33554432000 4194304 4196468 140725793543248 140562429467088 140564320114587 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9895] ppid=9882 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) S 9882 9882 5595 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 15 0 405697317 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563356657904 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9896] ppid=9882 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) S 9882 9882 5595 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 405697317 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563355605360 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9897] ppid=9882 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) S 9882 9882 5595 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 405697317 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563354552304 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9898] ppid=9882 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15373000704 22560 33554432000 4194304 4196468 140725793543248 140561931561312 140564320106197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9899] ppid=9882 vsize=15012696 memory=3977020634658125615 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697318 15373000704 22560 33554432000 4194304 4196468 140725793543248 140563353500720 140564320107138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91636 KiB

[startup+0.706912 s]
/proc/loadavg: 2.02 2.08 2.11 3/235 9899
/proc/meminfo: memFree=14741744/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405697310 115843072 349 33554432000 4194304 5098028 140729919040160 140729919037416 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 349 296 221 0 87 0
[pid=9885] ppid=9882 vsize=15018968 memory=127660 CPUtime=1.03 cores=0,2,4,6
/proc/9885/stat : 9885 (java) S 9882 9882 5595 0 -1 1077944320 19641 0 0 0 96 7 0 0 20 0 15 0 405697311 15379423232 31915 33554432000 4194304 4196468 140725793543248 140725793525792 140564320095991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
/proc/9885/statm: 3754742 31915 3182 1 0 3716091 0
[pid=9885/tid=9886] ppid=9882 vsize=15018968 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/9885/task/9886/stat : 9886 (java) R 9882 9882 5595 0 -1 4202560 16642 0 0 0 62 6 0 0 20 0 15 0 405697311 15379423232 31915 33554432000 4194304 4196468 140725793543248 140564291933472 140564320107926 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9887] ppid=9882 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9887/stat : 9887 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15379423232 31915 33554432000 4194304 4196468 140725793543248 140564324338192 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9888] ppid=9882 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9888/stat : 9888 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697312 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563780594320 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9889] ppid=9882 vsize=15018968 memory=37484 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9889/stat : 9889 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563779541264 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9890] ppid=9882 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9890/stat : 9890 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405697312 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563778488720 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9891] ppid=9882 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9891/stat : 9891 (java) S 9882 9882 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405697314 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563357711088 140564320107138 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9892] ppid=9882 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9892/stat : 9892 (java) S 9882 9882 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405697314 15379423232 31915 33554432000 4194304 4196468 140725793543248 140562938193568 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9893] ppid=9882 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9893/stat : 9893 (java) S 9882 9882 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405697315 15379423232 31915 33554432000 4194304 4196468 140725793543248 140562803971312 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9894] ppid=9882 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9894/stat : 9894 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15379423232 31915 33554432000 4194304 4196468 140725793543248 140562429467088 140564320114587 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9895] ppid=9882 vsize=15018968 memory=10604 CPUtime=0.08 cores=0,2,4,6
/proc/9885/task/9895/stat : 9895 (java) R 9882 9882 5595 0 -1 4202560 622 0 0 0 8 0 0 0 20 0 15 0 405697317 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563356657904 140564304340773 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9896] ppid=9882 vsize=15018968 memory=3360 CPUtime=0.08 cores=0,2,4,6
/proc/9885/task/9896/stat : 9896 (java) R 9882 9882 5595 0 -1 4202560 412 0 0 0 8 0 0 0 20 0 15 0 405697317 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563355605360 140564297692159 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9897] ppid=9882 vsize=15018968 memory=776 CPUtime=0.16 cores=0,2,4,6
/proc/9885/task/9897/stat : 9897 (java) R 9882 9882 5595 0 -1 1077944384 610 0 0 0 16 0 0 0 20 0 15 0 405697317 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563354552304 140564320107138 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9898] ppid=9882 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9898/stat : 9898 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405697317 15379423232 31915 33554432000 4194304 4196468 140725793543248 140561931561312 140564320106197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
[pid=9885/tid=9899] ppid=9882 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/9885/task/9899/stat : 9899 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405697318 15379423232 31915 33554432000 4194304 4196468 140725793543248 140563353500720 140564320107138 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30052352 140725793547050 140725793547418 140725793547418 140725793550287 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129056 KiB

[startup+1.50145 s]
/proc/loadavg: 2.02 2.08 2.11 5/235 9899
/proc/meminfo: memFree=14636352/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405697310 115843072 349 33554432000 4194304 5098028 140729919040160 140729919037416 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 349 296 221 0 87 0

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

[pid=9956/tid=9968] ppid=9882 vsize=8068440 memory=10604 CPUtime=0.31 cores=0,2,4,6
/proc/9956/task/9968/stat : 9968 (java) S 9882 9882 5595 0 -1 1077944384 1336 0 0 0 31 0 0 0 20 0 19 0 405760772 8262082560 62716 33554432000 4194304 4196468 140725629730000 140390291937392 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9969] ppid=9882 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9969/stat : 9969 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405760772 8262082560 62716 33554432000 4194304 4196468 140725629730000 140388522256608 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9970] ppid=9882 vsize=8068440 memory=776 CPUtime=0.06 cores=0,2,4,6
/proc/9956/task/9970/stat : 9970 (java) S 9882 9882 5595 0 -1 1077944384 9 0 0 0 3 3 0 0 20 0 19 0 405760773 8262082560 62716 33554432000 4194304 4196468 140725629730000 140390290885808 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9972] ppid=9882 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9972/stat : 9972 (java) S 9882 9882 5595 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405760843 8262082560 62716 33554432000 4194304 4196468 140725629730000 140390282852032 140390848651033 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9974] ppid=9882 vsize=8068440 memory=5960 CPUtime=0.38 cores=0,2,4,6
/proc/9956/task/9974/stat : 9974 (java) R 9882 9882 5595 0 -1 4202560 325 0 0 0 37 1 0 0 20 0 19 0 405760844 8262082560 62716 33554432000 4194304 4196468 140725629730000 140387985371120 140390840863550 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9975] ppid=9882 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9975/stat : 9975 (java) S 9882 9882 5595 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405760845 8262082560 62716 33554432000 4194304 4196468 140725629730000 140387716939408 140390848648349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9976] ppid=9882 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9976/stat : 9976 (java) S 9882 9882 5595 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 405760847 8262082560 62716 33554432000 4194304 4196468 140725629730000 140388119600304 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
Current children cumulated CPU time: 1030.78 s
Current children cumulated vsize: 9023896 KiB
Current children cumulated memory: 975756 KiB

[startup+732.401 s]
/proc/loadavg: 2.01 2.22 2.18 6/240 9986
/proc/meminfo: memFree=13774000/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1476 CPUtime=931.81 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 583 237841 0 0 0 0 91968 1213 20 0 1 0 405697310 115843072 369 33554432000 4194304 5098028 140729919040160 140729919036904 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 369 311 221 0 87 0
[pid=9956] ppid=9882 vsize=8068440 memory=429576 CPUtime=3.18 cores=0,2,4,6
/proc/9956/stat : 9956 (java) S 9882 9882 5595 0 -1 1077944320 28381 0 0 0 302 16 0 0 20 0 19 0 405760765 8262082560 107394 33554432000 4194304 4196468 140725629730000 140725629712544 140390848626423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
/proc/9956/statm: 2017110 107394 3235 1 0 1978454 0
[pid=9971] ppid=9956 vsize=708312 memory=618368 CPUtime=96.57 cores=0,2,4,6
/proc/9971/stat : 9971 (cryptominisat5) R 9956 9882 5595 0 -1 4202496 880951 0 0 0 9591 66 0 0 20 0 1 0 405760843 725311488 154592 33554432000 4194304 4451008 140725333669104 140725333666328 139904089591803 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 19304448 140725333676989 140725333677120 140725333677120 140725333680070 0
/proc/9971/statm: 177078 154592 692 63 0 170805 0
[pid=9956/tid=9957] ppid=9882 vsize=8068440 memory=122116 CPUtime=0.8 cores=0,2,4,6
/proc/9956/task/9957/stat : 9957 (java) S 9882 9882 5595 0 -1 1077944384 17426 0 0 0 74 6 0 0 20 0 19 0 405760766 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390820466592 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9958] ppid=9882 vsize=8068440 memory=718072 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9958/stat : 9958 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405760767 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390852868752 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9959] ppid=9882 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9959/stat : 9959 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405760767 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390670957072 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9960] ppid=9882 vsize=8068440 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9960/stat : 9960 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405760767 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390333053328 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9961] ppid=9882 vsize=8068440 memory=163916 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9961/stat : 9961 (java) S 9882 9882 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405760767 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390332000528 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9962] ppid=9882 vsize=8068440 memory=723416 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9962/stat : 9962 (java) S 9882 9882 5595 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405760769 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390295096176 140390848637570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9963] ppid=9882 vsize=8068440 memory=717008 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9963/stat : 9963 (java) S 9882 9882 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405760769 8262082560 107394 33554432000 4194304 4196468 140725629730000 140389663106592 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9964] ppid=9882 vsize=8068440 memory=122116 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9964/stat : 9964 (java) S 9882 9882 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405760769 8262082560 107394 33554432000 4194304 4196468 140725629730000 140389394670960 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9965] ppid=9882 vsize=8068440 memory=716832 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9965/stat : 9965 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405760772 8262082560 107394 33554432000 4194304 4196468 140725629730000 140389020162384 140390848645019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9966] ppid=9882 vsize=8068440 memory=122116 CPUtime=0.63 cores=0,2,4,6
/proc/9956/task/9966/stat : 9966 (java) S 9882 9882 5595 0 -1 1077944384 3766 0 0 0 63 0 0 0 20 0 19 0 405760772 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390294042992 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9967] ppid=9882 vsize=8068440 memory=37492 CPUtime=0.65 cores=0,2,4,6
/proc/9956/task/9967/stat : 9967 (java) S 9882 9882 5595 0 -1 1077944384 4014 0 0 0 64 1 0 0 20 0 19 0 405760772 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390292990192 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9968] ppid=9882 vsize=8068440 memory=988 CPUtime=0.32 cores=0,2,4,6
/proc/9956/task/9968/stat : 9968 (java) S 9882 9882 5595 0 -1 1077944384 1341 0 0 0 32 0 0 0 20 0 19 0 405760772 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390291937392 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9969] ppid=9882 vsize=8068440 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9969/stat : 9969 (java) S 9882 9882 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405760772 8262082560 107394 33554432000 4194304 4196468 140725629730000 140388522256608 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9970] ppid=9882 vsize=8068440 memory=1436 CPUtime=0.06 cores=0,2,4,6
/proc/9956/task/9970/stat : 9970 (java) S 9882 9882 5595 0 -1 1077944384 9 0 0 0 3 3 0 0 20 0 19 0 405760773 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390290885808 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9972] ppid=9882 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9972/stat : 9972 (java) S 9882 9882 5595 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405760843 8262082560 107394 33554432000 4194304 4196468 140725629730000 140390282852032 140390848651033 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9974] ppid=9882 vsize=8068440 memory=1720 CPUtime=0.66 cores=0,2,4,6
/proc/9956/task/9974/stat : 9974 (java) S 9882 9882 5595 0 -1 4202560 433 0 0 0 62 4 0 0 20 0 19 0 405760844 8262082560 107394 33554432000 4194304 4196468 140725629730000 140387985371024 140390848648349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9975] ppid=9882 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9975/stat : 9975 (java) S 9882 9882 5595 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405760845 8262082560 107394 33554432000 4194304 4196468 140725629730000 140387716939408 140390848648349 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9976] ppid=9882 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/9956/task/9976/stat : 9976 (java) S 9882 9882 5595 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 405760847 8262082560 107394 33554432000 4194304 4196468 140725629730000 140388119600304 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
Current children cumulated CPU time: 1031.56 s
Current children cumulated vsize: 8889880 KiB
Current children cumulated memory: 1049420 KiB

[startup+732.601 s]
/proc/loadavg: 2.01 2.22 2.18 6/240 9986
/proc/meminfo: memFree=13774000/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1476 CPUtime=931.81 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 583 237841 0 0 0 0 91968 1213 20 0 1 0 405697310 115843072 369 33554432000 4194304 5098028 140729919040160 140729919036904 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 369 311 221 0 87 0
[pid=9956] ppid=9882 vsize=7937364 memory=432552 CPUtime=100 cores=0,2,4,6
/proc/9956/stat : 9956 (java) S 9882 9882 5595 0 -1 1077944320 28598 882175 0 0 314 16 9600 70 20 0 17 0 405760765 8127860736 108138 33554432000 4194304 4196468 140725629730000 140725629712544 140390848626423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
/proc/9956/statm: 1984341 108138 3239 1 0 1945685 0
[pid=9956/tid=9957] ppid=9882 vsize=7937364 memory=7679373425970869011 CPUtime=97.58 cores=0,2,4,6
/proc/9956/task/9957/stat : 9957 (java) R 9882 9882 5595 0 -1 4202560 17563 882175 0 0 82 6 9600 70 20 0 17 0 405760766 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390820464256 140390848638358 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9958] ppid=9882 vsize=7937364 memory=-7965959130280075168 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9958/stat : 9958 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390852868752 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9959] ppid=9882 vsize=7937364 memory=6933690279252828305 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9959/stat : 9959 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390670957072 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9960] ppid=9882 vsize=7937364 memory=-6352670693803649130 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9960/stat : 9960 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390333053328 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9961] ppid=9882 vsize=7937364 memory=-7101709786139419757 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9961/stat : 9961 (java) S 9882 9882 5595 0 -1 1077944384 2 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390332000528 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9962] ppid=9882 vsize=7937364 memory=-7101718590825193272 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9962/stat : 9962 (java) S 9882 9882 5595 0 -1 1077944384 7 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390295096176 140390848637570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9963] ppid=9882 vsize=7937364 memory=-7965959130280075168 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9963/stat : 9963 (java) S 9882 9882 5595 0 -1 1077944384 13 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 108138 33554432000 4194304 4196468 140725629730000 140389663106592 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9964] ppid=9882 vsize=7937364 memory=288230574492221466 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9964/stat : 9964 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 108138 33554432000 4194304 4196468 140725629730000 140389394670960 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9965] ppid=9882 vsize=7937364 memory=288230621803970871 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9965/stat : 9965 (java) S 9882 9882 5595 0 -1 1077944384 3 882175 0 0 0 0 9600 70 20 0 17 0 405760772 8127860736 108138 33554432000 4194304 4196468 140725629730000 140389020162384 140390848645019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9966] ppid=9882 vsize=7937364 memory=15818902244428187 CPUtime=97.35 cores=0,2,4,6
/proc/9956/task/9966/stat : 9966 (java) R 9882 9882 5595 0 -1 4202560 3771 882175 0 0 64 1 9600 70 20 0 17 0 405760772 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390294042992 140390848638358 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9967] ppid=9882 vsize=7937364 memory=122116 CPUtime=97.37 cores=0,2,4,6
/proc/9956/task/9967/stat : 9967 (java) R 9882 9882 5595 0 -1 1077944384 4025 882175 0 0 66 1 9600 70 20 0 17 0 405760772 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390292990192 140390848637570 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9968] ppid=9882 vsize=7937364 memory=718384 CPUtime=97.04 cores=0,2,4,6
/proc/9956/task/9968/stat : 9968 (java) S 9882 9882 5595 0 -1 1077944384 1396 882175 0 0 34 0 9600 70 20 0 17 0 405760772 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390291937392 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9969] ppid=9882 vsize=7937364 memory=280428481855600 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9969/stat : 9969 (java) S 9882 9882 5595 0 -1 1077944384 3 882175 0 0 0 0 9600 70 20 0 17 0 405760772 8127860736 108138 33554432000 4194304 4196468 140725629730000 140388522256608 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9970] ppid=9882 vsize=7937364 memory=6944656592452807325 CPUtime=96.76 cores=0,2,4,6
/proc/9956/task/9970/stat : 9970 (java) S 9882 9882 5595 0 -1 1077944384 9 882175 0 0 3 3 9600 70 20 0 17 0 405760773 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390290885808 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9972] ppid=9882 vsize=7937364 memory=20012 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9972/stat : 9972 (java) S 9882 9882 5595 0 -1 1077944384 25 882175 0 0 0 0 9600 70 20 0 17 0 405760843 8127860736 108138 33554432000 4194304 4196468 140725629730000 140390282851216 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9976] ppid=9882 vsize=7937364 memory=500 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9976/stat : 9976 (java) S 9882 9882 5595 0 -1 1077944384 34 882175 0 0 0 0 9600 70 20 0 17 0 405760847 8127860736 108138 33554432000 4194304 4196468 140725629730000 140388119602096 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
Current children cumulated CPU time: 1031.81 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 434028 KiB

[startup+732.701 s]
/proc/loadavg: 2.01 2.22 2.18 6/240 9986
/proc/meminfo: memFree=13774000/32770624 swapFree=66959212/67108860
[pid=9882] ppid=9879 vsize=113128 memory=1476 CPUtime=931.81 cores=0,2,4,6
/proc/9882/stat : 9882 (scop.sh) S 9879 9882 5595 0 -1 4202496 583 237841 0 0 0 0 91968 1213 20 0 1 0 405697310 115843072 369 33554432000 4194304 5098028 140729919040160 140729919036904 140470913901180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35565568 140729919046499 140729919046768 140729919046768 140729919049677 0
/proc/9882/statm: 28282 369 311 221 0 87 0
[pid=9956] ppid=9882 vsize=7937364 memory=437888 CPUtime=100.29 cores=0,2,4,6
/proc/9956/stat : 9956 (java) S 9882 9882 5595 0 -1 1077944320 28913 882175 0 0 342 17 9600 70 20 0 17 0 405760765 8127860736 109472 33554432000 4194304 4196468 140725629730000 140725629712544 140390848626423 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
/proc/9956/statm: 1984341 109472 3241 1 0 1945685 0
[pid=9956/tid=9957] ppid=9882 vsize=7937364 memory=122116 CPUtime=97.67 cores=0,2,4,6
/proc/9956/task/9957/stat : 9957 (java) R 9882 9882 5595 0 -1 4202560 17667 882175 0 0 91 6 9600 70 20 0 17 0 405760766 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390820462080 140390848648253 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9958] ppid=9882 vsize=7937364 memory=122116 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9958/stat : 9958 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390852868752 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9959] ppid=9882 vsize=7937364 memory=122116 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9959/stat : 9959 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390670957072 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9960] ppid=9882 vsize=7937364 memory=122116 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9960/stat : 9960 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390333053328 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9961] ppid=9882 vsize=7937364 memory=122116 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9961/stat : 9961 (java) S 9882 9882 5595 0 -1 1077944384 2 882175 0 0 0 0 9600 70 20 0 17 0 405760767 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390332000528 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9962] ppid=9882 vsize=7937364 memory=129128 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9962/stat : 9962 (java) S 9882 9882 5595 0 -1 1077944384 7 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390295096176 140390848637570 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9963] ppid=9882 vsize=7937364 memory=292188 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9963/stat : 9963 (java) S 9882 9882 5595 0 -1 1077944384 13 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 109472 33554432000 4194304 4196468 140725629730000 140389663106592 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9964] ppid=9882 vsize=7937364 memory=429576 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9964/stat : 9964 (java) S 9882 9882 5595 0 -1 1077944384 1 882175 0 0 0 0 9600 70 20 0 17 0 405760769 8127860736 109472 33554432000 4194304 4196468 140725629730000 140389394670960 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9965] ppid=9882 vsize=7937364 memory=1476 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9965/stat : 9965 (java) S 9882 9882 5595 0 -1 1077944384 3 882175 0 0 0 0 9600 70 20 0 17 0 405760772 8127860736 109472 33554432000 4194304 4196468 140725629730000 140389020162384 140390848645019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9966] ppid=9882 vsize=7937364 memory=1476 CPUtime=97.4 cores=0,2,4,6
/proc/9956/task/9966/stat : 9966 (java) S 9882 9882 5595 0 -1 1077944384 3799 882175 0 0 69 1 9600 70 20 0 17 0 405760772 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390294042992 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9967] ppid=9882 vsize=7937364 memory=122116 CPUtime=97.43 cores=0,2,4,6
/proc/9956/task/9967/stat : 9967 (java) S 9882 9882 5595 0 -1 1077944384 4059 882175 0 0 72 1 9600 70 20 0 17 0 405760772 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390292990192 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9968] ppid=9882 vsize=7937364 memory=1476 CPUtime=97.11 cores=0,2,4,6
/proc/9956/task/9968/stat : 9968 (java) R 9882 9882 5595 0 -1 4202560 1544 882175 0 0 41 0 9600 70 20 0 17 0 405760772 8127860736 109472 33554432000 4194304 4196468 140725629730000 140390291937392 140390826767720 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9969] ppid=9882 vsize=7937364 memory=122116 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9969/stat : 9969 (java) S 9882 9882 5595 0 -1 1077944384 3 882175 0 0 0 0 9600 70 20 0 17 0 405760772 8127860736 109522 33554432000 4194304 4196468 140725629730000 140388522256608 140390848636629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9970] ppid=9882 vsize=7937364 memory=1660 CPUtime=96.76 cores=0,2,4,6
/proc/9956/task/9970/stat : 9970 (java) S 9882 9882 5595 0 -1 1077944384 9 882175 0 0 3 3 9600 70 20 0 17 0 405760773 8127860736 109522 33554432000 4194304 4196468 140725629730000 140390290885808 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9972] ppid=9882 vsize=7937364 memory=37492 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9972/stat : 9972 (java) S 9882 9882 5595 0 -1 1077944384 25 882175 0 0 0 0 9600 70 20 0 17 0 405760843 8127860736 109522 33554432000 4194304 4196468 140725629730000 140390282851216 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
[pid=9956/tid=9976] ppid=9882 vsize=7937364 memory=988 CPUtime=96.7 cores=0,2,4,6
/proc/9956/task/9976/stat : 9976 (java) S 9882 9882 5595 0 -1 1077944384 34 882175 0 0 0 0 9600 70 20 0 17 0 405760847 8127860736 109522 33554432000 4194304 4196468 140725629730000 140388119602096 140390848637570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140725629735932 140725629736090 140725629736090 140725629738959 0
Current children cumulated CPU time: 1032.1 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 439364 KiB

Child status: 0
Real time (s): 732.731
CPU time (s): 1032.16
CPU user time (s): 1019.12
CPU system time (s): 13.042
CPU usage (%): 140.865
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 12103612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.12
system time used= 13.042
maximum resident set size= 12102216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1149561
page faults= 0
swaps= 0
block input operations= 8
block output operations= 299552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 678347
involuntary context switches= 5651


# summary of solver processes directly reported to runsolver:
#   pid: 9882
#   total CPU time (s): 1032.16
#   total CPU user time (s): 1019.12
#   total CPU system time (s): 13.042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.93561 second user time and 7.37539 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 16:12:11
IDJOB=4388368
IDBENCH=140069
IDSOLVER=2826
FILE ID=node124/4388368-1568297571
RUNJOBID= node124-1568286434-6491
PBS_JOBID= 21701080
Free space on /tmp= 52472 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1905.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4388368-1568297571/watcher-4388368-1568297571 -o /tmp/evaluation-result-4388368-1568297571/solver-4388368-1568297571 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388368-1568297571.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b304f6c83ea7150e2963a619c79f8da9
RANDOM SEED=1480403529

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        14843056 kB
MemAvailable:   29649580 kB
Buffers:          141572 kB
Cached:         14751956 kB
SwapCached:        45868 kB
Active:          3817268 kB
Inactive:       13289272 kB
Active(anon):    2167624 kB
Inactive(anon):    86928 kB
Active(file):    1649644 kB
Inactive(file): 13202344 kB
Unevictable:      108340 kB
Mlocked:          108340 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             23648 kB
Writeback:             0 kB
AnonPages:       2172140 kB
Mapped:            55304 kB
Shmem:             32744 kB
Slab:             411444 kB
SReclaimable:     382996 kB
SUnreclaim:        28448 kB
KernelStack:        3888 kB
PageTables:        10340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8274424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 52452 MiB
End job on node124 at 2019-09-12 16:24:24