Trace number 4387624

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 13.9722 6.68412

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-050-05-mul.xml
MD5SUM0dc4c2f273d2e82d82a6e1c594dd299c
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 benchmark13.9722
Satisfiable
(Un)Satisfiability was proved
Number of variables55
Number of constraints1485
Number of domains2
Minimum domain size50
Maximum domain size2500
Distribution of domain sizes[{"size":50,"count":50},{"size":2500,"count":5}]
Minimum variable degree54
Maximum variable degree54
Distribution of variable degrees[{"degree":54,"count":55}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1485}]
Number of extensional constraints0
Number of intensional constraints1485
Distribution of constraint types[{"type":"intension","count":1485}]
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-14659-serial-file.bin HOME/instance-4387624-1568286357.xml
0.65/0.53	
0.65/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Thu Sep 12 13:05:19 CEST 2019
0.65/0.55	c PID: 14662
0.65/0.55	c IP: 172.20.3.151
0.65/0.55	c HOST: node151.alineos.net
0.65/0.56	c (0,0) Parsing Begin
3.16/1.44	c (0,0) Parsing End
3.16/1.45	c (0,0) CSP: 55 int (0 aux), 0 bool (0 aux), 1485 ctr, max domain size 2500
3.16/1.45	c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.16/1.45	c (0,0) Constraint Name Generate Begin
3.16/1.47	c (0,0) Ctr:HOME/instance-4387624-1568286357.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
3.16/1.47	c (0,0) Constraint Name Generate End
3.16/1.47	c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.16/1.47	c (0,0) CSP to CSPinCNF Begin
4.08/1.75	c (1,1) translated 149 (10%) constraints
4.38/1.84	c (1,1) translated 297 (20%) constraints
4.63/1.91	c (1,1) translated 446 (30%) constraints
4.63/1.97	c (1,1) translated 594 (40%) constraints
4.95/2.02	c (1,1) translated 743 (50%) constraints
4.95/2.07	c (1,1) translated 891 (60%) constraints
5.26/2.11	c (1,1) translated 1040 (70%) constraints
5.26/2.16	c (1,1) translated 1188 (80%) constraints
5.57/2.21	c (1,1) translated 1337 (90%) constraints
5.57/2.22	c (1,1) translated 1485 (100%) constraints
5.57/2.22	c (1,1) ===========================================
5.57/2.27	c (1,1) Hybrid: #OE=1310, #LE=0
5.57/2.27	c (1,1) Hybrid
5.57/2.27	c (1,1) ===========================================
5.91/2.32	c (1,1) translated 525 (10%) constraints
5.91/2.34	c (1,1) translated 1050 (20%) constraints
5.91/2.37	c (1,1) translated 1575 (30%) constraints
5.91/2.39	c (1,1) translated 2100 (40%) constraints
6.20/2.42	c (1,1) translated 2625 (50%) constraints
6.20/2.44	c (1,1) translated 3150 (60%) constraints
6.20/2.46	c (1,1) translated 3675 (70%) constraints
6.20/2.48	c (1,1) translated 4200 (80%) constraints
6.20/2.50	c (1,1) translated 4725 (90%) constraints
6.46/2.53	c (2,1) translated 5250 (100%) constraints
6.46/2.53	c (2,1) CSP to CSPinCNF End
6.46/2.54	c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5260 ctr, max domain size 2500
6.46/2.54	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.46/2.54	c (2,2) CSPinCNF Propagation Begin
6.78/2.61	c (2,2) 1 values, 14 unsatisfiable literals, and 21 valid clauses are removed
6.78/2.61	c (2,2) CSPinCNF Propagation End
6.78/2.61	c (2,2) CSP: 75 int (20 aux), 1235 bool (1235 aux), 5239 ctr, max domain size 2500
6.78/2.61	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.78/2.63	c (2,2) Hybrid: #OE=1310, #LE=0
6.78/2.63	c (2,2) Simplify CSPinCNF Begin
7.11/2.80	c (2,2) Simplify CSPinCNF End
7.40/2.80	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
7.40/2.80	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.40/2.80	c (2,2) Calculate Precise Domain Begin
7.40/2.80	c (2,2) 0 values are removed by re-calculation
7.40/2.80	c (2,2) Calculate Precise Domain End
7.40/2.80	c (2,2) CSP: 75 int (20 aux), 6683 bool (6683 aux), 10687 ctr, max domain size 2500
7.40/2.80	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.40/2.80	c (2,2) CSPinCNF to SatSolver Begin
8.64/3.29	c (2,2) 1069 (10 %) CSP clauses are encoded (0 SAT variables, 43849 SAT clauses)
9.25/3.46	c (2,2) 2138 (20 %) CSP clauses are encoded (0 SAT variables, 71841 SAT clauses)
9.60/3.61	c (3,3) 3207 (30 %) CSP clauses are encoded (0 SAT variables, 100202 SAT clauses)
9.70/3.77	c (3,3) 4275 (40 %) CSP clauses are encoded (0 SAT variables, 130208 SAT clauses)
9.96/3.92	c (3,3) 5344 (50 %) CSP clauses are encoded (0 SAT variables, 160469 SAT clauses)
10.13/4.09	c (3,3) 6413 (60 %) CSP clauses are encoded (0 SAT variables, 192369 SAT clauses)
10.35/4.25	c (3,3) 7481 (70 %) CSP clauses are encoded (0 SAT variables, 225176 SAT clauses)
10.64/4.42	c (3,3) 8550 (80 %) CSP clauses are encoded (0 SAT variables, 259465 SAT clauses)
10.86/4.60	c (4,4) 9619 (90 %) CSP clauses are encoded (0 SAT variables, 296004 SAT clauses)
11.78/5.07	c (4,4) 10687 (100 %) CSP clauses are encoded (0 SAT variables, 406587 SAT clauses)
11.78/5.07	c (4,4) CSPinCNF to SatSolver End
11.78/5.07	c (4,4) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.78/5.07	c (4,4) 22607 bool, 406637 clause
11.78/5.07	c (4,4) Export Begin
11.90/5.15	c (4,4) Export to HOME/scop-14659-serial-file.bin
11.90/5.15	c (4,4) Export End
11.90/5.15	c (4,4) Export File Size: 0.01 MB
11.90/5.16	c (4,4) 0,0,2,2,2,2,4,STOP-AFTER(DIMACS)
11.90/5.16	c END-Prog: Thu Sep 12 13:05:23 CEST 2019
11.90/5.18	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14659-serial-file.bin
12.03/5.63	c (0,0) Read Serial File Begin
12.03/5.63	c (0,0) HOME/scop-14659-serial-file.bin
12.03/5.83	c (0,0) Read Serial File End
12.03/5.84	
12.03/5.84	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
12.03/5.84	(Solving Process)
12.03/5.84	
12.03/5.86	c BEGIN-Prog: Thu Sep 12 13:05:24 CEST 2019
12.03/5.86	c PID: 14677
12.03/5.86	c IP: 172.20.3.151
12.03/5.86	c HOST: node151.alineos.net
12.03/5.87	c (0,0) SatSolver.solve Begin
12.03/5.87	c (0,0) HOME/cryptominisat5  HOME/instance-4387624-1568286357.xml-scop-14662.cnf
12.03/5.90	c (0,0) c Outputting solution to console
12.03/5.90	c (0,0) c CryptoMiniSat version 5.6.8
12.03/5.90	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
12.03/5.90	c (0,0) c CMS SHA revision GIT-notfound
12.03/5.90	c (0,0) c CMS is MIT licensed
12.03/5.90	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
12.03/5.90	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
12.03/5.90	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387624-1568286357.xml-scop-14662.cnf
12.03/5.90	c (0,0) c Reading file 'HOME/instance-4387624-1568286357.xml-scop-14662.cnf'
12.03/5.90	c (0,0) c -- header says num vars:          22607
12.03/5.90	c (0,0) c -- header says num clauses:      406637
13.25/6.03	c (0,0) c -- clauses added: 406637
13.25/6.03	c (0,0) c -- xor clauses added: 0
13.25/6.03	c (0,0) c -- vars added 22607
13.25/6.03	c (0,0) c Parsing time: 0.12 s
13.25/6.04	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
13.25/6.05	c (0,0) c [distill] long cls tried: 7/4 cl-short:7 lit-r:4 T: 0.00 T-out: N T-r: 99.98%
13.65/6.45	c (0,0) c [distill] long cls tried: 213/169 cl-short:213 lit-r:207 T: 0.06 T-out: N T-r: 99.33%
13.85/6.65	c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
13.85/6.65	c (1,0) c UIP search time          : 0.61        (82.94     % time)
13.85/6.65	c (1,0) c restarts                 : 15          (302.40    confls per restart)
13.85/6.65	c (1,0) c blocked restarts         : 0           (0.00      per normal restart)
13.85/6.65	c (1,0) c time                     : 0.61        
13.85/6.65	c (1,0) c decisions                : 6664        (0.00      % random)
13.85/6.65	c (1,0) c propagations             : 6081987     
13.85/6.65	c (1,0) c decisions/conflicts      : 1.47        
13.85/6.65	c (1,0) c conflicts                : 4536        (7439.57   / sec)
13.85/6.65	c (1,0) c conf lits non-minim      : 40319       (8.89      lit/confl)
13.85/6.65	c (1,0) c conf lits final          : 7.74        
13.85/6.65	c (1,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
13.85/6.65	c (1,0) c red which0               : 374         (8.25      % of confl)
13.85/6.65	c (1,0) c props/decision           : 0.00        
13.85/6.65	c (1,0) c props/conflict           : 0.00        
13.85/6.65	c (1,0) c 0-depth assigns          : 11760       (52.02     % vars)
13.85/6.65	c (1,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
13.85/6.65	c (1,0) c reduceDB time            : 0.00        (0.00      % time)
13.85/6.65	c (1,0) c OccSimplifier time       : 0.00        (0.00      % time)
13.85/6.65	c (1,0) c [occur] 0.00 is overhead
13.85/6.65	c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
13.85/6.65	c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
13.85/6.65	c (1,0) c SCC time                 : 0.00        (0.00      % time)
13.85/6.65	c (1,0) c [scc] new: 0 BP 0M  T: 0.00
13.85/6.65	c (1,0) c vrep replace time        : 0.00        (0.00      % time)
13.85/6.65	c (1,0) c vrep tree roots          : 0           
13.85/6.65	c (1,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
13.85/6.65	c (1,0) c distill time             : 0.06        (8.16      % time)
13.85/6.65	c (1,0) c strength cache-irred time: 0.00        (0.00      % time)
13.85/6.65	c (1,0) c strength cache-red time  : 0.00        (0.00      % time)
13.85/6.65	c (1,0) c Conflicts in UIP         : 4536        (6170.49   confl/time_this_thread)
13.85/6.65	c (1,0) c Mem used                 : 43.72       MB
13.85/6.65	c (1,0) c Total time (this thread) : 0.74        
13.85/6.65	c (1,0) s UNSATISFIABLE
13.85/6.66	c (1,0) SatSolver.solve End
13.85/6.66	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
13.85/6.66	c (1,0) Show results Begin
13.85/6.66	s UNSATISFIABLE
13.85/6.66	c (1,0) Show results End
13.85/6.66	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
13.85/6.66	c (1,0) 1,1,STOP-AFTER(ALL)
13.85/6.66	c END-Prog: Thu Sep 12 13:05:25 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 (15097 MiB free)
  memory of node 1: 16384 MiB (13748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387624-1568286357/watcher-4387624-1568286357 -o /tmp/evaluation-result-4387624-1568286357/solver-4387624-1568286357 -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-4387624-1568286357.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=14659, runsolver pid=14656

[startup+0.100089 s]*
/proc/loadavg: 2.23 2.09 2.06 3/236 14676
/proc/meminfo: memFree=29479268/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907168 115843072 349 33554432000 4194304 5098028 140736477296032 140736477293288 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 349 296 221 0 87 0
[pid=14662] ppid=14659 vsize=15013720 memory=73420 CPUtime=0.11 cores=0,2,4,6
/proc/14662/stat : 14662 (java) S 14659 14659 12870 0 -1 1077944320 7116 0 0 0 9 2 0 0 20 0 15 0 404907168 15374049280 18355 33554432000 4194304 4196468 140735052569744 140735052552288 139897735565047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
/proc/14662/statm: 3753430 18355 2921 1 0 3715835 0
[pid=14662/tid=14663] ppid=14659 vsize=15014680 memory=-6077181931080171459 CPUtime=0.09 cores=0,2,4,6
/proc/14662/task/14663/stat : 14663 (java) R 14659 14659 12870 0 -1 4202560 5010 0 0 0 7 2 0 0 20 0 15 0 404907169 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897707349296 139897728244765 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14664] ppid=14659 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14664/stat : 14664 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897739807120 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14665] ppid=14659 vsize=15014680 memory=140129777448576 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14665/stat : 14665 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897196587280 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14666] ppid=14659 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14666/stat : 14666 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897195534992 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14667] ppid=14659 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14667/stat : 14667 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897194482192 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14668] ppid=14659 vsize=15014680 memory=140129777448576 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14668/stat : 14668 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907172 15375032320 18487 33554432000 4194304 4196468 140735052569744 139897075083888 139897735576194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14669] ppid=14659 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14669/stat : 14669 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907172 15375032320 18553 33554432000 4194304 4196468 140735052569744 139896379401504 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14670] ppid=14659 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14670/stat : 14670 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907172 15375032320 18553 33554432000 4194304 4196468 140735052569744 139896144520816 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14671] ppid=14659 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14671/stat : 14671 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15375032320 18553 33554432000 4194304 4196468 140735052569744 139895770012240 139897735583643 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14672] ppid=14659 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14672/stat : 14672 (java) S 14659 14659 12870 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 404907175 15375032320 18553 33554432000 4194304 4196468 140735052569744 139897074030704 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14673] ppid=14659 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14673/stat : 14673 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15375032320 18619 33554432000 4194304 4196468 140735052569744 139897072977904 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14674] ppid=14659 vsize=15014680 memory=140129777448576 CPUtime=0.01 cores=0,2,4,6
/proc/14662/task/14674/stat : 14674 (java) S 14659 14659 12870 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 404907175 15375032320 18619 33554432000 4194304 4196468 140735052569744 139897071925616 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14675] ppid=14659 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14675/stat : 14675 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15375032320 18619 33554432000 4194304 4196468 140735052569744 139895272106464 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14676] ppid=14659 vsize=15014680 memory=140129777448576 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14676/stat : 14676 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907175 15375032320 18619 33554432000 4194304 4196468 140735052569744 139897070873520 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 74816 KiB

[startup+0.210977 s]*
/proc/loadavg: 2.23 2.09 2.06 3/236 14676
/proc/meminfo: memFree=29463188/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907168 115843072 349 33554432000 4194304 5098028 140736477296032 140736477293288 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 349 296 221 0 87 0
[pid=14662] ppid=14659 vsize=15012696 memory=85872 CPUtime=0.25 cores=0,2,4,6
/proc/14662/stat : 14662 (java) S 14659 14659 12870 0 -1 1077944320 11491 0 0 0 22 3 0 0 20 0 15 0 404907168 15373000704 21468 33554432000 4194304 4196468 140735052569744 140735052552288 139897735565047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
/proc/14662/statm: 3753174 21468 2929 1 0 3715579 0
[pid=14662/tid=14663] ppid=14659 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14662/task/14663/stat : 14663 (java) R 14659 14659 12870 0 -1 4202560 9237 0 0 0 17 3 0 0 20 0 15 0 404907169 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897707386400 139897719645534 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14664] ppid=14659 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14664/stat : 14664 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897739807120 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14665] ppid=14659 vsize=15012696 memory=288370505929160320 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14665/stat : 14665 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897196587280 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14666] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14666/stat : 14666 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897195534992 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14667] ppid=14659 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14667/stat : 14667 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897194482192 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14668] ppid=14659 vsize=15012696 memory=140129777448576 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14668/stat : 14668 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897075083888 139897735576194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14669] ppid=14659 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14669/stat : 14669 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 21468 33554432000 4194304 4196468 140735052569744 139896379401504 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14670] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14670/stat : 14670 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 21468 33554432000 4194304 4196468 140735052569744 139896144520816 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14671] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14671/stat : 14671 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139895770012240 139897735583643 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14672] ppid=14659 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14662/task/14672/stat : 14672 (java) S 14659 14659 12870 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897074030704 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14673] ppid=14659 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14673/stat : 14673 (java) S 14659 14659 12870 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897072977904 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14674] ppid=14659 vsize=15012696 memory=140129777448576 CPUtime=0.03 cores=0,2,4,6
/proc/14662/task/14674/stat : 14674 (java) S 14659 14659 12870 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897071925616 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14675] ppid=14659 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14675/stat : 14675 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139895272106464 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14676] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14676/stat : 14676 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 21468 33554432000 4194304 4196468 140735052569744 139897070873520 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87268 KiB

[startup+0.310824 s]*
/proc/loadavg: 2.23 2.09 2.06 4/236 14676
/proc/meminfo: memFree=29459668/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907168 115843072 349 33554432000 4194304 5098028 140736477296032 140736477293288 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 349 296 221 0 87 0
[pid=14662] ppid=14659 vsize=15012696 memory=89712 CPUtime=0.43 cores=0,2,4,6
/proc/14662/stat : 14662 (java) S 14659 14659 12870 0 -1 1077944320 12510 0 0 0 39 4 0 0 20 0 15 0 404907168 15373000704 22428 33554432000 4194304 4196468 140735052569744 140735052552288 139897735565047 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
/proc/14662/statm: 3753174 22428 3038 1 0 3715579 0
[pid=14662/tid=14663] ppid=14659 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14662/task/14663/stat : 14663 (java) R 14659 14659 12870 0 -1 4202560 10057 0 0 0 27 3 0 0 20 0 15 0 404907169 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897707368272 139897719645534 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14664] ppid=14659 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14664/stat : 14664 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897739807120 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14665] ppid=14659 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14665/stat : 14665 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897196587280 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14666] ppid=14659 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14666/stat : 14666 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897195534992 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14667] ppid=14659 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14667/stat : 14667 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897194482192 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14668] ppid=14659 vsize=15012696 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14668/stat : 14668 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897075083888 139897735576194 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14669] ppid=14659 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14669/stat : 14669 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 22428 33554432000 4194304 4196468 140735052569744 139896379401504 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14670] ppid=14659 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14670/stat : 14670 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907172 15373000704 22428 33554432000 4194304 4196468 140735052569744 139896144520816 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14671] ppid=14659 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14671/stat : 14671 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139895770012240 139897735583643 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14672] ppid=14659 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14662/task/14672/stat : 14672 (java) S 14659 14659 12870 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897074030704 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14673] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14673/stat : 14673 (java) S 14659 14659 12870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897072977904 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14674] ppid=14659 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14662/task/14674/stat : 14674 (java) S 14659 14659 12870 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897071925616 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14675] ppid=14659 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14675/stat : 14675 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139895272106464 139897735575253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14676] ppid=14659 vsize=15012696 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14676/stat : 14676 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907175 15373000704 22428 33554432000 4194304 4196468 140735052569744 139897070873520 139897735576194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91108 KiB

[startup+0.701151 s]
/proc/loadavg: 2.23 2.09 2.06 3/236 14676
/proc/meminfo: memFree=29435980/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907168 115843072 349 33554432000 4194304 5098028 140736477296032 140736477293288 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 349 296 221 0 87 0
[pid=14662] ppid=14659 vsize=15018968 memory=133932 CPUtime=1.04 cores=0,2,4,6
/proc/14662/stat : 14662 (java) S 14659 14659 12870 0 -1 1077944320 20213 0 0 0 97 7 0 0 20 0 15 0 404907168 15379423232 33483 33554432000 4194304 4196468 140735052569744 140735052552288 139897735565047 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
/proc/14662/statm: 3754742 33483 3199 1 0 3716091 0
[pid=14662/tid=14663] ppid=14659 vsize=15018968 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/14662/task/14663/stat : 14663 (java) R 14659 14659 12870 0 -1 4202560 17152 0 0 0 62 5 0 0 20 0 15 0 404907169 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897707382752 139897721004453 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14664] ppid=14659 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14664/stat : 14664 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897739807120 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14665] ppid=14659 vsize=15018968 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14665/stat : 14665 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907170 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897196587280 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14666] ppid=14659 vsize=15018968 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14666/stat : 14666 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897195534992 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14667] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14667/stat : 14667 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907170 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897194482192 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14668] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14668/stat : 14668 (java) S 14659 14659 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404907172 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897075083888 139897735576194 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14669] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14669/stat : 14669 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907172 15379423232 33483 33554432000 4194304 4196468 140735052569744 139896379401504 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14670] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14670/stat : 14670 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907172 15379423232 33483 33554432000 4194304 4196468 140735052569744 139896144520816 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14671] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14671/stat : 14671 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139895770012240 139897735583643 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14672] ppid=14659 vsize=15018968 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/14662/task/14672/stat : 14672 (java) R 14659 14659 12870 0 -1 4202560 793 0 0 0 11 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897074020176 139897717213995 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14673] ppid=14659 vsize=15018968 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14662/task/14673/stat : 14673 (java) R 14659 14659 12870 0 -1 4202560 245 0 0 0 6 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897072965456 139897713540608 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14674] ppid=14659 vsize=15018968 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/14662/task/14674/stat : 14674 (java) R 14659 14659 12870 0 -1 4202560 688 0 0 0 16 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897071925744 139897727802174 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14675] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14675/stat : 14675 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139895272106464 139897735575253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
[pid=14662/tid=14676] ppid=14659 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14662/task/14676/stat : 14676 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907175 15379423232 33483 33554432000 4194304 4196468 140735052569744 139897070873520 139897735576194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140735052575529 140735052575898 140735052575898 140735052578767 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 135328 KiB

[startup+1.50115 s]
/proc/loadavg: 2.23 2.09 2.06 4/235 14676
/proc/meminfo: memFree=29396424/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907168 115843072 349 33554432000 4194304 5098028 140736477296032 140736477293288 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 349 296 221 0 87 0

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

/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 583 29387 0 0 0 0 1162 41 20 0 1 0 404907168 115843072 369 33554432000 4194304 5098028 140736477296032 140736477292776 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 369 311 221 0 87 0
[pid=14677] ppid=14659 vsize=8068440 memory=119256 CPUtime=1.12 cores=0,2,4,6
/proc/14677/stat : 14677 (java) S 14659 14659 12870 0 -1 1077944320 20301 0 0 0 106 6 0 0 20 0 19 0 404907686 8262082560 29814 33554432000 4194304 4196468 140729427210832 140729427193376 140294349672183 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
/proc/14677/statm: 2017110 29814 3202 1 0 1978454 0
[pid=14692] ppid=14677 vsize=74536 memory=43748 CPUtime=0.4 cores=0,2,4,6
/proc/14692/stat : 14692 (cryptominisat5) R 14677 14659 12870 0 -1 4202496 11573 0 0 0 38 2 0 0 20 0 1 0 404907757 76324864 10937 33554432000 4194304 4451008 140723065881600 140723065877528 139969242474407 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 13078528 140723065889724 140723065889856 140723065889856 140723065892806 0
/proc/14692/statm: 18634 10937 640 63 0 12361 0
[pid=14677/tid=14678] ppid=14659 vsize=8068440 memory=6946899609025276245 CPUtime=0.74 cores=0,2,4,6
/proc/14677/task/14678/stat : 14678 (java) S 14659 14659 12870 0 -1 1077944384 17314 0 0 0 70 4 0 0 20 0 19 0 404907687 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294321512352 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14679] ppid=14659 vsize=8068440 memory=6946899609025276245 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14679/stat : 14679 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294353914384 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14680] ppid=14659 vsize=8068440 memory=6946899609025276245 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14680/stat : 14680 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293834439312 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14681] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14681/stat : 14681 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293833386256 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14682] ppid=14659 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14682/stat : 14682 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293832333712 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14683] ppid=14659 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14683/stat : 14683 (java) S 14659 14659 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404907689 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293796100848 140294349683330 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14684] ppid=14659 vsize=8068440 memory=976 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14684/stat : 14684 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293160560288 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14685] ppid=14659 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14685/stat : 14685 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292892124400 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14686] ppid=14659 vsize=8068440 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14686/stat : 14686 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292517616080 140294349690779 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14687] ppid=14659 vsize=8068440 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14687/stat : 14687 (java) S 14659 14659 12870 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293795047664 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14688] ppid=14659 vsize=8068440 memory=3467947165202749088 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14688/stat : 14688 (java) S 14659 14659 12870 0 -1 1077944384 403 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293793995120 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14689] ppid=14659 vsize=8068440 memory=-5345911735773989846 CPUtime=0.18 cores=0,2,4,6
/proc/14677/task/14689/stat : 14689 (java) S 14659 14659 12870 0 -1 1077944384 564 0 0 0 18 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293792942064 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14690] ppid=14659 vsize=8068440 memory=7379824646081242986 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14690/stat : 14690 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292019710304 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14691] ppid=14659 vsize=8068440 memory=6370177186043226726 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14691/stat : 14691 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907693 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293791890480 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14693] ppid=14659 vsize=8068440 memory=7523634178549181285 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14693/stat : 14693 (java) S 14659 14659 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404907757 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293783856960 140294349696793 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14695] ppid=14659 vsize=8068440 memory=7887619824144493131 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14695/stat : 14695 (java) S 14659 14659 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291482824592 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14696] ppid=14659 vsize=8068440 memory=56 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14696/stat : 14696 (java) S 14659 14659 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291214392848 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14697] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14697/stat : 14697 (java) S 14659 14659 12870 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404907760 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291617054000 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 8256104 KiB
Current children cumulated memory: 164480 KiB

[startup+6.68408 s]
# the end of solver process 14659 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.4618 s, system=0.510354 s

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

[startup+6.40117 s]
/proc/loadavg: 2.38 2.13 2.07 3/240 14697
/proc/meminfo: memFree=29388708/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1476 CPUtime=12.03 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 583 29387 0 0 0 0 1162 41 20 0 1 0 404907168 115843072 369 33554432000 4194304 5098028 140736477296032 140736477292776 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 369 311 221 0 87 0
[pid=14677] ppid=14659 vsize=8068440 memory=119256 CPUtime=1.12 cores=0,2,4,6
/proc/14677/stat : 14677 (java) S 14659 14659 12870 0 -1 1077944320 20301 0 0 0 106 6 0 0 20 0 19 0 404907686 8262082560 29814 33554432000 4194304 4196468 140729427210832 140729427193376 140294349672183 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
/proc/14677/statm: 2017110 29814 3202 1 0 1978454 0
[pid=14692] ppid=14677 vsize=74668 memory=43748 CPUtime=0.5 cores=0,2,4,6
/proc/14692/stat : 14692 (cryptominisat5) R 14677 14659 12870 0 -1 4202496 11620 0 0 0 48 2 0 0 20 0 1 0 404907757 76460032 10937 33554432000 4194304 4451008 140723065881600 140723065877528 139969242238704 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 13078528 140723065889724 140723065889856 140723065889856 140723065892806 0
/proc/14692/statm: 18667 10937 640 63 0 12394 0
[pid=14677/tid=14678] ppid=14659 vsize=8068440 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/14677/task/14678/stat : 14678 (java) S 14659 14659 12870 0 -1 1077944384 17314 0 0 0 70 4 0 0 20 0 19 0 404907687 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294321512352 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14679] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14679/stat : 14679 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294353914384 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14680] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14680/stat : 14680 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293834439312 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14681] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14681/stat : 14681 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293833386256 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14682] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14682/stat : 14682 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293832333712 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14683] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14683/stat : 14683 (java) S 14659 14659 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404907689 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293796100848 140294349683330 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14684] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14684/stat : 14684 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293160560288 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14685] ppid=14659 vsize=8068440 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14685/stat : 14685 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292892124400 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14686] ppid=14659 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14686/stat : 14686 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292517616080 140294349690779 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14687] ppid=14659 vsize=8068440 memory=744 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14687/stat : 14687 (java) S 14659 14659 12870 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293795047664 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14688] ppid=14659 vsize=8068440 memory=8296 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14688/stat : 14688 (java) S 14659 14659 12870 0 -1 1077944384 403 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293793995120 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14689] ppid=14659 vsize=8068440 memory=5948 CPUtime=0.18 cores=0,2,4,6
/proc/14677/task/14689/stat : 14689 (java) S 14659 14659 12870 0 -1 1077944384 564 0 0 0 18 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293792942064 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14690] ppid=14659 vsize=8068440 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14690/stat : 14690 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292019710304 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14691] ppid=14659 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14691/stat : 14691 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907693 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293791890480 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14693] ppid=14659 vsize=8068440 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14693/stat : 14693 (java) S 14659 14659 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404907757 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293783856960 140294349696793 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14695] ppid=14659 vsize=8068440 memory=8025788818473374820 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14695/stat : 14695 (java) S 14659 14659 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291482824592 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14696] ppid=14659 vsize=8068440 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14696/stat : 14696 (java) S 14659 14659 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291214392848 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14697] ppid=14659 vsize=8068440 memory=-5874771483550381248 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14697/stat : 14697 (java) S 14659 14659 12870 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404907760 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291617054000 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
Current children cumulated CPU time: 13.65 s
Current children cumulated vsize: 8256236 KiB
Current children cumulated memory: 164480 KiB

[startup+6.60093 s]
/proc/loadavg: 2.38 2.13 2.07 3/240 14697
/proc/meminfo: memFree=29388708/32770624 swapFree=66932776/67108860
[pid=14659] ppid=14656 vsize=113128 memory=1476 CPUtime=12.03 cores=0,2,4,6
/proc/14659/stat : 14659 (scop.sh) S 14656 14659 12870 0 -1 4202496 583 29387 0 0 0 0 1162 41 20 0 1 0 404907168 115843072 369 33554432000 4194304 5098028 140736477296032 140736477292776 140687556735612 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37183488 140736477299555 140736477299824 140736477299824 140736477302733 0
/proc/14659/statm: 28282 369 311 221 0 87 0
[pid=14677] ppid=14659 vsize=8068440 memory=119256 CPUtime=1.12 cores=0,2,4,6
/proc/14677/stat : 14677 (java) S 14659 14659 12870 0 -1 1077944320 20303 0 0 0 106 6 0 0 20 0 19 0 404907686 8262082560 29814 33554432000 4194304 4196468 140729427210832 140729427193376 140294349672183 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
/proc/14677/statm: 2017110 29814 3202 1 0 1978454 0
[pid=14692] ppid=14677 vsize=74668 memory=44004 CPUtime=0.7 cores=0,2,4,6
/proc/14692/stat : 14692 (cryptominisat5) R 14677 14659 12870 0 -1 4202496 11654 0 0 0 68 2 0 0 20 0 1 0 404907757 76460032 11001 33554432000 4194304 4451008 140723065881600 140723065877528 139969242231148 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 13078528 140723065889724 140723065889856 140723065889856 140723065892806 0
/proc/14692/statm: 18667 11001 640 63 0 12394 0
[pid=14677/tid=14678] ppid=14659 vsize=8068440 memory=32356 CPUtime=0.74 cores=0,2,4,6
/proc/14677/task/14678/stat : 14678 (java) S 14659 14659 12870 0 -1 1077944384 17314 0 0 0 70 4 0 0 20 0 19 0 404907687 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294321512352 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14679] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14679/stat : 14679 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140294353914384 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14680] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14680/stat : 14680 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293834439312 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14681] ppid=14659 vsize=8068440 memory=119256 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14681/stat : 14681 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293833386256 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14682] ppid=14659 vsize=8068440 memory=280259232691696 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14682/stat : 14682 (java) S 14659 14659 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404907688 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293832333712 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14683] ppid=14659 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14683/stat : 14683 (java) S 14659 14659 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404907689 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293796100848 140294349683330 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14684] ppid=14659 vsize=8068440 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14684/stat : 14684 (java) S 14659 14659 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293160560288 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14685] ppid=14659 vsize=8068440 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14685/stat : 14685 (java) S 14659 14659 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404907690 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292892124400 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14686] ppid=14659 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14686/stat : 14686 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292517616080 140294349690779 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14687] ppid=14659 vsize=8068440 memory=11928 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14687/stat : 14687 (java) S 14659 14659 12870 0 -1 1077944384 634 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293795047664 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14688] ppid=14659 vsize=8068440 memory=7518590701213671769 CPUtime=0.08 cores=0,2,4,6
/proc/14677/task/14688/stat : 14688 (java) S 14659 14659 12870 0 -1 1077944384 403 0 0 0 8 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293793995120 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14689] ppid=14659 vsize=8068440 memory=7883385556664607062 CPUtime=0.18 cores=0,2,4,6
/proc/14677/task/14689/stat : 14689 (java) S 14659 14659 12870 0 -1 1077944384 564 0 0 0 18 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293792942064 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14690] ppid=14659 vsize=8068440 memory=7151829807201800272 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14690/stat : 14690 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907692 8262082560 29814 33554432000 4194304 4196468 140729427210832 140292019710304 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14691] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14691/stat : 14691 (java) S 14659 14659 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404907693 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293791890480 140294349683330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14693] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14693/stat : 14693 (java) S 14659 14659 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404907757 8262082560 29814 33554432000 4194304 4196468 140729427210832 140293783856960 140294349696793 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14695] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14695/stat : 14695 (java) S 14659 14659 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291482824592 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14696] ppid=14659 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14696/stat : 14696 (java) S 14659 14659 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404907758 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291214392848 140294349694109 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
[pid=14677/tid=14697] ppid=14659 vsize=8068440 memory=280259233379888 CPUtime=0 cores=0,2,4,6
/proc/14677/task/14697/stat : 14697 (java) S 14659 14659 12870 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404907760 8262082560 29814 33554432000 4194304 4196468 140729427210832 140291617054000 140294349682389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33939456 140729427219451 140729427219610 140729427219610 140729427222479 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 8256236 KiB
Current children cumulated memory: 164736 KiB

Child status: 0
Real time (s): 6.68412
CPU time (s): 13.9722
CPU user time (s): 13.4618
CPU system time (s): 0.510354
CPU usage (%): 209.035
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1780556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4618
system time used= 0.510354
maximum resident set size= 1784532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5789
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 14659
#   total CPU time (s): 13.9722
#   total CPU user time (s): 13.4618
#   total CPU system time (s): 0.510354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069849 second user time and 0.109603 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 13:05:18
IDJOB=4387624
IDBENCH=120900
IDSOLVER=2826
FILE ID=node151/4387624-1568286357
RUNJOBID= node151-1568286070-13983
PBS_JOBID= 21701060
Free space on /tmp= 56380 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-050-05-mul.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-4387624-1568286357/watcher-4387624-1568286357 -o /tmp/evaluation-result-4387624-1568286357/solver-4387624-1568286357 -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-4387624-1568286357.xml

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

MD5SUM BENCH= 0dc4c2f273d2e82d82a6e1c594dd299c
RANDOM SEED=681701813

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:        29539424 kB
MemAvailable:   30219288 kB
Buffers:           98544 kB
Cached:           870176 kB
SwapCached:        73240 kB
Active:          2250200 kB
Inactive:         426804 kB
Active(anon):    1642944 kB
Inactive(anon):    96264 kB
Active(file):     607256 kB
Inactive(file):   330540 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932776 kB
Dirty:             20640 kB
Writeback:             0 kB
AnonPages:       1836820 kB
Mapped:            46116 kB
Shmem:             22044 kB
Slab:             144456 kB
SReclaimable:     115808 kB
SUnreclaim:        28648 kB
KernelStack:        4112 kB
PageTables:         8392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7545320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    886784 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= 56360 MiB
End job on node151 at 2019-09-12 13:05:25