Trace number 4388026

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.1028 6.52773

General information on the benchmark

NamePrimes/
Primes-m1-p25/Primes-25-20-3-1.xml
MD5SUMcc05f472d5f8180cd89c35370563cdd2
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.010727
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Number of domains1
Minimum domain size96
Maximum domain size96
Distribution of domain sizes[{"size":96,"count":55}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":45},{"degree":1,"count":40},{"degree":2,"count":12},{"degree":3,"count":3}]
Minimum constraint arity3
Maximum constraint arity4
Distribution of constraint arities[{"arity":3,"count":7},{"arity":4,"count":13}]
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-16756-serial-file.bin HOME/instance-4388026-1568293832.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 15:09:54 CEST 2019
0.66/0.55	c PID: 16759
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.16/0.84	c (0,0) Parsing End
1.16/0.84	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 20 ctr, max domain size 96
1.16/0.84	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.16/0.84	c (0,0) Constraint Name Generate Begin
1.16/0.84	c (0,0) Ctr:HOME/instance-4388026-1568293832.xml,Num:Var:WeightedSum
1.16/0.84	c (0,0) Constraint Name Generate End
1.16/0.84	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.16/0.84	c (0,0) CSP to CSPinCNF Begin
1.36/0.93	c (0,0) translated 2 (10%) constraints
1.36/0.94	c (0,0) translated 4 (20%) constraints
1.36/0.94	c (0,0) translated 6 (30%) constraints
1.36/0.94	c (0,0) translated 8 (40%) constraints
1.36/0.95	c (0,0) translated 10 (50%) constraints
1.36/0.95	c (0,0) translated 12 (60%) constraints
1.36/0.96	c (0,0) translated 14 (70%) constraints
1.36/0.96	c (0,0) translated 16 (80%) constraints
1.36/0.96	c (0,0) translated 18 (90%) constraints
1.36/0.97	c (0,0) translated 20 (100%) constraints
1.36/0.97	c (0,0) ===========================================
1.36/0.98	c (0,0) Hybrid: #OE=4, #LE=51
1.36/0.98	c (0,0) Hybrid
1.36/0.98	c (0,0) ===========================================
1.36/0.99	c (0,0) translated 2 (10%) constraints
1.36/0.99	c (0,0) translated 4 (20%) constraints
1.36/0.99	c (0,0) translated 6 (30%) constraints
1.36/0.99	c (0,0) translated 8 (40%) constraints
1.36/1.00	c (0,0) translated 10 (50%) constraints
1.36/1.00	c (0,0) translated 12 (60%) constraints
1.36/1.00	c (0,0) translated 14 (70%) constraints
1.36/1.01	c (0,0) translated 16 (80%) constraints
1.36/1.01	c (0,0) translated 18 (90%) constraints
1.57/1.01	c (0,0) translated 20 (100%) constraints
1.57/1.02	c (0,0) CSP to CSPinCNF End
1.57/1.02	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 96
1.57/1.02	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.57/1.02	c (0,0) CSPinCNF Propagation Begin
1.57/1.03	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.57/1.03	c (0,0) CSPinCNF Propagation End
1.57/1.03	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 96
1.57/1.03	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.57/1.03	c (0,0) Hybrid: #OE=4, #LE=51
1.57/1.03	c (0,0) Simplify CSPinCNF Begin
1.57/1.04	c (0,0) Simplify CSPinCNF End
1.57/1.04	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 96
1.57/1.04	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.57/1.04	c (0,0) Calculate Precise Domain Begin
1.57/1.04	c (0,0) 0 values are removed by re-calculation
1.57/1.04	c (0,0) Calculate Precise Domain End
1.57/1.04	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 96
1.57/1.04	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.57/1.04	c (0,0) CSPinCNF to SatSolver Begin
2.30/1.35	c (0,0) 4 (10 %) CSP clauses are encoded (0 SAT variables, 30061 SAT clauses)
2.91/1.58	c (1,1) 8 (20 %) CSP clauses are encoded (0 SAT variables, 69793 SAT clauses)
3.17/1.62	c (1,1) 12 (30 %) CSP clauses are encoded (0 SAT variables, 90377 SAT clauses)
3.17/1.69	c (1,1) 16 (40 %) CSP clauses are encoded (0 SAT variables, 110945 SAT clauses)
3.40/1.74	c (1,1) 20 (50 %) CSP clauses are encoded (0 SAT variables, 137846 SAT clauses)
3.63/1.81	c (1,1) 24 (60 %) CSP clauses are encoded (0 SAT variables, 168335 SAT clauses)
3.63/1.85	c (1,1) 28 (70 %) CSP clauses are encoded (0 SAT variables, 185743 SAT clauses)
3.63/1.90	c (1,1) 32 (80 %) CSP clauses are encoded (0 SAT variables, 207782 SAT clauses)
3.90/1.95	c (1,1) 36 (90 %) CSP clauses are encoded (0 SAT variables, 233578 SAT clauses)
4.03/2.03	c (1,1) 40 (100 %) CSP clauses are encoded (0 SAT variables, 272771 SAT clauses)
4.03/2.04	c (1,1) CSPinCNF to SatSolver End
4.03/2.04	c (1,1) Heap : 675 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.03/2.04	c (1,1) 113700 bool, 281219 clause
4.03/2.04	c (1,1) Export Begin
4.18/2.16	c (1,1) Export to HOME/scop-16756-serial-file.bin
4.18/2.16	c (1,1) Export End
4.18/2.16	c (1,1) Export File Size: 0.07 MB
4.18/2.16	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.18/2.16	c END-Prog: Thu Sep 12 15:09:55 CEST 2019
4.18/2.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16756-serial-file.bin
4.36/2.63	c (0,0) Read Serial File Begin
4.36/2.63	c (0,0) HOME/scop-16756-serial-file.bin
4.36/2.87	c (0,0) Read Serial File End
4.36/2.89	
4.36/2.89	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.36/2.89	(Solving Process)
4.36/2.89	
4.36/2.91	c BEGIN-Prog: Thu Sep 12 15:09:56 CEST 2019
4.36/2.91	c PID: 16774
4.36/2.91	c IP: 172.20.3.151
4.36/2.91	c HOST: node151.alineos.net
4.36/2.91	c (0,0) SatSolver.solve Begin
4.36/2.91	c (0,0) HOME/cryptominisat5  HOME/instance-4388026-1568293832.xml-scop-16759.cnf
4.36/2.96	c (0,0) c Outputting solution to console
4.36/2.96	c (0,0) c CryptoMiniSat version 5.6.8
4.36/2.96	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
4.36/2.96	c (0,0) c CMS SHA revision GIT-notfound
4.36/2.96	c (0,0) c CMS is MIT licensed
4.36/2.96	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
4.36/2.96	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
4.36/2.96	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388026-1568293832.xml-scop-16759.cnf
4.36/2.96	c (0,0) c Reading file 'HOME/instance-4388026-1568293832.xml-scop-16759.cnf'
4.36/2.96	c (0,0) c -- header says num vars:         113700
4.36/2.96	c (0,0) c -- header says num clauses:      281219
5.72/3.05	c (0,0) c -- clauses added: 281219
5.72/3.05	c (0,0) c -- xor clauses added: 0
5.72/3.05	c (0,0) c -- vars added 113700
5.72/3.05	c (0,0) c Parsing time: 0.09 s
5.72/3.07	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.72/3.08	c (0,0) c [distill] long cls tried: 16/14 cl-short:16 lit-r:4 T: 0.00 T-out: N T-r: 99.99%
6.01/3.37	c (0,0) c [distill] long cls tried: 229/199 cl-short:229 lit-r:137 T: 0.02 T-out: N T-r: 99.86%
6.41/3.74	c (1,0) c [distill] long cls tried: 330/482 cl-short:330 lit-r:181 T: 0.03 T-out: N T-r: 99.80%
6.51/3.86	c (1,0) c   glue     1    48  8193  113583  222K   58K    3.00    2.79   606  2356  5033   190   20.96   20.52
7.11/4.41	c (1,0) c [distill] long cls tried: 1378/1765 cl-short:1378 lit-r:1409 T: 0.12 T-out: N T-r: 99.08%
7.61/4.92	c (2,0) c   geom     1    78 16386  113565  222K   58K    3.00    2.79  2227  5272  8522   353   28.16   27.59
7.72/5.04	c (2,0) c [distill] long cls tried: 507/2233 cl-short:507 lit-r:671 T: 0.06 T-out: N T-r: 99.60%
8.61/5.96	c (3,0) c [distill] long cls tried: 1254/3424 cl-short:1254 lit-r:1464 T: 0.15 T-out: N T-r: 98.92%
8.82/6.12	c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
8.82/6.12	c (3,0) c UIP search time          : 3.05        (96.97     % time)
8.82/6.12	c (3,0) c restarts                 : 102         (240.89    confls per restart)
8.82/6.12	c (3,0) c blocked restarts         : 104         (1.02      per normal restart)
8.82/6.12	c (3,0) c time                     : 3.05        
8.82/6.12	c (3,0) c decisions                : 509082      (0.00      % random)
8.82/6.12	c (3,0) c propagations             : 26271941    
8.82/6.12	c (3,0) c decisions/conflicts      : 20.72       
8.82/6.12	c (3,0) c conflicts                : 24571       (8053.32   / sec)
8.82/6.12	c (3,0) c conf lits non-minim      : 930730      (37.88     lit/confl)
8.82/6.12	c (3,0) c conf lits final          : 27.79       
8.82/6.12	c (3,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
8.82/6.12	c (3,0) c red which0               : 1684        (6.85      % of confl)
8.82/6.12	c (3,0) c props/decision           : 0.00        
8.82/6.12	c (3,0) c props/conflict           : 0.00        
8.82/6.12	c (3,0) c 0-depth assigns          : 140         (0.12      % vars)
8.82/6.12	c (3,0) c 0-depth assigns by CNF   : 89          (0.08      % vars)
8.82/6.12	c (3,0) c reduceDB time            : 0.00        (0.03      % time)
8.82/6.12	c (3,0) c OccSimplifier time       : 0.00        (0.00      % time)
8.82/6.12	c (3,0) c [occur] 0.00 is overhead
8.82/6.12	c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
8.82/6.12	c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
8.82/6.12	c (3,0) c SCC time                 : 0.00        (0.00      % time)
8.82/6.12	c (3,0) c [scc] new: 0 BP 0M  T: 0.00
8.82/6.12	c (3,0) c vrep replace time        : 0.00        (0.00      % time)
8.82/6.12	c (3,0) c vrep tree roots          : 0           
8.82/6.12	c (3,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
8.82/6.12	c (3,0) c distill time             : 0.37        (11.63     % time)
8.82/6.12	c (3,0) c strength cache-irred time: 0.00        (0.00      % time)
8.82/6.12	c (3,0) c strength cache-red time  : 0.00        (0.00      % time)
8.82/6.12	c (3,0) c Conflicts in UIP         : 24571       (7808.90   confl/time_this_thread)
8.82/6.12	c (3,0) c Mem used                 : 54.96       MB
8.82/6.12	c (3,0) c Total time (this thread) : 3.15        
8.82/6.12	c (3,0) s SATISFIABLE
9.42/6.39	c (3,0) SatSolver.solve End
9.42/6.39	c (3,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
9.42/6.39	c (3,0) Show results Begin
9.76/6.48	c (3,0) x[1] = 82
9.76/6.48	c (3,0) x[2] = 77
9.76/6.48	c (3,0) x[3] = 60
9.76/6.48	c (3,0) x[4] = 15
9.76/6.48	c (3,0) x[5] = 2
9.76/6.48	c (3,0) x[6] = 84
9.76/6.48	c (3,0) x[7] = 36
9.76/6.48	c (3,0) x[13] = 10
9.76/6.48	c (3,0) x[14] = 25
9.76/6.48	c (3,0) x[17] = 44
9.76/6.48	c (3,0) x[18] = 46
9.76/6.48	c (3,0) x[19] = 44
9.76/6.48	c (3,0) x[21] = 86
9.76/6.48	c (3,0) x[22] = 70
9.76/6.48	c (3,0) x[24] = 15
9.76/6.48	c (3,0) x[25] = 33
9.76/6.48	c (3,0) x[26] = 97
9.76/6.48	c (3,0) x[28] = 27
9.76/6.48	c (3,0) x[29] = 4
9.76/6.48	c (3,0) x[31] = 17
9.76/6.48	c (3,0) x[33] = 9
9.76/6.48	c (3,0) x[36] = 35
9.76/6.48	c (3,0) x[42] = 50
9.76/6.48	c (3,0) x[43] = 87
9.76/6.48	c (3,0) x[45] = 39
9.76/6.48	c (3,0) x[48] = 62
9.76/6.48	c (3,0) x[49] = 92
9.76/6.48	c (3,0) x[50] = 73
9.76/6.48	c (3,0) x[52] = 80
9.76/6.48	c (3,0) x[53] = 17
9.76/6.48	c (3,0) x[55] = 80
9.76/6.48	c (3,0) x[61] = 74
9.76/6.48	c (3,0) x[65] = 71
9.76/6.48	c (3,0) x[67] = 7
9.76/6.48	c (3,0) x[68] = 33
9.76/6.48	c (3,0) x[69] = 54
9.76/6.48	c (3,0) x[71] = 83
9.76/6.48	c (3,0) x[73] = 14
9.76/6.48	c (3,0) x[75] = 83
9.76/6.48	c (3,0) x[76] = 82
9.76/6.48	c (3,0) x[77] = 74
9.76/6.48	c (3,0) x[78] = 77
9.76/6.48	c (3,0) x[79] = 6
9.76/6.48	c (3,0) x[80] = 95
9.76/6.48	c (3,0) x[82] = 19
9.76/6.48	c (3,0) x[84] = 17
9.76/6.48	c (3,0) x[86] = 7
9.76/6.48	c (3,0) x[87] = 75
9.76/6.48	c (3,0) x[90] = 71
9.76/6.48	c (3,0) x[92] = 6
9.76/6.48	c (3,0) x[93] = 57
9.76/6.48	c (3,0) x[95] = 31
9.76/6.48	c (3,0) x[96] = 4
9.76/6.48	c (3,0) x[98] = 3
9.76/6.48	c (3,0) x[99] = 7
9.76/6.48	s SATISFIABLE
9.76/6.49	v <instantiation>
9.76/6.49	v     <list>x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[13] x[14] x[17] x[18] x[19] x[21] x[22] x[24] x[25] x[26] x[28] x[29] x[31] x[33] x[36] x[42] x[43] x[45] x[48] x[49] x[50] x[52] x[53] x[55] x[61] x[65] x[67] x[68] x[69] x[71] x[73] x[75] x[76] x[77] x[78] x[79] x[80] x[82] x[84] x[86] x[87] x[90] x[92] x[93] x[95] x[96] x[98] x[99]</list>
9.76/6.49	v     <values>82 77 60 15 2 84 36 10 25 44 46 44 86 70 15 33 97 27 4 17 9 35 50 87 39 62 92 73 80 17 80 74 71 7 33 54 83 14 83 82 74 77 6 95 19 17 7 75 71 6 57 31 4 3 7</values>
9.76/6.49	v </instantiation>
9.76/6.49	c (3,0) Show results End
9.76/6.49	c (3,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
9.76/6.49	c (3,0) 3,3,STOP-AFTER(ALL)
9.76/6.49	c END-Prog: Thu Sep 12 15:10:00 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 (15084 MiB free)
  memory of node 1: 16384 MiB (15223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388026-1568293832/watcher-4388026-1568293832 -o /tmp/evaluation-result-4388026-1568293832/solver-4388026-1568293832 -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-4388026-1568293832.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=16756, runsolver pid=16753

[startup+0.102308 s]*
/proc/loadavg: 3.88 3.79 2.99 4/235 16773
/proc/meminfo: memFree=30973680/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405654671 115843072 349 33554432000 4194304 5098028 140734557227040 140734557224296 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 349 296 221 0 87 0
[pid=16759] ppid=16756 vsize=15012696 memory=74544 CPUtime=0.12 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16756 16756 12870 0 -1 1077944320 6348 0 0 0 10 2 0 0 20 0 15 0 405654671 15373000704 18636 33554432000 4194304 4196468 140736480527008 140736480509552 140623830544119 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
/proc/16759/statm: 3753174 18636 2942 1 0 3715579 0
[pid=16759/tid=16760] ppid=16756 vsize=15012696 memory=-6221015644179316671 CPUtime=0.09 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16756 16756 12870 0 -1 4202560 4154 0 0 0 8 1 0 0 20 0 15 0 405654671 15373000704 18636 33554432000 4194304 4196468 140736480527008 140623802339280 140623810820944 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16761] ppid=16756 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 18636 33554432000 4194304 4196468 140736480527008 140623834786064 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16762] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 18636 33554432000 4194304 4196468 140736480527008 140623610489232 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16763] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 18636 33554432000 4194304 4196468 140736480527008 140623609436688 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16764] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 18636 33554432000 4194304 4196468 140736480527008 140623608384144 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16765] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622868204016 140623830555266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16766] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16756 16756 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622396646816 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16767] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654675 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622128211440 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16768] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 18636 33554432000 4194304 4196468 140736480527008 140621753703120 140623830562715 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16769] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16756 16756 12870 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622799300592 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16770] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16756 16756 12870 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622798248048 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16771] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0.01 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16756 16756 12870 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 405654677 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622797195504 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16772] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 18636 33554432000 4194304 4196468 140736480527008 140621255797344 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16773] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654678 15373000704 18636 33554432000 4194304 4196468 140736480527008 140622796143408 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75940 KiB

[startup+0.210885 s]*
/proc/loadavg: 3.88 3.79 2.99 3/235 16773
/proc/meminfo: memFree=30955328/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405654671 115843072 349 33554432000 4194304 5098028 140734557227040 140734557224296 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 349 296 221 0 87 0
[pid=16759] ppid=16756 vsize=15012696 memory=89344 CPUtime=0.25 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16756 16756 12870 0 -1 1077944320 11357 0 0 0 22 3 0 0 20 0 15 0 405654671 15373000704 22336 33554432000 4194304 4196468 140736480527008 140736480509552 140623830544119 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
/proc/16759/statm: 3753174 22336 2974 1 0 3715579 0
[pid=16759/tid=16760] ppid=16756 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16756 16756 12870 0 -1 4202560 9096 0 0 0 17 3 0 0 20 0 15 0 405654671 15373000704 22336 33554432000 4194304 4196468 140736480527008 140623802359360 140623815711440 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16761] ppid=16756 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 22336 33554432000 4194304 4196468 140736480527008 140623834786064 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16762] ppid=16756 vsize=15012696 memory=288370471899084416 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 22336 33554432000 4194304 4196468 140736480527008 140623610489232 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16763] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 22336 33554432000 4194304 4196468 140736480527008 140623609436688 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16764] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 22336 33554432000 4194304 4196468 140736480527008 140623608384144 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16765] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622868204016 140623830555266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16766] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16756 16756 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622396646816 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16767] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654675 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622128211440 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16768] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 22336 33554432000 4194304 4196468 140736480527008 140621753703120 140623830562715 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16769] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16756 16756 12870 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622799300592 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16770] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16756 16756 12870 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622798248048 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16771] ppid=16756 vsize=15012696 memory=140095747372672 CPUtime=0.03 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16756 16756 12870 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 405654677 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622797195504 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16772] ppid=16756 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 22336 33554432000 4194304 4196468 140736480527008 140621255797344 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16773] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654678 15373000704 22336 33554432000 4194304 4196468 140736480527008 140622796143408 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90740 KiB

[startup+0.310707 s]*
/proc/loadavg: 3.88 3.79 2.99 4/235 16773
/proc/meminfo: memFree=30952536/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405654671 115843072 349 33554432000 4194304 5098028 140734557227040 140734557224296 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 349 296 221 0 87 0
[pid=16759] ppid=16756 vsize=15012696 memory=92692 CPUtime=0.43 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16756 16756 12870 0 -1 1077944320 12200 0 0 0 39 4 0 0 20 0 15 0 405654671 15373000704 23173 33554432000 4194304 4196468 140736480527008 140736480509552 140623830544119 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
/proc/16759/statm: 3753174 23173 3022 1 0 3715579 0
[pid=16759/tid=16760] ppid=16756 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16756 16756 12870 0 -1 4202560 9769 0 0 0 27 3 0 0 20 0 15 0 405654671 15373000704 23173 33554432000 4194304 4196468 140736480527008 140623802327136 140623814624606 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16761] ppid=16756 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 23173 33554432000 4194304 4196468 140736480527008 140623834786064 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16762] ppid=16756 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 23173 33554432000 4194304 4196468 140736480527008 140623610489232 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16763] ppid=16756 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 23173 33554432000 4194304 4196468 140736480527008 140623609436688 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16764] ppid=16756 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15373000704 23173 33554432000 4194304 4196468 140736480527008 140623608384144 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16765] ppid=16756 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622868204016 140623830555266 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16766] ppid=16756 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16756 16756 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405654674 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622396646816 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16767] ppid=16756 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654675 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622128211440 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16768] ppid=16756 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 23173 33554432000 4194304 4196468 140736480527008 140621753703120 140623830562715 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16769] ppid=16756 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16756 16756 12870 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 405654677 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622799300592 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16770] ppid=16756 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) S 16756 16756 12870 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 405654677 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622798248048 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16771] ppid=16756 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16756 16756 12870 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 15 0 405654677 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622797195504 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16772] ppid=16756 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15373000704 23173 33554432000 4194304 4196468 140736480527008 140621255797344 140623830554325 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16773] ppid=16756 vsize=15012696 memory=3545238011844304945 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654678 15373000704 23173 33554432000 4194304 4196468 140736480527008 140622796143408 140623830555266 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94088 KiB

[startup+0.70078 s]
/proc/loadavg: 3.88 3.79 2.99 3/235 16773
/proc/meminfo: memFree=30932400/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405654671 115843072 349 33554432000 4194304 5098028 140734557227040 140734557224296 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 349 296 221 0 87 0
[pid=16759] ppid=16756 vsize=15021092 memory=130044 CPUtime=1 cores=0,2,4,6
/proc/16759/stat : 16759 (java) S 16756 16756 12870 0 -1 1077944320 19391 0 0 0 93 7 0 0 20 0 15 0 405654671 15381598208 32511 33554432000 4194304 4196468 140736480527008 140736480509552 140623830544119 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
/proc/16759/statm: 3755273 32511 3203 1 0 3716603 0
[pid=16759/tid=16760] ppid=16756 vsize=15021092 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/16759/task/16760/stat : 16760 (java) R 16756 16756 12870 0 -1 4202560 16548 0 0 0 62 5 0 0 20 0 15 0 405654671 15381598208 32511 33554432000 4194304 4196468 140736480527008 140623802381872 140623814624606 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16761] ppid=16756 vsize=15021092 memory=116 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16761/stat : 16761 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15381598208 32511 33554432000 4194304 4196468 140736480527008 140623834786064 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16762] ppid=16756 vsize=15021092 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16762/stat : 16762 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15381598208 32511 33554432000 4194304 4196468 140736480527008 140623610489232 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16763] ppid=16756 vsize=15021092 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16763/stat : 16763 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15381598208 32511 33554432000 4194304 4196468 140736480527008 140623609436688 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16764] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16764/stat : 16764 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405654673 15381598208 32511 33554432000 4194304 4196468 140736480527008 140623608384144 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16765] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16765/stat : 16765 (java) S 16756 16756 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405654674 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622868204016 140623830555266 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16766] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16766/stat : 16766 (java) S 16756 16756 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405654674 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622396646816 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16767] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16767/stat : 16767 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654675 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622128211440 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16768] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16768/stat : 16768 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15381598208 32511 33554432000 4194304 4196468 140736480527008 140621753703120 140623830562715 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16769] ppid=16756 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16759/task/16769/stat : 16769 (java) S 16756 16756 12870 0 -1 1077944384 620 0 0 0 7 0 0 0 20 0 15 0 405654677 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622799300592 140623830555266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16770] ppid=16756 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16759/task/16770/stat : 16770 (java) R 16756 16756 12870 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 405654677 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622798248048 140623809804818 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16771] ppid=16756 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16759/task/16771/stat : 16771 (java) S 16756 16756 12870 0 -1 1077944384 570 0 0 0 15 0 0 0 20 0 15 0 405654677 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622797195504 140623830555266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16772] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16772/stat : 16772 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405654677 15381598208 32511 33554432000 4194304 4196468 140736480527008 140621255797344 140623830554325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
[pid=16759/tid=16773] ppid=16756 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16759/task/16773/stat : 16773 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405654678 15381598208 32511 33554432000 4194304 4196468 140736480527008 140622796143408 140623830555266 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34140160 140736480535337 140736480535706 140736480535706 140736480538575 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131440 KiB

[startup+1.50085 s]
/proc/loadavg: 3.88 3.79 2.99 3/235 16773
/proc/meminfo: memFree=30904944/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405654671 115843072 349 33554432000 4194304 5098028 140734557227040 140734557224296 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 349 296 221 0 87 0

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

[pid=16774/tid=16790] ppid=16756 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16790/stat : 16790 (java) S 16756 16756 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405654965 8262082560 30306 33554432000 4194304 4196468 140734094398192 140715555108288 140716120903449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16792] ppid=16756 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16792/stat : 16792 (java) S 16756 16756 12870 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405654965 8262082560 30306 33554432000 4194304 4196468 140734094398192 140713262039088 140716120900765 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16793] ppid=16756 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16793/stat : 16793 (java) S 16756 16756 12870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405654965 8262082560 30306 33554432000 4194304 4196468 140734094398192 140712993602992 140716120900765 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16794] ppid=16756 vsize=8068440 memory=976 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16794/stat : 16794 (java) S 16756 16756 12870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405654968 8262082560 30306 33554432000 4194304 4196468 140734094398192 140713530481584 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 8250932 KiB
Current children cumulated memory: 167620 KiB

[startup+6.30185 s]
/proc/loadavg: 3.81 3.78 2.99 3/239 16794
/proc/meminfo: memFree=30874276/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1476 CPUtime=4.36 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 582 26005 0 0 0 0 416 20 20 0 1 0 405654671 115843072 369 33554432000 4194304 5098028 140734557227040 140734557223784 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 369 311 221 0 87 0
[pid=16774] ppid=16756 vsize=8068440 memory=156524 CPUtime=1.87 cores=0,2,4,6
/proc/16774/stat : 16774 (java) S 16756 16756 12870 0 -1 1077944320 21919 0 0 0 178 9 0 0 20 0 19 0 405654889 8262082560 39131 33554432000 4194304 4196468 140734094398192 140734094380736 140716120878839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
/proc/16774/statm: 2017110 39131 3230 1 0 1978454 0
[pid=16789] ppid=16774 vsize=81628 memory=56280 CPUtime=3.19 cores=0,2,4,6
/proc/16789/stat : 16789 (cryptominisat5) S 16774 16756 12870 0 -1 4202496 24646 0 0 0 316 3 0 0 20 0 1 0 405654964 83587072 14070 33554432000 4194304 4451008 140721028971152 140721028968376 139953741466720 0 4 0 2 18446744071580971376 0 0 17 0 0 0 0 0 0 6549032 6559120 15126528 140721028973500 140721028973632 140721028973632 140721028976582 0
/proc/16789/statm: 20407 14070 653 63 0 14134 0
[pid=16774/tid=16775] ppid=16756 vsize=8068440 memory=121224 CPUtime=0.78 cores=0,2,4,6
/proc/16774/task/16775/stat : 16775 (java) S 16756 16756 12870 0 -1 1077944384 17446 0 0 0 72 6 0 0 20 0 19 0 405654889 8262082560 39131 33554432000 4194304 4196468 140734094398192 140716092719008 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16776] ppid=16756 vsize=8068440 memory=49928 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16776/stat : 16776 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654890 8262082560 39131 33554432000 4194304 4196468 140734094398192 140716125120912 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16777] ppid=16756 vsize=8068440 memory=280191184421888 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16777/stat : 16777 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405654890 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715947616528 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16778] ppid=16756 vsize=8068440 memory=18872 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16778/stat : 16778 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654890 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715605310096 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16779] ppid=16756 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16779/stat : 16779 (java) S 16756 16756 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405654890 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715604257296 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16780] ppid=16756 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16780/stat : 16780 (java) S 16756 16756 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405654892 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715567352432 140716120889986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16781] ppid=16756 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16781/stat : 16781 (java) S 16756 16756 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405654892 8262082560 39131 33554432000 4194304 4196468 140734094398192 140714939770144 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16782] ppid=16756 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16782/stat : 16782 (java) S 16756 16756 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405654892 8262082560 39131 33554432000 4194304 4196468 140734094398192 140714671335024 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16783] ppid=16756 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16783/stat : 16783 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140714296826448 140716120897435 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16784] ppid=16756 vsize=8068440 memory=121224 CPUtime=0.3 cores=0,2,4,6
/proc/16774/task/16784/stat : 16784 (java) R 16756 16756 12870 0 -1 4202560 1639 0 0 0 30 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715566285272 140716102400239 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16785] ppid=16756 vsize=8068440 memory=1476 CPUtime=0.26 cores=0,2,4,6
/proc/16774/task/16785/stat : 16785 (java) R 16756 16756 12870 0 -1 4202560 559 0 0 0 26 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715565231760 140716105994067 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16786] ppid=16756 vsize=8068440 memory=121224 CPUtime=0.3 cores=0,2,4,6
/proc/16774/task/16786/stat : 16786 (java) S 16756 16756 12870 0 -1 1077944384 822 0 0 0 30 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715564194160 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16787] ppid=16756 vsize=8068440 memory=280191184520992 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16787/stat : 16787 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140713798920672 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16788] ppid=16756 vsize=8068440 memory=18872 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16788/stat : 16788 (java) S 16756 16756 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405654895 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715563142064 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16790] ppid=16756 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16790/stat : 16790 (java) S 16756 16756 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405654965 8262082560 39131 33554432000 4194304 4196468 140734094398192 140715555108288 140716120903449 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16792] ppid=16756 vsize=8068440 memory=2032 CPUtime=0.17 cores=0,2,4,6
/proc/16774/task/16792/stat : 16792 (java) R 16756 16756 12870 0 -1 4202560 68 0 0 0 17 0 0 0 20 0 19 0 405654965 8262082560 39131 33554432000 4194304 4196468 140734094398192 140713262039216 140715626880318 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16793] ppid=16756 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16793/stat : 16793 (java) S 16756 16756 12870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405654965 8262082560 39131 33554432000 4194304 4196468 140734094398192 140712993602992 140716120900765 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16794] ppid=16756 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/16774/task/16794/stat : 16794 (java) S 16756 16756 12870 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405654968 8262082560 39131 33554432000 4194304 4196468 140734094398192 140713530481584 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
Current children cumulated CPU time: 9.42 s
Current children cumulated vsize: 8263196 KiB
Current children cumulated memory: 214280 KiB

[startup+6.52767 s]
# the end of solver process 16756 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.75393 s, system=0.348849 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.4078 s]
/proc/loadavg: 3.81 3.78 2.99 3/239 16794
/proc/meminfo: memFree=30874276/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1476 CPUtime=4.36 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 582 26005 0 0 0 0 416 20 20 0 1 0 405654671 115843072 369 33554432000 4194304 5098028 140734557227040 140734557223784 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 369 311 221 0 87 0
[pid=16774] ppid=16756 vsize=7937364 memory=175060 CPUtime=5.4 cores=0,2,4,6
/proc/16774/stat : 16774 (java) S 16756 16756 12870 0 -1 1077944320 22378 24703 0 0 208 10 319 3 20 0 17 0 405654889 8127860736 43765 33554432000 4194304 4196468 140734094398192 140734094380736 140716120878839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
/proc/16774/statm: 1984341 43765 3232 1 0 1945685 0
[pid=16774/tid=16775] ppid=16756 vsize=7937364 memory=2276 CPUtime=4.03 cores=0,2,4,6
/proc/16774/task/16775/stat : 16775 (java) R 16756 16756 12870 0 -1 4202560 17492 24703 0 0 75 6 319 3 20 0 17 0 405654889 8127860736 43765 33554432000 4194304 4196468 140734094398192 140716092698720 140716104959326 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16776] ppid=16756 vsize=7937364 memory=-8823246064971903881 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16776/stat : 16776 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 17 0 405654890 8127860736 43765 33554432000 4194304 4196468 140734094398192 140716125120912 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16777] ppid=16756 vsize=7937364 memory=6009586776836095840 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16777/stat : 16777 (java) S 16756 16756 12870 0 -1 1077944384 2 24703 0 0 0 0 319 3 20 0 17 0 405654890 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715947616528 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16778] ppid=16756 vsize=7937364 memory=7236229500900889449 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16778/stat : 16778 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 17 0 405654890 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715605310096 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16779] ppid=16756 vsize=7937364 memory=0 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16779/stat : 16779 (java) S 16756 16756 12870 0 -1 1077944384 2 24703 0 0 0 0 319 3 20 0 17 0 405654890 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715604257296 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16780] ppid=16756 vsize=7937364 memory=-7003712468125401236 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16780/stat : 16780 (java) S 16756 16756 12870 0 -1 1077944384 5 24703 0 0 0 0 319 3 20 0 17 0 405654892 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715567352432 140716120889986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16781] ppid=16756 vsize=7937364 memory=3546637763951881313 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16781/stat : 16781 (java) S 16756 16756 12870 0 -1 1077944384 13 24703 0 0 0 0 319 3 20 0 17 0 405654892 8127860736 43765 33554432000 4194304 4196468 140734094398192 140714939770144 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16782] ppid=16756 vsize=7937364 memory=7305772452102433124 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16782/stat : 16782 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 17 0 405654892 8127860736 43765 33554432000 4194304 4196468 140734094398192 140714671335024 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16783] ppid=16756 vsize=7937364 memory=4642197910265684584 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16783/stat : 16783 (java) S 16756 16756 12870 0 -1 1077944384 3 24703 0 0 0 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140714296826448 140716120897435 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16784] ppid=16756 vsize=7937364 memory=8303054830060986464 CPUtime=3.62 cores=0,2,4,6
/proc/16774/task/16784/stat : 16784 (java) R 16756 16756 12870 0 -1 4202560 1760 24703 0 0 40 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715566279664 140716101579442 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16785] ppid=16756 vsize=7937364 memory=1548 CPUtime=3.58 cores=0,2,4,6
/proc/16774/task/16785/stat : 16785 (java) R 16756 16756 12870 0 -1 4202560 809 24703 0 0 36 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715565227464 140716105268640 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16786] ppid=16756 vsize=7937364 memory=1056 CPUtime=3.54 cores=0,2,4,6
/proc/16774/task/16786/stat : 16786 (java) S 16756 16756 12870 0 -1 1077944384 845 24703 0 0 32 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715564194160 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16787] ppid=16756 vsize=7937364 memory=0 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16787/stat : 16787 (java) S 16756 16756 12870 0 -1 1077944384 3 24703 0 0 0 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140713798920672 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16788] ppid=16756 vsize=7937364 memory=0 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16788/stat : 16788 (java) S 16756 16756 12870 0 -1 1077944384 3 24703 0 0 0 0 319 3 20 0 17 0 405654895 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715563142064 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16790] ppid=16756 vsize=7937364 memory=140095592510752 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16790/stat : 16790 (java) S 16756 16756 12870 0 -1 1077944384 24 24703 0 0 0 0 319 3 20 0 17 0 405654965 8127860736 43765 33554432000 4194304 4196468 140734094398192 140715555107472 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16794] ppid=16756 vsize=7937364 memory=1476 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16794/stat : 16794 (java) S 16756 16756 12870 0 -1 1077944384 28 24703 0 0 0 0 319 3 20 0 17 0 405654968 8127860736 43765 33554432000 4194304 4196468 140734094398192 140713530483376 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 176536 KiB

[startup+6.5008 s]
/proc/loadavg: 3.81 3.78 2.99 3/239 16794
/proc/meminfo: memFree=30874276/32770624 swapFree=66932932/67108860
[pid=16756] ppid=16753 vsize=113128 memory=1476 CPUtime=4.36 cores=0,2,4,6
/proc/16756/stat : 16756 (scop.sh) S 16753 16756 12870 0 -1 4202496 582 26005 0 0 0 0 416 20 20 0 1 0 405654671 115843072 369 33554432000 4194304 5098028 140734557227040 140734557223784 140615446565500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12128256 140734557234019 140734557234288 140734557234288 140734557237197 0
/proc/16756/statm: 28282 369 311 221 0 87 0
[pid=16774] ppid=16756 vsize=7806288 memory=183868 CPUtime=5.69 cores=0,2,4,6
/proc/16774/stat : 16774 (java) S 16756 16756 12870 0 -1 1077944320 23573 24703 0 0 237 10 319 3 20 0 16 0 405654889 7993638912 45967 33554432000 4194304 4196468 140734094398192 140734094380736 140716120878839 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
/proc/16774/statm: 1951572 45967 3237 1 0 1912916 0
[pid=16774/tid=16775] ppid=16756 vsize=7806288 memory=280191184421888 CPUtime=4.11 cores=0,2,4,6
/proc/16774/task/16775/stat : 16775 (java) S 16756 16756 12870 0 -1 1077944384 17737 24703 0 0 83 6 319 3 20 0 16 0 405654889 7993638912 45967 33554432000 4194304 4196468 140734094398192 140716092722320 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16776] ppid=16756 vsize=7806288 memory=1476 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16776/stat : 16776 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 16 0 405654890 7993638912 45967 33554432000 4194304 4196468 140734094398192 140716125120912 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16777] ppid=16756 vsize=7806288 memory=156524 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16777/stat : 16777 (java) S 16756 16756 12870 0 -1 1077944384 2 24703 0 0 0 0 319 3 20 0 16 0 405654890 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715947616528 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16778] ppid=16756 vsize=7806288 memory=56280 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16778/stat : 16778 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 16 0 405654890 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715605310096 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16779] ppid=16756 vsize=7806288 memory=18872 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16779/stat : 16779 (java) S 16756 16756 12870 0 -1 1077944384 2 24703 0 0 0 0 319 3 20 0 16 0 405654890 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715604257296 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16780] ppid=16756 vsize=7806288 memory=984 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16780/stat : 16780 (java) S 16756 16756 12870 0 -1 1077944384 5 24703 0 0 0 0 319 3 20 0 16 0 405654892 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715567352640 140716120889986 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16781] ppid=16756 vsize=7806288 memory=2032 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16781/stat : 16781 (java) S 16756 16756 12870 0 -1 1077944384 13 24703 0 0 0 0 319 3 20 0 16 0 405654892 7993638912 45967 33554432000 4194304 4196468 140734094398192 140714939770144 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16782] ppid=16756 vsize=7806288 memory=1332 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16782/stat : 16782 (java) S 16756 16756 12870 0 -1 1077944384 1 24703 0 0 0 0 319 3 20 0 16 0 405654892 7993638912 45967 33554432000 4194304 4196468 140734094398192 140714671335024 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16783] ppid=16756 vsize=7806288 memory=1564 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16783/stat : 16783 (java) S 16756 16756 12870 0 -1 1077944384 3 24703 0 0 0 0 319 3 20 0 16 0 405654895 7993638912 45967 33554432000 4194304 4196468 140734094398192 140714296826096 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16784] ppid=16756 vsize=7806288 memory=18872 CPUtime=3.7 cores=0,2,4,6
/proc/16774/task/16784/stat : 16784 (java) S 16756 16756 12870 0 -1 1077944384 1981 24703 0 0 48 0 319 3 20 0 16 0 405654895 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715566289120 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16785] ppid=16756 vsize=7806288 memory=984 CPUtime=3.67 cores=0,2,4,6
/proc/16774/task/16785/stat : 16785 (java) R 16756 16756 12870 0 -1 4202560 1471 24703 0 0 45 0 319 3 20 0 16 0 405654895 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715565227464 140716100135432 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16786] ppid=16756 vsize=7806288 memory=2032 CPUtime=3.57 cores=0,2,4,6
/proc/16774/task/16786/stat : 16786 (java) S 16756 16756 12870 0 -1 1077944384 912 24703 0 0 35 0 319 3 20 0 16 0 405654895 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715564194160 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16787] ppid=16756 vsize=7806288 memory=1332 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16787/stat : 16787 (java) S 16756 16756 12870 0 -1 1077944384 3 24703 0 0 0 0 319 3 20 0 16 0 405654895 7993638912 45967 33554432000 4194304 4196468 140734094398192 140713798920672 140716120889045 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16790] ppid=16756 vsize=7806288 memory=1476 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16790/stat : 16790 (java) S 16756 16756 12870 0 -1 1077944384 24 24703 0 0 0 0 319 3 20 0 16 0 405654965 7993638912 45967 33554432000 4194304 4196468 140734094398192 140715555107472 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
[pid=16774/tid=16794] ppid=16756 vsize=7806288 memory=121224 CPUtime=3.22 cores=0,2,4,6
/proc/16774/task/16794/stat : 16794 (java) S 16756 16756 12870 0 -1 1077944384 28 24703 0 0 0 0 319 3 20 0 16 0 405654968 7993638912 45967 33554432000 4194304 4196468 140734094398192 140713530483376 140716120889986 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140734094406651 140734094406810 140734094406810 140734094409679 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 185344 KiB

Child status: 0
Real time (s): 6.52773
CPU time (s): 10.1028
CPU user time (s): 9.75393
CPU system time (s): 0.348849
CPU usage (%): 154.767
Max. virtual memory (cumulated for all children) (KiB): 15142692
Max. memory (cumulated for all children) (KiB): 670708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.75393
system time used= 0.348849
maximum resident set size= 674280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5263
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 16756
#   total CPU time (s): 10.1028
#   total CPU user time (s): 9.75393
#   total CPU system time (s): 0.348849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06831 second user time and 0.113001 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 15:09:53
IDJOB=4388026
IDBENCH=133313
IDSOLVER=2826
FILE ID=node151/4388026-1568293832
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56572 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Primes/Primes-m1-p25/Primes-25-20-3-1.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-4388026-1568293832/watcher-4388026-1568293832 -o /tmp/evaluation-result-4388026-1568293832/solver-4388026-1568293832 -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-4388026-1568293832.xml

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

MD5SUM BENCH= cc05f472d5f8180cd89c35370563cdd2
RANDOM SEED=967896148

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:        31037072 kB
MemAvailable:   31538576 kB
Buffers:          108424 kB
Cached:           683192 kB
SwapCached:        73084 kB
Active:           744484 kB
Inactive:         442520 kB
Active(anon):     329688 kB
Inactive(anon):    96264 kB
Active(file):     414796 kB
Inactive(file):   346256 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932932 kB
Dirty:             20692 kB
Writeback:             0 kB
AnonPages:        534004 kB
Mapped:            46564 kB
Shmem:             22200 kB
Slab:             140912 kB
SReclaimable:     112576 kB
SUnreclaim:        28336 kB
KernelStack:        4208 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6180012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 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= 56548 MiB
End job on node151 at 2019-09-12 15:10:00