Trace number 4305346

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 27.2352 25.265

General information on the benchmark

NameLangford/
LangfordBin-10_c18.xml
MD5SUM2feb3ccfa512a42ac39c3fc722de9112
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 benchmark3.88722
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints30
Number of domains2
Minimum domain size10
Maximum domain size20
Distribution of domain sizes[{"size":10,"count":20},{"size":20,"count":20}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":20},{"degree":20,"count":20}]
Minimum constraint arity2
Maximum constraint arity21
Distribution of constraint arities[{"arity":2,"count":10},{"arity":21,"count":20}]
Number of extensional constraints0
Number of intensional constraints10
Distribution of constraint types[{"type":"intension","count":10},{"type":"element","count":20}]
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-6503-serial-file.bin HOME/instance-4305346-1534072482.xml
0.65/0.52	
0.65/0.52	scop order+minisat_release (2018-07-31)
0.65/0.53	(Encoding Process)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Sun Aug 12 13:14:43 CEST 2018
0.65/0.55	c PID: 6506
0.65/0.55	c IP: 172.20.3.151
0.65/0.55	c HOST: node151.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.18/0.85	c (0,0) Parsing End
1.18/0.86	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 30 ctr, max domain size 20
1.18/0.86	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86	c (0,0) Constraint Name Generate Begin
1.18/0.87	c (0,0) Ctr:HOME/instance-4305346-1534072482.xml,Add:Element:Eq:IntVar:Num
1.18/0.87	c (0,0) Constraint Name Generate End
1.18/0.87	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87	c (0,0) CSP to CSPinCNF Begin
1.54/1.01	c (0,0) translated 3 (10%) constraints
1.54/1.05	c (0,0) translated 6 (20%) constraints
1.54/1.08	c (0,0) translated 9 (30%) constraints
1.82/1.11	c (0,0) translated 12 (40%) constraints
1.82/1.14	c (0,0) translated 15 (50%) constraints
1.82/1.16	c (0,0) translated 18 (60%) constraints
1.82/1.18	c (0,0) translated 21 (70%) constraints
1.82/1.19	c (0,0) translated 24 (80%) constraints
1.82/1.19	c (0,0) translated 27 (90%) constraints
1.82/1.19	c (0,0) translated 30 (100%) constraints
2.05/1.23	c (0,0) STATISTICS1:HOME/instance-4305346-1534072482.xml,Add:Element:Eq:IntVar:Num,40,410,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:42;17:42;16:42;15:42;14:42;13:42;12:42;11:42;10:442;9:42,3:400;1:10,2:20;1:1200,
2.05/1.23	c (0,0) ==========================================
2.05/1.23	c (0,0) Order
2.05/1.23	c (0,0) ==========================================
2.05/1.27	c (0,0) translated 41 (10%) constraints
2.05/1.29	c (0,0) translated 82 (20%) constraints
2.30/1.31	c (0,0) translated 123 (30%) constraints
2.30/1.32	c (0,0) translated 164 (40%) constraints
2.30/1.34	c (0,0) translated 205 (50%) constraints
2.30/1.35	c (0,0) translated 246 (60%) constraints
2.30/1.36	c (0,0) translated 287 (70%) constraints
2.30/1.37	c (0,0) translated 328 (80%) constraints
2.30/1.38	c (0,0) translated 369 (90%) constraints
2.30/1.39	c (0,0) translated 410 (100%) constraints
2.30/1.39	c (0,0) CSP to CSPinCNF End
2.30/1.39	c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1220 ctr, max domain size 18
2.30/1.39	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.30/1.39	c (0,0) CSPinCNF Propagation Begin
2.56/1.43	c (0,0) 0 values, 170 unsatisfiable literals, and 210 valid clauses are removed
2.56/1.43	c (0,0) CSPinCNF Propagation End
2.56/1.44	c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.56/1.44	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.44	c (0,0) Simplify CSPinCNF Begin
2.56/1.44	c (0,0) Simplify CSPinCNF End
2.56/1.45	c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.56/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.45	c (0,0) Calculate Precise Domain Begin
2.56/1.45	c (0,0) 0 values are removed by re-calculation
2.56/1.45	c (0,0) Calculate Precise Domain End
2.56/1.45	c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.56/1.45	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.56/1.45	c (0,0) CSPinCNF to SatSolver Begin
2.56/1.49	c (0,0) 101 (10 %) CSP clauses are encoded (630 SAT variables, 490 SAT clauses)
2.87/1.50	c (0,0) 202 (20 %) CSP clauses are encoded (630 SAT variables, 591 SAT clauses)
2.87/1.50	c (0,0) 303 (30 %) CSP clauses are encoded (630 SAT variables, 692 SAT clauses)
2.87/1.51	c (0,0) 404 (40 %) CSP clauses are encoded (630 SAT variables, 793 SAT clauses)
2.87/1.51	c (0,0) 505 (50 %) CSP clauses are encoded (630 SAT variables, 894 SAT clauses)
2.87/1.52	c (0,0) 606 (60 %) CSP clauses are encoded (630 SAT variables, 995 SAT clauses)
2.87/1.52	c (0,0) 707 (70 %) CSP clauses are encoded (630 SAT variables, 1096 SAT clauses)
2.87/1.52	c (0,0) 808 (80 %) CSP clauses are encoded (630 SAT variables, 1197 SAT clauses)
2.87/1.53	c (0,0) 909 (90 %) CSP clauses are encoded (630 SAT variables, 1298 SAT clauses)
2.87/1.54	c (1,0) 1010 (100 %) CSP clauses are encoded (630 SAT variables, 1622 SAT clauses)
2.87/1.54	c (1,0) Launch Command will be: minisat_release
2.87/1.54	c (1,0) CSPinCNF to SatSolver End
2.87/1.54	c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.87/1.56	c (1,1) STATISTICS2:HOME/instance-4305346-1534072482.xml,Add:Element:Eq:IntVar:Num,240,1010,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:72;17:68;16:64;15:60;14:56;13:52;12:48;11:44;10:760;9:36;2:990,3:230;2:760;1:20,2:20;1:2210,
2.87/1.56	c (1,1) 630 bool, 1630 clause
2.87/1.56	c (1,1) Export Begin
3.13/1.64	c (1,1) Export to HOME/scop-6503-serial-file.bin
3.13/1.64	c (1,1) Export End
3.13/1.64	c (1,1) Export File Size: 0.01 MB
3.13/1.64	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.13/1.64	c END-Prog: Sun Aug 12 13:14:44 CEST 2018
3.13/1.65	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6503-serial-file.bin
3.81/2.14	c (0,0) Read Serial File Begin
3.81/2.14	c (0,0) HOME/scop-6503-serial-file.bin
3.93/2.29	c (0,0) Read Serial File End
4.08/2.31	
4.08/2.31	scop order+minisat_release (2018-07-31)
4.08/2.31	(Solving Process)
4.08/2.31	
4.08/2.33	c BEGIN-Prog: Sun Aug 12 13:14:45 CEST 2018
4.08/2.33	c PID: 6521
4.08/2.33	c IP: 172.20.3.151
4.08/2.33	c HOST: node151.alineos.net
4.08/2.33	c (0,0) SatSolver.solve Begin
4.08/2.33	c (0,0) 0 bool, 0 clause
4.08/2.33	c (0,0) minisat_release HOME/instance-4305346-1534072482.xml-scop-6506.cnf
27.14/25.25	c (23,0) c This is COMiniSatPS.
27.14/25.25	c (23,0) c WARNING: for repeatability, setting FPU to use double precision
27.14/25.25	c (23,0) c ============================[ Problem Statistics ]=============================
27.14/25.25	c (23,0) c |                                                                             |
27.14/25.25	c (23,0) c |  Number of variables:           630                                         |
27.14/25.25	c (23,0) c |  Number of clauses:            1630                                         |
27.14/25.25	c (23,0) c |  Parse time:                   0.00 s                                       |
27.14/25.25	c (23,0) c |  Eliminated clauses:           0.01 Mb                                      |
27.14/25.25	c (23,0) c Reduced to 344 vars, 1091 cls (grow=0)
27.14/25.25	c (23,0) c No iterative elimination performed. (vars=344, c/v ratio=3.2)
27.14/25.25	c (23,0) c |  Simplification time:          0.00 s                                       |
27.14/25.25	c (23,0) c |                                                                             |
27.14/25.25	c (23,0) c ============================[ Search Statistics ]==============================
27.14/25.25	c (23,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.14/25.25	c (23,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
27.14/25.25	c (23,0) c ===============================================================================
27.14/25.25	c (23,0) c ===============================================================================
27.14/25.25	c (23,0) c restarts              : 550
27.14/25.25	c (23,0) c conflicts             : 256527         (11212 /sec)
27.14/25.25	c (23,0) c decisions             : 295976         (0.00 % random) (12936 /sec)
27.14/25.25	c (23,0) c propagations          : 16502587       (721261 /sec)
27.14/25.25	c (23,0) c conflict literals     : 4707019        (44.07 % deleted)
27.14/25.25	c (23,0) c CPU time              : 22.8802 s
27.14/25.25	c (23,0) 
27.14/25.25	c (23,0) s UNSATISFIABLE
27.14/25.25	c (23,0) SatSolver.solve End
27.14/25.25	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
27.14/25.25	c (23,0) Show results Begin
27.14/25.25	s UNSATISFIABLE
27.14/25.25	c (23,0) Show results End
27.14/25.25	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
27.14/25.25	c (23,0) 23,23,STOP-AFTER(ALL)
27.14/25.25	c END-Prog: Sun Aug 12 13:15:08 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 (2863 MiB free)
  memory of node 1: 16384 MiB (5307 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305346-1534072482/watcher-4305346-1534072482 -o /tmp/evaluation-result-4305346-1534072482/solver-4305346-1534072482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305346-1534072482.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=6503, runsolver pid=6500

[startup+0.100582 s]*
/proc/loadavg: 2.17 2.05 2.06 3/223 6520
/proc/meminfo: memFree=8305212/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224811417 115843072 349 33554432000 4194304 5098028 140728666993920 140728666991176 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 349 296 221 0 87 0
[pid=6506] ppid=6503 vsize=15012476 memory=72316 CPUtime=0.1 cores=0,2,4,6
/proc/6506/stat : 6506 (java) S 6503 6503 3762 0 -1 1077944320 6190 0 0 0 8 2 0 0 20 0 15 0 224811417 15372775424 18079 33554432000 4194304 4196468 140725765384832 140725765367376 140695686926071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
/proc/6506/statm: 3753119 18079 2743 1 0 3715579 0
[pid=6506/tid=6507] ppid=6503 vsize=15012476 memory=-2843876196599317662 CPUtime=0.08 cores=0,2,4,6
/proc/6506/task/6507/stat : 6507 (java) R 6503 6503 3762 0 -1 4202560 4414 0 0 0 7 1 0 0 20 0 15 0 224811417 15372775424 18145 33554432000 4194304 4196468 140725765384832 140695658706144 140695679163198 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6508] ppid=6503 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6508/stat : 6508 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 18145 33554432000 4194304 4196468 140725765384832 140695691168656 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6509] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6509/stat : 6509 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 18145 33554432000 4194304 4196468 140725765384832 140695482252048 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6510] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6510/stat : 6510 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 18145 33554432000 4194304 4196468 140725765384832 140695481199760 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6511] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6511/stat : 6511 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 18145 33554432000 4194304 4196468 140725765384832 140695480146960 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6512] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6512/stat : 6512 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811420 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694455777392 140695686937218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6513] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6513/stat : 6513 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694337348384 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6514] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6514/stat : 6514 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694068913264 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6515] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6515/stat : 6515 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 18145 33554432000 4194304 4196468 140725765384832 140693694404688 140695686944667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6516] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6516/stat : 6516 (java) S 6503 6503 3762 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694454725232 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6517] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6517/stat : 6517 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694453672432 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6518] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6518/stat : 6518 (java) S 6503 6503 3762 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694452620144 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6519] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6519/stat : 6519 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 18145 33554432000 4194304 4196468 140725765384832 140693196499936 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6520] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6520/stat : 6520 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 18145 33554432000 4194304 4196468 140725765384832 140694451567024 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73712 KiB

[startup+0.21046 s]*
/proc/loadavg: 2.17 2.05 2.06 4/223 6520
/proc/meminfo: memFree=8291136/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224811417 115843072 349 33554432000 4194304 5098028 140728666993920 140728666991176 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 349 296 221 0 87 0
[pid=6506] ppid=6503 vsize=15012476 memory=86188 CPUtime=0.24 cores=0,2,4,6
/proc/6506/stat : 6506 (java) S 6503 6503 3762 0 -1 1077944320 9868 0 0 0 21 3 0 0 20 0 15 0 224811417 15372775424 21547 33554432000 4194304 4196468 140725765384832 140725765367376 140695686926071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
/proc/6506/statm: 3753119 21547 2905 1 0 3715579 0
[pid=6506/tid=6507] ppid=6503 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/6506/task/6507/stat : 6507 (java) R 6503 6503 3762 0 -1 4202560 7790 0 0 0 17 2 0 0 20 0 15 0 224811417 15372775424 21547 33554432000 4194304 4196468 140725765384832 140695658742128 140695159538319 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6508] ppid=6503 vsize=15012476 memory=540 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6508/stat : 6508 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 21547 33554432000 4194304 4196468 140725765384832 140695691168656 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6509] ppid=6503 vsize=15012476 memory=140453549836790 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6509/stat : 6509 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 21547 33554432000 4194304 4196468 140725765384832 140695482252048 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6510] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6510/stat : 6510 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 21547 33554432000 4194304 4196468 140725765384832 140695481199760 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6511] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6511/stat : 6511 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 21547 33554432000 4194304 4196468 140725765384832 140695480146960 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6512] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6512/stat : 6512 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811420 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694455777392 140695686937218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6513] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6513/stat : 6513 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694337348384 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6514] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6514/stat : 6514 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694068913264 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6515] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6515/stat : 6515 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 21547 33554432000 4194304 4196468 140725765384832 140693694404688 140695686944667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6516] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6516/stat : 6516 (java) S 6503 6503 3762 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694454725232 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6517] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6517/stat : 6517 (java) S 6503 6503 3762 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694453672432 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6518] ppid=6503 vsize=15012476 memory=140453549811328 CPUtime=0.03 cores=0,2,4,6
/proc/6506/task/6518/stat : 6518 (java) S 6503 6503 3762 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 224811423 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694452620144 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6519] ppid=6503 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6519/stat : 6519 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 21547 33554432000 4194304 4196468 140725765384832 140693196499936 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6520] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6520/stat : 6520 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 21547 33554432000 4194304 4196468 140725765384832 140694451567024 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87584 KiB

[startup+0.310424 s]*
/proc/loadavg: 2.17 2.05 2.06 4/223 6520
/proc/meminfo: memFree=8287736/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224811417 115843072 349 33554432000 4194304 5098028 140728666993920 140728666991176 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 349 296 221 0 87 0
[pid=6506] ppid=6503 vsize=15012476 memory=89716 CPUtime=0.41 cores=0,2,4,6
/proc/6506/stat : 6506 (java) S 6503 6503 3762 0 -1 1077944320 10412 0 0 0 38 3 0 0 20 0 15 0 224811417 15372775424 22429 33554432000 4194304 4196468 140725765384832 140725765367376 140695686926071 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
/proc/6506/statm: 3753119 22429 2977 1 0 3715579 0
[pid=6506/tid=6507] ppid=6503 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6506/task/6507/stat : 6507 (java) R 6503 6503 3762 0 -1 4202560 8166 0 0 0 26 3 0 0 20 0 15 0 224811417 15372775424 22429 33554432000 4194304 4196468 140725765384832 140695658721072 140695671006558 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6508] ppid=6503 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6508/stat : 6508 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 22429 33554432000 4194304 4196468 140725765384832 140695691168656 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6509] ppid=6503 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6509/stat : 6509 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 22429 33554432000 4194304 4196468 140725765384832 140695482252048 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6510] ppid=6503 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6510/stat : 6510 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 22429 33554432000 4194304 4196468 140725765384832 140695481199760 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6511] ppid=6503 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6511/stat : 6511 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15372775424 22429 33554432000 4194304 4196468 140725765384832 140695480146960 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6512] ppid=6503 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6512/stat : 6512 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811420 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694455777392 140695686937218 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6513] ppid=6503 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6513/stat : 6513 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694337348384 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6514] ppid=6503 vsize=15012476 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6514/stat : 6514 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811421 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694068913264 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6515] ppid=6503 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6515/stat : 6515 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811423 15372775424 22429 33554432000 4194304 4196468 140725765384832 140693694404688 140695686944667 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6516] ppid=6503 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6506/task/6516/stat : 6516 (java) S 6503 6503 3762 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 224811423 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694454725232 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6517] ppid=6503 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6506/task/6517/stat : 6517 (java) S 6503 6503 3762 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 224811423 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694453672432 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6518] ppid=6503 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6506/task/6518/stat : 6518 (java) S 6503 6503 3762 0 -1 1077944384 309 0 0 0 7 0 0 0 20 0 15 0 224811423 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694452620144 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6519] ppid=6503 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6519/stat : 6519 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 22429 33554432000 4194304 4196468 140725765384832 140693196499936 140695686936277 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6520] ppid=6503 vsize=15012476 memory=3760565308137551663 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6520/stat : 6520 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811424 15372775424 22429 33554432000 4194304 4196468 140725765384832 140694451567024 140695686937218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91112 KiB

[startup+0.703486 s]
/proc/loadavg: 2.24 2.06 2.06 3/223 6520
/proc/meminfo: memFree=8263676/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224811417 115843072 349 33554432000 4194304 5098028 140728666993920 140728666991176 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 349 296 221 0 87 0
[pid=6506] ppid=6503 vsize=15020872 memory=129712 CPUtime=0.99 cores=0,2,4,6
/proc/6506/stat : 6506 (java) S 6503 6503 3762 0 -1 1077944320 17585 0 0 0 93 6 0 0 20 0 15 0 224811417 15381372928 32428 33554432000 4194304 4196468 140725765384832 140725765367376 140695686926071 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
/proc/6506/statm: 3755218 32428 3146 1 0 3716603 0
[pid=6506/tid=6507] ppid=6503 vsize=15020872 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/6506/task/6507/stat : 6507 (java) R 6503 6503 3762 0 -1 4202560 14916 0 0 0 61 5 0 0 20 0 15 0 224811417 15381372928 32428 33554432000 4194304 4196468 140725765384832 140695658764192 140695671006558 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6508] ppid=6503 vsize=15020872 memory=180 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6508/stat : 6508 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15381372928 32428 33554432000 4194304 4196468 140725765384832 140695691168656 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6509] ppid=6503 vsize=15020872 memory=14795 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6509/stat : 6509 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15381372928 32428 33554432000 4194304 4196468 140725765384832 140695482252048 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6510] ppid=6503 vsize=15020872 memory=4957 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6510/stat : 6510 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811419 15381372928 32428 33554432000 4194304 4196468 140725765384832 140695481199760 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6511] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6511/stat : 6511 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811419 15381372928 32428 33554432000 4194304 4196468 140725765384832 140695480146960 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6512] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6512/stat : 6512 (java) S 6503 6503 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224811420 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694455777392 140695686937218 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6513] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6513/stat : 6513 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224811421 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694337348384 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6514] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6514/stat : 6514 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224811421 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694068913264 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6515] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6515/stat : 6515 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811423 15381372928 32428 33554432000 4194304 4196468 140725765384832 140693694404688 140695686944667 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6516] ppid=6503 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6506/task/6516/stat : 6516 (java) S 6503 6503 3762 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 224811423 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694454725232 140695686937218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6517] ppid=6503 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6506/task/6517/stat : 6517 (java) R 6503 6503 3762 0 -1 4202560 449 0 0 0 8 0 0 0 20 0 15 0 224811423 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694453661696 140695668446931 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6518] ppid=6503 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6506/task/6518/stat : 6518 (java) S 6503 6503 3762 0 -1 1077944384 411 0 0 0 15 0 0 0 20 0 15 0 224811423 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694452620144 140695686937218 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6519] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6519/stat : 6519 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224811424 15381372928 32428 33554432000 4194304 4196468 140725765384832 140693196499936 140695686936277 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
[pid=6506/tid=6520] ppid=6503 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6506/task/6520/stat : 6520 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224811424 15381372928 32428 33554432000 4194304 4196468 140725765384832 140694451567024 140695686937218 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38305792 140725765387271 140725765387569 140725765387569 140725765390287 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131108 KiB

[startup+1.50073 s]
/proc/loadavg: 2.24 2.06 2.06 4/223 6520
/proc/meminfo: memFree=8237676/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224811417 115843072 349 33554432000 4194304 5098028 140728666993920 140728666991176 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 8214280 KiB
Current children cumulated memory: 133684 KiB

[startup+24.0008 s]*
/proc/loadavg: 2.17 2.06 2.06 3/227 6541
/proc/meminfo: memFree=8246548/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1472 CPUtime=3.21 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 590 22738 0 0 0 0 311 10 20 0 1 0 224811417 115843072 368 33554432000 4194304 5098028 140728666993920 140728666990664 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 368 311 221 0 87 0
[pid=6521] ppid=6503 vsize=8068220 memory=116164 CPUtime=1.1 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6503 6503 3762 0 -1 1077944320 17319 0 0 0 104 6 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 140737412105072 139940841271031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
/proc/6521/statm: 2017055 29041 3145 1 0 1978454 0
[pid=6536] ppid=6521 vsize=32932 memory=16048 CPUtime=21.63 cores=0,2,4,6
/proc/6536/stat : 6536 (minisat_release) R 6521 6503 3762 0 -1 4202496 12352 0 0 0 2163 0 0 0 20 0 1 0 224811652 33722368 4012 33554432000 4194304 4308513 140725218332304 140725218329208 4275920 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39190528 140725218333813 140725218333910 140725218333910 140725218336709 0
/proc/6536/statm: 8233 4012 339 28 0 4473 0
[pid=6521/tid=6522] ppid=6503 vsize=8068220 memory=-5059952977386882957 CPUtime=0.73 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) S 6503 6503 3762 0 -1 1077944384 14461 0 0 0 69 4 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940813111184 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6523] ppid=6503 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940845513744 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6524] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940645682320 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6525] ppid=6503 vsize=8068220 memory=168379897885410 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940644629264 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6526] ppid=6503 vsize=8068220 memory=168379897885411 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940643576720 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6527] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6503 6503 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939951872240 139940841282178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6528] ppid=6503 vsize=8068220 memory=3472468749644751264 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939698173088 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6529] ppid=6503 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6503 6503 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939563950832 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6530] ppid=6503 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939189446608 139940841289627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6531] ppid=6503 vsize=8068220 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6503 6503 3762 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939950820080 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6532] ppid=6503 vsize=8068220 memory=-7966001967407402336 CPUtime=0.08 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6503 6503 3762 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939949767536 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6533] ppid=6503 vsize=8068220 memory=-7737621075815361686 CPUtime=0.17 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6503 6503 3762 0 -1 1077944384 490 0 0 0 17 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939948714480 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6534] ppid=6503 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938691541856 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6535] ppid=6503 vsize=8068220 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939947661872 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6537] ppid=6503 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6537/stat : 6537 (java) S 6503 6503 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939940185408 139940841295641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6539] ppid=6503 vsize=8068220 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6539/stat : 6539 (java) S 6503 6503 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938154655120 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6540] ppid=6503 vsize=8068220 memory=4536 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6540/stat : 6540 (java) S 6503 6503 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224811654 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938020433936 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6541] ppid=6503 vsize=8068220 memory=8448 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6541/stat : 6541 (java) S 6503 6503 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224811656 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938288885536 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
Current children cumulated CPU time: 25.94 s
Current children cumulated vsize: 8214280 KiB
Current children cumulated memory: 133684 KiB

[startup+24.8008 s]
/proc/loadavg: 2.17 2.06 2.06 3/227 6541
/proc/meminfo: memFree=8246548/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1472 CPUtime=3.21 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 590 22738 0 0 0 0 311 10 20 0 1 0 224811417 115843072 368 33554432000 4194304 5098028 140728666993920 140728666990664 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 368 311 221 0 87 0
[pid=6521] ppid=6503 vsize=8068220 memory=116164 CPUtime=1.1 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6503 6503 3762 0 -1 1077944320 17319 0 0 0 104 6 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 140737412105072 139940841271031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
/proc/6521/statm: 2017055 29041 3145 1 0 1978454 0
[pid=6536] ppid=6521 vsize=32932 memory=16048 CPUtime=22.43 cores=0,2,4,6
/proc/6536/stat : 6536 (minisat_release) R 6521 6503 3762 0 -1 4202496 12352 0 0 0 2243 0 0 0 20 0 1 0 224811652 33722368 4012 33554432000 4194304 4308513 140725218332304 140725218329208 4276446 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39190528 140725218333813 140725218333910 140725218333910 140725218336709 0
/proc/6536/statm: 8233 4012 339 28 0 4473 0
[pid=6521/tid=6522] ppid=6503 vsize=8068220 memory=6944652177228980320 CPUtime=0.73 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) S 6503 6503 3762 0 -1 1077944384 14461 0 0 0 69 4 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940813111184 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6523] ppid=6503 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940845513744 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6524] ppid=6503 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940645682320 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6525] ppid=6503 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940644629264 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6526] ppid=6503 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940643576720 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6527] ppid=6503 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6503 6503 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939951872240 139940841282178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6528] ppid=6503 vsize=8068220 memory=116164 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939698173088 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6529] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6503 6503 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939563950832 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6530] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939189446608 139940841289627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6531] ppid=6503 vsize=8068220 memory=168379897885410 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6503 6503 3762 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939950820080 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6532] ppid=6503 vsize=8068220 memory=280906833286400 CPUtime=0.08 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6503 6503 3762 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939949767536 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6533] ppid=6503 vsize=8068220 memory=140453417022256 CPUtime=0.17 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6503 6503 3762 0 -1 1077944384 490 0 0 0 17 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939948714480 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6534] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938691541856 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6535] ppid=6503 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939947661872 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6537] ppid=6503 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6537/stat : 6537 (java) S 6503 6503 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939940185408 139940841295641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6539] ppid=6503 vsize=8068220 memory=15541829625973996 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6539/stat : 6539 (java) S 6503 6503 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938154655120 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6540] ppid=6503 vsize=8068220 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6540/stat : 6540 (java) S 6503 6503 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224811654 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938020433936 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6541] ppid=6503 vsize=8068220 memory=920 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6541/stat : 6541 (java) S 6503 6503 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224811656 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938288885536 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
Current children cumulated CPU time: 26.74 s
Current children cumulated vsize: 8214280 KiB
Current children cumulated memory: 133684 KiB

[startup+25.2009 s]
/proc/loadavg: 2.17 2.06 2.06 3/227 6541
/proc/meminfo: memFree=8246548/32770624 swapFree=67108860/67108860
[pid=6503] ppid=6500 vsize=113128 memory=1472 CPUtime=3.21 cores=0,2,4,6
/proc/6503/stat : 6503 (scop.sh) S 6500 6503 3762 0 -1 4202496 590 22738 0 0 0 0 311 10 20 0 1 0 224811417 115843072 368 33554432000 4194304 5098028 140728666993920 140728666990664 139707092300412 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30625792 140728667001920 140728667002119 140728667002119 140728667004877 0
/proc/6503/statm: 28282 368 311 221 0 87 0
[pid=6521] ppid=6503 vsize=8068220 memory=116164 CPUtime=1.1 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6503 6503 3762 0 -1 1077944320 17319 0 0 0 104 6 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 140737412105072 139940841271031 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
/proc/6521/statm: 2017055 29041 3145 1 0 1978454 0
[pid=6536] ppid=6521 vsize=32932 memory=16048 CPUtime=22.83 cores=0,2,4,6
/proc/6536/stat : 6536 (minisat_release) R 6521 6503 3762 0 -1 4202496 12353 0 0 0 2283 0 0 0 20 0 1 0 224811652 33722368 4012 33554432000 4194304 4308513 140725218332304 140725218329208 4275772 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 39190528 140725218333813 140725218333910 140725218333910 140725218336709 0
/proc/6536/statm: 8233 4012 339 28 0 4473 0
[pid=6521/tid=6522] ppid=6503 vsize=8068220 memory=-2672971631320983069 CPUtime=0.73 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) S 6503 6503 3762 0 -1 1077944384 14461 0 0 0 69 4 0 0 20 0 19 0 224811582 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940813111184 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6523] ppid=6503 vsize=8068220 memory=7681421203011431829 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940845513744 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6524] ppid=6503 vsize=8068220 memory=-6368199152461293614 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6503 6503 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940645682320 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6525] ppid=6503 vsize=8068220 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940644629264 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6526] ppid=6503 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6503 6503 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224811583 8261857280 29041 33554432000 4194304 4196468 140737412122528 139940643576720 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6527] ppid=6503 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6503 6503 3762 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939951872240 139940841282178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6528] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6503 6503 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939698173088 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6529] ppid=6503 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6503 6503 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224811585 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939563950832 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6530] ppid=6503 vsize=8068220 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939189446608 139940841289627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6531] ppid=6503 vsize=8068220 memory=-4195481698879903079 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6503 6503 3762 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939950820080 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6532] ppid=6503 vsize=8068220 memory=-2672971631234216029 CPUtime=0.08 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6503 6503 3762 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939949767536 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6533] ppid=6503 vsize=8068220 memory=-6654736624941491801 CPUtime=0.17 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6503 6503 3762 0 -1 1077944384 490 0 0 0 17 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939948714480 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6534] ppid=6503 vsize=8068220 memory=-8096445597189105254 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938691541856 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6535] ppid=6503 vsize=8068220 memory=-6803092254075368380 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6503 6503 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224811588 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939947661872 139940841282178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6537] ppid=6503 vsize=8068220 memory=-7378400735524001127 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6537/stat : 6537 (java) S 6503 6503 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139939940185408 139940841295641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6539] ppid=6503 vsize=8068220 memory=-7739291672887926688 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6539/stat : 6539 (java) S 6503 6503 3762 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224811653 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938154655120 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6540] ppid=6503 vsize=8068220 memory=7589240748751479360 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6540/stat : 6540 (java) S 6503 6503 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224811654 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938020433936 139940841292957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
[pid=6521/tid=6541] ppid=6503 vsize=8068220 memory=7305494370099556971 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6541/stat : 6541 (java) S 6503 6503 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 224811656 8261857280 29041 33554432000 4194304 4196468 140737412122528 139938288885536 139940841281237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29085696 140737412125878 140737412126001 140737412126001 140737412128719 0
Current children cumulated CPU time: 27.14 s
Current children cumulated vsize: 8214280 KiB
Current children cumulated memory: 133684 KiB

Child status: 0
Real time (s): 25.265
CPU time (s): 27.2352
CPU user time (s): 27.0508
CPU system time (s): 0.184462
CPU usage (%): 107.798
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 190740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0508
system time used= 0.184462
maximum resident set size= 194464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5302
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 6503
#   total CPU time (s): 27.2352
#   total CPU user time (s): 27.0508
#   total CPU system time (s): 0.184462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.197276 second user time and 0.287361 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 13:14:42
IDJOB=4305346
IDBENCH=141344
IDSOLVER=2782
FILE ID=node151/4305346-1534072482
RUNJOBID= node151-1534062410-3793
PBS_JOBID= 21036982
Free space on /tmp= 40848 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Langford/LangfordBin-10_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-4305346-1534072482/watcher-4305346-1534072482 -o /tmp/evaluation-result-4305346-1534072482/solver-4305346-1534072482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305346-1534072482.xml

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

MD5SUM BENCH= 2feb3ccfa512a42ac39c3fc722de9112
RANDOM SEED=1685482749

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
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.87
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.87
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.87
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:         8366836 kB
MemAvailable:   31691196 kB
Buffers:          262280 kB
Cached:         23016476 kB
SwapCached:            0 kB
Active:         10854156 kB
Inactive:       12693456 kB
Active(anon):     217832 kB
Inactive(anon):   103352 kB
Active(file):   10636324 kB
Inactive(file): 12590104 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7816 kB
Writeback:             0 kB
AnonPages:        284620 kB
Mapped:            72072 kB
Shmem:             49800 kB
Slab:             554880 kB
SReclaimable:     526392 kB
SUnreclaim:        28488 kB
KernelStack:        3904 kB
PageTables:         6072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5905392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 40840 MiB
End job on node151 at 2018-08-12 13:15:08