Trace number 4387867

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 1031.35 880.322

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000b-int.xml
MD5SUMfdcb353b2918313db809b139313e7b9f
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 benchmark492.922
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
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-8181-serial-file.bin HOME/instance-4387867-1568291501.xml
0.67/0.52	
0.67/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Thu Sep 12 14:31:04 CEST 2019
0.67/0.54	c PID: 8184
0.67/0.54	c IP: 172.20.3.124
0.67/0.54	c HOST: node124.alineos.net
0.67/0.55	c (0,0) Parsing Begin
113.75/87.52	c (87,80) Parsing End
113.75/87.54	c (87,80) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
113.75/87.54	c (87,80) Heap : 3110 MiB used (max 10757 MiB), NonHeap : 24 MiB used (max 0 MiB)
113.75/87.54	c (87,80) Constraint Name Generate Begin
118.65/92.29	c (91,85) Ctr:HOME/instance-4387867-1568291501.xml,Eq:Imp:Le:Num:Var
118.65/92.29	c (91,85) Constraint Name Generate End
118.65/92.29	c (91,85) Heap : 4551 MiB used (max 10757 MiB), NonHeap : 24 MiB used (max 0 MiB)
118.65/92.29	c (91,85) CSP to CSPinCNF Begin
130.44/99.63	c (99,91) translated 199800 (10%) constraints
136.32/105.40	c (104,97) translated 399600 (20%) constraints
145.19/111.96	c (111,102) translated 599400 (30%) constraints
152.22/118.03	c (117,108) translated 799200 (40%) constraints
157.91/123.79	c (123,114) translated 999000 (50%) constraints
165.60/130.11	c (129,120) translated 1198800 (60%) constraints
171.51/136.05	c (135,126) translated 1398600 (70%) constraints
178.83/142.34	c (141,132) translated 1598400 (80%) constraints
184.73/148.29	c (147,138) translated 1798200 (90%) constraints
192.43/154.66	c (154,144) translated 1998000 (100%) constraints
192.43/154.66	c (154,144) ===========================================
192.68/154.89	c (154,144) Hybrid: #OE=1000, #LE=0
192.68/154.89	c (154,144) Hybrid
192.68/154.89	c (154,144) ===========================================
196.45/157.93	c (157,147) translated 199800 (10%) constraints
199.46/160.97	c (160,150) translated 399600 (20%) constraints
203.89/164.29	c (163,153) translated 599400 (30%) constraints
206.89/167.23	c (166,156) translated 799200 (40%) constraints
209.81/170.18	c (169,159) translated 999000 (50%) constraints
227.57/184.46	c (183,172) translated 1198800 (60%) constraints
244.77/198.69	c (198,186) translated 1398600 (70%) constraints
259.98/212.20	c (211,199) translated 1598400 (80%) constraints
277.62/226.81	c (226,212) translated 1798200 (90%) constraints
295.03/240.90	c (240,225) translated 1998000 (100%) constraints
295.03/240.91	c (240,225) CSP to CSPinCNF End
295.35/241.20	c (240,225) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
295.35/241.20	c (240,225) Heap : 7923 MiB used (max 10832 MiB), NonHeap : 27 MiB used (max 0 MiB)
295.35/241.20	c (240,225) CSPinCNF Propagation Begin
1013.69/870.90	c (870,825) 1722360 values, 2597771 unsatisfiable literals, and 3564861 valid clauses are removed
1013.69/870.90	c (870,825) CSPinCNF Propagation End
1014.09/871.26	c (870,826) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1014.09/871.26	c (870,826) Heap : 8217 MiB used (max 10844 MiB), NonHeap : 26 MiB used (max 0 MiB)
1014.31/871.42	c (870,826) Hybrid: #OE=1000000, #LE=0
1014.31/871.42	c (870,826) Simplify CSPinCNF Begin
1015.27/872.15	c (871,827) Simplify CSPinCNF End
1015.66/872.51	c (871,827) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1015.66/872.51	c (871,827) Heap : 8627 MiB used (max 10844 MiB), NonHeap : 26 MiB used (max 0 MiB)
1015.66/872.51	c (871,827) Calculate Precise Domain Begin
1015.66/872.51	c (871,827) 0 values are removed by re-calculation
1015.66/872.51	c (871,827) Calculate Precise Domain End
1015.96/872.88	c (872,827) CSP: 986 int (0 aux), 999014 bool (999000 aux), 431139 ctr, max domain size 790
1015.96/872.88	c (872,827) Heap : 8627 MiB used (max 10844 MiB), NonHeap : 26 MiB used (max 0 MiB)
1015.96/872.88	c (872,827) CSPinCNF to SatSolver Begin
1022.79/875.53	c (875,829) 43114 (10 %) CSP clauses are encoded (0 SAT variables, 179014 SAT clauses)
1023.14/875.82	c (875,829) 86228 (20 %) CSP clauses are encoded (0 SAT variables, 222128 SAT clauses)
1023.35/876.10	c (875,830) 129342 (30 %) CSP clauses are encoded (0 SAT variables, 265242 SAT clauses)
1023.64/876.37	c (875,830) 172456 (40 %) CSP clauses are encoded (0 SAT variables, 308356 SAT clauses)
1023.95/876.64	c (876,830) 215570 (50 %) CSP clauses are encoded (0 SAT variables, 351470 SAT clauses)
1024.25/876.91	c (876,831) 258684 (60 %) CSP clauses are encoded (0 SAT variables, 394584 SAT clauses)
1024.46/877.18	c (876,831) 301798 (70 %) CSP clauses are encoded (0 SAT variables, 437698 SAT clauses)
1028.60/878.41	c (877,831) 344912 (80 %) CSP clauses are encoded (0 SAT variables, 480812 SAT clauses)
1028.80/878.68	c (878,831) 388026 (90 %) CSP clauses are encoded (0 SAT variables, 523926 SAT clauses)
1029.10/878.95	c (878,832) 431139 (100 %) CSP clauses are encoded (0 SAT variables, 567039 SAT clauses)
1029.10/878.95	c (878,832) CSPinCNF to SatSolver End
1029.10/878.95	c (878,832) Heap : 7002 MiB used (max 10717 MiB), NonHeap : 28 MiB used (max 0 MiB)
1029.10/878.95	c (878,832) 274640 bool, 567040 clause
1029.10/878.95	c (878,832) Export Begin
1029.28/879.09	c (878,832) Export to HOME/scop-8181-serial-file.bin
1029.28/879.09	c (878,832) Export End
1029.28/879.09	c (878,832) Export File Size: 0.16 MB
1029.28/879.09	c (878,832) 87,91,240,870,871,872,878,STOP-AFTER(DIMACS)
1029.28/879.09	c END-Prog: Thu Sep 12 14:45:42 CEST 2019
0.00/879.15	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8181-serial-file.bin
1029.57/879.61	c (0,0) Read Serial File Begin
1029.57/879.61	c (0,0) HOME/scop-8181-serial-file.bin
1029.57/879.87	c (0,0) Read Serial File End
1029.57/879.88	
1029.57/879.88	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
1029.57/879.88	(Solving Process)
1029.57/879.88	
1029.57/879.91	c BEGIN-Prog: Thu Sep 12 14:45:43 CEST 2019
1029.57/879.91	c PID: 8375
1029.57/879.91	c IP: 172.20.3.124
1029.57/879.91	c HOST: node124.alineos.net
1029.57/879.91	c (0,0) SatSolver.solve Begin
1029.57/879.91	c (0,0) HOME/cryptominisat5  HOME/instance-4387867-1568291501.xml-scop-8184.cnf
1029.57/879.94	c (0,0) c Outputting solution to console
1029.57/879.94	c (0,0) c CryptoMiniSat version 5.6.8
1029.57/879.94	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
1029.57/879.94	c (0,0) c CMS SHA revision GIT-notfound
1029.57/879.94	c (0,0) c CMS is MIT licensed
1029.57/879.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
1029.57/879.94	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
1029.57/879.94	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387867-1568291501.xml-scop-8184.cnf
1029.57/879.94	c (0,0) c Reading file 'HOME/instance-4387867-1568291501.xml-scop-8184.cnf'
1029.57/879.94	c (0,0) c -- header says num vars:         274640
1029.57/879.94	c (0,0) c -- header says num clauses:      567040
1031.09/880.16	c (0,0) c -- clauses added: 567040
1031.09/880.16	c (0,0) c -- xor clauses added: 0
1031.09/880.16	c (0,0) c -- vars added 274640
1031.09/880.16	c (0,0) c Parsing time: 0.20 s
1031.18/880.27	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
1031.18/880.27	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
1031.18/880.27	c (0,0) c UIP search time          : 0.11        (34.20     % time)
1031.18/880.27	c (0,0) c restarts                 : 1           (9.00      confls per restart)
1031.18/880.27	c (0,0) c blocked restarts         : 0           (0.00      per normal restart)
1031.18/880.27	c (0,0) c time                     : 0.11        
1031.18/880.27	c (0,0) c decisions                : 19          (0.00      % random)
1031.18/880.27	c (0,0) c propagations             : 540892      
1031.18/880.27	c (0,0) c decisions/conflicts      : 2.11        
1031.18/880.27	c (0,0) c conflicts                : 9           (84.93     / sec)
1031.18/880.27	c (0,0) c conf lits non-minim      : 349         (38.78     lit/confl)
1031.18/880.27	c (0,0) c conf lits final          : 18.67       
1031.18/880.27	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
1031.18/880.27	c (0,0) c red which0               : 5           (55.56     % of confl)
1031.18/880.27	c (0,0) c props/decision           : 0.00        
1031.18/880.27	c (0,0) c props/conflict           : 0.00        
1031.18/880.27	c (0,0) c 0-depth assigns          : 183423      (66.79     % vars)
1031.18/880.27	c (0,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
1031.18/880.27	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c [occur] 0.00 is overhead
1031.18/880.27	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
1031.18/880.27	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
1031.18/880.27	c (0,0) c SCC time                 : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
1031.18/880.27	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c vrep tree roots          : 0           
1031.18/880.27	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
1031.18/880.27	c (0,0) c distill time             : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
1031.18/880.27	c (0,0) c Conflicts in UIP         : 9           (29.05     confl/time_this_thread)
1031.18/880.27	c (0,0) c Mem used                 : 73.65       MB
1031.18/880.27	c (0,0) c Total time (this thread) : 0.31        
1031.18/880.27	c (0,0) s UNSATISFIABLE
1031.29/880.31	c (0,0) SatSolver.solve End
1031.29/880.31	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1031.29/880.31	c (0,0) Show results Begin
1031.29/880.31	s UNSATISFIABLE
1031.29/880.31	c (0,0) Show results End
1031.29/880.31	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1031.29/880.31	c (0,0) 0,0,STOP-AFTER(ALL)
1031.29/880.31	c END-Prog: Thu Sep 12 14:45:44 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 (7310 MiB free)
  memory of node 1: 16384 MiB (9362 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387867-1568291501/watcher-4387867-1568291501 -o /tmp/evaluation-result-4387867-1568291501/solver-4387867-1568291501 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6492 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387867-1568291501.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8181, runsolver pid=8178
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.08 3.59 2.96 5/235 8198
/proc/meminfo: memFree=17015984/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405090500 115843072 349 33554432000 4194304 5098028 140730096983856 140730096981112 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 349 296 221 0 87 0
[pid=8184] ppid=8181 vsize=15012696 memory=72924 CPUtime=0.12 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8181 5595 0 -1 1077944320 6998 0 0 0 10 2 0 0 20 0 15 0 405090500 15373000704 18231 33554432000 4194304 4196468 140733231285088 140733231267632 140074239524599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
/proc/8184/statm: 3753174 18231 2942 1 0 3715579 0
[pid=8184/tid=8185] ppid=8181 vsize=15012696 memory=-2843869603858007198 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8185/stat : 8185 (java) R 8181 8181 5595 0 -1 4202560 4814 0 0 0 8 1 0 0 20 0 15 0 405090501 15373000704 18231 33554432000 4194304 4196468 140733231285088 140074211319760 140074239546525 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8186] ppid=8181 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8186/stat : 8186 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 18231 33554432000 4194304 4196468 140733231285088 140074243767440 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8187] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8187/stat : 8187 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 18231 33554432000 4194304 4196468 140733231285088 140074057923600 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8188] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8188/stat : 8188 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 18231 33554432000 4194304 4196468 140733231285088 140074056870800 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8189] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8189/stat : 8189 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 18231 33554432000 4194304 4196468 140733231285088 140074055818000 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8190] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8190/stat : 8190 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 18297 33554432000 4194304 4196468 140733231285088 140073578252656 140074239535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8191] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8191/stat : 8191 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 18297 33554432000 4194304 4196468 140733231285088 140072808604704 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8192] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8192/stat : 8192 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 18297 33554432000 4194304 4196468 140733231285088 140072573723504 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8193] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8193/stat : 8193 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140072199214928 140074239543195 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8194] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8194/stat : 8194 (java) S 8181 8181 5595 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140073577200496 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8195] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8195/stat : 8195 (java) S 8181 8181 5595 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140073576147696 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8196] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0.01 cores=1,3,5,7
/proc/8184/task/8196/stat : 8196 (java) S 8181 8181 5595 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140073575094896 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8197] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8197/stat : 8197 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140071701310176 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8198] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8198/stat : 8198 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 18297 33554432000 4194304 4196468 140733231285088 140073574042288 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74320 KiB

[startup+0.210991 s]*
/proc/loadavg: 3.08 3.59 2.96 3/235 8198
/proc/meminfo: memFree=17002872/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405090500 115843072 349 33554432000 4194304 5098028 140730096983856 140730096981112 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 349 296 221 0 87 0
[pid=8184] ppid=8181 vsize=15012696 memory=87996 CPUtime=0.25 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8181 5595 0 -1 1077944320 12113 0 0 0 22 3 0 0 20 0 15 0 405090500 15373000704 21999 33554432000 4194304 4196468 140733231285088 140733231267632 140074239524599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
/proc/8184/statm: 3753174 21999 2948 1 0 3715579 0
[pid=8184/tid=8185] ppid=8181 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8184/task/8185/stat : 8185 (java) R 8181 8181 5595 0 -1 4202560 9870 0 0 0 17 3 0 0 20 0 15 0 405090501 15373000704 22065 33554432000 4194304 4196468 140733231285088 140074211339840 140074239546525 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8186] ppid=8181 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8186/stat : 8186 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22065 33554432000 4194304 4196468 140733231285088 140074243767440 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8187] ppid=8181 vsize=15012696 memory=139720546809721 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8187/stat : 8187 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22065 33554432000 4194304 4196468 140733231285088 140074057923600 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8188] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8188/stat : 8188 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22065 33554432000 4194304 4196468 140733231285088 140074056870800 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8189] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8189/stat : 8189 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22065 33554432000 4194304 4196468 140733231285088 140074055818000 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8190] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8190/stat : 8190 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22065 33554432000 4194304 4196468 140733231285088 140073578252656 140074239535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8191] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8191/stat : 8191 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22065 33554432000 4194304 4196468 140733231285088 140072808604704 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8192] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8192/stat : 8192 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22065 33554432000 4194304 4196468 140733231285088 140072573723504 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8193] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8193/stat : 8193 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140072199214928 140074239543195 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8194] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8194/stat : 8194 (java) S 8181 8181 5595 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140073577200496 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8195] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8195/stat : 8195 (java) S 8181 8181 5595 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140073576147696 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8196] ppid=8181 vsize=15012696 memory=139720546801280 CPUtime=0.03 cores=1,3,5,7
/proc/8184/task/8196/stat : 8196 (java) S 8181 8181 5595 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140073575094896 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8197] ppid=8181 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8197/stat : 8197 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140071701310176 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8198] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8198/stat : 8198 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22065 33554432000 4194304 4196468 140733231285088 140073574042288 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89392 KiB

[startup+0.310861 s]*
/proc/loadavg: 3.08 3.59 2.96 3/235 8198
/proc/meminfo: memFree=17004216/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405090500 115843072 349 33554432000 4194304 5098028 140730096983856 140730096981112 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 349 296 221 0 87 0
[pid=8184] ppid=8181 vsize=15012696 memory=91944 CPUtime=0.43 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8181 5595 0 -1 1077944320 13047 0 0 0 40 3 0 0 20 0 15 0 405090500 15373000704 22986 33554432000 4194304 4196468 140733231285088 140733231267632 140074239524599 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
/proc/8184/statm: 3753174 22986 3060 1 0 3715579 0
[pid=8184/tid=8185] ppid=8181 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8184/task/8185/stat : 8185 (java) R 8181 8181 5595 0 -1 4202560 10606 0 0 0 27 3 0 0 20 0 15 0 405090501 15373000704 22986 33554432000 4194304 4196468 140733231285088 140074211307616 140074220898378 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8186] ppid=8181 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8186/stat : 8186 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22986 33554432000 4194304 4196468 140733231285088 140074243767440 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8187] ppid=8181 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8187/stat : 8187 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22986 33554432000 4194304 4196468 140733231285088 140074057923600 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8188] ppid=8181 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8188/stat : 8188 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22986 33554432000 4194304 4196468 140733231285088 140074056870800 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8189] ppid=8181 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8189/stat : 8189 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090502 15373000704 22986 33554432000 4194304 4196468 140733231285088 140074055818000 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8190] ppid=8181 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8190/stat : 8190 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22986 33554432000 4194304 4196468 140733231285088 140073578252656 140074239535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8191] ppid=8181 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8191/stat : 8191 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22986 33554432000 4194304 4196468 140733231285088 140072808604704 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8192] ppid=8181 vsize=15012696 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8192/stat : 8192 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090504 15373000704 22986 33554432000 4194304 4196468 140733231285088 140072573723504 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8193] ppid=8181 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8193/stat : 8193 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140072199214928 140074239543195 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8194] ppid=8181 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8184/task/8194/stat : 8194 (java) S 8181 8181 5595 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140073577200496 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8195] ppid=8181 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8184/task/8195/stat : 8195 (java) S 8181 8181 5595 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140073576147696 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8196] ppid=8181 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8184/task/8196/stat : 8196 (java) S 8181 8181 5595 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140073575094896 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8197] ppid=8181 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8197/stat : 8197 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140071701310176 140074239534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8198] ppid=8181 vsize=15012696 memory=3691040950319200047 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8198/stat : 8198 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090507 15373000704 22986 33554432000 4194304 4196468 140733231285088 140073574042288 140074239535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93340 KiB

[startup+0.70167 s]
/proc/loadavg: 3.08 3.59 2.96 3/235 8198
/proc/meminfo: memFree=16988072/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405090500 115843072 349 33554432000 4194304 5098028 140730096983856 140730096981112 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 349 296 221 0 87 0
[pid=8184] ppid=8181 vsize=15018968 memory=131756 CPUtime=1.05 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8181 5595 0 -1 1077944320 20163 0 0 0 100 5 0 0 20 0 15 0 405090500 15379423232 32939 33554432000 4194304 4196468 140733231285088 140733231267632 140074239524599 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
/proc/8184/statm: 3754742 32939 3191 1 0 3716091 0
[pid=8184/tid=8185] ppid=8181 vsize=15018968 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/8184/task/8185/stat : 8185 (java) R 8181 8181 5595 0 -1 4202560 17147 0 0 0 63 4 0 0 20 0 15 0 405090501 15379423232 32939 33554432000 4194304 4196468 140733231285088 140074211354992 140073733742504 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8186] ppid=8181 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8186/stat : 8186 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15379423232 32939 33554432000 4194304 4196468 140733231285088 140074243767440 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8187] ppid=8181 vsize=15018968 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8187/stat : 8187 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15379423232 32939 33554432000 4194304 4196468 140733231285088 140074057923600 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8188] ppid=8181 vsize=15018968 memory=37328 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8188/stat : 8188 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090502 15379423232 32939 33554432000 4194304 4196468 140733231285088 140074056870800 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8189] ppid=8181 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8189/stat : 8189 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405090502 15379423232 32939 33554432000 4194304 4196468 140733231285088 140074055818000 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8190] ppid=8181 vsize=15018968 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8190/stat : 8190 (java) S 8181 8181 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405090504 15379423232 32939 33554432000 4194304 4196468 140733231285088 140073578252656 140074239535746 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8191] ppid=8181 vsize=15018968 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8191/stat : 8191 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405090504 15379423232 32939 33554432000 4194304 4196468 140733231285088 140072808604704 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8192] ppid=8181 vsize=15018968 memory=580 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8192/stat : 8192 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090504 15379423232 32939 33554432000 4194304 4196468 140733231285088 140072573723504 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8193] ppid=8181 vsize=15018968 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8193/stat : 8193 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140072199214928 140074239543195 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8194] ppid=8181 vsize=15018968 memory=10604 CPUtime=0.07 cores=1,3,5,7
/proc/8184/task/8194/stat : 8194 (java) R 8181 8181 5595 0 -1 4202560 489 0 0 0 7 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140073577190416 140074232241751 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8195] ppid=8181 vsize=15018968 memory=3360 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8195/stat : 8195 (java) R 8181 8181 5595 0 -1 4202560 517 0 0 0 10 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140073576133456 140074224433503 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8196] ppid=8181 vsize=15018968 memory=776 CPUtime=0.18 cores=1,3,5,7
/proc/8184/task/8196/stat : 8196 (java) R 8181 8181 5595 0 -1 4202560 677 0 0 0 18 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140073575091832 140074218451514 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8197] ppid=8181 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8197/stat : 8197 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140071701310176 140074239534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
[pid=8184/tid=8198] ppid=8181 vsize=15018968 memory=5960 CPUtime=0 cores=1,3,5,7
/proc/8184/task/8198/stat : 8198 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405090507 15379423232 32939 33554432000 4194304 4196468 140733231285088 140073574042288 140074239535746 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15986688 140733231289130 140733231289498 140733231289498 140733231292367 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133152 KiB

[startup+1.50086 s]
/proc/loadavg: 3.08 3.59 2.96 3/235 8198
/proc/meminfo: memFree=16864956/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405090500 115843072 349 33554432000 4194304 5098028 140730096983856 140730096981112 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 1029.57 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+880 s]*
/proc/loadavg: 2.08 2.17 2.44 3/239 8395
/proc/meminfo: memFree=16998308/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1476 CPUtime=1029.57 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 582 215386 0 0 0 0 102078 879 20 0 1 0 405090500 115843072 369 33554432000 4194304 5098028 140730096983856 140730096980600 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 369 311 221 0 87 0
[pid=8375] ppid=8181 vsize=8068440 memory=121040 CPUtime=1.35 cores=1,3,5,7
/proc/8375/stat : 8375 (java) S 8181 8181 5595 0 -1 1077944320 19731 0 0 0 128 7 0 0 20 0 19 0 405178416 8262082560 30260 33554432000 4194304 4196468 140729420985808 140729420968352 140304894443255 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
/proc/8375/statm: 2017110 30260 3201 1 0 1978454 0
[pid=8390] ppid=8375 vsize=77500 memory=54596 CPUtime=0.06 cores=1,3,5,7
/proc/8390/stat : 8390 (cryptominisat5) R 8375 8181 5595 0 -1 4202496 10248 0 0 0 5 1 0 0 20 0 1 0 405178494 79360000 13649 33554432000 4194304 4451008 140731491039200 140731491034504 139822241424512 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29921280 140731491042237 140731491042368 140731491042368 140731491045318 0
/proc/8390/statm: 19375 13649 612 63 0 13102 0
[pid=8375/tid=8376] ppid=8181 vsize=8068440 memory=14048 CPUtime=0.8 cores=1,3,5,7
/proc/8375/task/8376/stat : 8376 (java) S 8181 8181 5595 0 -1 1077944384 16360 0 0 0 74 6 0 0 20 0 19 0 405178416 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304866283424 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8377] ppid=8181 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8377/stat : 8377 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304898685200 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8378] ppid=8181 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8378/stat : 8378 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304704448912 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8379] ppid=8181 vsize=8068440 memory=500 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8379/stat : 8379 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304378923536 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8380] ppid=8181 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8380/stat : 8380 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304377870992 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8381] ppid=8181 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8381/stat : 8381 (java) S 8181 8181 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304139434480 140304894454402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8382] ppid=8181 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8382/stat : 8382 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30260 33554432000 4194304 4196468 140729420985808 140303763760544 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8383] ppid=8181 vsize=8068440 memory=824 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8383/stat : 8383 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178420 8262082560 30260 33554432000 4194304 4196468 140729420985808 140303495325168 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8384] ppid=8181 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8384/stat : 8384 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30260 33554432000 4194304 4196468 140729420985808 140303120816848 140304894461851 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8385] ppid=8181 vsize=8068440 memory=4872558044660077418 CPUtime=0.14 cores=1,3,5,7
/proc/8375/task/8385/stat : 8385 (java) S 8181 8181 5595 0 -1 1077944384 463 0 0 0 14 0 0 0 20 0 19 0 405178422 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304138381296 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8386] ppid=8181 vsize=8068440 memory=1808 CPUtime=0.16 cores=1,3,5,7
/proc/8375/task/8386/stat : 8386 (java) S 8181 8181 5595 0 -1 1077944384 899 0 0 0 16 0 0 0 20 0 19 0 405178422 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304137328752 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8387] ppid=8181 vsize=8068440 memory=924 CPUtime=0.22 cores=1,3,5,7
/proc/8375/task/8387/stat : 8387 (java) S 8181 8181 5595 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 19 0 405178422 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304136276208 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8388] ppid=8181 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8388/stat : 8388 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30260 33554432000 4194304 4196468 140729420985808 140302622911072 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8389] ppid=8181 vsize=8068440 memory=11809304 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8389/stat : 8389 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178423 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304135224112 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8391] ppid=8181 vsize=8068440 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8391/stat : 8391 (java) S 8181 8181 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30260 33554432000 4194304 4196468 140729420985808 140304127190592 140304894467865 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8393] ppid=8181 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8393/stat : 8393 (java) S 8181 8181 5595 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30260 33554432000 4194304 4196468 140729420985808 140302086025392 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8394] ppid=8181 vsize=8068440 memory=11809304 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8394/stat : 8394 (java) S 8181 8181 5595 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30260 33554432000 4194304 4196468 140729420985808 140301951802672 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8395] ppid=8181 vsize=8068440 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8395/stat : 8395 (java) S 8181 8181 5595 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405178496 8262082560 30260 33554432000 4194304 4196468 140729420985808 140302220254256 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
Current children cumulated CPU time: 1030.98 s
Current children cumulated vsize: 8259068 KiB
Current children cumulated memory: 177112 KiB

[startup+880.201 s]
/proc/loadavg: 2.08 2.17 2.44 3/239 8395
/proc/meminfo: memFree=16998308/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1476 CPUtime=1029.57 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 582 215386 0 0 0 0 102078 879 20 0 1 0 405090500 115843072 369 33554432000 4194304 5098028 140730096983856 140730096980600 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 369 311 221 0 87 0
[pid=8375] ppid=8181 vsize=8068440 memory=121164 CPUtime=1.35 cores=1,3,5,7
/proc/8375/stat : 8375 (java) S 8181 8181 5595 0 -1 1077944320 19733 0 0 0 128 7 0 0 20 0 19 0 405178416 8262082560 30291 33554432000 4194304 4196468 140729420985808 140729420968352 140304894443255 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
/proc/8375/statm: 2017110 30291 3220 1 0 1978454 0
[pid=8390] ppid=8375 vsize=98204 memory=73712 CPUtime=0.26 cores=1,3,5,7
/proc/8390/stat : 8390 (cryptominisat5) R 8375 8181 5595 0 -1 4202496 15363 0 0 0 24 2 0 0 20 0 1 0 405178494 100560896 18428 33554432000 4194304 4451008 140731491039200 140731491034504 139822257625008 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29921280 140731491042237 140731491042368 140731491042368 140731491045318 0
/proc/8390/statm: 24551 18428 629 63 0 18278 0
[pid=8375/tid=8376] ppid=8181 vsize=8068440 memory=14048 CPUtime=0.8 cores=1,3,5,7
/proc/8375/task/8376/stat : 8376 (java) S 8181 8181 5595 0 -1 1077944384 16360 0 0 0 74 6 0 0 20 0 19 0 405178416 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304866283424 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8377] ppid=8181 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8377/stat : 8377 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304898685200 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8378] ppid=8181 vsize=8068440 memory=580 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8378/stat : 8378 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304704448912 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8379] ppid=8181 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8379/stat : 8379 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304378923536 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8380] ppid=8181 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8380/stat : 8380 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304377870992 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8381] ppid=8181 vsize=8068440 memory=3372 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8381/stat : 8381 (java) S 8181 8181 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304139434480 140304894454402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8382] ppid=8181 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8382/stat : 8382 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303763760544 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8383] ppid=8181 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8383/stat : 8383 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178420 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303495325168 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8384] ppid=8181 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8384/stat : 8384 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303120816848 140304894461851 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8385] ppid=8181 vsize=8068440 memory=11809304 CPUtime=0.14 cores=1,3,5,7
/proc/8375/task/8385/stat : 8385 (java) S 8181 8181 5595 0 -1 1077944384 463 0 0 0 14 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304138381296 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8386] ppid=8181 vsize=8068440 memory=3360 CPUtime=0.16 cores=1,3,5,7
/proc/8375/task/8386/stat : 8386 (java) S 8181 8181 5595 0 -1 1077944384 901 0 0 0 16 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304137328752 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8387] ppid=8181 vsize=8068440 memory=776 CPUtime=0.22 cores=1,3,5,7
/proc/8375/task/8387/stat : 8387 (java) S 8181 8181 5595 0 -1 1077944384 598 0 0 0 22 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304136276208 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8388] ppid=8181 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8388/stat : 8388 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302622911072 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8389] ppid=8181 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8389/stat : 8389 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178423 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304135224112 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8391] ppid=8181 vsize=8068440 memory=580 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8391/stat : 8391 (java) S 8181 8181 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304127190592 140304894467865 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8393] ppid=8181 vsize=8068440 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8393/stat : 8393 (java) S 8181 8181 5595 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302086025392 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8394] ppid=8181 vsize=8068440 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8394/stat : 8394 (java) S 8181 8181 5595 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140301951802672 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8395] ppid=8181 vsize=8068440 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8395/stat : 8395 (java) S 8181 8181 5595 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405178496 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302220254256 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
Current children cumulated CPU time: 1031.18 s
Current children cumulated vsize: 8279772 KiB
Current children cumulated memory: 196352 KiB

[startup+880.301 s]
/proc/loadavg: 2.08 2.17 2.44 3/239 8395
/proc/meminfo: memFree=16998308/32770624 swapFree=66959212/67108860
[pid=8181] ppid=8178 vsize=113128 memory=1476 CPUtime=1029.57 cores=1,3,5,7
/proc/8181/stat : 8181 (scop.sh) S 8178 8181 5595 0 -1 4202496 582 215386 0 0 0 0 102078 879 20 0 1 0 405090500 115843072 369 33554432000 4194304 5098028 140730096983856 140730096980600 140094404600444 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34578432 140730096989027 140730096989296 140730096989296 140730096992205 0
/proc/8181/statm: 28282 369 311 221 0 87 0
[pid=8375] ppid=8181 vsize=8068440 memory=121164 CPUtime=1.37 cores=1,3,5,7
/proc/8375/stat : 8375 (java) S 8181 8181 5595 0 -1 1077944320 19743 0 0 0 130 7 0 0 20 0 19 0 405178416 8262082560 30291 33554432000 4194304 4196468 140729420985808 140729420968352 140304894443255 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
/proc/8375/statm: 2017110 30291 3220 1 0 1978454 0
[pid=8390] ppid=8375 vsize=67660 memory=43760 CPUtime=0.35 cores=1,3,5,7
/proc/8390/stat : 8390 (cryptominisat5) R 8375 8181 5595 0 -1 4202496 16064 0 0 0 33 2 0 0 20 0 1 0 405178494 69283840 10940 33554432000 4194304 4451008 140731491039200 140731491034504 139822237937211 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 29921280 140731491042237 140731491042368 140731491042368 140731491045318 0
/proc/8390/statm: 16915 10940 673 63 0 10642 0
[pid=8375/tid=8376] ppid=8181 vsize=8068440 memory=2828 CPUtime=0.8 cores=1,3,5,7
/proc/8375/task/8376/stat : 8376 (java) S 8181 8181 5595 0 -1 1077944384 16360 0 0 0 74 6 0 0 20 0 19 0 405178416 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304866283424 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8377] ppid=8181 vsize=8068440 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8377/stat : 8377 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304898685200 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8378] ppid=8181 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8378/stat : 8378 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304704448912 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8379] ppid=8181 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8379/stat : 8379 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304378923536 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8380] ppid=8181 vsize=8068440 memory=5960 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8380/stat : 8380 (java) S 8181 8181 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405178417 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304377870992 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8381] ppid=8181 vsize=8068440 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8381/stat : 8381 (java) S 8181 8181 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304139434480 140304894454402 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8382] ppid=8181 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8382/stat : 8382 (java) S 8181 8181 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405178419 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303763760544 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8383] ppid=8181 vsize=8068440 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8383/stat : 8383 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178420 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303495325168 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8384] ppid=8181 vsize=8068440 memory=121040 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8384/stat : 8384 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140303120816848 140304894461851 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8385] ppid=8181 vsize=8068440 memory=64704 CPUtime=0.14 cores=1,3,5,7
/proc/8375/task/8385/stat : 8385 (java) S 8181 8181 5595 0 -1 1077944384 463 0 0 0 14 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304138381296 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8386] ppid=8181 vsize=8068440 memory=1412 CPUtime=0.17 cores=1,3,5,7
/proc/8375/task/8386/stat : 8386 (java) S 8181 8181 5595 0 -1 1077944384 905 0 0 0 17 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304137328752 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8387] ppid=8181 vsize=8068440 memory=3236 CPUtime=0.22 cores=1,3,5,7
/proc/8375/task/8387/stat : 8387 (java) S 8181 8181 5595 0 -1 1077944384 602 0 0 0 22 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304136276208 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8388] ppid=8181 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8388/stat : 8388 (java) S 8181 8181 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405178422 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302622911072 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8389] ppid=8181 vsize=8068440 memory=11809304 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8389/stat : 8389 (java) S 8181 8181 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405178423 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304135224112 140304894454402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8391] ppid=8181 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8391/stat : 8391 (java) S 8181 8181 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140304127190592 140304894467865 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8393] ppid=8181 vsize=8068440 memory=3372 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8393/stat : 8393 (java) S 8181 8181 5595 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302086025392 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8394] ppid=8181 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8394/stat : 8394 (java) S 8181 8181 5595 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 405178494 8262082560 30291 33554432000 4194304 4196468 140729420985808 140301951802672 140304894465181 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
[pid=8375/tid=8395] ppid=8181 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8375/task/8395/stat : 8395 (java) S 8181 8181 5595 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405178496 8262082560 30291 33554432000 4194304 4196468 140729420985808 140302220254256 140304894453461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26992640 140729420993532 140729420993690 140729420993690 140729420996559 0
Current children cumulated CPU time: 1031.29 s
Current children cumulated vsize: 8249228 KiB
Current children cumulated memory: 166400 KiB

Child status: 0
Real time (s): 880.322
CPU time (s): 1031.35
CPU user time (s): 1022.44
CPU system time (s): 8.90837
CPU usage (%): 117.156
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11811780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1022.44
system time used= 8.90837
maximum resident set size= 11810832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27735
involuntary context switches= 2089


# summary of solver processes directly reported to runsolver:
#   pid: 8181
#   total CPU time (s): 1031.35
#   total CPU user time (s): 1022.44
#   total CPU system time (s): 8.90837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29258 second user time and 9.21438 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 14:31:03
IDJOB=4387867
IDBENCH=126900
IDSOLVER=2826
FILE ID=node124/4387867-1568291501
RUNJOBID= node124-1568286434-6492
PBS_JOBID= 21701080
Free space on /tmp= 52860 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-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-4387867-1568291501/watcher-4387867-1568291501 -o /tmp/evaluation-result-4387867-1568291501/solver-4387867-1568291501 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6492 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387867-1568291501.xml

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

MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=569196033

node124.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.47
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.47
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.47
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.47
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:        17072572 kB
MemAvailable:   31458308 kB
Buffers:          132752 kB
Cached:         14350320 kB
SwapCached:        45868 kB
Active:          1596188 kB
Inactive:       13277396 kB
Active(anon):     345516 kB
Inactive(anon):    86644 kB
Active(file):    1250672 kB
Inactive(file): 13190752 kB
Unevictable:      108624 kB
Mlocked:          108624 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             33404 kB
Writeback:         34808 kB
AnonPages:        344180 kB
Mapped:            55692 kB
Shmem:             32744 kB
Slab:             420728 kB
SReclaimable:     372772 kB
SUnreclaim:        47956 kB
KernelStack:        3808 kB
PageTables:         6720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6167060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 52836 MiB
End job on node124 at 2019-09-12 14:45:44