Trace number 4388215

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 134.897 105.641

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
MD5SUMb8ea00653452363d0c81f6ef3102e485
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.830237
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
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-18097-serial-file.bin HOME/instance-4388215-1568296653.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 15:56:55 CEST 2019
0.66/0.56	c PID: 18100
0.66/0.56	c IP: 172.20.3.151
0.66/0.56	c HOST: node151.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.37/1.17	c (0,0) Parsing End
2.37/1.17	c (0,0) CSP: 60 int (0 aux), 1 bool (0 aux), 228 ctr, max domain size 1001
2.37/1.18	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.37/1.18	c (0,0) Constraint Name Generate Begin
2.37/1.18	c (0,0) Ctr:HOME/instance-4388215-1568296653.xml,ExtensionConflict:ExtensionSupport:Var
2.37/1.18	c (0,0) Constraint Name Generate End
2.37/1.18	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.37/1.18	c (0,0) CSP to CSPinCNF Begin
73.33/61.85	c (61,60) translated 23 (10%) constraints
74.04/62.30	c (61,60) translated 46 (20%) constraints
74.80/62.73	c (62,61) translated 69 (30%) constraints
75.64/63.16	c (62,61) translated 92 (40%) constraints
78.13/64.07	c (63,62) translated 114 (50%) constraints
78.53/64.48	c (63,62) translated 137 (60%) constraints
79.04/64.90	c (64,62) translated 160 (70%) constraints
79.46/65.33	c (64,63) translated 183 (80%) constraints
80.79/66.41	c (65,64) translated 206 (90%) constraints
81.75/66.94	c (66,64) translated 228 (100%) constraints
81.75/66.96	c (66,64) ===========================================
81.99/67.11	c (66,65) Hybrid: #OE=14172, #LE=0
81.99/67.11	c (66,65) Hybrid
81.99/67.11	c (66,65) ===========================================
83.84/68.41	c (67,66) translated 56022 (10%) constraints
85.11/69.66	c (69,67) translated 112043 (20%) constraints
86.56/70.94	c (70,68) translated 168064 (30%) constraints
87.86/72.22	c (71,70) translated 224086 (40%) constraints
91.62/74.11	c (73,71) translated 280107 (50%) constraints
92.81/75.38	c (74,72) translated 336128 (60%) constraints
94.12/76.64	c (76,73) translated 392150 (70%) constraints
95.41/77.90	c (77,75) translated 448171 (80%) constraints
96.64/79.16	c (78,76) translated 504192 (90%) constraints
97.85/80.29	c (79,77) translated 560213 (100%) constraints
97.85/80.29	c (79,77) CSP to CSPinCNF End
97.96/80.30	c (79,77) CSP: 60 int (0 aux), 14112 bool (14111 aux), 560213 ctr, max domain size 161
97.96/80.30	c (79,77) Heap : 2845 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
97.96/80.31	c (79,77) CSPinCNF Propagation Begin
121.14/95.58	c (95,90) 1338 values, 267143 unsatisfiable literals, and 167368 valid clauses are removed
121.14/95.58	c (95,90) CSPinCNF Propagation End
121.14/95.59	c (95,90) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
121.14/95.59	c (95,90) Heap : 1070 MiB used (max 10546 MiB), NonHeap : 28 MiB used (max 0 MiB)
121.37/95.71	c (95,90) Hybrid: #OE=14172, #LE=0
121.37/95.71	c (95,90) Simplify CSPinCNF Begin
122.28/96.51	c (95,91) Simplify CSPinCNF End
122.28/96.51	c (95,91) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
122.28/96.51	c (95,91) Heap : 1583 MiB used (max 10546 MiB), NonHeap : 29 MiB used (max 0 MiB)
122.28/96.51	c (95,91) Calculate Precise Domain Begin
122.28/96.51	c (95,91) 0 values are removed by re-calculation
122.28/96.51	c (95,91) Calculate Precise Domain End
122.28/96.51	c (95,91) CSP: 60 int (0 aux), 14112 bool (14111 aux), 392845 ctr, max domain size 152
122.28/96.51	c (95,91) Heap : 1583 MiB used (max 10546 MiB), NonHeap : 29 MiB used (max 0 MiB)
122.28/96.51	c (95,91) CSPinCNF to SatSolver Begin
124.21/97.37	c (96,92) 39285 (10 %) CSP clauses are encoded (0 SAT variables, 42413 SAT clauses)
124.75/97.89	c (97,92) 78569 (20 %) CSP clauses are encoded (0 SAT variables, 81697 SAT clauses)
125.25/98.39	c (97,93) 117854 (30 %) CSP clauses are encoded (0 SAT variables, 120982 SAT clauses)
126.90/99.16	c (98,93) 157138 (40 %) CSP clauses are encoded (0 SAT variables, 160266 SAT clauses)
127.39/99.65	c (99,94) 196423 (50 %) CSP clauses are encoded (0 SAT variables, 199551 SAT clauses)
127.90/100.15	c (99,94) 235707 (60 %) CSP clauses are encoded (0 SAT variables, 238835 SAT clauses)
128.39/100.65	c (100,95) 274992 (70 %) CSP clauses are encoded (0 SAT variables, 278120 SAT clauses)
128.91/101.15	c (100,95) 314276 (80 %) CSP clauses are encoded (0 SAT variables, 317404 SAT clauses)
129.30/101.59	c (101,96) 353561 (90 %) CSP clauses are encoded (0 SAT variables, 356689 SAT clauses)
130.47/102.27	c (101,96) 392845 (100 %) CSP clauses are encoded (0 SAT variables, 395973 SAT clauses)
130.47/102.27	c (101,96) CSPinCNF to SatSolver End
130.47/102.27	c (101,96) Heap : 1195 MiB used (max 10524 MiB), NonHeap : 31 MiB used (max 0 MiB)
130.47/102.27	c (101,96) 16344 bool, 395974 clause
130.47/102.27	c (101,96) Export Begin
130.59/102.38	c (101,96) Export to HOME/scop-18097-serial-file.bin
130.59/102.38	c (101,96) Export End
130.59/102.38	c (101,96) Export File Size: 0.04 MB
130.59/102.38	c (101,96) 0,0,79,95,95,95,101,STOP-AFTER(DIMACS)
130.59/102.38	c END-Prog: Thu Sep 12 15:58:37 CEST 2019
0.00/102.41	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18097-serial-file.bin
130.78/102.86	c (0,0) Read Serial File Begin
130.78/102.86	c (0,0) HOME/scop-18097-serial-file.bin
131.57/103.09	c (0,0) Read Serial File End
131.57/103.10	
131.57/103.10	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
131.57/103.10	(Solving Process)
131.57/103.10	
131.76/103.12	c BEGIN-Prog: Thu Sep 12 15:58:37 CEST 2019
131.76/103.12	c PID: 18324
131.76/103.12	c IP: 172.20.3.151
131.76/103.12	c HOST: node151.alineos.net
131.76/103.13	c (0,0) SatSolver.solve Begin
131.76/103.13	c (0,0) HOME/cryptominisat5  HOME/instance-4388215-1568296653.xml-scop-18100.cnf
131.76/103.16	c (0,0) c Outputting solution to console
131.76/103.16	c (0,0) c CryptoMiniSat version 5.6.8
131.76/103.16	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
131.76/103.16	c (0,0) c CMS SHA revision GIT-notfound
131.76/103.16	c (0,0) c CMS is MIT licensed
131.76/103.16	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
131.76/103.16	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
131.76/103.16	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388215-1568296653.xml-scop-18100.cnf
131.76/103.16	c (0,0) c Reading file 'HOME/instance-4388215-1568296653.xml-scop-18100.cnf'
131.76/103.16	c (0,0) c -- header says num vars:          16344
131.76/103.16	c (0,0) c -- header says num clauses:      395974
131.93/103.28	c (0,0) c -- clauses added: 395974
131.93/103.28	c (0,0) c -- xor clauses added: 0
131.93/103.28	c (0,0) c -- vars added 16344
131.93/103.28	c (0,0) c Parsing time: 0.12 s
131.95/103.30	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
131.95/103.31	c (0,0) c [distill] long cls tried: 15/15 cl-short:15 lit-r:4 T: 0.00 T-out: N T-r: 99.98%
131.96/103.72	c (0,0) c [distill] long cls tried: 659/403 cl-short:623 lit-r:2710 T: 0.06 T-out: N T-r: 99.40%
133.00/104.26	c (1,0) c [distill] long cls tried: 850/851 cl-short:719 lit-r:2151 T: 0.10 T-out: N T-r: 99.07%
133.20/104.41	c (1,0) c   glue     1    62  8193   13385   96K   22K    5.05    4.48  1019  2564  2812  1369   35.96   29.97
134.10/105.34	c (2,0) c [distill] long cls tried: 2446/2279 cl-short:2026 lit-r:21238 T: 0.39 T-out: N T-r: 96.40%
134.20/105.42	c (2,0) c ------- FINAL TOTAL SEARCH STATS ---------
134.20/105.42	c (2,0) c UIP search time          : 2.13        (94.41     % time)
134.20/105.42	c (2,0) c restarts                 : 96          (127.00    confls per restart)
134.20/105.42	c (2,0) c blocked restarts         : 9           (0.09      per normal restart)
134.20/105.42	c (2,0) c time                     : 2.13        
134.20/105.42	c (2,0) c decisions                : 43613       (0.00      % random)
134.20/105.42	c (2,0) c propagations             : 12162708    
134.20/105.42	c (2,0) c decisions/conflicts      : 3.58        
134.20/105.42	c (2,0) c conflicts                : 12192       (5713.81   / sec)
134.20/105.42	c (2,0) c conf lits non-minim      : 690081      (56.60     lit/confl)
134.20/105.42	c (2,0) c conf lits final          : 29.76       
134.20/105.42	c (2,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
134.20/105.42	c (2,0) c red which0               : 2357        (19.33     % of confl)
134.20/105.42	c (2,0) c props/decision           : 0.00        
134.20/105.42	c (2,0) c props/conflict           : 0.00        
134.20/105.42	c (2,0) c 0-depth assigns          : 3856        (23.59     % vars)
134.20/105.42	c (2,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
134.20/105.42	c (2,0) c reduceDB time            : 0.00        (0.04      % time)
134.20/105.42	c (2,0) c OccSimplifier time       : 0.00        (0.00      % time)
134.20/105.42	c (2,0) c [occur] 0.00 is overhead
134.20/105.42	c (2,0) c [occur] link-in T: 0.00 cleanup T: 0.00
134.20/105.42	c (2,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
134.20/105.42	c (2,0) c SCC time                 : 0.00        (0.00      % time)
134.20/105.42	c (2,0) c [scc] new: 0 BP 0M  T: 0.00
134.20/105.42	c (2,0) c vrep replace time        : 0.00        (0.00      % time)
134.20/105.42	c (2,0) c vrep tree roots          : 0           
134.20/105.42	c (2,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
134.20/105.42	c (2,0) c distill time             : 0.55        (24.20     % time)
134.20/105.42	c (2,0) c strength cache-irred time: 0.00        (0.00      % time)
134.20/105.42	c (2,0) c strength cache-red time  : 0.00        (0.00      % time)
134.20/105.42	c (2,0) c Conflicts in UIP         : 12192       (5394.43   confl/time_this_thread)
134.20/105.42	c (2,0) c Mem used                 : 23.61       MB
134.20/105.42	c (2,0) c Total time (this thread) : 2.26        
134.20/105.42	c (2,0) s SATISFIABLE
134.46/105.52	c (2,0) SatSolver.solve End
134.46/105.52	c (2,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
134.46/105.52	c (2,0) Show results Begin
134.80/105.60	c (2,0) w3 = 160
134.80/105.60	c (2,0) w4 = 0
134.80/105.60	c (2,0) x[0] = 10
134.80/105.60	c (2,0) x[1] = 3
134.80/105.60	c (2,0) x[2] = 16
134.80/105.60	c (2,0) x[3] = 12
134.80/105.60	c (2,0) x[4] = 4
134.80/105.60	c (2,0) x[5] = 9
134.80/105.60	c (2,0) x[6] = 5
134.80/105.60	c (2,0) x[7] = 18
134.80/105.61	c (2,0) x[8] = 8
134.80/105.61	c (2,0) x[9] = 14
134.80/105.61	c (2,0) x[10] = 13
134.80/105.61	c (2,0) x[11] = 2
134.80/105.61	c (2,0) x[12] = 15
134.80/105.61	c (2,0) x[13] = 7
134.80/105.61	c (2,0) x[14] = 1
134.80/105.61	c (2,0) x[15] = 19
134.80/105.61	c (2,0) x[16] = 6
134.80/105.61	c (2,0) x[17] = 17
134.80/105.61	c (2,0) x[18] = 20
134.80/105.61	c (2,0) x[19] = 11
134.80/105.61	c (2,0) y[0] = 13
134.80/105.61	c (2,0) y[1] = 3
134.80/105.61	c (2,0) y[2] = 1
134.80/105.61	c (2,0) y[3] = 15
134.80/105.61	c (2,0) y[4] = 6
134.80/105.61	c (2,0) y[5] = 0
134.80/105.61	c (2,0) y[6] = 5
134.80/105.61	c (2,0) y[7] = 11
134.80/105.61	c (2,0) y[8] = 2
134.80/105.61	c (2,0) y[9] = 1
134.80/105.61	c (2,0) y[10] = 2
134.80/105.61	c (2,0) y[11] = 20
134.80/105.61	c (2,0) y[12] = 7
134.80/105.61	c (2,0) y[13] = 26
134.80/105.61	c (2,0) y[14] = 0
134.80/105.61	c (2,0) y[15] = 21
134.80/105.61	c (2,0) y[16] = 0
134.80/105.61	c (2,0) y[17] = 3
134.80/105.61	c (2,0) y[18] = 15
134.80/105.61	c (2,0) y[19] = 9
134.80/105.61	c (2,0) z[0] = 16
134.80/105.61	c (2,0) z[1] = 17
134.80/105.61	c (2,0) z[2] = 32
134.80/105.61	c (2,0) z[3] = 38
134.80/105.61	c (2,0) z[4] = 38
134.80/105.61	c (2,0) z[5] = 43
134.80/105.61	c (2,0) z[6] = 54
134.80/105.61	c (2,0) z[7] = 56
134.80/105.61	c (2,0) z[8] = 57
134.80/105.61	c (2,0) z[9] = 59
134.80/105.61	c (2,0) z[10] = 79
134.80/105.61	c (2,0) z[11] = 86
134.80/105.61	c (2,0) z[12] = 112
134.80/105.61	c (2,0) z[13] = 112
134.80/105.61	c (2,0) z[14] = 133
134.80/105.61	c (2,0) z[15] = 133
134.80/105.61	c (2,0) z[16] = 136
134.80/105.61	c (2,0) z[17] = 151
134.80/105.61	c (2,0) z[18] = 160
134.80/105.61	s SATISFIABLE
134.80/105.61	v <instantiation>
134.80/105.61	v     <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]</list>
134.80/105.61	v     <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160</values>
134.80/105.61	v </instantiation>
134.80/105.61	c (2,0) Show results End
134.80/105.61	c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
134.80/105.61	c (2,0) 2,2,STOP-AFTER(ALL)
134.80/105.61	c END-Prog: Thu Sep 12 15:58:40 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 (15078 MiB free)
  memory of node 1: 16384 MiB (14781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388215-1568296653/watcher-4388215-1568296653 -o /tmp/evaluation-result-4388215-1568296653/solver-4388215-1568296653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388215-1568296653.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
Current StackSize limit: 8192 KiB

solver pid=18097, runsolver pid=18094

[startup+0.100119 s]*
/proc/loadavg: 2.03 2.10 2.12 3/234 18114
/proc/meminfo: memFree=30517900/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405936781 115843072 349 33554432000 4194304 5098028 140721725919680 140721725916936 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 349 296 221 0 87 0
[pid=18100] ppid=18097 vsize=15012696 memory=72916 CPUtime=0.11 cores=0,2,4,6
/proc/18100/stat : 18100 (java) S 18097 18097 12870 0 -1 1077944320 6493 0 0 0 9 2 0 0 20 0 15 0 405936781 15373000704 18229 33554432000 4194304 4196468 140728310821744 140728310804288 139878440816375 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
/proc/18100/statm: 3753174 18229 2940 1 0 3715579 0
[pid=18100/tid=18101] ppid=18097 vsize=15012696 memory=-6221015644179316679 CPUtime=0.09 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (java) R 18097 18097 12870 0 -1 4202560 4294 0 0 0 7 2 0 0 20 0 15 0 405936781 15373000704 18229 33554432000 4194304 4196468 140728310821744 139878412607544 139878424896862 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18102] ppid=18097 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 18229 33554432000 4194304 4196468 140728310821744 139878445058704 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18103] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 18229 33554432000 4194304 4196468 140728310821744 139878236142096 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18104] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18104/stat : 18104 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 18229 33554432000 4194304 4196468 140728310821744 139878235089296 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18105] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18105/stat : 18105 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 18229 33554432000 4194304 4196468 140728310821744 139878234036496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18106] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18106/stat : 18106 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936784 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877411269488 139878440827522 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18107] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18107/stat : 18107 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877018494496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18108] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18108/stat : 18108 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 18229 33554432000 4194304 4196468 140728310821744 139876750058864 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18109] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18109/stat : 18109 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 18229 33554432000 4194304 4196468 140728310821744 139876375550288 139878440834971 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18110] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18110/stat : 18110 (java) S 18097 18097 12870 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877410216304 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18111] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18111/stat : 18111 (java) S 18097 18097 12870 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877409163504 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18112] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0.01 cores=0,2,4,6
/proc/18100/task/18112/stat : 18112 (java) S 18097 18097 12870 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 15 0 405936787 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877408110704 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18113] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18113/stat : 18113 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 18229 33554432000 4194304 4196468 140728310821744 139875877644512 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18114] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18114/stat : 18114 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 18229 33554432000 4194304 4196468 140728310821744 139877407059120 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74312 KiB

[startup+0.211167 s]*
/proc/loadavg: 2.03 2.10 2.12 3/234 18114
/proc/meminfo: memFree=30499252/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405936781 115843072 349 33554432000 4194304 5098028 140721725919680 140721725916936 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 349 296 221 0 87 0
[pid=18100] ppid=18097 vsize=15012696 memory=87992 CPUtime=0.25 cores=0,2,4,6
/proc/18100/stat : 18100 (java) S 18097 18097 12870 0 -1 1077944320 11574 0 0 0 22 3 0 0 20 0 15 0 405936781 15373000704 21998 33554432000 4194304 4196468 140728310821744 140728310804288 139878440816375 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
/proc/18100/statm: 3753174 21998 2946 1 0 3715579 0
[pid=18100/tid=18101] ppid=18097 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (java) R 18097 18097 12870 0 -1 4202560 9335 0 0 0 17 3 0 0 20 0 15 0 405936781 15373000704 21998 33554432000 4194304 4196468 140728310821744 139878412632016 139878424896862 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18102] ppid=18097 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 21998 33554432000 4194304 4196468 140728310821744 139878445058704 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18103] ppid=18097 vsize=15012696 memory=288370534173173376 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 21998 33554432000 4194304 4196468 140728310821744 139878236142096 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18104] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18104/stat : 18104 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 21998 33554432000 4194304 4196468 140728310821744 139878235089296 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18105] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18105/stat : 18105 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 21998 33554432000 4194304 4196468 140728310821744 139878234036496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18106] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18106/stat : 18106 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936784 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877411269488 139878440827522 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18107] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18107/stat : 18107 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877018494496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18108] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18108/stat : 18108 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 21998 33554432000 4194304 4196468 140728310821744 139876750058864 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18109] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18109/stat : 18109 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 21998 33554432000 4194304 4196468 140728310821744 139876375550288 139878440834971 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18110] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18110/stat : 18110 (java) S 18097 18097 12870 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877410216304 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18111] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18111/stat : 18111 (java) S 18097 18097 12870 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877409163504 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18112] ppid=18097 vsize=15012696 memory=140158021461632 CPUtime=0.03 cores=0,2,4,6
/proc/18100/task/18112/stat : 18112 (java) S 18097 18097 12870 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 405936787 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877408110704 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18113] ppid=18097 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18113/stat : 18113 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 21998 33554432000 4194304 4196468 140728310821744 139875877644512 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18114] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18114/stat : 18114 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 21998 33554432000 4194304 4196468 140728310821744 139877407059120 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89388 KiB

[startup+0.310755 s]*
/proc/loadavg: 2.03 2.10 2.12 4/234 18114
/proc/meminfo: memFree=30496200/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405936781 115843072 349 33554432000 4194304 5098028 140721725919680 140721725916936 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 349 296 221 0 87 0
[pid=18100] ppid=18097 vsize=15012696 memory=91952 CPUtime=0.43 cores=0,2,4,6
/proc/18100/stat : 18100 (java) S 18097 18097 12870 0 -1 1077944320 12547 0 0 0 39 4 0 0 20 0 15 0 405936781 15373000704 22988 33554432000 4194304 4196468 140728310821744 140728310804288 139878440816375 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
/proc/18100/statm: 3753174 22988 3026 1 0 3715579 0
[pid=18100/tid=18101] ppid=18097 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (java) R 18097 18097 12870 0 -1 4202560 10094 0 0 0 26 4 0 0 20 0 15 0 405936781 15373000704 22988 33554432000 4194304 4196468 140728310821744 139878412646448 139878421091510 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18102] ppid=18097 vsize=15012696 memory=288230600413020516 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 22988 33554432000 4194304 4196468 140728310821744 139878445058704 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18103] ppid=18097 vsize=15012696 memory=288230376154867936 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 22988 33554432000 4194304 4196468 140728310821744 139878236142096 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18104] ppid=18097 vsize=15012696 memory=280315738487152 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18104/stat : 18104 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 22988 33554432000 4194304 4196468 140728310821744 139878235089296 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18105] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18105/stat : 18105 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15373000704 22988 33554432000 4194304 4196468 140728310821744 139878234036496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18106] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18106/stat : 18106 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936784 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877411269488 139878440827522 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18107] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18107/stat : 18107 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877018494496 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18108] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18108/stat : 18108 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936785 15373000704 22988 33554432000 4194304 4196468 140728310821744 139876750058864 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18109] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18109/stat : 18109 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936787 15373000704 22988 33554432000 4194304 4196468 140728310821744 139876375550288 139878440834971 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18110] ppid=18097 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18100/task/18110/stat : 18110 (java) S 18097 18097 12870 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 405936787 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877410216304 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18111] ppid=18097 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18100/task/18111/stat : 18111 (java) S 18097 18097 12870 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 15 0 405936787 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877409163504 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18112] ppid=18097 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18100/task/18112/stat : 18112 (java) S 18097 18097 12870 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 15 0 405936787 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877408110704 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18113] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18113/stat : 18113 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 22988 33554432000 4194304 4196468 140728310821744 139875877644512 139878440826581 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18114] ppid=18097 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18114/stat : 18114 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936788 15373000704 22988 33554432000 4194304 4196468 140728310821744 139877407059120 139878440827522 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93348 KiB

[startup+0.701207 s]
/proc/loadavg: 2.03 2.10 2.12 3/234 18114
/proc/meminfo: memFree=30493440/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405936781 115843072 349 33554432000 4194304 5098028 140721725919680 140721725916936 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 349 296 221 0 87 0
[pid=18100] ppid=18097 vsize=15018968 memory=129212 CPUtime=0.99 cores=0,2,4,6
/proc/18100/stat : 18100 (java) S 18097 18097 12870 0 -1 1077944320 19528 0 0 0 93 6 0 0 20 0 15 0 405936781 15379423232 32303 33554432000 4194304 4196468 140728310821744 140728310804288 139878440816375 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
/proc/18100/statm: 3754742 32303 3184 1 0 3716091 0
[pid=18100/tid=18101] ppid=18097 vsize=15018968 memory=1564 CPUtime=0.68 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (java) R 18097 18097 12870 0 -1 4202560 16654 0 0 0 62 6 0 0 20 0 15 0 405936781 15379423232 32303 33554432000 4194304 4196468 140728310821744 139878412653856 139878424896862 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18102] ppid=18097 vsize=15018968 memory=976 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15379423232 32303 33554432000 4194304 4196468 140728310821744 139878445058704 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18103] ppid=18097 vsize=15018968 memory=772 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15379423232 32303 33554432000 4194304 4196468 140728310821744 139878236142096 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18104] ppid=18097 vsize=15018968 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18104/stat : 18104 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936783 15379423232 32303 33554432000 4194304 4196468 140728310821744 139878235089296 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18105] ppid=18097 vsize=15018968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18105/stat : 18105 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936783 15379423232 32303 33554432000 4194304 4196468 140728310821744 139878234036496 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18106] ppid=18097 vsize=15018968 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18106/stat : 18106 (java) S 18097 18097 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405936784 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877411269488 139878440827522 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18107] ppid=18097 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18107/stat : 18107 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405936785 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877018494496 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18108] ppid=18097 vsize=15018968 memory=744 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18108/stat : 18108 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405936785 15379423232 32303 33554432000 4194304 4196468 140728310821744 139876750058864 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18109] ppid=18097 vsize=15018968 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18109/stat : 18109 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936787 15379423232 32303 33554432000 4194304 4196468 140728310821744 139876375550288 139878440834971 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18110] ppid=18097 vsize=15018968 memory=5948 CPUtime=0.09 cores=0,2,4,6
/proc/18100/task/18110/stat : 18110 (java) R 18097 18097 12870 0 -1 4202560 645 0 0 0 9 0 0 0 20 0 15 0 405936787 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877410206096 139878425722094 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18111] ppid=18097 vsize=15018968 memory=1124 CPUtime=0.05 cores=0,2,4,6
/proc/18100/task/18111/stat : 18111 (java) R 18097 18097 12870 0 -1 4202560 273 0 0 0 5 0 0 0 20 0 15 0 405936787 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877409163504 139878424202533 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18112] ppid=18097 vsize=15018968 memory=14008 CPUtime=0.16 cores=0,2,4,6
/proc/18100/task/18112/stat : 18112 (java) R 18097 18097 12870 0 -1 4202560 642 0 0 0 16 0 0 0 20 0 15 0 405936787 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877408107640 139878433126608 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18113] ppid=18097 vsize=15018968 memory=11928 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18113/stat : 18113 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405936788 15379423232 32303 33554432000 4194304 4196468 140728310821744 139875877644512 139878440826581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
[pid=18100/tid=18114] ppid=18097 vsize=15018968 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18114/stat : 18114 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405936788 15379423232 32303 33554432000 4194304 4196468 140728310821744 139877407059120 139878440827522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26632192 140728310829865 140728310830234 140728310830234 140728310833103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130608 KiB

[startup+1.50084 s]
/proc/loadavg: 2.03 2.10 2.12 5/234 18114
/proc/meminfo: memFree=30428592/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405936781 115843072 349 33554432000 4194304 5098028 140721725919680 140721725916936 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 349 296 221 0 87 0

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

/proc/18324/task/18340/stat : 18340 (java) S 18097 18097 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017974671040 140018607755033 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18342] ppid=18097 vsize=8068440 memory=11928 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18342/stat : 18342 (java) S 18097 18097 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015933828880 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18343] ppid=18097 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18343/stat : 18343 (java) S 18097 18097 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405947097 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015665397392 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18344] ppid=18097 vsize=8068440 memory=5812 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18344/stat : 18344 (java) S 18097 18097 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405947099 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016068058288 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
Current children cumulated CPU time: 132.81 s
Current children cumulated vsize: 8227860 KiB
Current children cumulated memory: 141264 KiB

[startup+104.801 s]
/proc/loadavg: 2.44 2.24 2.17 3/240 18344
/proc/meminfo: memFree=30757264/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1476 CPUtime=130.78 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 582 72370 0 0 0 0 12788 290 20 0 1 0 405936781 115843072 369 33554432000 4194304 5098028 140721725919680 140721725916424 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 369 311 221 0 87 0
[pid=18324] ppid=18097 vsize=8068440 memory=117492 CPUtime=1.18 cores=0,2,4,6
/proc/18324/stat : 18324 (java) S 18097 18097 12870 0 -1 1077944320 19901 0 0 0 110 8 0 0 20 0 19 0 405947022 8262082560 29373 33554432000 4194304 4196468 140727585367744 140727585350288 140018607730423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
/proc/18324/statm: 2017110 29373 3203 1 0 1978454 0
[pid=18339] ppid=18324 vsize=46836 memory=23612 CPUtime=1.64 cores=0,2,4,6
/proc/18339/stat : 18339 (cryptominisat5) R 18324 18097 12870 0 -1 4202496 6641 0 0 0 163 1 0 0 20 0 1 0 405947096 47960064 5903 33554432000 4194304 4451008 140729835699104 140729835695224 139766529164096 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 29540352 140729835705276 140729835705408 140729835705408 140729835708358 0
/proc/18339/statm: 11709 5903 643 63 0 5436 0
[pid=18324/tid=18325] ppid=18097 vsize=8068440 memory=1420 CPUtime=0.77 cores=0,2,4,6
/proc/18324/task/18325/stat : 18325 (java) S 18097 18097 12870 0 -1 1077944384 16955 0 0 0 72 5 0 0 20 0 19 0 405947022 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018579570592 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18326] ppid=18097 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18326/stat : 18326 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018611972752 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18327] ppid=18097 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18327/stat : 18327 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018092509712 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18328] ppid=18097 vsize=8068440 memory=117492 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18328/stat : 18328 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018091456912 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18329] ppid=18097 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18329/stat : 18329 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018090404112 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18330] ppid=18097 vsize=8068440 memory=18968 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18330/stat : 18330 (java) S 18097 18097 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017986915184 140018607741570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18331] ppid=18097 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18331/stat : 18331 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017477346848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18332] ppid=18097 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18332/stat : 18332 (java) S 18097 18097 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017343124848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18333] ppid=18097 vsize=8068440 memory=4209164 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18333/stat : 18333 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016968620368 140018607749019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18334] ppid=18097 vsize=8068440 memory=3848 CPUtime=0.1 cores=0,2,4,6
/proc/18324/task/18334/stat : 18334 (java) S 18097 18097 12870 0 -1 1077944384 651 0 0 0 10 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017985862000 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18335] ppid=18097 vsize=8068440 memory=3404 CPUtime=0.06 cores=0,2,4,6
/proc/18324/task/18335/stat : 18335 (java) S 18097 18097 12870 0 -1 1077944384 321 0 0 0 6 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017984809200 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18336] ppid=18097 vsize=8068440 memory=2844 CPUtime=0.21 cores=0,2,4,6
/proc/18324/task/18336/stat : 18336 (java) S 18097 18097 12870 0 -1 1077944384 564 0 0 0 21 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017983756400 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18337] ppid=18097 vsize=8068440 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18337/stat : 18337 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016470714592 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18338] ppid=18097 vsize=8068440 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18338/stat : 18338 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017982704816 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18340] ppid=18097 vsize=8068440 memory=3044 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18340/stat : 18340 (java) S 18097 18097 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017974671040 140018607755033 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18342] ppid=18097 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18342/stat : 18342 (java) S 18097 18097 12870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015933828880 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18343] ppid=18097 vsize=8068440 memory=117492 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18343/stat : 18343 (java) S 18097 18097 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405947097 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015665397392 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18344] ppid=18097 vsize=8068440 memory=22560 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18344/stat : 18344 (java) S 18097 18097 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405947099 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016068058288 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
Current children cumulated CPU time: 133.6 s
Current children cumulated vsize: 8228404 KiB
Current children cumulated memory: 142580 KiB

[startup+105.201 s]
/proc/loadavg: 2.44 2.24 2.17 3/239 18344
/proc/meminfo: memFree=30755452/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1476 CPUtime=130.78 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 582 72370 0 0 0 0 12788 290 20 0 1 0 405936781 115843072 369 33554432000 4194304 5098028 140721725919680 140721725916424 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 369 311 221 0 87 0
[pid=18324] ppid=18097 vsize=8068440 memory=117492 CPUtime=1.18 cores=0,2,4,6
/proc/18324/stat : 18324 (java) S 18097 18097 12870 0 -1 1077944320 19901 0 0 0 110 8 0 0 20 0 19 0 405947022 8262082560 29373 33554432000 4194304 4196468 140727585367744 140727585350288 140018607730423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
/proc/18324/statm: 2017110 29373 3203 1 0 1978454 0
[pid=18339] ppid=18324 vsize=46968 memory=23968 CPUtime=2.04 cores=0,2,4,6
/proc/18339/stat : 18339 (cryptominisat5) R 18324 18097 12870 0 -1 4202496 10782 0 0 0 203 1 0 0 20 0 1 0 405947096 48095232 5992 33554432000 4194304 4451008 140729835699104 140729835695032 139766529171822 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 29540352 140729835705276 140729835705408 140729835705408 140729835708358 0
/proc/18339/statm: 11742 5992 643 63 0 5469 0
[pid=18324/tid=18325] ppid=18097 vsize=8068440 memory=2128 CPUtime=0.77 cores=0,2,4,6
/proc/18324/task/18325/stat : 18325 (java) S 18097 18097 12870 0 -1 1077944384 16955 0 0 0 72 5 0 0 20 0 19 0 405947022 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018579570592 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18326] ppid=18097 vsize=8068440 memory=1046 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18326/stat : 18326 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018611972752 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18327] ppid=18097 vsize=8068440 memory=230 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18327/stat : 18327 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018092509712 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18328] ppid=18097 vsize=8068440 memory=623 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18328/stat : 18328 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018091456912 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18329] ppid=18097 vsize=8068440 memory=2 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18329/stat : 18329 (java) S 18097 18097 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405947023 8262082560 29373 33554432000 4194304 4196468 140727585367744 140018090404112 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18330] ppid=18097 vsize=8068440 memory=266 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18330/stat : 18330 (java) S 18097 18097 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017986915184 140018607741570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18331] ppid=18097 vsize=8068440 memory=238191 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18331/stat : 18331 (java) S 18097 18097 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017477346848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18332] ppid=18097 vsize=8068440 memory=1 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18332/stat : 18332 (java) S 18097 18097 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405947025 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017343124848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18333] ppid=18097 vsize=8068440 memory=27367 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18333/stat : 18333 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016968620368 140018607749019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18334] ppid=18097 vsize=8068440 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18324/task/18334/stat : 18334 (java) S 18097 18097 12870 0 -1 1077944384 651 0 0 0 10 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017985862000 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18335] ppid=18097 vsize=8068440 memory=117492 CPUtime=0.06 cores=0,2,4,6
/proc/18324/task/18335/stat : 18335 (java) S 18097 18097 12870 0 -1 1077944384 321 0 0 0 6 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017984809200 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18336] ppid=18097 vsize=8068440 memory=23084 CPUtime=0.21 cores=0,2,4,6
/proc/18324/task/18336/stat : 18336 (java) S 18097 18097 12870 0 -1 1077944384 564 0 0 0 21 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017983756400 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18337] ppid=18097 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18337/stat : 18337 (java) S 18097 18097 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016470714592 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18338] ppid=18097 vsize=8068440 memory=280315739287376 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18338/stat : 18338 (java) S 18097 18097 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405947028 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017982704816 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18340] ppid=18097 vsize=8068440 memory=7524503900901105746 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18340/stat : 18340 (java) S 18097 18097 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140017974671040 140018607755033 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18342] ppid=18097 vsize=8068440 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18342/stat : 18342 (java) S 18097 18097 12870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405947096 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015933828880 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18343] ppid=18097 vsize=8068440 memory=7661294107988223589 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18343/stat : 18343 (java) S 18097 18097 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405947097 8262082560 29373 33554432000 4194304 4196468 140727585367744 140015665397392 140018607752349 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18344] ppid=18097 vsize=8068440 memory=7883078711735053166 CPUtime=0 cores=0,2,4,6
/proc/18324/task/18344/stat : 18344 (java) S 18097 18097 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405947099 8262082560 29373 33554432000 4194304 4196468 140727585367744 140016068058288 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
Current children cumulated CPU time: 134 s
Current children cumulated vsize: 8228536 KiB
Current children cumulated memory: 142936 KiB

[startup+105.604 s]
/proc/loadavg: 2.44 2.24 2.17 3/239 18344
/proc/meminfo: memFree=30755452/32770624 swapFree=66932988/67108860
[pid=18097] ppid=18094 vsize=113128 memory=1476 CPUtime=130.78 cores=0,2,4,6
/proc/18097/stat : 18097 (scop.sh) S 18094 18097 12870 0 -1 4202496 582 72370 0 0 0 0 12788 290 20 0 1 0 405936781 115843072 369 33554432000 4194304 5098028 140721725919680 140721725916424 140620007920252 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25247744 140721725924195 140721725924464 140721725924464 140721725927373 0
/proc/18097/statm: 28282 369 311 221 0 87 0
[pid=18324] ppid=18097 vsize=7937364 memory=132216 CPUtime=4.02 cores=0,2,4,6
/proc/18324/stat : 18324 (java) S 18097 18097 12870 0 -1 1077944320 21426 11471 0 0 167 8 226 1 20 0 17 0 405947022 8127860736 33054 33554432000 4194304 4196468 140727585367744 140727585350288 140018607730423 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
/proc/18324/statm: 1984341 33054 3232 1 0 1945685 0
[pid=18324/tid=18325] ppid=18097 vsize=7937364 memory=6791534058613427641 CPUtime=3.12 cores=0,2,4,6
/proc/18324/task/18325/stat : 18325 (java) R 18097 18097 12870 0 -1 4202560 17196 11471 0 0 79 6 226 1 20 0 17 0 405947022 8127860736 33054 33554432000 4194304 4196468 140727585367744 140018579567568 140018589293983 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18326] ppid=18097 vsize=7937364 memory=4748620 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18326/stat : 18326 (java) S 18097 18097 12870 0 -1 1077944384 2 11471 0 0 0 0 226 1 20 0 17 0 405947023 8127860736 33054 33554432000 4194304 4196468 140727585367744 140018611972752 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18327] ppid=18097 vsize=7937364 memory=6944656592455097440 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18327/stat : 18327 (java) S 18097 18097 12870 0 -1 1077944384 1 11471 0 0 0 0 226 1 20 0 17 0 405947023 8127860736 33054 33554432000 4194304 4196468 140727585367744 140018092509712 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18328] ppid=18097 vsize=7937364 memory=6944656592455360604 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18328/stat : 18328 (java) S 18097 18097 12870 0 -1 1077944384 1 11471 0 0 0 0 226 1 20 0 17 0 405947023 8127860736 33054 33554432000 4194304 4196468 140727585367744 140018091456912 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18329] ppid=18097 vsize=7937364 memory=6655300316396806240 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18329/stat : 18329 (java) S 18097 18097 12870 0 -1 1077944384 2 11471 0 0 0 0 226 1 20 0 17 0 405947023 8127860736 33054 33554432000 4194304 4196468 140727585367744 140018090404112 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18330] ppid=18097 vsize=7937364 memory=117492 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18330/stat : 18330 (java) S 18097 18097 12870 0 -1 1077944384 5 11471 0 0 0 0 226 1 20 0 17 0 405947025 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017986915184 140018607741570 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18331] ppid=18097 vsize=7937364 memory=1476 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18331/stat : 18331 (java) S 18097 18097 12870 0 -1 1077944384 13 11471 0 0 0 0 226 1 20 0 17 0 405947025 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017477346848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18332] ppid=18097 vsize=7937364 memory=117492 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18332/stat : 18332 (java) S 18097 18097 12870 0 -1 1077944384 21 11471 0 0 0 0 226 1 20 0 17 0 405947025 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017343124848 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18333] ppid=18097 vsize=7937364 memory=22820 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18333/stat : 18333 (java) S 18097 18097 12870 0 -1 1077944384 3 11471 0 0 0 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140016968620368 140018607749019 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18334] ppid=18097 vsize=7937364 memory=804 CPUtime=2.52 cores=0,2,4,6
/proc/18324/task/18334/stat : 18334 (java) R 18097 18097 12870 0 -1 4202560 1378 11471 0 0 25 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017985848416 140018587417049 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18335] ppid=18097 vsize=7937364 memory=1476 CPUtime=2.46 cores=0,2,4,6
/proc/18324/task/18335/stat : 18335 (java) S 18097 18097 12870 0 -1 1077944384 470 11471 0 0 19 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017984809200 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18336] ppid=18097 vsize=7937364 memory=117492 CPUtime=2.6 cores=0,2,4,6
/proc/18324/task/18336/stat : 18336 (java) S 18097 18097 12870 0 -1 1077944384 901 11471 0 0 33 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017983756400 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18337] ppid=18097 vsize=7937364 memory=2832 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18337/stat : 18337 (java) S 18097 18097 12870 0 -1 1077944384 3 11471 0 0 0 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140016470714592 140018607740629 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18338] ppid=18097 vsize=7937364 memory=1548 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18338/stat : 18338 (java) S 18097 18097 12870 0 -1 1077944384 1 11471 0 0 0 0 226 1 20 0 17 0 405947028 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017982704816 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18340] ppid=18097 vsize=7937364 memory=1056 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18340/stat : 18340 (java) S 18097 18097 12870 0 -1 1077944384 38 11471 0 0 0 0 226 1 20 0 17 0 405947096 8127860736 33054 33554432000 4194304 4196468 140727585367744 140017974670224 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
[pid=18324/tid=18344] ppid=18097 vsize=7937364 memory=1476 CPUtime=2.27 cores=0,2,4,6
/proc/18324/task/18344/stat : 18344 (java) S 18097 18097 12870 0 -1 1077944384 27 11471 0 0 0 0 226 1 20 0 17 0 405947099 8127860736 33054 33554432000 4194304 4196468 140727585367744 140016068060080 140018607741570 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32579584 140727585371131 140727585371290 140727585371290 140727585374159 0
Current children cumulated CPU time: 134.8 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 133692 KiB

Child status: 0
Real time (s): 105.641
CPU time (s): 134.897
CPU user time (s): 131.884
CPU system time (s): 3.01314
CPU usage (%): 127.694
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4939456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.884
system time used= 3.01314
maximum resident set size= 4939544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9854
involuntary context switches= 452


# summary of solver processes directly reported to runsolver:
#   pid: 18097
#   total CPU time (s): 134.897
#   total CPU user time (s): 131.884
#   total CPU system time (s): 3.01314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.726501 second user time and 1.08422 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 15:56:54
IDJOB=4388215
IDBENCH=135918
IDSOLVER=2826
FILE ID=node151/4388215-1568296653
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56556 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.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-4388215-1568296653/watcher-4388215-1568296653 -o /tmp/evaluation-result-4388215-1568296653/solver-4388215-1568296653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388215-1568296653.xml

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

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=1246260345

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30578276 kB
MemAvailable:   31100312 kB
Buffers:          112004 kB
Cached:           701140 kB
SwapCached:        73028 kB
Active:          1195628 kB
Inactive:         446944 kB
Active(anon):     764944 kB
Inactive(anon):    96264 kB
Active(file):     430684 kB
Inactive(file):   350680 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932988 kB
Dirty:             21196 kB
Writeback:             0 kB
AnonPages:        869032 kB
Mapped:            46856 kB
Shmem:             22256 kB
Slab:             141744 kB
SReclaimable:     113016 kB
SUnreclaim:        28728 kB
KernelStack:        3776 kB
PageTables:         7324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6654736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    276480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56496 MiB
End job on node151 at 2019-09-12 15:58:40