Trace number 4388152

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)UNSAT 7.65191 4.29522

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-05-int.xml
MD5SUM5aa02d8e33e0310131c8602cbce67fff
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.033151
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints27
Number of domains1
Minimum domain size25
Maximum domain size25
Distribution of domain sizes[{"size":25,"count":25}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":23},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity25
Distribution of constraint arities[{"arity":2,"count":26},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
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-12645-serial-file.bin HOME/instance-4388152-1568296056.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:46:38 CEST 2019
0.66/0.55	c PID: 12648
0.66/0.55	c IP: 172.20.3.103
0.66/0.55	c HOST: node103.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.40/0.96	c (0,0) Parsing End
1.40/0.97	c (0,0) CSP: 24 int (0 aux), 1 bool (0 aux), 27 ctr, max domain size 25
1.40/0.97	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.97	c (0,0) Constraint Name Generate Begin
1.40/0.97	c (0,0) Ctr:HOME/instance-4388152-1568296056.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.40/0.97	c (0,0) Constraint Name Generate End
1.40/0.97	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.40/0.97	c (0,0) CSP to CSPinCNF Begin
2.07/1.27	c (0,0) translated 3 (10%) constraints
2.07/1.29	c (0,0) translated 6 (20%) constraints
2.33/1.30	c (0,0) translated 9 (30%) constraints
2.33/1.32	c (0,0) translated 11 (40%) constraints
2.33/1.33	c (0,0) translated 14 (50%) constraints
2.33/1.34	c (0,0) translated 17 (60%) constraints
2.33/1.35	c (0,0) translated 19 (70%) constraints
2.33/1.36	c (0,0) translated 22 (80%) constraints
2.33/1.38	c (0,0) translated 25 (90%) constraints
2.33/1.38	c (0,0) translated 27 (100%) constraints
2.33/1.38	c (0,0) ===========================================
2.62/1.40	c (0,0) Hybrid: #OE=165, #LE=10
2.62/1.40	c (0,0) Hybrid
2.62/1.40	c (0,0) ===========================================
2.62/1.42	c (0,0) translated 81 (10%) constraints
2.62/1.43	c (0,0) translated 161 (20%) constraints
2.62/1.44	c (0,0) translated 242 (30%) constraints
2.90/1.52	c (0,0) translated 322 (40%) constraints
2.90/1.55	c (1,1) translated 402 (50%) constraints
2.90/1.55	c (1,1) translated 483 (60%) constraints
2.90/1.56	c (1,1) translated 563 (70%) constraints
2.90/1.56	c (1,1) translated 644 (80%) constraints
2.90/1.57	c (1,1) translated 724 (90%) constraints
2.90/1.57	c (1,1) translated 804 (100%) constraints
2.90/1.58	c (1,1) CSP to CSPinCNF End
2.90/1.58	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 2106 ctr, max domain size 24
2.90/1.58	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.90/1.58	c (1,1) CSPinCNF Propagation Begin
3.20/1.63	c (1,1) 74 values, 212 unsatisfiable literals, and 351 valid clauses are removed
3.20/1.63	c (1,1) CSPinCNF Propagation End
3.20/1.64	c (1,1) CSP: 118 int (94 aux), 682 bool (681 aux), 1755 ctr, max domain size 24
3.20/1.64	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.20/1.65	c (1,1) Hybrid: #OE=790, #LE=10
3.20/1.65	c (1,1) Simplify CSPinCNF Begin
3.20/1.69	c (1,1) Simplify CSPinCNF End
3.20/1.69	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.20/1.69	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.20/1.69	c (1,1) Calculate Precise Domain Begin
3.20/1.69	c (1,1) 0 values are removed by re-calculation
3.20/1.69	c (1,1) Calculate Precise Domain End
3.20/1.69	c (1,1) CSP: 118 int (94 aux), 1416 bool (1415 aux), 2489 ctr, max domain size 24
3.20/1.69	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.20/1.69	c (1,1) CSPinCNF to SatSolver Begin
3.77/1.88	c (1,1) 249 (10 %) CSP clauses are encoded (0 SAT variables, 3767 SAT clauses)
4.13/1.96	c (1,1) 498 (20 %) CSP clauses are encoded (0 SAT variables, 7834 SAT clauses)
4.45/2.02	c (1,1) 747 (30 %) CSP clauses are encoded (0 SAT variables, 11901 SAT clauses)
4.45/2.04	c (1,1) 996 (40 %) CSP clauses are encoded (0 SAT variables, 13415 SAT clauses)
4.45/2.05	c (1,1) 1245 (50 %) CSP clauses are encoded (0 SAT variables, 13664 SAT clauses)
4.45/2.06	c (1,1) 1494 (60 %) CSP clauses are encoded (0 SAT variables, 13913 SAT clauses)
4.45/2.06	c (1,1) 1743 (70 %) CSP clauses are encoded (0 SAT variables, 14162 SAT clauses)
4.45/2.08	c (1,1) 1992 (80 %) CSP clauses are encoded (0 SAT variables, 14781 SAT clauses)
4.45/2.10	c (1,1) 2241 (90 %) CSP clauses are encoded (0 SAT variables, 16327 SAT clauses)
4.77/2.12	c (1,1) 2489 (100 %) CSP clauses are encoded (0 SAT variables, 17858 SAT clauses)
4.77/2.12	c (1,1) CSPinCNF to SatSolver End
4.77/2.12	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.77/2.12	c (1,1) 2232 bool, 17859 clause
4.77/2.12	c (1,1) Export Begin
5.07/2.21	c (1,1) Export to HOME/scop-12645-serial-file.bin
5.07/2.21	c (1,1) Export End
5.07/2.21	c (1,1) Export File Size: 0.01 MB
5.07/2.21	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.07/2.21	c END-Prog: Thu Sep 12 15:46:40 CEST 2019
5.07/2.23	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12645-serial-file.bin
5.14/2.69	c (0,0) Read Serial File Begin
5.14/2.69	c (0,0) HOME/scop-12645-serial-file.bin
5.14/2.88	c (0,0) Read Serial File End
5.14/2.89	
5.14/2.89	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
5.14/2.89	(Solving Process)
5.14/2.89	
5.14/2.91	c BEGIN-Prog: Thu Sep 12 15:46:40 CEST 2019
5.14/2.91	c PID: 12663
5.14/2.91	c IP: 172.20.3.103
5.14/2.91	c HOST: node103.alineos.net
5.14/2.92	c (0,0) SatSolver.solve Begin
5.14/2.92	c (0,0) HOME/cryptominisat5  HOME/instance-4388152-1568296056.xml-scop-12648.cnf
5.14/2.94	c (0,0) c Outputting solution to console
5.14/2.94	c (0,0) c CryptoMiniSat version 5.6.8
5.14/2.94	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.14/2.94	c (0,0) c CMS SHA revision GIT-notfound
5.14/2.94	c (0,0) c CMS is MIT licensed
5.14/2.94	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
5.14/2.94	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.14/2.94	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388152-1568296056.xml-scop-12648.cnf
5.14/2.94	c (0,0) c Reading file 'HOME/instance-4388152-1568296056.xml-scop-12648.cnf'
5.14/2.94	c (0,0) c -- header says num vars:           2232
5.14/2.94	c (0,0) c -- header says num clauses:       17859
5.14/2.95	c (0,0) c -- clauses added: 17859
5.14/2.95	c (0,0) c -- xor clauses added: 0
5.14/2.95	c (0,0) c -- vars added 2232
5.14/2.95	c (0,0) c Parsing time: 0.01 s
5.14/2.96	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
5.14/2.96	c (0,0) c [distill] long cls tried: 20/18 cl-short:20 lit-r:21 T: 0.00 T-out: N T-r: 100.00%
6.32/3.06	c (0,0) c [distill] long cls tried: 552/509 cl-short:552 lit-r:509 T: 0.01 T-out: N T-r: 99.91%
6.51/3.20	c (0,0) c [distill] long cls tried: 465/920 cl-short:465 lit-r:484 T: 0.02 T-out: N T-r: 99.89%
6.51/3.26	c (0,0) c   glue     1    47  8193    2142 13554  4305    3.04    2.79  1076  3144  3800   168   13.60   13.36
6.81/3.57	c (0,0) c [distill] long cls tried: 2338/3173 cl-short:2337 lit-r:3482 T: 0.13 T-out: N T-r: 99.10%
7.12/3.83	c (1,0) c   geom     1    84 16386    2127 13554  4305    3.04    2.79  3709  6119  6263   278   14.76   14.54
7.22/3.93	c (1,0) c [distill] long cls tried: 639/3775 cl-short:636 lit-r:968 T: 0.05 T-out: N T-r: 99.67%
7.52/4.27	c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
7.52/4.27	c (1,0) c UIP search time          : 1.32        (99.40     % time)
7.52/4.27	c (1,0) c restarts                 : 93          (247.02    confls per restart)
7.52/4.27	c (1,0) c blocked restarts         : 37          (0.40      per normal restart)
7.52/4.27	c (1,0) c time                     : 1.32        
7.52/4.27	c (1,0) c decisions                : 33806       (0.00      % random)
7.52/4.27	c (1,0) c propagations             : 5666236     
7.52/4.27	c (1,0) c decisions/conflicts      : 1.47        
7.52/4.27	c (1,0) c conflicts                : 22973       (17385.70  / sec)
7.52/4.28	c (1,0) c conf lits non-minim      : 436067      (18.98     lit/confl)
7.52/4.28	c (1,0) c conf lits final          : 14.39       
7.52/4.28	c (1,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
7.52/4.28	c (1,0) c red which0               : 2802        (12.20     % of confl)
7.52/4.28	c (1,0) c props/decision           : 0.00        
7.52/4.28	c (1,0) c props/conflict           : 0.00        
7.52/4.28	c (1,0) c 0-depth assigns          : 716         (32.08     % vars)
7.52/4.28	c (1,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
7.52/4.28	c (1,0) c reduceDB time            : 0.00        (0.08      % time)
7.52/4.28	c (1,0) c OccSimplifier time       : 0.00        (0.00      % time)
7.52/4.28	c (1,0) c [occur] 0.00 is overhead
7.52/4.28	c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
7.52/4.28	c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
7.52/4.28	c (1,0) c SCC time                 : 0.00        (0.00      % time)
7.52/4.28	c (1,0) c [scc] new: 0 BP 0M  T: 0.00
7.52/4.28	c (1,0) c vrep replace time        : 0.00        (0.00      % time)
7.52/4.28	c (1,0) c vrep tree roots          : 0           
7.52/4.28	c (1,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
7.52/4.28	c (1,0) c distill time             : 0.20        (15.38     % time)
7.52/4.28	c (1,0) c strength cache-irred time: 0.00        (0.00      % time)
7.52/4.28	c (1,0) c strength cache-red time  : 0.00        (0.00      % time)
7.52/4.28	c (1,0) c Conflicts in UIP         : 22973       (17281.95  confl/time_this_thread)
7.52/4.28	c (1,0) c Mem used                 : 9.14        MB
7.52/4.28	c (1,0) c Total time (this thread) : 1.33        
7.52/4.28	c (1,0) s UNSATISFIABLE
7.52/4.28	c (1,0) SatSolver.solve End
7.52/4.28	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.52/4.28	c (1,0) Show results Begin
7.52/4.28	s UNSATISFIABLE
7.52/4.28	c (1,0) Show results End
7.52/4.28	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.52/4.28	c (1,0) 1,1,STOP-AFTER(ALL)
7.52/4.28	c END-Prog: Thu Sep 12 15:46:42 CEST 2019

Verifier Data


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 (8716 MiB free)
  memory of node 1: 16384 MiB (13361 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=12645, runsolver pid=12642

[startup+0.100135 s]*
/proc/loadavg: 1.93 2.02 2.22 3/235 12662
/proc/meminfo: memFree=22547104/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405858715 115843072 349 33554432000 4194304 5098028 140729878245408 140729878242664 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 349 296 221 0 87 0
[pid=12648] ppid=12645 vsize=15013720 memory=73652 CPUtime=0.11 cores=1,3,5,7
/proc/12648/stat : 12648 (java) S 12645 12645 8640 0 -1 1077944320 6693 0 0 0 9 2 0 0 20 0 15 0 405858715 15374049280 18413 33554432000 4194304 4196468 140722758376512 140722758359056 139859587231479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
/proc/12648/statm: 3753430 18413 2891 1 0 3715835 0
[pid=12648/tid=12649] ppid=12645 vsize=15014680 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/12648/task/12649/stat : 12649 (java) R 12645 12645 8640 0 -1 4202560 4558 0 0 0 7 2 0 0 20 0 15 0 405858715 15375032320 18545 33554432000 4194304 4196468 140722758376512 139859559015728 139859579911197 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12650] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12650/stat : 12650 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15375032320 18545 33554432000 4194304 4196468 140722758376512 139859591474320 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12651] ppid=12645 vsize=15014680 memory=139742541714764 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12651/stat : 12651 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15375032320 18545 33554432000 4194304 4196468 140722758376512 139859382557712 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12652] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12652/stat : 12652 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15375032320 18545 33554432000 4194304 4196468 140722758376512 139859381504912 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12653] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12653/stat : 12653 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15375032320 18545 33554432000 4194304 4196468 140722758376512 139859380452112 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12654] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12654/stat : 12654 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858718 15375032320 18545 33554432000 4194304 4196468 140722758376512 139858557241712 139859587242626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12655] ppid=12645 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12655/stat : 12655 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405858719 15375032320 18545 33554432000 4194304 4196468 140722758376512 139858160903200 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12656] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12656/stat : 12656 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858719 15375032320 18545 33554432000 4194304 4196468 140722758376512 139857892467568 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12657] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12657/stat : 12657 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858721 15375032320 18545 33554432000 4194304 4196468 140722758376512 139857517958992 139859587250075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12658] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12658/stat : 12658 (java) S 12645 12645 8640 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 405858721 15375032320 18545 33554432000 4194304 4196468 140722758376512 139858556189552 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12659] ppid=12645 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12659/stat : 12659 (java) S 12645 12645 8640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405858721 15375032320 18545 33554432000 4194304 4196468 140722758376512 139858555136752 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12660] ppid=12645 vsize=15014680 memory=139742541702784 CPUtime=0.01 cores=1,3,5,7
/proc/12648/task/12660/stat : 12660 (java) S 12645 12645 8640 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 405858721 15375032320 18611 33554432000 4194304 4196468 140722758376512 139858554083952 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12661] ppid=12645 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12661/stat : 12661 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858722 15375032320 18611 33554432000 4194304 4196468 140722758376512 139857020054240 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12662] ppid=12645 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12662/stat : 12662 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858722 15375032320 18611 33554432000 4194304 4196468 140722758376512 139858553031344 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 75048 KiB

[startup+0.211018 s]*
/proc/loadavg: 1.93 2.02 2.22 3/235 12662
/proc/meminfo: memFree=22531364/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405858715 115843072 349 33554432000 4194304 5098028 140729878245408 140729878242664 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 349 296 221 0 87 0
[pid=12648] ppid=12645 vsize=15012696 memory=85836 CPUtime=0.25 cores=1,3,5,7
/proc/12648/stat : 12648 (java) S 12645 12645 8640 0 -1 1077944320 10974 0 0 0 21 4 0 0 20 0 15 0 405858715 15373000704 21459 33554432000 4194304 4196468 140722758376512 140722758359056 139859587231479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
/proc/12648/statm: 3753174 21459 2961 1 0 3715579 0
[pid=12648/tid=12649] ppid=12645 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12648/task/12649/stat : 12649 (java) R 12645 12645 8640 0 -1 4202560 8705 0 0 0 17 3 0 0 20 0 15 0 405858715 15373000704 21459 33554432000 4194304 4196468 140722758376512 139859559047120 139859587252826 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12650] ppid=12645 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12650/stat : 12650 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 21459 33554432000 4194304 4196468 140722758376512 139859591474320 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12651] ppid=12645 vsize=15012696 memory=288370118693414528 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12651/stat : 12651 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 21459 33554432000 4194304 4196468 140722758376512 139859382557712 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12652] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12652/stat : 12652 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 21459 33554432000 4194304 4196468 140722758376512 139859381504912 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12653] ppid=12645 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12653/stat : 12653 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 21459 33554432000 4194304 4196468 140722758376512 139859380452112 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12654] ppid=12645 vsize=15012696 memory=139742541702784 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12654/stat : 12654 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858718 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858557241712 139859587242626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12655] ppid=12645 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12655/stat : 12655 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405858719 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858160903200 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12656] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12656/stat : 12656 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858719 15373000704 21459 33554432000 4194304 4196468 140722758376512 139857892467568 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12657] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12657/stat : 12657 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858721 15373000704 21459 33554432000 4194304 4196468 140722758376512 139857517958992 139859587250075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12658] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12658/stat : 12658 (java) S 12645 12645 8640 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 405858721 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858556189552 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12659] ppid=12645 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12659/stat : 12659 (java) S 12645 12645 8640 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405858721 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858555136752 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12660] ppid=12645 vsize=15012696 memory=139742541702784 CPUtime=0.03 cores=1,3,5,7
/proc/12648/task/12660/stat : 12660 (java) S 12645 12645 8640 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 405858721 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858554083952 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12661] ppid=12645 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12661/stat : 12661 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858722 15373000704 21459 33554432000 4194304 4196468 140722758376512 139857020054240 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12662] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12662/stat : 12662 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858722 15373000704 21459 33554432000 4194304 4196468 140722758376512 139858553031344 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87232 KiB

[startup+0.312757 s]*
/proc/loadavg: 1.93 2.02 2.22 3/235 12662
/proc/meminfo: memFree=22528324/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405858715 115843072 349 33554432000 4194304 5098028 140729878245408 140729878242664 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 349 296 221 0 87 0
[pid=12648] ppid=12645 vsize=15012696 memory=89996 CPUtime=0.43 cores=1,3,5,7
/proc/12648/stat : 12648 (java) S 12645 12645 8640 0 -1 1077944320 12031 0 0 0 38 5 0 0 20 0 15 0 405858715 15373000704 22499 33554432000 4194304 4196468 140722758376512 140722758359056 139859587231479 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
/proc/12648/statm: 3753174 22499 3069 1 0 3715579 0
[pid=12648/tid=12649] ppid=12645 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/12648/task/12649/stat : 12649 (java) R 12645 12645 8640 0 -1 4202560 9552 0 0 0 26 4 0 0 20 0 15 0 405858715 15373000704 22499 33554432000 4194304 4196468 140722758376512 139859559061552 139859567497269 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12650] ppid=12645 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12650/stat : 12650 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 22499 33554432000 4194304 4196468 140722758376512 139859591474320 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12651] ppid=12645 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12651/stat : 12651 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 22499 33554432000 4194304 4196468 140722758376512 139859382557712 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12652] ppid=12645 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12652/stat : 12652 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 22499 33554432000 4194304 4196468 140722758376512 139859381504912 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12653] ppid=12645 vsize=15012696 memory=7151815824049284498 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12653/stat : 12653 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15373000704 22499 33554432000 4194304 4196468 140722758376512 139859380452112 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12654] ppid=12645 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12654/stat : 12654 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858718 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858557241712 139859587242626 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12655] ppid=12645 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12655/stat : 12655 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405858719 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858160903200 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12656] ppid=12645 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12656/stat : 12656 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858719 15373000704 22499 33554432000 4194304 4196468 140722758376512 139857892467568 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12657] ppid=12645 vsize=15012696 memory=4137858696076170131 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12657/stat : 12657 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858721 15373000704 22499 33554432000 4194304 4196468 140722758376512 139857517958992 139859587250075 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12658] ppid=12645 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12648/task/12658/stat : 12658 (java) S 12645 12645 8640 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 15 0 405858721 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858556189552 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12659] ppid=12645 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12648/task/12659/stat : 12659 (java) S 12645 12645 8640 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 405858721 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858555136752 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12660] ppid=12645 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12648/task/12660/stat : 12660 (java) S 12645 12645 8640 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 15 0 405858721 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858554083952 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12661] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12661/stat : 12661 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858722 15373000704 22499 33554432000 4194304 4196468 140722758376512 139857020054240 139859587241685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12662] ppid=12645 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12662/stat : 12662 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858722 15373000704 22499 33554432000 4194304 4196468 140722758376512 139858553031344 139859587242626 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91392 KiB

[startup+0.706256 s]
/proc/loadavg: 1.93 2.02 2.22 3/235 12662
/proc/meminfo: memFree=22505108/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405858715 115843072 349 33554432000 4194304 5098028 140729878245408 140729878242664 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 349 296 221 0 87 0
[pid=12648] ppid=12645 vsize=15021092 memory=130188 CPUtime=1.01 cores=1,3,5,7
/proc/12648/stat : 12648 (java) S 12645 12645 8640 0 -1 1077944320 19915 0 0 0 93 8 0 0 20 0 15 0 405858715 15381598208 32547 33554432000 4194304 4196468 140722758376512 140722758359056 139859587231479 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
/proc/12648/statm: 3755273 32547 3202 1 0 3716603 0
[pid=12648/tid=12649] ppid=12645 vsize=15021092 memory=2828 CPUtime=0.68 cores=1,3,5,7
/proc/12648/task/12649/stat : 12649 (java) R 12645 12645 8640 0 -1 4202560 17023 0 0 0 62 6 0 0 20 0 15 0 405858715 15381598208 32547 33554432000 4194304 4196468 140722758376512 139859559051104 139859572924960 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12650] ppid=12645 vsize=15021092 memory=676 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12650/stat : 12650 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15381598208 32547 33554432000 4194304 4196468 140722758376512 139859591474320 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12651] ppid=12645 vsize=15021092 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12651/stat : 12651 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858717 15381598208 32547 33554432000 4194304 4196468 140722758376512 139859382557712 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12652] ppid=12645 vsize=15021092 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12652/stat : 12652 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15381598208 32547 33554432000 4194304 4196468 140722758376512 139859381504912 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12653] ppid=12645 vsize=15021092 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12653/stat : 12653 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405858717 15381598208 32547 33554432000 4194304 4196468 140722758376512 139859380452112 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12654] ppid=12645 vsize=15021092 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12654/stat : 12654 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405858718 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858557241712 139859587242626 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12655] ppid=12645 vsize=15021092 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12655/stat : 12655 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405858719 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858160903200 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12656] ppid=12645 vsize=15021092 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12656/stat : 12656 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858719 15381598208 32547 33554432000 4194304 4196468 140722758376512 139857892467568 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12657] ppid=12645 vsize=15021092 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12657/stat : 12657 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858721 15381598208 32547 33554432000 4194304 4196468 140722758376512 139857517958992 139859587250075 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12658] ppid=12645 vsize=15021092 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/12648/task/12658/stat : 12658 (java) S 12645 12645 8640 0 -1 1077944384 481 0 0 0 6 0 0 0 20 0 15 0 405858721 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858556189552 139859587242626 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12659] ppid=12645 vsize=15021092 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/12648/task/12659/stat : 12659 (java) S 12645 12645 8640 0 -1 1077944384 436 0 0 0 8 0 0 0 20 0 15 0 405858721 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858555136752 139859587242626 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12660] ppid=12645 vsize=15021092 memory=20508 CPUtime=0.15 cores=1,3,5,7
/proc/12648/task/12660/stat : 12660 (java) R 12645 12645 8640 0 -1 4202560 644 0 0 0 15 0 0 0 20 0 15 0 405858721 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858554083952 139859580328180 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12661] ppid=12645 vsize=15021092 memory=3472323897372786726 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12661/stat : 12661 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405858722 15381598208 32547 33554432000 4194304 4196468 140722758376512 139857020054240 139859587241685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
[pid=12648/tid=12662] ppid=12645 vsize=15021092 memory=139742398154512 CPUtime=0 cores=1,3,5,7
/proc/12648/task/12662/stat : 12662 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405858722 15381598208 32547 33554432000 4194304 4196468 140722758376512 139858553031344 139859587242626 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10129408 140722758382377 140722758382746 140722758382746 140722758385615 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131584 KiB

[startup+1.50308 s]
/proc/loadavg: 1.93 2.02 2.22 3/235 12662
/proc/meminfo: memFree=22476068/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405858715 115843072 349 33554432000 4194304 5098028 140729878245408 140729878242664 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 349 296 221 0 87 0

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

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

[startup+3.20105 s]
/proc/loadavg: 1.93 2.02 2.22 4/240 12683
/proc/meminfo: memFree=22534140/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1476 CPUtime=5.14 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 582 26799 0 0 0 0 499 15 20 0 1 0 405858715 115843072 369 33554432000 4194304 5098028 140729878245408 140729878242152 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 369 311 221 0 87 0
[pid=12663] ppid=12645 vsize=8068440 memory=119280 CPUtime=1.12 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12645 12645 8640 0 -1 1077944320 19793 0 0 0 106 6 0 0 20 0 19 0 405858938 8262082560 29820 33554432000 4194304 4196468 140733897475776 140733897458320 140244438142711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
/proc/12663/statm: 2017110 29820 3209 1 0 1978454 0
[pid=12678] ppid=12663 vsize=29896 memory=6236 CPUtime=0.25 cores=1,3,5,7
/proc/12678/stat : 12678 (cryptominisat5) R 12663 12645 8640 0 -1 4202496 1705 0 0 0 25 0 0 0 20 0 1 0 405859009 30613504 1559 33554432000 4194304 4451008 140728857779104 140728857774440 140488140013934 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 15978496 140728857781180 140728857781312 140728857781312 140728857784262 0
/proc/12678/statm: 7474 1559 640 63 0 1201 0
[pid=12663/tid=12664] ppid=12645 vsize=8068440 memory=-7087961436404368800 CPUtime=0.74 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) S 12645 12645 8640 0 -1 1077944384 16872 0 0 0 69 5 0 0 20 0 19 0 405858939 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244409982880 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12665] ppid=12645 vsize=8068440 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244442384656 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12666] ppid=12645 vsize=8068440 memory=-9103592724201053557 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244242553232 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12667] ppid=12645 vsize=8068440 memory=4630099073997825165 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244241500688 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12668] ppid=12645 vsize=8068440 memory=4427179761358173738 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244240448144 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12669] ppid=12645 vsize=8068440 memory=-8253387840313187963 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405858941 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243683195376 140244438153858 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12670] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243298674080 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12671] ppid=12645 vsize=8068440 memory=32068 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243030238704 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12672] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242655730384 140244438161307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12673] ppid=12645 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12645 12645 8640 0 -1 1077944384 663 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243682142192 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12674] ppid=12645 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12645 12645 8640 0 -1 1077944384 393 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243681089648 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12675] ppid=12645 vsize=8068440 memory=8443538352883892301 CPUtime=0.18 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12645 12645 8640 0 -1 1077944384 478 0 0 0 18 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243680037104 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12676] ppid=12645 vsize=8068440 memory=288289986875491084 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242157824608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12677] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243678985008 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12679] ppid=12645 vsize=8068440 memory=7090478231251407192 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12645 12645 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243670951488 140244438167321 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12681] ppid=12645 vsize=8068440 memory=7309178837960058450 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12645 12645 8640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241620938896 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12682] ppid=12645 vsize=8068440 memory=4640204396461838434 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12645 12645 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241755159824 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12683] ppid=12645 vsize=8068440 memory=7649399379986887217 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12683/stat : 12683 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405859012 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241352514608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
Current children cumulated CPU time: 6.51 s
Current children cumulated vsize: 8211464 KiB
Current children cumulated memory: 126992 KiB

[startup+4.00087 s]*
/proc/loadavg: 1.93 2.02 2.22 3/240 12683
/proc/meminfo: memFree=22528876/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1476 CPUtime=5.14 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 582 26799 0 0 0 0 499 15 20 0 1 0 405858715 115843072 369 33554432000 4194304 5098028 140729878245408 140729878242152 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 369 311 221 0 87 0
[pid=12663] ppid=12645 vsize=8068440 memory=119280 CPUtime=1.13 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12645 12645 8640 0 -1 1077944320 19793 0 0 0 107 6 0 0 20 0 19 0 405858938 8262082560 29820 33554432000 4194304 4196468 140733897475776 140733897458320 140244438142711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
/proc/12663/statm: 2017110 29820 3209 1 0 1978454 0
[pid=12678] ppid=12663 vsize=31996 memory=8572 CPUtime=1.06 cores=1,3,5,7
/proc/12678/stat : 12678 (cryptominisat5) R 12663 12645 8640 0 -1 4202496 2309 0 0 0 106 0 0 0 20 0 1 0 405859009 32763904 2143 33554432000 4194304 4451008 140728857779104 140728857773656 140488140005728 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 15978496 140728857781180 140728857781312 140728857781312 140728857784262 0
/proc/12678/statm: 7999 2143 644 63 0 1726 0
[pid=12663/tid=12664] ppid=12645 vsize=8068440 memory=5792306791095031140 CPUtime=0.74 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) S 12645 12645 8640 0 -1 1077944384 16872 0 0 0 69 5 0 0 20 0 19 0 405858939 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244409982880 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12665] ppid=12645 vsize=8068440 memory=3761690091369734191 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244442384656 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12666] ppid=12645 vsize=8068440 memory=2319528941708379825 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244242553232 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12667] ppid=12645 vsize=8068440 memory=7022364632946311227 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244241500688 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12668] ppid=12645 vsize=8068440 memory=317222535915897202 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244240448144 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12669] ppid=12645 vsize=8068440 memory=288284472157393580 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405858941 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243683195376 140244438153858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12670] ppid=12645 vsize=8068440 memory=288230376154275048 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243298674080 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12671] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243030238704 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12672] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242655730384 140244438161307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12673] ppid=12645 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12645 12645 8640 0 -1 1077944384 663 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243682142192 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12674] ppid=12645 vsize=8068440 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12645 12645 8640 0 -1 1077944384 393 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243681089648 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12675] ppid=12645 vsize=8068440 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12645 12645 8640 0 -1 1077944384 478 0 0 0 18 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243680037104 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12676] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242157824608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12677] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243678985008 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12679] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12645 12645 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243670951488 140244438167321 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12681] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12645 12645 8640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241620938896 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12682] ppid=12645 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12645 12645 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241755159824 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12683] ppid=12645 vsize=8068440 memory=279484796457888 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12683/stat : 12683 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405859012 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241352514608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 8213564 KiB
Current children cumulated memory: 129328 KiB

[startup+4.20087 s]
/proc/loadavg: 1.93 2.02 2.22 3/240 12683
/proc/meminfo: memFree=22528876/32770624 swapFree=66997112/67108860
[pid=12645] ppid=12642 vsize=113128 memory=1476 CPUtime=5.14 cores=1,3,5,7
/proc/12645/stat : 12645 (scop.sh) S 12642 12645 8640 0 -1 4202496 582 26799 0 0 0 0 499 15 20 0 1 0 405858715 115843072 369 33554432000 4194304 5098028 140729878245408 140729878242152 140082567377532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34820096 140729878254435 140729878254704 140729878254704 140729878257613 0
/proc/12645/statm: 28282 369 311 221 0 87 0
[pid=12663] ppid=12645 vsize=8068440 memory=119280 CPUtime=1.13 cores=1,3,5,7
/proc/12663/stat : 12663 (java) S 12645 12645 8640 0 -1 1077944320 19793 0 0 0 107 6 0 0 20 0 19 0 405858938 8262082560 29820 33554432000 4194304 4196468 140733897475776 140733897458320 140244438142711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
/proc/12663/statm: 2017110 29820 3209 1 0 1978454 0
[pid=12678] ppid=12663 vsize=32392 memory=9100 CPUtime=1.25 cores=1,3,5,7
/proc/12678/stat : 12678 (cryptominisat5) R 12663 12645 8640 0 -1 4202496 2428 0 0 0 125 0 0 0 20 0 1 0 405859009 33169408 2275 33554432000 4194304 4451008 140728857779104 140728857773656 140488140006076 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 15978496 140728857781180 140728857781312 140728857781312 140728857784262 0
/proc/12678/statm: 8098 2275 644 63 0 1825 0
[pid=12663/tid=12664] ppid=12645 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/12663/task/12664/stat : 12664 (java) S 12645 12645 8640 0 -1 1077944384 16872 0 0 0 69 5 0 0 20 0 19 0 405858939 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244409982880 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12665] ppid=12645 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12665/stat : 12665 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244442384656 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12666] ppid=12645 vsize=8068440 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12666/stat : 12666 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244242553232 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12667] ppid=12645 vsize=8068440 memory=8243122710528917583 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12667/stat : 12667 (java) S 12645 12645 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244241500688 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12668] ppid=12645 vsize=8068440 memory=20575 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12668/stat : 12668 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858940 8262082560 29820 33554432000 4194304 4196468 140733897475776 140244240448144 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12669] ppid=12645 vsize=8068440 memory=288230376154673097 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12669/stat : 12669 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405858941 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243683195376 140244438153858 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12670] ppid=12645 vsize=8068440 memory=2321385921241955943 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12670/stat : 12670 (java) S 12645 12645 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243298674080 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12671] ppid=12645 vsize=8068440 memory=4049358630152526191 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12671/stat : 12671 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858942 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243030238704 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12672] ppid=12645 vsize=8068440 memory=4049358630152526191 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12672/stat : 12672 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242655730384 140244438161307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12673] ppid=12645 vsize=8068440 memory=3618141191311814507 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12673/stat : 12673 (java) S 12645 12645 8640 0 -1 1077944384 663 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243682142192 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12674] ppid=12645 vsize=8068440 memory=2321385921241955943 CPUtime=0.09 cores=1,3,5,7
/proc/12663/task/12674/stat : 12674 (java) S 12645 12645 8640 0 -1 1077944384 393 0 0 0 9 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243681089648 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12675] ppid=12645 vsize=8068440 memory=-7595718148000617580 CPUtime=0.18 cores=1,3,5,7
/proc/12663/task/12675/stat : 12675 (java) S 12645 12645 8640 0 -1 1077944384 478 0 0 0 18 0 0 0 20 0 19 0 405858944 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243680037104 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12676] ppid=12645 vsize=8068440 memory=-7029379521810567991 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12676/stat : 12676 (java) S 12645 12645 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140242157824608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12677] ppid=12645 vsize=8068440 memory=7088773812221943410 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12677/stat : 12677 (java) S 12645 12645 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405858945 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243678985008 140244438153858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12679] ppid=12645 vsize=8068440 memory=8128038100524242582 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12679/stat : 12679 (java) S 12645 12645 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140243670951488 140244438167321 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12681] ppid=12645 vsize=8068440 memory=-7595718316223324558 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12681/stat : 12681 (java) S 12645 12645 8640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241620938896 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12682] ppid=12645 vsize=8068440 memory=-3704326594973231466 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12682/stat : 12682 (java) S 12645 12645 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405859009 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241755159824 140244438164637 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
[pid=12663/tid=12683] ppid=12645 vsize=8068440 memory=-7606742959547834223 CPUtime=0 cores=1,3,5,7
/proc/12663/task/12683/stat : 12683 (java) S 12645 12645 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405859012 8262082560 29820 33554432000 4194304 4196468 140733897475776 140241352514608 140244438152917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140733897483259 140733897483418 140733897483418 140733897486287 0
Current children cumulated CPU time: 7.52 s
Current children cumulated vsize: 8213960 KiB
Current children cumulated memory: 129856 KiB

Child status: 0
Real time (s): 4.29522
CPU time (s): 7.65191
CPU user time (s): 7.41217
CPU system time (s): 0.239738
CPU usage (%): 178.149
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 298520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.41217
system time used= 0.239738
maximum resident set size= 297200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5435
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 12645
#   total CPU time (s): 7.65191
#   total CPU user time (s): 7.41217
#   total CPU system time (s): 0.239738

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0496 second user time and 0.094034 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 15:46:37
IDJOB=4388152
IDBENCH=134597
IDSOLVER=2826
FILE ID=node103/4388152-1568296056
RUNJOBID= node103-1568289558-9766
PBS_JOBID= 21701093
Free space on /tmp= 52692 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-05-int.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-4388152-1568296056/watcher-4388152-1568296056 -o /tmp/evaluation-result-4388152-1568296056/solver-4388152-1568296056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9766 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388152-1568296056.xml

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

MD5SUM BENCH= 5aa02d8e33e0310131c8602cbce67fff
RANDOM SEED=2077380897

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22607340 kB
MemAvailable:   31284536 kB
Buffers:          112900 kB
Cached:          8799932 kB
SwapCached:         8920 kB
Active:          2423632 kB
Inactive:        7071748 kB
Active(anon):     569424 kB
Inactive(anon):    54696 kB
Active(file):    1854208 kB
Inactive(file):  7017052 kB
Unevictable:      106616 kB
Mlocked:          106616 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             20776 kB
Writeback:             0 kB
AnonPages:        670192 kB
Mapped:            55964 kB
Shmem:             32812 kB
Slab:             263484 kB
SReclaimable:     234396 kB
SUnreclaim:        29088 kB
KernelStack:        4112 kB
PageTables:         7056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6436216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52672 MiB
End job on node103 at 2019-09-12 15:46:42