Trace number 4305403

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 order+MapleCOMSPS (2018-07-31)UNSAT 95.8737 90.3495

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 -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-4016-serial-file.bin HOME/instance-4305403-1534130784.xml
0.67/0.52	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Mon Aug 13 05:26:25 CEST 2018
0.67/0.55	c PID: 4021
0.67/0.55	c IP: 172.20.3.137
0.67/0.55	c HOST: node137.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.41/0.99	c (0,0) Parsing End
1.41/1.00	c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 64
1.41/1.00	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.41/1.00	c (0,0) Constraint Name Generate Begin
1.76/1.01	c (0,0) Ctr:HOME/instance-4305403-1534130784.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
1.76/1.01	c (0,0) Constraint Name Generate End
1.76/1.01	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.76/1.01	c (0,0) CSP to CSPinCNF Begin
2.79/1.43	c (0,0) translated 12 (10%) constraints
2.79/1.49	c (0,0) translated 23 (20%) constraints
3.09/1.54	c (1,1) translated 35 (30%) constraints
3.09/1.59	c (1,1) translated 46 (40%) constraints
3.40/1.63	c (1,1) translated 57 (50%) constraints
3.40/1.65	c (1,1) translated 69 (60%) constraints
3.40/1.65	c (1,1) translated 80 (70%) constraints
3.40/1.66	c (1,1) translated 92 (80%) constraints
3.40/1.66	c (1,1) translated 103 (90%) constraints
3.40/1.66	c (1,1) translated 114 (100%) constraints
3.78/1.74	c (1,1) STATISTICS1:HOME/instance-4305403-1534130784.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.78/1.74	c (1,1) ==========================================
3.78/1.74	c (1,1) Order
3.78/1.74	c (1,1) ==========================================
4.12/1.81	c (1,1) translated 413 (10%) constraints
4.12/1.89	c (1,1) translated 826 (20%) constraints
4.47/1.95	c (1,1) translated 1239 (30%) constraints
4.83/2.01	c (1,1) translated 1652 (40%) constraints
4.83/2.05	c (1,1) translated 2064 (50%) constraints
4.83/2.09	c (1,1) translated 2477 (60%) constraints
5.19/2.14	c (1,1) translated 2890 (70%) constraints
5.19/2.18	c (1,1) translated 3303 (80%) constraints
5.46/2.22	c (1,1) translated 3716 (90%) constraints
5.46/2.26	c (1,1) translated 4128 (100%) constraints
5.46/2.26	c (1,1) CSP to CSPinCNF End
5.46/2.26	c (1,1) CSP: 120 int (0 aux), 512 bool (512 aux), 11360 ctr, max domain size 64
5.46/2.26	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.46/2.26	c (1,1) CSPinCNF Propagation Begin
6.10/2.49	c (1,1) 232 values, 1860 unsatisfiable literals, and 2592 valid clauses are removed
6.10/2.49	c (1,1) CSPinCNF Propagation End
6.10/2.50	c (1,1) CSP: 208 int (88 aux), 424 bool (424 aux), 8768 ctr, max domain size 62
6.10/2.50	c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.10/2.50	c (1,1) Simplify CSPinCNF Begin
6.42/2.55	c (2,2) Simplify CSPinCNF End
6.42/2.55	c (2,2) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.42/2.55	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.42/2.55	c (2,2) Calculate Precise Domain Begin
6.42/2.56	c (2,2) 0 values are removed by re-calculation
6.42/2.56	c (2,2) Calculate Precise Domain End
6.42/2.56	c (2,2) CSP: 208 int (88 aux), 1256 bool (1256 aux), 9600 ctr, max domain size 62
6.42/2.56	c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.42/2.56	c (2,2) CSPinCNF to SatSolver Begin
7.12/2.70	c (2,2) 960 (10 %) CSP clauses are encoded (4732 SAT variables, 7407 SAT clauses)
7.12/2.73	c (2,2) 1920 (20 %) CSP clauses are encoded (4732 SAT variables, 9387 SAT clauses)
7.12/2.74	c (2,2) 2880 (30 %) CSP clauses are encoded (4732 SAT variables, 10347 SAT clauses)
7.12/2.75	c (2,2) 3840 (40 %) CSP clauses are encoded (4732 SAT variables, 11307 SAT clauses)
7.12/2.77	c (2,2) 4800 (50 %) CSP clauses are encoded (4732 SAT variables, 12267 SAT clauses)
7.12/2.78	c (2,2) 5760 (60 %) CSP clauses are encoded (4732 SAT variables, 13227 SAT clauses)
7.12/2.79	c (2,2) 6720 (70 %) CSP clauses are encoded (4732 SAT variables, 14187 SAT clauses)
7.43/2.80	c (2,2) 7680 (80 %) CSP clauses are encoded (4732 SAT variables, 15147 SAT clauses)
7.43/2.81	c (2,2) 8640 (90 %) CSP clauses are encoded (4732 SAT variables, 16107 SAT clauses)
7.43/2.85	c (2,2) 9600 (100 %) CSP clauses are encoded (4732 SAT variables, 22906 SAT clauses)
7.43/2.85	c (2,2) Launch Command will be: minisat_release
7.43/2.85	c (2,2) CSPinCNF to SatSolver End
7.43/2.85	c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
7.74/2.91	c (2,2) STATISTICS2:HOME/instance-4305403-1534130784.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.74/2.91	c (2,2) 4732 bool, 22940 clause
7.74/2.91	c (2,2) Export Begin
7.74/3.00	c (2,2) Export to HOME/scop-4016-serial-file.bin
7.74/3.00	c (2,2) Export End
7.74/3.00	c (2,2) Export File Size: 0.02 MB
7.74/3.00	c (2,2) 0,0,1,1,2,2,2,STOP-AFTER(DIMACS)
7.74/3.00	c END-Prog: Mon Aug 13 05:26:27 CEST 2018
8.07/3.03	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4016-serial-file.bin
8.09/3.52	c (0,0) Read Serial File Begin
8.09/3.52	c (0,0) HOME/scop-4016-serial-file.bin
8.09/3.68	c (0,0) Read Serial File End
8.09/3.70	
8.09/3.70	scop order+minisat_release (2018-07-31)
8.09/3.70	(Solving Process)
8.09/3.70	
8.09/3.72	c BEGIN-Prog: Mon Aug 13 05:26:28 CEST 2018
8.09/3.72	c PID: 4071
8.09/3.72	c IP: 172.20.3.137
8.09/3.72	c HOST: node137.alineos.net
8.09/3.72	c (0,0) SatSolver.solve Begin
8.09/3.72	c (0,0) 0 bool, 0 clause
8.09/3.72	c (0,0) minisat_release HOME/instance-4305403-1534130784.xml-scop-4021.cnf
95.80/90.33	c (86,0) c This is COMiniSatPS.
95.80/90.33	c (86,0) c WARNING: for repeatability, setting FPU to use double precision
95.80/90.33	c (86,0) c ============================[ Problem Statistics ]=============================
95.80/90.33	c (86,0) c |                                                                             |
95.80/90.33	c (86,0) c |  Number of variables:          4732                                         |
95.80/90.33	c (86,0) c |  Number of clauses:           22940                                         |
95.80/90.33	c (86,0) c |  Parse time:                   0.01 s                                       |
95.80/90.33	c (86,0) c |  Eliminated clauses:           0.08 Mb                                      |
95.80/90.33	c (86,0) c Reduced to 2627 vars, 17137 cls (grow=0)
95.80/90.33	c (86,0) c No iterative elimination performed. (vars=2627, c/v ratio=6.5)
95.80/90.33	c (86,0) c |  Simplification time:          0.02 s                                       |
95.80/90.33	c (86,0) c |                                                                             |
95.80/90.33	c (86,0) c ============================[ Search Statistics ]==============================
95.80/90.33	c (86,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.80/90.33	c (86,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
95.80/90.33	c (86,0) c ===============================================================================
95.80/90.33	c (86,0) c ===============================================================================
95.80/90.33	c (86,0) c restarts              : 848
95.80/90.33	c (86,0) c conflicts             : 359607         (4154 /sec)
95.80/90.33	c (86,0) c decisions             : 395667         (0.00 % random) (4571 /sec)
95.80/90.33	c (86,0) c propagations          : 182343472      (2106444 /sec)
95.80/90.33	c (86,0) c conflict literals     : 9907259        (42.30 % deleted)
95.80/90.33	c (86,0) c CPU time              : 86.5646 s
95.80/90.33	c (86,0) 
95.80/90.33	c (86,0) s UNSATISFIABLE
95.80/90.33	c (86,0) SatSolver.solve End
95.80/90.33	c (86,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
95.80/90.33	c (86,0) Show results Begin
95.80/90.33	s UNSATISFIABLE
95.80/90.33	c (86,0) Show results End
95.80/90.33	c (86,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
95.80/90.34	c (86,0) 86,86,STOP-AFTER(ALL)
95.80/90.34	c END-Prog: Mon Aug 13 05:27:55 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 (12157 MiB free)
  memory of node 1: 16384 MiB (11098 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305403-1534130784/watcher-4305403-1534130784 -o /tmp/evaluation-result-4305403-1534130784/solver-4305403-1534130784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3991 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305403-1534130784.xml 

running on 4 cores: 0,2,4,6

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

solver pid=4016, runsolver pid=4013

[startup+0.100161 s]*
/proc/loadavg: 0.69 0.71 0.77 4/218 4055
/proc/meminfo: memFree=23691908/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230641588 115843072 349 33554432000 4194304 5098028 140727272712608 140727272709864 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 349 296 221 0 87 0
[pid=4021] ppid=4016 vsize=15012476 memory=73172 CPUtime=0.11 cores=0,2,4,6
/proc/4021/stat : 4021 (java) S 4016 4016 3960 0 -1 1077944320 5956 0 0 0 9 2 0 0 20 0 15 0 230641588 15372775424 18293 33554432000 4194304 4196468 140737368334912 140737368317456 139777203629815 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
/proc/4021/statm: 3753119 18293 2742 1 0 3715579 0
[pid=4021/tid=4026] ppid=4016 vsize=15012476 memory=-9032946237702455231 CPUtime=0.08 cores=0,2,4,6
/proc/4021/task/4026/stat : 4026 (java) R 4016 4016 3960 0 -1 4202560 4102 0 0 0 7 1 0 0 20 0 15 0 230641588 15372775424 18424 33554432000 4194304 4196468 140737368334912 139777175441800 139777187710302 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4030] ppid=4016 vsize=15012476 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4030/stat : 4030 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 18424 33554432000 4194304 4196468 140737368334912 139777207872016 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4031] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4031/stat : 4031 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 18424 33554432000 4194304 4196468 140737368334912 139777028168336 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4032] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4032/stat : 4032 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776662927632 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4033] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4033/stat : 4033 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776661875088 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4038] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4038/stat : 4038 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641591 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776173734640 139777203640962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4040] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4040/stat : 4040 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 18424 33554432000 4194304 4196468 140737368334912 139775818327712 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4041] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4041/stat : 4041 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 18424 33554432000 4194304 4196468 140737368334912 139775549891824 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4044] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4044/stat : 4044 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 18424 33554432000 4194304 4196468 140737368334912 139775175383504 139777203648411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4045] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4045/stat : 4045 (java) S 4016 4016 3960 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776172681456 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4046] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4046/stat : 4046 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776171628912 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4047] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0.01 cores=0,2,4,6
/proc/4021/task/4047/stat : 4047 (java) R 4016 4016 3960 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 15 0 230641594 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776170571800 139777195866942 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4048] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4048/stat : 4048 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 18424 33554432000 4194304 4196468 140737368334912 139774677477728 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4053] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4053/stat : 4053 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 18424 33554432000 4194304 4196468 140737368334912 139776169524272 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74568 KiB

[startup+0.210581 s]*
/proc/loadavg: 0.69 0.71 0.77 4/218 4055
/proc/meminfo: memFree=23664144/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230641588 115843072 349 33554432000 4194304 5098028 140727272712608 140727272709864 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 349 296 221 0 87 0
[pid=4021] ppid=4016 vsize=15012476 memory=86724 CPUtime=0.25 cores=0,2,4,6
/proc/4021/stat : 4021 (java) S 4016 4016 3960 0 -1 1077944320 9513 0 0 0 22 3 0 0 20 0 15 0 230641588 15372775424 21681 33554432000 4194304 4196468 140737368334912 140737368317456 139777203629815 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
/proc/4021/statm: 3753119 21681 2907 1 0 3715579 0
[pid=4021/tid=4026] ppid=4016 vsize=15012476 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/4021/task/4026/stat : 4026 (java) R 4016 4016 3960 0 -1 4202560 7424 0 0 0 17 2 0 0 20 0 15 0 230641588 15372775424 21681 33554432000 4194304 4196468 140737368334912 139777175449728 139777203651741 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4030] ppid=4016 vsize=15012476 memory=11498 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4030/stat : 4030 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 21681 33554432000 4194304 4196468 140737368334912 139777207872016 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4031] ppid=4016 vsize=15012476 memory=139782448396490 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4031/stat : 4031 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 21681 33554432000 4194304 4196468 140737368334912 139777028168336 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4032] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4032/stat : 4032 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776662927632 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4033] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4033/stat : 4033 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776661875088 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4038] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4038/stat : 4038 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641591 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776173734640 139777203640962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4040] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4040/stat : 4040 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 21681 33554432000 4194304 4196468 140737368334912 139775818327712 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4041] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4041/stat : 4041 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 21681 33554432000 4194304 4196468 140737368334912 139775549891824 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4044] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4044/stat : 4044 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 21681 33554432000 4194304 4196468 140737368334912 139775175383504 139777203648411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4045] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4045/stat : 4045 (java) S 4016 4016 3960 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776172681456 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4046] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4046/stat : 4046 (java) S 4016 4016 3960 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776171628912 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4047] ppid=4016 vsize=15012476 memory=139782447261312 CPUtime=0.03 cores=0,2,4,6
/proc/4021/task/4047/stat : 4047 (java) S 4016 4016 3960 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 230641594 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776170575856 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4048] ppid=4016 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4048/stat : 4048 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 21681 33554432000 4194304 4196468 140737368334912 139774677477728 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4053] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4053/stat : 4053 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 21681 33554432000 4194304 4196468 140737368334912 139776169524272 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88120 KiB

[startup+0.310601 s]*
/proc/loadavg: 0.69 0.71 0.77 3/218 4055
/proc/meminfo: memFree=23656100/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230641588 115843072 349 33554432000 4194304 5098028 140727272712608 140727272709864 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 349 296 221 0 87 0
[pid=4021] ppid=4016 vsize=15012476 memory=89992 CPUtime=0.42 cores=0,2,4,6
/proc/4021/stat : 4021 (java) S 4016 4016 3960 0 -1 1077944320 10033 0 0 0 39 3 0 0 20 0 15 0 230641588 15372775424 22498 33554432000 4194304 4196468 140737368334912 140737368317456 139777203629815 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
/proc/4021/statm: 3753119 22498 2962 1 0 3715579 0
[pid=4021/tid=4026] ppid=4016 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4021/task/4026/stat : 4026 (java) R 4016 4016 3960 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 15 0 230641588 15372775424 22498 33554432000 4194304 4196468 140737368334912 139777175424816 139777203641750 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4030] ppid=4016 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4030/stat : 4030 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 22498 33554432000 4194304 4196468 140737368334912 139777207872016 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4031] ppid=4016 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4031/stat : 4031 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 22498 33554432000 4194304 4196468 140737368334912 139777028168336 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4032] ppid=4016 vsize=15012476 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4032/stat : 4032 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776662927632 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4033] ppid=4016 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4033/stat : 4033 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641590 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776661875088 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4038] ppid=4016 vsize=15012476 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4038/stat : 4038 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641591 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776173734640 139777203640962 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4040] ppid=4016 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4040/stat : 4040 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 22498 33554432000 4194304 4196468 140737368334912 139775818327712 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4041] ppid=4016 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4041/stat : 4041 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641592 15372775424 22498 33554432000 4194304 4196468 140737368334912 139775549891824 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4044] ppid=4016 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4044/stat : 4044 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641594 15372775424 22498 33554432000 4194304 4196468 140737368334912 139775175383504 139777203648411 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4045] ppid=4016 vsize=15012476 memory=6944657691966988345 CPUtime=0.01 cores=0,2,4,6
/proc/4021/task/4045/stat : 4045 (java) R 4016 4016 3960 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 230641594 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776172681456 139777183130112 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4046] ppid=4016 vsize=15012476 memory=4196912344889787449 CPUtime=0.02 cores=0,2,4,6
/proc/4021/task/4046/stat : 4046 (java) R 4016 4016 3960 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 230641594 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776171628912 139777203640962 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4047] ppid=4016 vsize=15012476 memory=3047711566422646390 CPUtime=0.07 cores=0,2,4,6
/proc/4021/task/4047/stat : 4047 (java) R 4016 4016 3960 0 -1 4202560 317 0 0 0 7 0 0 0 20 0 15 0 230641594 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776170575856 139777182298480 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4048] ppid=4016 vsize=15012476 memory=-6516833586042938556 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4048/stat : 4048 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 22498 33554432000 4194304 4196468 140737368334912 139774677477728 139777203640021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4053] ppid=4016 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4053/stat : 4053 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641595 15372775424 22498 33554432000 4194304 4196468 140737368334912 139776169524272 139777203640962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91388 KiB

[startup+0.707087 s]
/proc/loadavg: 0.79 0.74 0.78 3/218 4055
/proc/meminfo: memFree=23607360/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230641588 115843072 349 33554432000 4194304 5098028 140727272712608 140727272709864 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 349 296 221 0 87 0
[pid=4021] ppid=4016 vsize=15020872 memory=129748 CPUtime=1.01 cores=0,2,4,6
/proc/4021/stat : 4021 (java) S 4016 4016 3960 0 -1 1077944320 17056 0 1 0 95 6 0 0 20 0 15 0 230641588 15381372928 32437 33554432000 4194304 4196468 140737368334912 140737368317456 139777203629815 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
/proc/4021/statm: 3755218 32437 3153 1 0 3716603 0
[pid=4021/tid=4026] ppid=4016 vsize=15020872 memory=54 CPUtime=0.66 cores=0,2,4,6
/proc/4021/task/4026/stat : 4026 (java) R 4016 4016 3960 0 -1 4202560 14389 0 1 0 62 4 0 0 20 0 15 0 230641588 15381372928 32437 33554432000 4194304 4196468 140737368334912 139777175467056 139777203641750 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4030] ppid=4016 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4030/stat : 4030 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15381372928 32437 33554432000 4194304 4196468 140737368334912 139777207872016 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4031] ppid=4016 vsize=15020872 memory=72 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4031/stat : 4031 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15381372928 32437 33554432000 4194304 4196468 140737368334912 139777028168336 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4032] ppid=4016 vsize=15020872 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4032/stat : 4032 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230641590 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776662927632 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4033] ppid=4016 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4033/stat : 4033 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641590 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776661875088 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4038] ppid=4016 vsize=15020872 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4038/stat : 4038 (java) S 4016 4016 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230641591 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776173734640 139777203640962 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4040] ppid=4016 vsize=15020872 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4040/stat : 4040 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230641592 15381372928 32437 33554432000 4194304 4196468 140737368334912 139775818327712 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4041] ppid=4016 vsize=15020872 memory=868 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4041/stat : 4041 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641592 15381372928 32437 33554432000 4194304 4196468 140737368334912 139775549891824 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4044] ppid=4016 vsize=15020872 memory=6792 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4044/stat : 4044 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641594 15381372928 32437 33554432000 4194304 4196468 140737368334912 139775175383504 139777203648411 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4045] ppid=4016 vsize=15020872 memory=11628 CPUtime=0.06 cores=0,2,4,6
/proc/4021/task/4045/stat : 4045 (java) R 4016 4016 3960 0 -1 4202560 425 0 0 0 6 0 0 0 20 0 15 0 230641594 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776172681456 139777187623664 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4046] ppid=4016 vsize=15020872 memory=752 CPUtime=0.09 cores=0,2,4,6
/proc/4021/task/4046/stat : 4046 (java) R 4016 4016 3960 0 -1 4202560 480 0 0 0 9 0 0 0 20 0 15 0 230641594 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776171616592 139777185173782 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4047] ppid=4016 vsize=15020872 memory=1276 CPUtime=0.16 cores=0,2,4,6
/proc/4021/task/4047/stat : 4047 (java) R 4016 4016 3960 0 -1 1077944384 425 0 0 0 16 0 0 0 20 0 15 0 230641594 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776170575856 139777203640962 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4048] ppid=4016 vsize=15020872 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4048/stat : 4048 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230641595 15381372928 32437 33554432000 4194304 4196468 140737368334912 139774677477728 139777203640021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
[pid=4021/tid=4053] ppid=4016 vsize=15020872 memory=15064 CPUtime=0 cores=0,2,4,6
/proc/4021/task/4053/stat : 4053 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230641595 15381372928 32437 33554432000 4194304 4196468 140737368334912 139776169524272 139777203640962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15228928 140737368343559 140737368343857 140737368343857 140737368346575 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131144 KiB

[startup+1.50076 s]
/proc/loadavg: 0.79 0.74 0.78 7/218 4055
/proc/meminfo: memFree=23549568/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 230641588 115843072 349 33554432000 4194304 5098028 140727272712608 140727272709864 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 95.1 s
Current children cumulated vsize: 8219824 KiB
Current children cumulated memory: 139460 KiB

[startup+90.0009 s]*
/proc/loadavg: 1.73 1.06 0.89 3/228 4197
/proc/meminfo: memFree=23533396/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1472 CPUtime=8.09 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 591 26483 0 1 0 0 791 18 20 0 1 0 230641588 115843072 368 33554432000 4194304 5098028 140727272712608 140727272709352 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 368 311 221 0 87 0
[pid=4071] ppid=4016 vsize=8068220 memory=116424 CPUtime=1.16 cores=0,2,4,6
/proc/4071/stat : 4071 (java) S 4016 4016 3960 0 -1 1077944320 17858 0 0 0 109 7 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 140729219380320 139940208328439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
/proc/4071/statm: 2017055 29106 3146 1 0 1978454 0
[pid=4092] ppid=4071 vsize=38476 memory=21564 CPUtime=86.25 cores=0,2,4,6
/proc/4092/stat : 4092 (minisat_release) R 4071 4016 3960 0 -1 4202496 22684 0 0 0 8623 2 0 0 20 0 1 0 230641962 39399424 5391 33554432000 4194304 4308513 140722956897216 140722956894120 4250525 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 16814080 140722956903541 140722956903638 140722956903638 140722956906437 0
/proc/4092/statm: 9619 5391 336 28 0 5859 0
[pid=4071/tid=4072] ppid=4016 vsize=8068220 memory=3812 CPUtime=0.75 cores=0,2,4,6
/proc/4071/task/4072/stat : 4072 (java) S 4016 4016 3960 0 -1 1077944384 14992 0 0 0 70 5 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940180168592 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4073] ppid=4016 vsize=8068220 memory=62720 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4073/stat : 4073 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940212570384 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4074] ppid=4016 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4074/stat : 4074 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940035066256 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4075] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4075/stat : 4075 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939692624400 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4076] ppid=4016 vsize=8068220 memory=21388 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4076/stat : 4076 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939691571856 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4077] ppid=4016 vsize=8068220 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4077/stat : 4077 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230641893 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939654801904 139940208339586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4078] ppid=4016 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4078/stat : 4078 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939161302432 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4079] ppid=4016 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4079/stat : 4079 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938892867056 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4080] ppid=4016 vsize=8068220 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4080/stat : 4080 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938518358736 139940208347035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4081] ppid=4016 vsize=8068220 memory=868 CPUtime=0.09 cores=0,2,4,6
/proc/4071/task/4081/stat : 4081 (java) S 4016 4016 3960 0 -1 1077944384 533 0 0 0 9 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939653748720 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4082] ppid=4016 vsize=8068220 memory=6792 CPUtime=0.08 cores=0,2,4,6
/proc/4071/task/4082/stat : 4082 (java) S 4016 4016 3960 0 -1 1077944384 422 0 0 0 8 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939652696176 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4083] ppid=4016 vsize=8068220 memory=11628 CPUtime=0.19 cores=0,2,4,6
/proc/4071/task/4083/stat : 4083 (java) S 4016 4016 3960 0 -1 1077944384 493 0 0 0 19 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939651643632 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4084] ppid=4016 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4084/stat : 4084 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938020452960 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4085] ppid=4016 vsize=8068220 memory=1276 CPUtime=0.02 cores=0,2,4,6
/proc/4071/task/4085/stat : 4085 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939650591536 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4093] ppid=4016 vsize=8068220 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4093/stat : 4093 (java) S 4016 4016 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939642783296 139940208353049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4095] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4095/stat : 4095 (java) S 4016 4016 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937483567248 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4096] ppid=4016 vsize=8068220 memory=21564 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4096/stat : 4096 (java) S 4016 4016 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937617788176 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4097] ppid=4016 vsize=8068220 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4097/stat : 4097 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641965 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937215142944 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
Current children cumulated CPU time: 95.5 s
Current children cumulated vsize: 8219824 KiB
Current children cumulated memory: 139460 KiB

[startup+90.2009 s]
/proc/loadavg: 1.73 1.06 0.89 3/228 4197
/proc/meminfo: memFree=23533396/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1472 CPUtime=8.09 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 591 26483 0 1 0 0 791 18 20 0 1 0 230641588 115843072 368 33554432000 4194304 5098028 140727272712608 140727272709352 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 368 311 221 0 87 0
[pid=4071] ppid=4016 vsize=8068220 memory=116424 CPUtime=1.16 cores=0,2,4,6
/proc/4071/stat : 4071 (java) S 4016 4016 3960 0 -1 1077944320 17858 0 0 0 109 7 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 140729219380320 139940208328439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
/proc/4071/statm: 2017055 29106 3146 1 0 1978454 0
[pid=4092] ppid=4071 vsize=38476 memory=21564 CPUtime=86.45 cores=0,2,4,6
/proc/4092/stat : 4092 (minisat_release) R 4071 4016 3960 0 -1 4202496 22684 0 0 0 8643 2 0 0 20 0 1 0 230641962 39399424 5391 33554432000 4194304 4308513 140722956897216 140722956894120 4276135 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 16814080 140722956903541 140722956903638 140722956903638 140722956906437 0
/proc/4092/statm: 9619 5391 336 28 0 5859 0
[pid=4071/tid=4072] ppid=4016 vsize=8068220 memory=11628 CPUtime=0.75 cores=0,2,4,6
/proc/4071/task/4072/stat : 4072 (java) S 4016 4016 3960 0 -1 1077944384 14992 0 0 0 70 5 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940180168592 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4073] ppid=4016 vsize=8068220 memory=488 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4073/stat : 4073 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940212570384 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4074] ppid=4016 vsize=8068220 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4074/stat : 4074 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940035066256 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4075] ppid=4016 vsize=8068220 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4075/stat : 4075 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939692624400 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4076] ppid=4016 vsize=8068220 memory=932 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4076/stat : 4076 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939691571856 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4077] ppid=4016 vsize=8068220 memory=6416 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4077/stat : 4077 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230641893 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939654801904 139940208339586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4078] ppid=4016 vsize=8068220 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4078/stat : 4078 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939161302432 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4079] ppid=4016 vsize=8068220 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4079/stat : 4079 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938892867056 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4080] ppid=4016 vsize=8068220 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4080/stat : 4080 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938518358736 139940208347035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4081] ppid=4016 vsize=8068220 memory=1220 CPUtime=0.09 cores=0,2,4,6
/proc/4071/task/4081/stat : 4081 (java) S 4016 4016 3960 0 -1 1077944384 533 0 0 0 9 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939653748720 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4082] ppid=4016 vsize=8068220 memory=1800 CPUtime=0.08 cores=0,2,4,6
/proc/4071/task/4082/stat : 4082 (java) S 4016 4016 3960 0 -1 1077944384 422 0 0 0 8 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939652696176 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4083] ppid=4016 vsize=8068220 memory=868 CPUtime=0.19 cores=0,2,4,6
/proc/4071/task/4083/stat : 4083 (java) S 4016 4016 3960 0 -1 1077944384 493 0 0 0 19 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939651643632 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4084] ppid=4016 vsize=8068220 memory=6792 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4084/stat : 4084 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938020452960 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4085] ppid=4016 vsize=8068220 memory=11628 CPUtime=0.02 cores=0,2,4,6
/proc/4071/task/4085/stat : 4085 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939650591536 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4093] ppid=4016 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4093/stat : 4093 (java) S 4016 4016 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939642783296 139940208353049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4095] ppid=4016 vsize=8068220 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4095/stat : 4095 (java) S 4016 4016 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937483567248 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4096] ppid=4016 vsize=8068220 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4096/stat : 4096 (java) S 4016 4016 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937617788176 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4097] ppid=4016 vsize=8068220 memory=15064 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4097/stat : 4097 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641965 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937215142944 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
Current children cumulated CPU time: 95.7 s
Current children cumulated vsize: 8219824 KiB
Current children cumulated memory: 139460 KiB

[startup+90.301 s]
/proc/loadavg: 1.73 1.06 0.89 3/228 4197
/proc/meminfo: memFree=23533396/32770624 swapFree=67108372/67108860
[pid=4016] ppid=4013 vsize=113128 memory=1472 CPUtime=8.09 cores=0,2,4,6
/proc/4016/stat : 4016 (scop.sh) S 4013 4016 3960 0 -1 4202496 591 26483 0 1 0 0 791 18 20 0 1 0 230641588 115843072 368 33554432000 4194304 5098028 140727272712608 140727272709352 139725252899452 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 23748608 140727272719424 140727272719623 140727272719623 140727272722381 0
/proc/4016/statm: 28282 368 311 221 0 87 0
[pid=4071] ppid=4016 vsize=8068220 memory=116424 CPUtime=1.16 cores=0,2,4,6
/proc/4071/stat : 4071 (java) S 4016 4016 3960 0 -1 1077944320 17858 0 0 0 109 7 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 140729219380320 139940208328439 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
/proc/4071/statm: 2017055 29106 3146 1 0 1978454 0
[pid=4092] ppid=4071 vsize=38476 memory=21564 CPUtime=86.55 cores=0,2,4,6
/proc/4092/stat : 4092 (minisat_release) R 4071 4016 3960 0 -1 4202496 22684 0 0 0 8653 2 0 0 20 0 1 0 230641962 39399424 5391 33554432000 4194304 4308513 140722956897216 140722956894120 4276436 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 16814080 140722956903541 140722956903638 140722956903638 140722956906437 0
/proc/4092/statm: 9619 5391 336 28 0 5859 0
[pid=4071/tid=4072] ppid=4016 vsize=8068220 memory=1472 CPUtime=0.75 cores=0,2,4,6
/proc/4071/task/4072/stat : 4072 (java) S 4016 4016 3960 0 -1 1077944384 14992 0 0 0 70 5 0 0 20 0 19 0 230641891 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940180168592 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4073] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4073/stat : 4073 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940212570384 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4074] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4074/stat : 4074 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139940035066256 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4075] ppid=4016 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4075/stat : 4075 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939692624400 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4076] ppid=4016 vsize=8068220 memory=21564 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4076/stat : 4076 (java) S 4016 4016 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230641892 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939691571856 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4077] ppid=4016 vsize=8068220 memory=53268 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4077/stat : 4077 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230641893 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939654801904 139940208339586 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4078] ppid=4016 vsize=8068220 memory=21300 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4078/stat : 4078 (java) S 4016 4016 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939161302432 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4079] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4079/stat : 4079 (java) S 4016 4016 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230641894 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938892867056 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4080] ppid=4016 vsize=8068220 memory=279564656319424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4080/stat : 4080 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938518358736 139940208347035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4081] ppid=4016 vsize=8068220 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/4071/task/4081/stat : 4081 (java) S 4016 4016 3960 0 -1 1077944384 533 0 0 0 9 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939653748720 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4082] ppid=4016 vsize=8068220 memory=752 CPUtime=0.08 cores=0,2,4,6
/proc/4071/task/4082/stat : 4082 (java) S 4016 4016 3960 0 -1 1077944384 422 0 0 0 8 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939652696176 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4083] ppid=4016 vsize=8068220 memory=1276 CPUtime=0.19 cores=0,2,4,6
/proc/4071/task/4083/stat : 4083 (java) S 4016 4016 3960 0 -1 1077944384 493 0 0 0 19 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939651643632 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4084] ppid=4016 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4084/stat : 4084 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139938020452960 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4085] ppid=4016 vsize=8068220 memory=116424 CPUtime=0.02 cores=0,2,4,6
/proc/4071/task/4085/stat : 4085 (java) S 4016 4016 3960 0 -1 1077944384 7 0 0 0 1 1 0 0 20 0 19 0 230641897 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939650591536 139940208339586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4093] ppid=4016 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4093/stat : 4093 (java) S 4016 4016 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139939642783296 139940208353049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4095] ppid=4016 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4095/stat : 4095 (java) S 4016 4016 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937483567248 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4096] ppid=4016 vsize=8068220 memory=116424 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4096/stat : 4096 (java) S 4016 4016 3960 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230641963 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937617788176 139940208350365 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
[pid=4071/tid=4097] ppid=4016 vsize=8068220 memory=21564 CPUtime=0 cores=0,2,4,6
/proc/4071/task/4097/stat : 4097 (java) S 4016 4016 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230641965 8261857280 29106 33554432000 4194304 4196468 140729219397776 139937215142944 139940208338645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26267648 140729219404982 140729219405105 140729219405105 140729219407823 0
Current children cumulated CPU time: 95.8 s
Current children cumulated vsize: 8219824 KiB
Current children cumulated memory: 139460 KiB

Child status: 0
Real time (s): 90.3495
CPU time (s): 95.8737
CPU user time (s): 95.5813
CPU system time (s): 0.292376
CPU usage (%): 106.114
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 494608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5813
system time used= 0.292376
maximum resident set size= 493440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67681
page faults= 1
swaps= 0
block input operations= 296
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6865
involuntary context switches= 167


# summary of solver processes directly reported to runsolver:
#   pid: 4016
#   total CPU time (s): 95.8737
#   total CPU user time (s): 95.5813
#   total CPU system time (s): 0.292376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.626217 second user time and 0.980609 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 05:26:24
IDJOB=4305403
IDBENCH=141613
IDSOLVER=2782
FILE ID=node137/4305403-1534130784
RUNJOBID= node137-1534130784-3991
PBS_JOBID= 21037014
Free space on /tmp= 26544 MiB

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

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

MD5SUM BENCH= 86261698a40453ca60d699c1ebc214eb
RANDOM SEED=1822918004

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23814716 kB
MemAvailable:   31901808 kB
Buffers:           99516 kB
Cached:          8182260 kB
SwapCached:            8 kB
Active:          4020940 kB
Inactive:        4316680 kB
Active(anon):       3096 kB
Inactive(anon):   105192 kB
Active(file):    4017844 kB
Inactive(file):  4211488 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             15788 kB
Writeback:             0 kB
AnonPages:         63624 kB
Mapped:            53236 kB
Shmem:             49624 kB
Slab:             314296 kB
SReclaimable:     286220 kB
SUnreclaim:        28076 kB
KernelStack:        3168 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26524 MiB
End job on node137 at 2018-08-13 05:27:55