Trace number 4388035

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 10.7335 7.75966

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-20-3-3.xml
MD5SUM065412ea00e4edb14381318bc4e9318f
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.007616
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":60}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":40},{"degree":1,"count":35},{"degree":2,"count":17},{"degree":3,"count":8}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":7},{"arity":5,"count":4},{"arity":6,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20}]
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-16966-serial-file.bin HOME/instance-4388035-1568293894.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:10:56 CEST 2019
0.66/0.55	c PID: 16969
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.18/0.85	c (0,0) Parsing End
1.18/0.85	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 70
1.18/0.86	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.86	c (0,0) Constraint Name Generate Begin
1.18/0.86	c (0,0) Ctr:HOME/instance-4388035-1568293894.xml,Num:Var:WeightedSum
1.18/0.86	c (0,0) Constraint Name Generate End
1.18/0.86	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86	c (0,0) CSP to CSPinCNF Begin
1.36/0.95	c (0,0) translated 2 (10%) constraints
1.36/0.96	c (0,0) translated 4 (20%) constraints
1.36/0.96	c (0,0) translated 6 (30%) constraints
1.36/0.97	c (0,0) translated 8 (40%) constraints
1.36/0.98	c (0,0) translated 10 (50%) constraints
1.36/0.98	c (0,0) translated 12 (60%) constraints
1.36/0.98	c (0,0) translated 14 (70%) constraints
1.36/0.99	c (0,0) translated 16 (80%) constraints
1.36/0.99	c (0,0) translated 18 (90%) constraints
1.36/1.00	c (0,0) translated 20 (100%) constraints
1.36/1.00	c (0,0) ===========================================
1.36/1.01	c (0,0) Hybrid: #OE=0, #LE=60
1.36/1.01	c (0,0) Hybrid
1.36/1.01	c (0,0) ===========================================
1.55/1.01	c (0,0) translated 2 (10%) constraints
1.55/1.02	c (0,0) translated 4 (20%) constraints
1.55/1.02	c (0,0) translated 6 (30%) constraints
1.55/1.02	c (0,0) translated 8 (40%) constraints
1.55/1.03	c (0,0) translated 10 (50%) constraints
1.55/1.03	c (0,0) translated 12 (60%) constraints
1.55/1.03	c (0,0) translated 14 (70%) constraints
1.55/1.03	c (0,0) translated 16 (80%) constraints
1.55/1.04	c (0,0) translated 18 (90%) constraints
1.55/1.04	c (0,0) translated 20 (100%) constraints
1.55/1.05	c (0,0) CSP to CSPinCNF End
1.55/1.05	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.55/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.05	c (0,0) CSPinCNF Propagation Begin
1.55/1.06	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.55/1.06	c (0,0) CSPinCNF Propagation End
1.55/1.06	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.55/1.06	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.06	c (0,0) Hybrid: #OE=0, #LE=60
1.55/1.06	c (0,0) Simplify CSPinCNF Begin
1.55/1.07	c (0,0) Simplify CSPinCNF End
1.55/1.07	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.55/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.07	c (0,0) Calculate Precise Domain Begin
1.55/1.07	c (0,0) 0 values are removed by re-calculation
1.55/1.07	c (0,0) Calculate Precise Domain End
1.55/1.07	c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 70
1.55/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.55/1.07	c (0,0) CSPinCNF to SatSolver Begin
2.63/1.40	c (0,0) 4 (10 %) CSP clauses are encoded (0 SAT variables, 36803 SAT clauses)
2.84/1.54	c (1,0) 8 (20 %) CSP clauses are encoded (0 SAT variables, 77893 SAT clauses)
2.84/1.64	c (1,1) 12 (30 %) CSP clauses are encoded (0 SAT variables, 124787 SAT clauses)
2.84/1.73	c (1,1) 16 (40 %) CSP clauses are encoded (0 SAT variables, 166736 SAT clauses)
2.84/1.86	c (1,1) 20 (50 %) CSP clauses are encoded (0 SAT variables, 231756 SAT clauses)
3.32/1.91	c (1,1) 24 (60 %) CSP clauses are encoded (0 SAT variables, 251755 SAT clauses)
3.32/1.94	c (1,1) 28 (70 %) CSP clauses are encoded (0 SAT variables, 266646 SAT clauses)
3.43/2.01	c (1,1) 32 (80 %) CSP clauses are encoded (0 SAT variables, 300524 SAT clauses)
3.54/2.12	c (1,1) 36 (90 %) CSP clauses are encoded (0 SAT variables, 355101 SAT clauses)
3.54/2.20	c (1,1) 40 (100 %) CSP clauses are encoded (0 SAT variables, 389871 SAT clauses)
3.65/2.21	c (1,1) CSPinCNF to SatSolver End
3.65/2.21	c (1,1) Heap : 901 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.65/2.21	c (1,1) 149666 bool, 395792 clause
3.65/2.21	c (1,1) Export Begin
3.83/2.33	c (1,1) Export to HOME/scop-16966-serial-file.bin
3.83/2.33	c (1,1) Export End
3.83/2.33	c (1,1) Export File Size: 0.07 MB
3.83/2.33	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.83/2.33	c END-Prog: Thu Sep 12 15:10:57 CEST 2019
3.83/2.35	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16966-serial-file.bin
3.91/2.80	c (0,0) Read Serial File Begin
3.91/2.80	c (0,0) HOME/scop-16966-serial-file.bin
3.91/3.05	c (0,0) Read Serial File End
3.91/3.06	
3.91/3.06	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
3.91/3.06	(Solving Process)
3.91/3.06	
3.91/3.08	c BEGIN-Prog: Thu Sep 12 15:10:58 CEST 2019
3.91/3.08	c PID: 16984
3.91/3.08	c IP: 172.20.3.151
3.91/3.08	c HOST: node151.alineos.net
3.91/3.09	c (0,0) SatSolver.solve Begin
3.91/3.09	c (0,0) HOME/cryptominisat5  HOME/instance-4388035-1568293894.xml-scop-16969.cnf
3.91/3.11	c (0,0) c Outputting solution to console
3.91/3.11	c (0,0) c CryptoMiniSat version 5.6.8
3.91/3.11	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
3.91/3.11	c (0,0) c CMS SHA revision GIT-notfound
3.91/3.11	c (0,0) c CMS is MIT licensed
3.91/3.11	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
3.91/3.11	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
3.91/3.11	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388035-1568293894.xml-scop-16969.cnf
3.91/3.11	c (0,0) c Reading file 'HOME/instance-4388035-1568293894.xml-scop-16969.cnf'
3.91/3.11	c (0,0) c -- header says num vars:         149666
3.91/3.11	c (0,0) c -- header says num clauses:      395792
5.30/3.26	c (0,0) c -- clauses added: 395792
5.30/3.26	c (0,0) c -- xor clauses added: 0
5.30/3.26	c (0,0) c -- vars added 149666
5.30/3.26	c (0,0) c Parsing time: 0.13 s
5.30/3.28	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.30/3.28	c (0,0) c [distill] long cls tried: 13/13 cl-short:13 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
5.69/3.69	c (0,0) c [distill] long cls tried: 387/350 cl-short:387 lit-r:163 T: 0.03 T-out: N T-r: 99.74%
6.19/4.13	c (1,0) c [distill] long cls tried: 374/667 cl-short:374 lit-r:175 T: 0.03 T-out: N T-r: 99.75%
6.40/4.32	c (1,0) c   glue     1    68  8193  149562  343K   51K    3.00    2.87   852  2614  4516   210   22.86   22.32
6.89/4.84	c (2,0) c [distill] long cls tried: 1568/2097 cl-short:1568 lit-r:1313 T: 0.14 T-out: N T-r: 98.81%
7.59/5.59	c (2,0) c   geom     1   105 16386  149560  343K   51K    3.00    2.87  2612  5379  7977   416   24.58   24.01
7.79/5.70	c (2,0) c [distill] long cls tried: 537/2572 cl-short:537 lit-r:408 T: 0.06 T-out: N T-r: 99.59%
8.79/6.72	c (3,0) c [distill] long cls tried: 1512/3987 cl-short:1512 lit-r:1514 T: 0.18 T-out: N T-r: 98.61%
8.89/6.83	c (4,0) c   glue     1   127   24K  149556  343K   51K    3.00    2.87  4061  6661 13209   644   27.28   26.62
9.40/7.34	c (4,0) c ------- FINAL TOTAL SEARCH STATS ---------
9.40/7.34	c (4,0) c UIP search time          : 4.06        (96.90     % time)
9.40/7.34	c (4,0) c restarts                 : 131         (211.69    confls per restart)
9.40/7.34	c (4,0) c blocked restarts         : 111         (0.85      per normal restart)
9.40/7.34	c (4,0) c time                     : 4.06        
9.40/7.34	c (4,0) c decisions                : 414383      (0.00      % random)
9.40/7.34	c (4,0) c propagations             : 37582167    
9.40/7.34	c (4,0) c decisions/conflicts      : 14.94       
9.40/7.34	c (4,0) c conflicts                : 27731       (6835.50   / sec)
9.40/7.34	c (4,0) c conf lits non-minim      : 1068396     (38.53     lit/confl)
9.40/7.34	c (4,0) c conf lits final          : 28.66       
9.40/7.34	c (4,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
9.40/7.34	c (4,0) c red which0               : 2351        (8.48      % of confl)
9.40/7.34	c (4,0) c props/decision           : 0.00        
9.40/7.34	c (4,0) c props/conflict           : 0.00        
9.40/7.34	c (4,0) c 0-depth assigns          : 110         (0.07      % vars)
9.40/7.34	c (4,0) c 0-depth assigns by CNF   : 99          (0.07      % vars)
9.40/7.34	c (4,0) c reduceDB time            : 0.00        (0.02      % time)
9.40/7.34	c (4,0) c OccSimplifier time       : 0.00        (0.00      % time)
9.40/7.34	c (4,0) c [occur] 0.00 is overhead
9.40/7.34	c (4,0) c [occur] link-in T: 0.00 cleanup T: 0.00
9.40/7.34	c (4,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
9.40/7.34	c (4,0) c SCC time                 : 0.00        (0.00      % time)
9.40/7.34	c (4,0) c [scc] new: 0 BP 0M  T: 0.00
9.40/7.34	c (4,0) c vrep replace time        : 0.00        (0.00      % time)
9.40/7.34	c (4,0) c vrep tree roots          : 0           
9.40/7.34	c (4,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
9.40/7.34	c (4,0) c distill time             : 0.44        (10.46     % time)
9.40/7.34	c (4,0) c strength cache-irred time: 0.00        (0.00      % time)
9.40/7.34	c (4,0) c strength cache-red time  : 0.00        (0.00      % time)
9.40/7.34	c (4,0) c Conflicts in UIP         : 27731       (6623.44   confl/time_this_thread)
9.40/7.34	c (4,0) c Mem used                 : 74.87       MB
9.40/7.34	c (4,0) c Total time (this thread) : 4.19        
9.40/7.34	c (4,0) s SATISFIABLE
10.27/7.67	c (4,0) SatSolver.solve End
10.27/7.67	c (4,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.27/7.67	c (4,0) Show results Begin
10.59/7.73	c (5,0) x[2] = 47
10.59/7.73	c (5,0) x[3] = 57
10.59/7.73	c (5,0) x[4] = 10
10.59/7.73	c (5,0) x[5] = 22
10.59/7.73	c (5,0) x[7] = 41
10.59/7.73	c (5,0) x[9] = 2
10.59/7.73	c (5,0) x[12] = 45
10.59/7.73	c (5,0) x[13] = 70
10.59/7.73	c (5,0) x[14] = 12
10.59/7.73	c (5,0) x[15] = 69
10.59/7.73	c (5,0) x[17] = 65
10.59/7.73	c (5,0) x[19] = 4
10.59/7.73	c (5,0) x[20] = 29
10.59/7.73	c (5,0) x[25] = 14
10.59/7.73	c (5,0) x[26] = 2
10.59/7.73	c (5,0) x[27] = 59
10.59/7.73	c (5,0) x[28] = 39
10.59/7.73	c (5,0) x[29] = 37
10.59/7.73	c (5,0) x[30] = 14
10.59/7.73	c (5,0) x[31] = 36
10.59/7.73	c (5,0) x[33] = 54
10.59/7.73	c (5,0) x[36] = 38
10.59/7.73	c (5,0) x[37] = 23
10.59/7.73	c (5,0) x[39] = 18
10.59/7.73	c (5,0) x[40] = 22
10.59/7.73	c (5,0) x[44] = 52
10.59/7.73	c (5,0) x[46] = 68
10.59/7.73	c (5,0) x[48] = 58
10.59/7.73	c (5,0) x[49] = 70
10.59/7.73	c (5,0) x[50] = 8
10.59/7.73	c (5,0) x[51] = 42
10.59/7.73	c (5,0) x[53] = 28
10.59/7.73	c (5,0) x[55] = 42
10.59/7.73	c (5,0) x[56] = 56
10.59/7.73	c (5,0) x[59] = 3
10.59/7.73	c (5,0) x[60] = 5
10.59/7.73	c (5,0) x[61] = 57
10.59/7.73	c (5,0) x[64] = 49
10.59/7.73	c (5,0) x[65] = 65
10.59/7.73	c (5,0) x[67] = 30
10.59/7.73	c (5,0) x[68] = 29
10.59/7.73	c (5,0) x[69] = 71
10.59/7.73	c (5,0) x[70] = 13
10.59/7.73	c (5,0) x[71] = 42
10.59/7.73	c (5,0) x[72] = 31
10.59/7.73	c (5,0) x[74] = 49
10.59/7.73	c (5,0) x[75] = 39
10.59/7.73	c (5,0) x[76] = 62
10.59/7.73	c (5,0) x[77] = 10
10.59/7.73	c (5,0) x[79] = 34
10.59/7.73	c (5,0) x[80] = 6
10.59/7.73	c (5,0) x[82] = 14
10.59/7.73	c (5,0) x[83] = 55
10.59/7.73	c (5,0) x[84] = 10
10.59/7.73	c (5,0) x[88] = 70
10.59/7.73	c (5,0) x[90] = 68
10.59/7.73	c (5,0) x[92] = 53
10.59/7.73	c (5,0) x[93] = 17
10.59/7.73	c (5,0) x[95] = 31
10.59/7.73	c (5,0) x[99] = 70
10.59/7.73	s SATISFIABLE
10.59/7.74	v <instantiation>
10.59/7.74	v     <list>x[2] x[3] x[4] x[5] x[7] x[9] x[12] x[13] x[14] x[15] x[17] x[19] x[20] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[33] x[36] x[37] x[39] x[40] x[44] x[46] x[48] x[49] x[50] x[51] x[53] x[55] x[56] x[59] x[60] x[61] x[64] x[65] x[67] x[68] x[69] x[70] x[71] x[72] x[74] x[75] x[76] x[77] x[79] x[80] x[82] x[83] x[84] x[88] x[90] x[92] x[93] x[95] x[99]</list>
10.59/7.74	v     <values>47 57 10 22 41 2 45 70 12 69 65 4 29 14 2 59 39 37 14 36 54 38 23 18 22 52 68 58 70 8 42 28 42 56 3 5 57 49 65 30 29 71 13 42 31 49 39 62 10 34 6 14 55 10 70 68 53 17 31 70</values>
10.59/7.74	v </instantiation>
10.59/7.74	c (5,0) Show results End
10.59/7.74	c (5,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
10.59/7.74	c (5,0) 4,5,STOP-AFTER(ALL)
10.59/7.74	c END-Prog: Thu Sep 12 15:11:03 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 (14556 MiB free)
  memory of node 1: 16384 MiB (15541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388035-1568293894/watcher-4388035-1568293894 -o /tmp/evaluation-result-4388035-1568293894/solver-4388035-1568293894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388035-1568293894.xml 

running on 4 cores: 1,3,5,7

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=16966, runsolver pid=16963
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 2.80 3.51 2.94 3/235 16983
/proc/meminfo: memFree=30761104/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405660875 115843072 349 33554432000 4194304 5098028 140737191412720 140737191409976 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 349 296 221 0 87 0
[pid=16969] ppid=16966 vsize=15012696 memory=71348 CPUtime=0.12 cores=1,3,5,7
/proc/16969/stat : 16969 (java) S 16966 16966 12870 0 -1 1077944320 7148 0 0 0 10 2 0 0 20 0 15 0 405660876 15373000704 17837 33554432000 4194304 4196468 140736674416624 140736674399168 140709532372727 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
/proc/16969/statm: 3753174 17837 2910 1 0 3715579 0
[pid=16969/tid=16970] ppid=16966 vsize=15012696 memory=-6365412307231883207 CPUtime=0.09 cores=1,3,5,7
/proc/16969/task/16970/stat : 16970 (java) R 16966 16966 12870 0 -1 4202560 4932 0 0 0 8 1 0 0 20 0 15 0 405660876 15373000704 17903 33554432000 4194304 4196468 140736674416624 140709504166632 140709532394653 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16971] ppid=16966 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 17903 33554432000 4194304 4196468 140736674416624 140709536615440 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16972] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708993293456 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16973] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708992240400 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16974] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16974/stat : 16974 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708991187856 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16975] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16975/stat : 16975 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708569925872 140709532383874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16976] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16976/stat : 16976 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708094665888 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16977] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16977/stat : 16977 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660880 15373000704 17903 33554432000 4194304 4196468 140736674416624 140707826230000 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16978] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16978/stat : 16978 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 17903 33554432000 4194304 4196468 140736674416624 140707451721680 140709532391323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16979] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16979/stat : 16979 (java) S 16966 16966 12870 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708568873712 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16980] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16980/stat : 16980 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708567821168 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16981] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0.01 cores=1,3,5,7
/proc/16969/task/16981/stat : 16981 (java) S 16966 16966 12870 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 405660882 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708566768112 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16982] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16982/stat : 16982 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 17903 33554432000 4194304 4196468 140736674416624 140706953816928 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16983] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16983/stat : 16983 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660883 15373000704 17903 33554432000 4194304 4196468 140736674416624 140708565715504 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72744 KiB

[startup+0.210997 s]*
/proc/loadavg: 2.80 3.51 2.94 3/235 16983
/proc/meminfo: memFree=30742348/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405660875 115843072 349 33554432000 4194304 5098028 140737191412720 140737191409976 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 349 296 221 0 87 0
[pid=16969] ppid=16966 vsize=15012696 memory=86724 CPUtime=0.26 cores=1,3,5,7
/proc/16969/stat : 16969 (java) S 16966 16966 12870 0 -1 1077944320 12215 0 0 0 22 4 0 0 20 0 15 0 405660876 15373000704 21681 33554432000 4194304 4196468 140736674416624 140736674399168 140709532372727 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
/proc/16969/statm: 3753174 21681 2975 1 0 3715579 0
[pid=16969/tid=16970] ppid=16966 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/16969/task/16970/stat : 16970 (java) R 16966 16966 12870 0 -1 4202560 9908 0 0 0 17 3 0 0 20 0 15 0 405660876 15373000704 21681 33554432000 4194304 4196468 140736674416624 140709504188368 140709532394653 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16971] ppid=16966 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 21681 33554432000 4194304 4196468 140736674416624 140709536615440 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16972] ppid=16966 vsize=15012696 memory=288370231653668480 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708993293456 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16973] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708992240400 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16974] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16974/stat : 16974 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708991187856 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16975] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16975/stat : 16975 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708569925872 140709532383874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16976] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16976/stat : 16976 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708094665888 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16977] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16977/stat : 16977 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660880 15373000704 21681 33554432000 4194304 4196468 140736674416624 140707826230000 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16978] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16978/stat : 16978 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 21681 33554432000 4194304 4196468 140736674416624 140707451721680 140709532391323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16979] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16979/stat : 16979 (java) S 16966 16966 12870 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708568873712 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16980] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16980/stat : 16980 (java) S 16966 16966 12870 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708567821168 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16981] ppid=16966 vsize=15012696 memory=139855501956736 CPUtime=0.03 cores=1,3,5,7
/proc/16969/task/16981/stat : 16981 (java) R 16966 16966 12870 0 -1 4202560 485 0 0 0 3 0 0 0 20 0 15 0 405660882 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708566768112 140709510375232 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16982] ppid=16966 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16982/stat : 16982 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 21681 33554432000 4194304 4196468 140736674416624 140706953816928 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16983] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16983/stat : 16983 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660883 15373000704 21681 33554432000 4194304 4196468 140736674416624 140708565715504 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88120 KiB

[startup+0.31072 s]*
/proc/loadavg: 2.80 3.51 2.94 4/235 16983
/proc/meminfo: memFree=30739184/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405660875 115843072 349 33554432000 4194304 5098028 140737191412720 140737191409976 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 349 296 221 0 87 0
[pid=16969] ppid=16966 vsize=15012696 memory=91032 CPUtime=0.43 cores=1,3,5,7
/proc/16969/stat : 16969 (java) S 16966 16966 12870 0 -1 1077944320 13274 0 0 0 39 4 0 0 20 0 15 0 405660876 15373000704 22758 33554432000 4194304 4196468 140736674416624 140736674399168 140709532372727 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
/proc/16969/statm: 3753174 22758 3070 1 0 3715579 0
[pid=16969/tid=16970] ppid=16966 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/16969/task/16970/stat : 16970 (java) R 16966 16966 12870 0 -1 4202560 10686 0 0 0 26 4 0 0 20 0 15 0 405660876 15373000704 22758 33554432000 4194304 4196468 140736674416624 140709504185072 140709513936279 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16971] ppid=16966 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 22758 33554432000 4194304 4196468 140736674416624 140709536615440 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16972] ppid=16966 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708993293456 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16973] ppid=16966 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708992240400 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16974] ppid=16966 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16974/stat : 16974 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708991187856 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16975] ppid=16966 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16975/stat : 16975 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708569925872 140709532383874 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16976] ppid=16966 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16976/stat : 16976 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405660879 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708094665888 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16977] ppid=16966 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16977/stat : 16977 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660880 15373000704 22758 33554432000 4194304 4196468 140736674416624 140707826230000 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16978] ppid=16966 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16978/stat : 16978 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 22758 33554432000 4194304 4196468 140736674416624 140707451721680 140709532391323 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16979] ppid=16966 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16969/task/16979/stat : 16979 (java) S 16966 16966 12870 0 -1 1077944384 602 0 0 0 3 0 0 0 20 0 15 0 405660882 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708568873712 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16980] ppid=16966 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16969/task/16980/stat : 16980 (java) S 16966 16966 12870 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 15 0 405660882 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708567821168 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16981] ppid=16966 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16969/task/16981/stat : 16981 (java) S 16966 16966 12870 0 -1 1077944384 610 0 0 0 7 0 0 0 20 0 15 0 405660882 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708566768112 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16982] ppid=16966 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16982/stat : 16982 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15373000704 22758 33554432000 4194304 4196468 140736674416624 140706953816928 140709532382933 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16983] ppid=16966 vsize=15012696 memory=3545238011844304945 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16983/stat : 16983 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660883 15373000704 22758 33554432000 4194304 4196468 140736674416624 140708565715504 140709532383874 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92428 KiB

[startup+0.700809 s]
/proc/loadavg: 2.80 3.51 2.94 3/235 16983
/proc/meminfo: memFree=30717592/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405660875 115843072 349 33554432000 4194304 5098028 140737191412720 140737191409976 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 349 296 221 0 87 0
[pid=16969] ppid=16966 vsize=15021092 memory=129124 CPUtime=0.99 cores=1,3,5,7
/proc/16969/stat : 16969 (java) S 16966 16966 12870 0 -1 1077944320 20692 0 0 0 93 6 0 0 20 0 15 0 405660876 15381598208 32281 33554432000 4194304 4196468 140736674416624 140736674399168 140709532372727 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
/proc/16969/statm: 3755273 32281 3204 1 0 3716603 0
[pid=16969/tid=16970] ppid=16966 vsize=15021092 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/16969/task/16970/stat : 16970 (java) R 16966 16966 12870 0 -1 4202560 17588 0 0 0 63 5 0 0 20 0 15 0 405660876 15381598208 32281 33554432000 4194304 4196468 140736674416624 140709504195296 140709516453244 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16971] ppid=16966 vsize=15021092 memory=116 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15381598208 32281 33554432000 4194304 4196468 140736674416624 140709536615440 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16972] ppid=16966 vsize=15021092 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708993293456 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16973] ppid=16966 vsize=15021092 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708992240400 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16974] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16974/stat : 16974 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405660878 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708991187856 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16975] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16975/stat : 16975 (java) S 16966 16966 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405660879 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708569925872 140709532383874 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16976] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16976/stat : 16976 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405660879 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708094665888 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16977] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16977/stat : 16977 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660880 15381598208 32281 33554432000 4194304 4196468 140736674416624 140707826230000 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16978] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16978/stat : 16978 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15381598208 32281 33554432000 4194304 4196468 140736674416624 140707451721680 140709532391323 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16979] ppid=16966 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16969/task/16979/stat : 16979 (java) S 16966 16966 12870 0 -1 1077944384 676 0 0 0 8 0 0 0 20 0 15 0 405660882 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708568873712 140709532383874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16980] ppid=16966 vsize=15021092 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/16969/task/16980/stat : 16980 (java) S 16966 16966 12870 0 -1 1077944384 311 0 0 0 6 0 0 0 20 0 15 0 405660882 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708567821168 140709532383874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16981] ppid=16966 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16969/task/16981/stat : 16981 (java) R 16966 16966 12870 0 -1 4202560 781 0 0 0 15 0 0 0 20 0 15 0 405660882 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708566765648 140709532394074 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16982] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16982/stat : 16982 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405660882 15381598208 32281 33554432000 4194304 4196468 140736674416624 140706953816928 140709532382933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
[pid=16969/tid=16983] ppid=16966 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16969/task/16983/stat : 16983 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405660883 15381598208 32281 33554432000 4194304 4196468 140736674416624 140708565715504 140709532383874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34676736 140736674419497 140736674419866 140736674419866 140736674422735 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 130520 KiB

[startup+1.50085 s]
/proc/loadavg: 2.80 3.51 2.94 5/235 16983
/proc/meminfo: memFree=30691084/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405660875 115843072 349 33554432000 4194304 5098028 140737191412720 140737191409976 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 349 296 221 0 87 0

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

/proc/16984/task/17000/stat : 17000 (java) S 16966 16966 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 30248 33554432000 4194304 4196468 140726358167840 140331547309248 140332095651609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17002] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17002/stat : 17002 (java) S 16966 16966 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 30248 33554432000 4194304 4196468 140726358167840 140329332223280 140332095648925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17003] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17003/stat : 17003 (java) S 16966 16966 12870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 30248 33554432000 4194304 4196468 140726358167840 140329466446000 140332095648925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17004] ppid=16966 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17004/stat : 17004 (java) S 16966 16966 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405661190 8262082560 30248 33554432000 4194304 4196468 140726358167840 140329063800496 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 8284540 KiB
Current children cumulated memory: 197324 KiB

[startup+7.40564 s]
/proc/loadavg: 2.66 3.47 2.93 3/240 17004
/proc/meminfo: memFree=30628068/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1476 CPUtime=3.91 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 584 24868 0 0 0 0 367 24 20 0 1 0 405660875 115843072 369 33554432000 4194304 5098028 140737191412720 140737191409464 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 369 311 221 0 87 0
[pid=16984] ppid=16966 vsize=8068440 memory=123692 CPUtime=1.49 cores=1,3,5,7
/proc/16984/stat : 16984 (java) S 16966 16966 12870 0 -1 1077944320 20387 0 0 0 141 8 0 0 20 0 19 0 405661111 8262082560 30923 33554432000 4194304 4196468 140726358167840 140726358150384 140332095626999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
/proc/16984/statm: 2017110 30923 3219 1 0 1978454 0
[pid=16999] ppid=16984 vsize=104992 memory=76664 CPUtime=4.23 cores=1,3,5,7
/proc/16999/stat : 16999 (cryptominisat5) S 16984 16966 12870 0 -1 4202496 43867 0 0 0 419 4 0 0 20 0 1 0 405661186 107511808 19166 33554432000 4194304 4451008 140737016233088 140737016230312 139777498840160 0 4 0 2 18446744071580971376 0 0 17 7 0 0 0 0 0 6549032 6559120 22949888 140737016239036 140737016239168 140737016239168 140737016242118 0
/proc/16999/statm: 26248 19166 660 63 0 19975 0
[pid=16984/tid=16985] ppid=16966 vsize=8068440 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/16984/task/16985/stat : 16985 (java) S 16966 16966 12870 0 -1 1077944384 16915 0 0 0 73 6 0 0 20 0 19 0 405661111 8262082560 30923 33554432000 4194304 4196468 140726358167840 140332067467168 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16986] ppid=16966 vsize=8068440 memory=279710685169776 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16986/stat : 16986 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 30923 33554432000 4194304 4196468 140726358167840 140332099869840 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16987] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16987/stat : 16987 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331900038160 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16988] ppid=16966 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16988/stat : 16988 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331898985360 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16989] ppid=16966 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16989/stat : 16989 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331897932560 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16990] ppid=16966 vsize=8068440 memory=120992 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16990/stat : 16990 (java) S 16966 16966 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331138914672 140332095638146 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16991] ppid=16966 vsize=8068440 memory=75028 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16991/stat : 16991 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331009958944 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16992] ppid=16966 vsize=8068440 memory=139855342640784 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16992/stat : 16992 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 30923 33554432000 4194304 4196468 140726358167840 140330741523312 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16993] ppid=16966 vsize=8068440 memory=3473598479689372392 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16993/stat : 16993 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140330367014736 140332095645595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16994] ppid=16966 vsize=8068440 memory=2319810533781000198 CPUtime=0.13 cores=1,3,5,7
/proc/16984/task/16994/stat : 16994 (java) R 16966 16966 12870 0 -1 4202560 702 0 0 0 13 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331137862512 140332080753251 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16995] ppid=16966 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16984/task/16995/stat : 16995 (java) R 16966 16966 12870 0 -1 4202560 588 0 0 0 19 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331136797824 140332077147908 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16996] ppid=16966 vsize=8068440 memory=8039887049847964842 CPUtime=0.28 cores=1,3,5,7
/proc/16984/task/16996/stat : 16996 (java) R 16966 16966 12870 0 -1 4202560 745 0 0 0 28 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331135756912 140332079707486 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16997] ppid=16966 vsize=8068440 memory=18884 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16997/stat : 16997 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140329869109984 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16998] ppid=16966 vsize=8068440 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16998/stat : 16998 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331134704304 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17000] ppid=16966 vsize=8068440 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17000/stat : 17000 (java) S 16966 16966 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 30923 33554432000 4194304 4196468 140726358167840 140331547309248 140332095651609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17002] ppid=16966 vsize=8068440 memory=1332 CPUtime=0.06 cores=1,3,5,7
/proc/16984/task/17002/stat : 17002 (java) R 16966 16966 12870 0 -1 1077944384 55 0 0 0 6 0 0 0 20 0 19 0 405661187 8262082560 30923 33554432000 4194304 4196468 140726358167840 140329332231568 140332095637205 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17003] ppid=16966 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17003/stat : 17003 (java) S 16966 16966 12870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 30923 33554432000 4194304 4196468 140726358167840 140329466446000 140332095648925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17004] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17004/stat : 17004 (java) S 16966 16966 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405661190 8262082560 30923 33554432000 4194304 4196468 140726358167840 140329063800496 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
Current children cumulated CPU time: 9.63 s
Current children cumulated vsize: 8286560 KiB
Current children cumulated memory: 201832 KiB

[startup+7.60154 s]
/proc/loadavg: 2.66 3.47 2.93 3/240 17004
/proc/meminfo: memFree=30628068/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1476 CPUtime=3.91 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 584 24868 0 0 0 0 367 24 20 0 1 0 405660875 115843072 369 33554432000 4194304 5098028 140737191412720 140737191409464 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 369 311 221 0 87 0
[pid=16984] ppid=16966 vsize=8068440 memory=190812 CPUtime=2.1 cores=1,3,5,7
/proc/16984/stat : 16984 (java) S 16966 16966 12870 0 -1 1077944320 23423 0 0 0 201 9 0 0 20 0 19 0 405661111 8262082560 47703 33554432000 4194304 4196468 140726358167840 140726358150384 140332095626999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
/proc/16984/statm: 2017110 47703 3234 1 0 1978454 0
[pid=16999] ppid=16984 vsize=104992 memory=76664 CPUtime=4.26 cores=1,3,5,7
/proc/16999/stat : 16999 (cryptominisat5) S 16984 16966 12870 0 -1 4202496 43867 0 0 0 421 5 0 0 20 0 1 0 405661186 107511808 19166 33554432000 4194304 4451008 140737016233088 140737016230312 139777498840160 0 4 0 2 18446744071580971376 0 0 17 5 0 0 0 0 0 6549032 6559120 22949888 140737016239036 140737016239168 140737016239168 140737016242118 0
/proc/16999/statm: 26248 19166 660 63 0 19975 0
[pid=16984/tid=16985] ppid=16966 vsize=8068440 memory=279710684676336 CPUtime=0.79 cores=1,3,5,7
/proc/16984/task/16985/stat : 16985 (java) S 16966 16966 12870 0 -1 1077944384 16915 0 0 0 73 6 0 0 20 0 19 0 405661111 8262082560 47703 33554432000 4194304 4196468 140726358167840 140332067467168 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16986] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16986/stat : 16986 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 47703 33554432000 4194304 4196468 140726358167840 140332099869840 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16987] ppid=16966 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16987/stat : 16987 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331900038160 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16988] ppid=16966 vsize=8068440 memory=288230613214036277 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16988/stat : 16988 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331898985360 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16989] ppid=16966 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16989/stat : 16989 (java) S 16966 16966 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405661112 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331897932560 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16990] ppid=16966 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16990/stat : 16990 (java) S 16966 16966 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331138914672 140332095638146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16991] ppid=16966 vsize=8068440 memory=7596540479531410752 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16991/stat : 16991 (java) S 16966 16966 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331009958944 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16992] ppid=16966 vsize=8068440 memory=8170745150040658258 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16992/stat : 16992 (java) S 16966 16966 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405661114 8262082560 47703 33554432000 4194304 4196468 140726358167840 140330741523312 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16993] ppid=16966 vsize=8068440 memory=7516877558933115733 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16993/stat : 16993 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140330367014736 140332095645595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16994] ppid=16966 vsize=8068440 memory=7444819964895187793 CPUtime=0.32 cores=1,3,5,7
/proc/16984/task/16994/stat : 16994 (java) R 16966 16966 12870 0 -1 4202560 2637 0 0 0 32 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331137848232 140332076330140 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16995] ppid=16966 vsize=8068440 memory=7741794860454604143 CPUtime=0.38 cores=1,3,5,7
/proc/16984/task/16995/stat : 16995 (java) R 16966 16966 12870 0 -1 4202560 1457 0 0 0 38 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331136795592 140332081778651 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16996] ppid=16966 vsize=8068440 memory=-7240599198935759669 CPUtime=0.32 cores=1,3,5,7
/proc/16984/task/16996/stat : 16996 (java) S 16966 16966 12870 0 -1 1077944384 845 0 0 0 32 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331135756912 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16997] ppid=16966 vsize=8068440 memory=-7385037615359298921 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16997/stat : 16997 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140329869109984 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16998] ppid=16966 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16984/task/16998/stat : 16998 (java) S 16966 16966 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405661117 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331134704304 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17000] ppid=16966 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17000/stat : 17000 (java) S 16966 16966 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 47703 33554432000 4194304 4196468 140726358167840 140331547309248 140332095651609 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17002] ppid=16966 vsize=8068440 memory=7662457228034027415 CPUtime=0.24 cores=1,3,5,7
/proc/16984/task/17002/stat : 17002 (java) R 16966 16966 12870 0 -1 4202560 187 0 0 0 24 0 0 0 20 0 19 0 405661187 8262082560 47703 33554432000 4194304 4196468 140726358167840 140329332223504 140331567222016 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17003] ppid=16966 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17003/stat : 17003 (java) S 16966 16966 12870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405661187 8262082560 47703 33554432000 4194304 4196468 140726358167840 140329466446000 140332095648925 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17004] ppid=16966 vsize=8068440 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/16984/task/17004/stat : 17004 (java) S 16966 16966 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405661190 8262082560 47703 33554432000 4194304 4196468 140726358167840 140329063800496 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 8286560 KiB
Current children cumulated memory: 268952 KiB

[startup+7.701 s]
/proc/loadavg: 2.66 3.47 2.93 3/240 17004
/proc/meminfo: memFree=30628068/32770624 swapFree=66932940/67108860
[pid=16966] ppid=16963 vsize=113128 memory=1476 CPUtime=3.91 cores=1,3,5,7
/proc/16966/stat : 16966 (scop.sh) S 16963 16966 12870 0 -1 4202496 584 24868 0 0 0 0 367 24 20 0 1 0 405660875 115843072 369 33554432000 4194304 5098028 140737191412720 140737191409464 140083920122492 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13565952 140737191416675 140737191416944 140737191416944 140737191419853 0
/proc/16966/statm: 28282 369 311 221 0 87 0
[pid=16984] ppid=16966 vsize=7937364 memory=209612 CPUtime=6.68 cores=1,3,5,7
/proc/16984/stat : 16984 (java) S 16966 16966 12870 0 -1 1077944320 24483 44174 0 0 228 10 425 5 20 0 17 0 405661111 8127860736 52403 33554432000 4194304 4196468 140726358167840 140726358150384 140332095626999 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
/proc/16984/statm: 1984341 52403 3237 1 0 1945685 0
[pid=16984/tid=16985] ppid=16966 vsize=7937364 memory=120992 CPUtime=5.13 cores=1,3,5,7
/proc/16984/task/16985/stat : 16985 (java) R 16966 16966 12870 0 -1 4202560 16995 44174 0 0 77 6 425 5 20 0 17 0 405661111 8127860736 52403 33554432000 4194304 4196468 140726358167840 140332067461376 140332079707486 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16986] ppid=16966 vsize=7937364 memory=75220 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16986/stat : 16986 (java) S 16966 16966 12870 0 -1 1077944384 1 44174 0 0 0 0 425 5 20 0 17 0 405661112 8127860736 52403 33554432000 4194304 4196468 140726358167840 140332099869840 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16987] ppid=16966 vsize=7937364 memory=0 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16987/stat : 16987 (java) S 16966 16966 12870 0 -1 1077944384 1 44174 0 0 0 0 425 5 20 0 17 0 405661112 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331900038160 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16988] ppid=16966 vsize=7937364 memory=0 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16988/stat : 16988 (java) S 16966 16966 12870 0 -1 1077944384 1 44174 0 0 0 0 425 5 20 0 17 0 405661112 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331898985360 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16989] ppid=16966 vsize=7937364 memory=0 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16989/stat : 16989 (java) S 16966 16966 12870 0 -1 1077944384 2 44174 0 0 0 0 425 5 20 0 17 0 405661112 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331897932560 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16990] ppid=16966 vsize=7937364 memory=1476 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16990/stat : 16990 (java) S 16966 16966 12870 0 -1 1077944384 5 44174 0 0 0 0 425 5 20 0 17 0 405661114 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331138914672 140332095638146 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16991] ppid=16966 vsize=7937364 memory=120992 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16991/stat : 16991 (java) S 16966 16966 12870 0 -1 1077944384 13 44174 0 0 0 0 425 5 20 0 17 0 405661114 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331009958944 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16992] ppid=16966 vsize=7937364 memory=74856 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16992/stat : 16992 (java) S 16966 16966 12870 0 -1 1077944384 1 44174 0 0 0 0 425 5 20 0 17 0 405661114 8127860736 52403 33554432000 4194304 4196468 140726358167840 140330741523312 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16993] ppid=16966 vsize=7937364 memory=8039887049847964842 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16993/stat : 16993 (java) S 16966 16966 12870 0 -1 1077944384 3 44174 0 0 0 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140330367014736 140332095645595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16994] ppid=16966 vsize=7937364 memory=26500 CPUtime=4.71 cores=1,3,5,7
/proc/16984/task/16994/stat : 16994 (java) S 16966 16966 12870 0 -1 1077944384 2654 44174 0 0 41 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331137862512 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16995] ppid=16966 vsize=7937364 memory=28708 CPUtime=4.77 cores=1,3,5,7
/proc/16984/task/16995/stat : 16995 (java) R 16966 16966 12870 0 -1 4202560 2368 44174 0 0 47 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331136790728 140332077171488 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16996] ppid=16966 vsize=7937364 memory=30916 CPUtime=4.63 cores=1,3,5,7
/proc/16984/task/16996/stat : 16996 (java) S 16966 16966 12870 0 -1 1077944384 876 44174 0 0 33 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331135756912 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16997] ppid=16966 vsize=7937364 memory=593 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16997/stat : 16997 (java) S 16966 16966 12870 0 -1 1077944384 3 44174 0 0 0 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140329869109984 140332095637205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=16998] ppid=16966 vsize=7937364 memory=7524227893303006565 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/16998/stat : 16998 (java) S 16966 16966 12870 0 -1 1077944384 3 44174 0 0 0 0 425 5 20 0 17 0 405661117 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331134704304 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17000] ppid=16966 vsize=7937364 memory=7524227893303006565 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/17000/stat : 17000 (java) S 16966 16966 12870 0 -1 1077944384 30 44174 0 0 0 0 425 5 20 0 17 0 405661187 8127860736 52403 33554432000 4194304 4196468 140726358167840 140331547308432 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
[pid=16984/tid=17004] ppid=16966 vsize=7937364 memory=1476 CPUtime=4.3 cores=1,3,5,7
/proc/16984/task/17004/stat : 17004 (java) S 16966 16966 12870 0 -1 1077944384 10 44174 0 0 0 0 425 5 20 0 17 0 405661190 8127860736 52403 33554432000 4194304 4196468 140726358167840 140329063802288 140332095638146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32911360 140726358176763 140726358176922 140726358176922 140726358179791 0
Current children cumulated CPU time: 10.59 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 211088 KiB

Child status: 0
Real time (s): 7.75966
CPU time (s): 10.7335
CPU user time (s): 10.3211
CPU system time (s): 0.412389
CPU usage (%): 138.325
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 846836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3211
system time used= 0.412389
maximum resident set size= 847996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94276
page faults= 0
swaps= 0
block input operations= 8
block output operations= 15592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5364
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 16966
#   total CPU time (s): 10.7335
#   total CPU user time (s): 10.3211
#   total CPU system time (s): 0.412389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081431 second user time and 0.120004 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 15:10:55
IDJOB=4388035
IDBENCH=133338
IDSOLVER=2826
FILE ID=node151/4388035-1568293894
RUNJOBID= node151-1568286070-13984
PBS_JOBID= 21701060
Free space on /tmp= 56528 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-20-3-3.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-4388035-1568293894/watcher-4388035-1568293894 -o /tmp/evaluation-result-4388035-1568293894/solver-4388035-1568293894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388035-1568293894.xml

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

MD5SUM BENCH= 065412ea00e4edb14381318bc4e9318f
RANDOM SEED=2046366221

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:        30820392 kB
MemAvailable:   31366812 kB
Buffers:          108576 kB
Cached:           728212 kB
SwapCached:        73076 kB
Active:           959476 kB
Inactive:         443288 kB
Active(anon):     500588 kB
Inactive(anon):    96264 kB
Active(file):     458888 kB
Inactive(file):   347024 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932940 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:        604816 kB
Mapped:            46364 kB
Shmem:             22208 kB
Slab:             141316 kB
SReclaimable:     112684 kB
SUnreclaim:        28632 kB
KernelStack:        3792 kB
PageTables:         6776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6375228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 56508 MiB
End job on node151 at 2019-09-12 15:11:03