Trace number 4305639

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
scop both+MapleCOMSPS (2018-07-31)UNSAT 93.6782 88.5945

General information on the benchmark

NameQuasigroups/
QuasiGroup-4-08_c18.xml
MD5SUM86261698a40453ca60d699c1ebc214eb
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 benchmark30.4561
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints114
Number of domains2
Minimum domain size8
Maximum domain size64
Distribution of domain sizes[{"size":8,"count":64},{"size":64,"count":56}]
Minimum variable degree0
Maximum variable degree59
Distribution of variable degrees[{"degree":0,"count":8},{"degree":2,"count":56},{"degree":58,"count":8},{"degree":59,"count":56}]
Minimum constraint arity3
Maximum constraint arity65
Distribution of constraint arities[{"arity":3,"count":56},{"arity":8,"count":1},{"arity":64,"count":1},{"arity":65,"count":56}]
Number of extensional constraints0
Number of intensional constraints56
Distribution of constraint types[{"type":"intension","count":56},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":56}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8735-serial-file.bin HOME/instance-4305639-1534133164.xml
0.54/0.51	
0.54/0.51	scop both+minisat_release (2018-07-31)
0.54/0.51	(Encoding Process)
0.54/0.51	
0.66/0.54	c BEGIN-Prog: Mon Aug 13 06:06:04 CEST 2018
0.66/0.54	c PID: 8738
0.66/0.54	c IP: 172.20.3.150
0.66/0.54	c HOST: node150.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.43/0.97	c (0,0) Parsing End
1.43/0.98	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 64
1.43/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.98	c (0,0) Constraint Name Generate Begin
1.43/0.99	c (0,0) Ctr:HOME/instance-4305639-1534133164.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.43/0.99	c (0,0) Constraint Name Generate End
1.43/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.99	c (0,0) CSP to CSPinCNF Begin
2.51/1.40	c (0,0) translated 12 (10%) constraints
2.81/1.46	c (0,0) translated 23 (20%) constraints
3.08/1.51	c (0,0) translated 35 (30%) constraints
3.08/1.55	c (1,1) translated 46 (40%) constraints
3.08/1.59	c (1,1) translated 57 (50%) constraints
3.38/1.60	c (1,1) translated 69 (60%) constraints
3.38/1.61	c (1,1) translated 80 (70%) constraints
3.38/1.61	c (1,1) translated 92 (80%) constraints
3.38/1.61	c (1,1) translated 103 (90%) constraints
3.38/1.62	c (1,1) translated 114 (100%) constraints
3.75/1.70	c (1,1) STATISTICS1:HOME/instance-4305639-1534133164.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,120,4128,64,64,8,3,64:112;8:336;1:112,64:3640;8:4256;1:600,8:32;3:3584;2:448;1:64,3:112;2:448;1:11024,
3.75/1.70	c (1,1) ==========================================
3.75/1.70	c (1,1) Both Encoding selects:
3.75/1.70	c (1,1) Order
3.75/1.70	c (1,1) ==========================================
3.75/1.75	c (1,1) translated 413 (10%) constraints
4.13/1.85	c (1,1) translated 826 (20%) constraints
4.48/1.91	c (1,1) translated 1239 (30%) constraints
4.48/1.96	c (1,1) translated 1652 (40%) constraints
4.48/2.01	c (1,1) translated 2064 (50%) constraints
4.82/2.05	c (1,1) translated 2477 (60%) constraints
4.82/2.09	c (1,1) translated 2890 (70%) constraints
5.13/2.15	c (1,1) translated 3303 (80%) constraints
5.13/2.16	c (1,1) translated 3716 (90%) constraints
5.13/2.19	c (1,1) translated 4128 (100%) constraints
5.41/2.20	c (1,1) CSP to CSPinCNF End
5.41/2.20	c (1,1) CSP: 120 int (0 aux), 512 bool (512 aux), 11360 ctr, max domain size 64
5.41/2.20	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.41/2.20	c (1,1) CSPinCNF Propagation Begin
5.74/2.37	c (1,1) 232 values, 1860 unsatisfiable literals, and 2592 valid clauses are removed
5.74/2.37	c (1,1) CSPinCNF Propagation End
5.74/2.38	c (1,1) CSP: 208 int (88 aux), 424 bool (424 aux), 8768 ctr, max domain size 62
5.74/2.38	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.74/2.38	c (1,1) Simplify CSPinCNF Begin
6.06/2.43	c (1,1) Simplify CSPinCNF End
6.06/2.43	c (1,1) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.06/2.43	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.06/2.43	c (1,1) Calculate Precise Domain Begin
6.06/2.44	c (1,1) 0 values are removed by re-calculation
6.06/2.44	c (1,1) Calculate Precise Domain End
6.06/2.44	c (1,1) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.06/2.44	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.06/2.44	c (1,1) CSPinCNF to SatSolver Begin
6.40/2.57	c (2,2) 960 (10 %) CSP clauses are encoded (4732 SAT variables, 7407 SAT clauses)
6.40/2.60	c (2,2) 1920 (20 %) CSP clauses are encoded (4732 SAT variables, 9387 SAT clauses)
6.74/2.61	c (2,2) 2880 (30 %) CSP clauses are encoded (4732 SAT variables, 10347 SAT clauses)
6.74/2.62	c (2,2) 3840 (40 %) CSP clauses are encoded (4732 SAT variables, 11307 SAT clauses)
6.74/2.63	c (2,2) 4800 (50 %) CSP clauses are encoded (4732 SAT variables, 12267 SAT clauses)
6.74/2.64	c (2,2) 5760 (60 %) CSP clauses are encoded (4732 SAT variables, 13227 SAT clauses)
6.74/2.65	c (2,2) 6720 (70 %) CSP clauses are encoded (4732 SAT variables, 14187 SAT clauses)
6.74/2.66	c (2,2) 7680 (80 %) CSP clauses are encoded (4732 SAT variables, 15147 SAT clauses)
6.74/2.66	c (2,2) 8640 (90 %) CSP clauses are encoded (4732 SAT variables, 16107 SAT clauses)
6.74/2.70	c (2,2) 9600 (100 %) CSP clauses are encoded (4732 SAT variables, 22906 SAT clauses)
6.74/2.70	c (2,2) Launch Command will be: minisat_release
6.74/2.70	c (2,2) CSPinCNF to SatSolver End
6.74/2.70	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.04/2.75	c (2,2) STATISTICS2:HOME/instance-4305639-1534133164.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,1464,9600,64,62,6,3,64:60;49:40;36:12;8:240;7:296;6:136;1:160,62:2480;61:1220;53:1908;52:208;44:528;8:4020;7:2320;6:596;2:9520;1:160,6:28;3:2704;2:6756;1:112,3:112;2:832;1:20960,
7.04/2.75	c (2,2) 4732 bool, 22940 clause
7.04/2.75	c (2,2) Export Begin
7.36/2.84	c (2,2) Export to HOME/scop-8735-serial-file.bin
7.36/2.84	c (2,2) Export End
7.36/2.84	c (2,2) Export File Size: 0.02 MB
7.36/2.84	c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.36/2.84	c END-Prog: Mon Aug 13 06:06:07 CEST 2018
7.36/2.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8735-serial-file.bin
8.08/3.37	c (0,0) Read Serial File Begin
8.08/3.37	c (0,0) HOME/scop-8735-serial-file.bin
8.36/3.53	c (0,0) Read Serial File End
8.36/3.55	
8.36/3.55	scop order+minisat_release (2018-07-31)
8.36/3.55	(Solving Process)
8.36/3.55	
8.36/3.57	c BEGIN-Prog: Mon Aug 13 06:06:07 CEST 2018
8.36/3.57	c PID: 8753
8.36/3.57	c IP: 172.20.3.150
8.36/3.57	c HOST: node150.alineos.net
8.36/3.57	c (0,0) SatSolver.solve Begin
8.36/3.57	c (0,0) 0 bool, 0 clause
8.36/3.57	c (0,0) minisat_release HOME/instance-4305639-1534133164.xml-scop-8738.cnf
93.55/88.58	c (85,0) c This is COMiniSatPS.
93.55/88.58	c (85,0) c WARNING: for repeatability, setting FPU to use double precision
93.55/88.58	c (85,0) c ============================[ Problem Statistics ]=============================
93.55/88.58	c (85,0) c |                                                                             |
93.55/88.58	c (85,0) c |  Number of variables:          4732                                         |
93.55/88.58	c (85,0) c |  Number of clauses:           22940                                         |
93.55/88.58	c (85,0) c |  Parse time:                   0.01 s                                       |
93.55/88.58	c (85,0) c |  Eliminated clauses:           0.08 Mb                                      |
93.55/88.58	c (85,0) c Reduced to 2627 vars, 17137 cls (grow=0)
93.55/88.58	c (85,0) c No iterative elimination performed. (vars=2627, c/v ratio=6.5)
93.55/88.58	c (85,0) c |  Simplification time:          0.02 s                                       |
93.55/88.58	c (85,0) c |                                                                             |
93.55/88.58	c (85,0) c ============================[ Search Statistics ]==============================
93.55/88.58	c (85,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.55/88.58	c (85,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
93.55/88.58	c (85,0) c ===============================================================================
93.55/88.58	c (85,0) c ===============================================================================
93.55/88.58	c (85,0) c restarts              : 848
93.55/88.58	c (85,0) c conflicts             : 359607         (4233 /sec)
93.55/88.58	c (85,0) c decisions             : 395667         (0.00 % random) (4657 /sec)
93.55/88.58	c (85,0) c propagations          : 182343472      (2146188 /sec)
93.55/88.58	c (85,0) c conflict literals     : 9907259        (42.30 % deleted)
93.55/88.58	c (85,0) c CPU time              : 84.9615 s
93.55/88.58	c (85,0) 
93.55/88.58	c (85,0) s UNSATISFIABLE
93.55/88.58	c (85,0) SatSolver.solve End
93.55/88.58	c (85,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
93.55/88.58	c (85,0) Show results Begin
93.55/88.58	s UNSATISFIABLE
93.55/88.58	c (85,0) Show results End
93.55/88.58	c (85,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
93.55/88.58	c (85,0) 85,85,STOP-AFTER(ALL)
93.55/88.58	c END-Prog: Mon Aug 13 06:07:32 CEST 2018

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305639-1534133164/watcher-4305639-1534133164 -o /tmp/evaluation-result-4305639-1534133164/solver-4305639-1534133164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305639-1534133164.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=8735, runsolver pid=8732
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 2.25 2.07 1.98 6/222 8752
/proc/meminfo: memFree=15705156/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230879652 115843072 349 33554432000 4194304 5098028 140728368761456 140728368758712 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 349 296 221 0 87 0
[pid=8738] ppid=8735 vsize=15012476 memory=73304 CPUtime=0.11 cores=1,3,5,7
/proc/8738/stat : 8738 (java) S 8735 8735 8231 0 -1 1077944320 5981 0 0 0 9 2 0 0 20 0 15 0 230879652 15372775424 18326 33554432000 4194304 4196468 140726467654720 140726467637264 139713029136119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
/proc/8738/statm: 3753119 18326 2744 1 0 3715579 0
[pid=8738/tid=8739] ppid=8735 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=1,3,5,7
/proc/8738/task/8739/stat : 8739 (java) R 8735 8735 8231 0 -1 4202560 4163 0 0 0 7 1 0 0 20 0 15 0 230879653 15372775424 18392 33554432000 4194304 4196468 140726467654720 139713000962448 139713009411947 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8740] ppid=8735 vsize=15012476 memory=3472467959733577392 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8740/stat : 8740 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 18392 33554432000 4194304 4196468 140726467654720 139713033378704 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8741] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8741/stat : 8741 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 18392 33554432000 4194304 4196468 140726467654720 139712809081616 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8742] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8742/stat : 8742 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712808029328 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8743] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8743/stat : 8743 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712806976528 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8744] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8744/stat : 8744 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712368691312 139713029147266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8745] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8745/stat : 8745 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 18458 33554432000 4194304 4196468 140726467654720 139711628698400 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8746] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8746/stat : 8746 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 18458 33554432000 4194304 4196468 140726467654720 139711393817712 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8747] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8747/stat : 8747 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139711019309136 139713029154715 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8748] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8748/stat : 8748 (java) S 8735 8735 8231 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712367639152 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8749] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8749/stat : 8749 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712366586352 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8750] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0.01 cores=1,3,5,7
/proc/8738/task/8750/stat : 8750 (java) S 8735 8735 8231 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712365534064 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8751] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8751/stat : 8751 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139710521404384 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8752] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8752/stat : 8752 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 18458 33554432000 4194304 4196468 140726467654720 139712364480944 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74700 KiB

[startup+0.210667 s]*
/proc/loadavg: 2.23 2.07 1.98 3/222 8752
/proc/meminfo: memFree=15691700/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230879652 115843072 349 33554432000 4194304 5098028 140728368761456 140728368758712 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 349 296 221 0 87 0
[pid=8738] ppid=8735 vsize=15012476 memory=86904 CPUtime=0.25 cores=1,3,5,7
/proc/8738/stat : 8738 (java) S 8735 8735 8231 0 -1 1077944320 9494 0 0 0 22 3 0 0 20 0 15 0 230879652 15372775424 21726 33554432000 4194304 4196468 140726467654720 140726467637264 139713029136119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
/proc/8738/statm: 3753119 21726 2927 1 0 3715579 0
[pid=8738/tid=8739] ppid=8735 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=1,3,5,7
/proc/8738/task/8739/stat : 8739 (java) R 8735 8735 8231 0 -1 4202560 7404 0 0 0 17 2 0 0 20 0 15 0 230879653 15372775424 21726 33554432000 4194304 4196468 140726467654720 139713000948992 139713029148054 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8740] ppid=8735 vsize=15012476 memory=3472467959733577392 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8740/stat : 8740 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 21726 33554432000 4194304 4196468 140726467654720 139713033378704 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8741] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8741/stat : 8741 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712809081616 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8742] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8742/stat : 8742 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712808029328 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8743] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8743/stat : 8743 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712806976528 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8744] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8744/stat : 8744 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712368691312 139713029147266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8745] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8745/stat : 8745 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 21726 33554432000 4194304 4196468 140726467654720 139711628698400 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8746] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8746/stat : 8746 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 21726 33554432000 4194304 4196468 140726467654720 139711393817712 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8747] ppid=8735 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8747/stat : 8747 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139711019309136 139713029154715 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8748] ppid=8735 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8738/task/8748/stat : 8748 (java) R 8735 8735 8231 0 -1 4202560 470 0 0 0 1 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712367639152 139713006730864 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8749] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8749/stat : 8749 (java) R 8735 8735 8231 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712366586352 139713012622173 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8750] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0.03 cores=1,3,5,7
/proc/8738/task/8750/stat : 8750 (java) S 8735 8735 8231 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712365534064 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8751] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8751/stat : 8751 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139710521404384 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8752] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8752/stat : 8752 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 21726 33554432000 4194304 4196468 140726467654720 139712364480944 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88300 KiB

[startup+0.310726 s]*
/proc/loadavg: 2.23 2.07 1.98 3/222 8752
/proc/meminfo: memFree=15687276/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230879652 115843072 349 33554432000 4194304 5098028 140728368761456 140728368758712 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 349 296 221 0 87 0
[pid=8738] ppid=8735 vsize=15012476 memory=90156 CPUtime=0.42 cores=1,3,5,7
/proc/8738/stat : 8738 (java) S 8735 8735 8231 0 -1 1077944320 10035 0 0 0 39 3 0 0 20 0 15 0 230879652 15372775424 22539 33554432000 4194304 4196468 140726467654720 140726467637264 139713029136119 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
/proc/8738/statm: 3753119 22539 2963 1 0 3715579 0
[pid=8738/tid=8739] ppid=8735 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/8738/task/8739/stat : 8739 (java) R 8735 8735 8231 0 -1 4202560 7781 0 0 0 26 3 0 0 20 0 15 0 230879653 15372775424 22539 33554432000 4194304 4196468 140726467654720 139713000966448 139713010699671 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8740] ppid=8735 vsize=15012476 memory=3472467959733577392 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8740/stat : 8740 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 22539 33554432000 4194304 4196468 140726467654720 139713033378704 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8741] ppid=8735 vsize=15012476 memory=279326849891200 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8741/stat : 8741 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712809081616 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8742] ppid=8735 vsize=15012476 memory=279326688018208 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8742/stat : 8742 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712808029328 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8743] ppid=8735 vsize=15012476 memory=139663343994127 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8743/stat : 8743 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879654 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712806976528 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8744] ppid=8735 vsize=15012476 memory=279326849898112 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8744/stat : 8744 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712368691312 139713029147266 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8745] ppid=8735 vsize=15012476 memory=139663343998735 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8745/stat : 8745 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 22539 33554432000 4194304 4196468 140726467654720 139711628698400 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8746] ppid=8735 vsize=15012476 memory=139663344009669 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8746/stat : 8746 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879656 15372775424 22539 33554432000 4194304 4196468 140726467654720 139711393817712 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8747] ppid=8735 vsize=15012476 memory=279326688029728 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8747/stat : 8747 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139711019309136 139713029154715 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8748] ppid=8735 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8738/task/8748/stat : 8748 (java) R 8735 8735 8231 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712367639152 139713029147266 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8749] ppid=8735 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8738/task/8749/stat : 8749 (java) R 8735 8735 8231 0 -1 4202560 116 0 0 0 2 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712366586352 139713008382090 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8750] ppid=8735 vsize=15012476 memory=139663505897088 CPUtime=0.07 cores=1,3,5,7
/proc/8738/task/8750/stat : 8750 (java) R 8735 8735 8231 0 -1 4202560 294 0 0 0 7 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712365534064 139713013389100 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8751] ppid=8735 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8751/stat : 8751 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139710521404384 139713029146325 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8752] ppid=8735 vsize=15012476 memory=139663505898484 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8752/stat : 8752 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879659 15372775424 22539 33554432000 4194304 4196468 140726467654720 139712364480944 139713029147266 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91552 KiB

[startup+0.700806 s]
/proc/loadavg: 2.23 2.07 1.98 3/222 8752
/proc/meminfo: memFree=15662968/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230879652 115843072 349 33554432000 4194304 5098028 140728368761456 140728368758712 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 349 296 221 0 87 0
[pid=8738] ppid=8735 vsize=15020872 memory=130184 CPUtime=1.01 cores=1,3,5,7
/proc/8738/stat : 8738 (java) S 8735 8735 8231 0 -1 1077944320 17150 0 0 0 95 6 0 0 20 0 15 0 230879652 15381372928 32546 33554432000 4194304 4196468 140726467654720 140726467637264 139713029136119 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
/proc/8738/statm: 3755218 32546 3148 1 0 3716603 0
[pid=8738/tid=8739] ppid=8735 vsize=15020872 memory=53 CPUtime=0.66 cores=1,3,5,7
/proc/8738/task/8739/stat : 8739 (java) R 8735 8735 8231 0 -1 4202560 14410 0 0 0 62 4 0 0 20 0 15 0 230879653 15381372928 32546 33554432000 4194304 4196468 140726467654720 139713000968176 139713013216606 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8740] ppid=8735 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8740/stat : 8740 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15381372928 32546 33554432000 4194304 4196468 140726467654720 139713033378704 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8741] ppid=8735 vsize=15020872 memory=8320808402719618869 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8741/stat : 8741 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712809081616 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8742] ppid=8735 vsize=15020872 memory=7223880817056039022 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8742/stat : 8742 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879654 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712808029328 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8743] ppid=8735 vsize=15020872 memory=7588675599774802240 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8743/stat : 8743 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230879654 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712806976528 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8744] ppid=8735 vsize=15020872 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8744/stat : 8744 (java) S 8735 8735 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230879656 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712368691312 139713029147266 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8745] ppid=8735 vsize=15020872 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8745/stat : 8745 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230879656 15381372928 32546 33554432000 4194304 4196468 140726467654720 139711628698400 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8746] ppid=8735 vsize=15020872 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8746/stat : 8746 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879656 15381372928 32546 33554432000 4194304 4196468 140726467654720 139711393817712 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8747] ppid=8735 vsize=15020872 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8747/stat : 8747 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139711019309136 139713029154715 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8748] ppid=8735 vsize=15020872 memory=748 CPUtime=0.08 cores=1,3,5,7
/proc/8738/task/8748/stat : 8748 (java) S 8735 8735 8231 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712367639152 139713029147266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8749] ppid=8735 vsize=15020872 memory=872 CPUtime=0.08 cores=1,3,5,7
/proc/8738/task/8749/stat : 8749 (java) S 8735 8735 8231 0 -1 1077944384 217 0 0 0 8 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712366586352 139713029147266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8750] ppid=8735 vsize=15020872 memory=1220 CPUtime=0.16 cores=1,3,5,7
/proc/8738/task/8750/stat : 8750 (java) S 8735 8735 8231 0 -1 1077944384 432 0 0 0 16 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712365534064 139713029147266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8751] ppid=8735 vsize=15020872 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8751/stat : 8751 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139710521404384 139713029146325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
[pid=8738/tid=8752] ppid=8735 vsize=15020872 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8752/stat : 8752 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230879659 15381372928 32546 33554432000 4194304 4196468 140726467654720 139712364480944 139713029147266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12943360 140726467658760 140726467659057 140726467659057 140726467661775 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131580 KiB

[startup+1.50084 s]
/proc/loadavg: 2.23 2.07 1.98 3/222 8752
/proc/meminfo: memFree=15632012/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230879652 115843072 349 33554432000 4194304 5098028 140728368761456 140728368758712 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 92.25 s
Current children cumulated vsize: 8219820 KiB
Current children cumulated memory: 139748 KiB

[startup+88.0008 s]*
/proc/loadavg: 2.03 2.04 1.97 3/227 8774
/proc/meminfo: memFree=15619700/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1472 CPUtime=7.53 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 591 26367 0 0 0 0 738 15 20 0 1 0 230879652 115843072 368 33554432000 4194304 5098028 140728368761456 140728368758200 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 368 311 221 0 87 0
[pid=8753] ppid=8735 vsize=8068220 memory=116424 CPUtime=1.13 cores=1,3,5,7
/proc/8753/stat : 8753 (java) S 8735 8735 8231 0 -1 1077944320 18359 0 0 0 105 8 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140728068351008 140635518025463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
/proc/8753/statm: 2017055 29106 3142 1 0 1978454 0
[pid=8768] ppid=8753 vsize=38472 memory=21852 CPUtime=84.4 cores=1,3,5,7
/proc/8768/stat : 8768 (minisat_release) R 8753 8735 8231 0 -1 4202496 17254 0 0 0 8439 1 0 0 20 0 1 0 230880012 39395328 5463 33554432000 4194304 4308513 140726667263216 140726667260120 4250371 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 28643328 140726667269237 140726667269334 140726667269334 140726667272133 0
/proc/8768/statm: 9618 5463 336 28 0 5858 0
[pid=8753/tid=8754] ppid=8735 vsize=8068220 memory=8764164798296135838 CPUtime=0.74 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (java) S 8735 8735 8231 0 -1 1077944384 15464 0 0 0 69 5 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635489865616 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8755] ppid=8735 vsize=8068220 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635522268176 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8756] ppid=8735 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635003243664 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8757] ppid=8735 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8757/stat : 8757 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635002190608 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8758] ppid=8735 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8758/stat : 8758 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635001138064 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8759] ppid=8735 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8759/stat : 8759 (java) S 8735 8735 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634830203120 140635518036610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8760] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8760/stat : 8760 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634342024352 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8761] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8761/stat : 8761 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879944 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634073588464 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8762] ppid=8735 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8762/stat : 8762 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633699080144 140635518044059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8763] ppid=8735 vsize=8068220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8753/task/8763/stat : 8763 (java) S 8735 8735 8231 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634829150960 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8764] ppid=8735 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8753/task/8764/stat : 8764 (java) S 8735 8735 8231 0 -1 1077944384 473 0 0 0 8 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634828098416 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8765] ppid=8735 vsize=8068220 memory=8564 CPUtime=0.19 cores=1,3,5,7
/proc/8753/task/8765/stat : 8765 (java) S 8735 8735 8231 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634827045360 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8766] ppid=8735 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8766/stat : 8766 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633201175392 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8767] ppid=8735 vsize=8068220 memory=1264 CPUtime=0.01 cores=1,3,5,7
/proc/8753/task/8767/stat : 8767 (java) S 8735 8735 8231 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634825992752 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8769] ppid=8735 vsize=8068220 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8769/stat : 8769 (java) S 8735 8735 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634818184512 140635518050073 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8771] ppid=8735 vsize=8068220 memory=748 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8771/stat : 8771 (java) S 8735 8735 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632530075024 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8772] ppid=8735 vsize=8068220 memory=872 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8772/stat : 8772 (java) S 8735 8735 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632932728848 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8773] ppid=8735 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8773/stat : 8773 (java) S 8735 8735 8231 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 230880014 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632395861792 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
Current children cumulated CPU time: 93.06 s
Current children cumulated vsize: 8219820 KiB
Current children cumulated memory: 139748 KiB

[startup+88.4009 s]
/proc/loadavg: 2.03 2.04 1.97 3/227 8774
/proc/meminfo: memFree=15619700/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1472 CPUtime=7.53 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 591 26367 0 0 0 0 738 15 20 0 1 0 230879652 115843072 368 33554432000 4194304 5098028 140728368761456 140728368758200 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 368 311 221 0 87 0
[pid=8753] ppid=8735 vsize=8068220 memory=116424 CPUtime=1.13 cores=1,3,5,7
/proc/8753/stat : 8753 (java) S 8735 8735 8231 0 -1 1077944320 18359 0 0 0 105 8 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140728068351008 140635518025463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
/proc/8753/statm: 2017055 29106 3142 1 0 1978454 0
[pid=8768] ppid=8753 vsize=38472 memory=21852 CPUtime=84.79 cores=1,3,5,7
/proc/8768/stat : 8768 (minisat_release) R 8753 8735 8231 0 -1 4202496 17254 0 0 0 8478 1 0 0 20 0 1 0 230880012 39395328 5463 33554432000 4194304 4308513 140726667263216 140726667260120 4276465 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 28643328 140726667269237 140726667269334 140726667269334 140726667272133 0
/proc/8768/statm: 9618 5463 336 28 0 5858 0
[pid=8753/tid=8754] ppid=8735 vsize=8068220 memory=808 CPUtime=0.74 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (java) S 8735 8735 8231 0 -1 1077944384 15464 0 0 0 69 5 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635489865616 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8755] ppid=8735 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635522268176 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8756] ppid=8735 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635003243664 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8757] ppid=8735 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8757/stat : 8757 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635002190608 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8758] ppid=8735 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8758/stat : 8758 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635001138064 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8759] ppid=8735 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8759/stat : 8759 (java) S 8735 8735 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634830203120 140635518036610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8760] ppid=8735 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8760/stat : 8760 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634342024352 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8761] ppid=8735 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8761/stat : 8761 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879944 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634073588464 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8762] ppid=8735 vsize=8068220 memory=3124 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8762/stat : 8762 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633699080144 140635518044059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8763] ppid=8735 vsize=8068220 memory=1472 CPUtime=0.07 cores=1,3,5,7
/proc/8753/task/8763/stat : 8763 (java) S 8735 8735 8231 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634829150960 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8764] ppid=8735 vsize=8068220 memory=7822038051842261661 CPUtime=0.08 cores=1,3,5,7
/proc/8753/task/8764/stat : 8764 (java) S 8735 8735 8231 0 -1 1077944384 473 0 0 0 8 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634828098416 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8765] ppid=8735 vsize=8068220 memory=-8341965534556230502 CPUtime=0.19 cores=1,3,5,7
/proc/8753/task/8765/stat : 8765 (java) S 8735 8735 8231 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634827045360 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8766] ppid=8735 vsize=8068220 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8766/stat : 8766 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633201175392 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8767] ppid=8735 vsize=8068220 memory=4713745541279610410 CPUtime=0.01 cores=1,3,5,7
/proc/8753/task/8767/stat : 8767 (java) S 8735 8735 8231 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634825992752 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8769] ppid=8735 vsize=8068220 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8769/stat : 8769 (java) S 8735 8735 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634818184512 140635518050073 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8771] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8771/stat : 8771 (java) S 8735 8735 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632530075024 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8772] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8772/stat : 8772 (java) S 8735 8735 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632932728848 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8773] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8773/stat : 8773 (java) S 8735 8735 8231 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 230880014 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632395861792 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
Current children cumulated CPU time: 93.45 s
Current children cumulated vsize: 8219820 KiB
Current children cumulated memory: 139748 KiB

[startup+88.5009 s]
/proc/loadavg: 2.03 2.04 1.97 3/227 8774
/proc/meminfo: memFree=15619700/32770624 swapFree=67108792/67108860
[pid=8735] ppid=8732 vsize=113128 memory=1472 CPUtime=7.53 cores=1,3,5,7
/proc/8735/stat : 8735 (scop.sh) S 8732 8735 8231 0 -1 4202496 591 26367 0 0 0 0 738 15 20 0 1 0 230879652 115843072 368 33554432000 4194304 5098028 140728368761456 140728368758200 140384130404988 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18358272 140728368768065 140728368768263 140728368768263 140728368771021 0
/proc/8735/statm: 28282 368 311 221 0 87 0
[pid=8753] ppid=8735 vsize=8068220 memory=116424 CPUtime=1.13 cores=1,3,5,7
/proc/8753/stat : 8753 (java) S 8735 8735 8231 0 -1 1077944320 18359 0 0 0 105 8 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140728068351008 140635518025463 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
/proc/8753/statm: 2017055 29106 3142 1 0 1978454 0
[pid=8768] ppid=8753 vsize=38472 memory=21852 CPUtime=84.89 cores=1,3,5,7
/proc/8768/stat : 8768 (minisat_release) R 8753 8735 8231 0 -1 4202496 17254 0 0 0 8488 1 0 0 20 0 1 0 230880012 39395328 5463 33554432000 4194304 4308513 140726667263216 140726667260120 4275920 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 28643328 140726667269237 140726667269334 140726667269334 140726667272133 0
/proc/8768/statm: 9618 5463 336 28 0 5858 0
[pid=8753/tid=8754] ppid=8735 vsize=8068220 memory=21852 CPUtime=0.74 cores=1,3,5,7
/proc/8753/task/8754/stat : 8754 (java) S 8735 8735 8231 0 -1 1077944384 15464 0 0 0 69 5 0 0 20 0 19 0 230879940 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635489865616 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8755] ppid=8735 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8755/stat : 8755 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635522268176 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8756] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8756/stat : 8756 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635003243664 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8757] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8757/stat : 8757 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635002190608 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8758] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8758/stat : 8758 (java) S 8735 8735 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230879942 8261857280 29106 33554432000 4194304 4196468 140728068368464 140635001138064 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8759] ppid=8735 vsize=8068220 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8759/stat : 8759 (java) S 8735 8735 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634830203120 140635518036610 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8760] ppid=8735 vsize=8068220 memory=62752 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8760/stat : 8760 (java) S 8735 8735 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230879943 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634342024352 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8761] ppid=8735 vsize=8068220 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8761/stat : 8761 (java) S 8735 8735 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230879944 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634073588464 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8762] ppid=8735 vsize=8068220 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8762/stat : 8762 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633699080144 140635518044059 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8763] ppid=8735 vsize=8068220 memory=1472 CPUtime=0.07 cores=1,3,5,7
/proc/8753/task/8763/stat : 8763 (java) S 8735 8735 8231 0 -1 1077944384 469 0 0 0 7 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634829150960 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8764] ppid=8735 vsize=8068220 memory=3892 CPUtime=0.08 cores=1,3,5,7
/proc/8753/task/8764/stat : 8764 (java) S 8735 8735 8231 0 -1 1077944384 473 0 0 0 8 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634828098416 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8765] ppid=8735 vsize=8068220 memory=62752 CPUtime=0.19 cores=1,3,5,7
/proc/8753/task/8765/stat : 8765 (java) S 8735 8735 8231 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634827045360 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8766] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8766/stat : 8766 (java) S 8735 8735 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140633201175392 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8767] ppid=8735 vsize=8068220 memory=1472 CPUtime=0.01 cores=1,3,5,7
/proc/8753/task/8767/stat : 8767 (java) S 8735 8735 8231 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 19 0 230879946 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634825992752 140635518036610 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8769] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8769/stat : 8769 (java) S 8735 8735 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140634818184512 140635518050073 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8771] ppid=8735 vsize=8068220 memory=116424 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8771/stat : 8771 (java) S 8735 8735 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632530075024 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8772] ppid=8735 vsize=8068220 memory=21852 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8772/stat : 8772 (java) S 8735 8735 8231 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230880012 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632932728848 140635518047389 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
[pid=8753/tid=8773] ppid=8735 vsize=8068220 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/8753/task/8773/stat : 8773 (java) S 8735 8735 8231 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 230880014 8261857280 29106 33554432000 4194304 4196468 140728068368464 140632395861792 140635518035669 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28995584 140728068375734 140728068375857 140728068375857 140728068378575 0
Current children cumulated CPU time: 93.55 s
Current children cumulated vsize: 8219820 KiB
Current children cumulated memory: 139748 KiB

Child status: 0
Real time (s): 88.5945
CPU time (s): 93.6782
CPU user time (s): 93.4113
CPU system time (s): 0.266905
CPU usage (%): 105.738
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 473912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.4113
system time used= 0.266905
maximum resident set size= 478724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7047
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 8735
#   total CPU time (s): 93.6782
#   total CPU user time (s): 93.4113
#   total CPU system time (s): 0.266905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.566321 second user time and 0.989971 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-13 06:06:04
IDJOB=4305639
IDBENCH=141613
IDSOLVER=2783
FILE ID=node150/4305639-1534133164
RUNJOBID= node150-1534130664-8263
PBS_JOBID= 21037012
Free space on /tmp= 35024 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-08_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305639-1534133164/watcher-4305639-1534133164 -o /tmp/evaluation-result-4305639-1534133164/solver-4305639-1534133164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305639-1534133164.xml

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

MD5SUM BENCH= 86261698a40453ca60d699c1ebc214eb
RANDOM SEED=492030588

node150.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.76
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.76
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.76
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.76
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:        15767236 kB
MemAvailable:   31737348 kB
Buffers:          230144 kB
Cached:         15803756 kB
SwapCached:           32 kB
Active:          8129112 kB
Inactive:        8127500 kB
Active(anon):     173724 kB
Inactive(anon):   101220 kB
Active(file):    7955388 kB
Inactive(file):  8026280 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              7940 kB
Writeback:             0 kB
AnonPages:        236156 kB
Mapped:            65508 kB
Shmem:             49732 kB
Slab:             444900 kB
SReclaimable:     416904 kB
SUnreclaim:        27996 kB
KernelStack:        3904 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5884596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 35016 MiB
End job on node150 at 2018-08-13 06:07:33