Trace number 4305440

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)SAT 7.72416 4.37714

General information on the benchmark

NameStripPacking/
StripPacking-T1c_c18.xml
MD5SUM65600e10f2c410a9bfdeb6a1b5bfec81
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.74134
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
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-4356-serial-file.bin HOME/instance-4305440-1534064939.xml
0.66/0.52	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Sun Aug 12 11:08:59 CEST 2018
0.66/0.55	c PID: 4359
0.66/0.55	c IP: 172.20.3.151
0.66/0.55	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.39/0.97	c (0,0) Parsing End
1.39/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.39/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.98	c (0,0) Constraint Name Generate Begin
1.39/0.98	c (0,0) Ctr:HOME/instance-4305440-1534064939.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.39/0.98	c (0,0) Constraint Name Generate End
1.39/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.39/0.98	c (0,0) CSP to CSPinCNF Begin
1.59/1.06	c (0,0) translated 6 (10%) constraints
1.59/1.07	c (0,0) translated 11 (20%) constraints
1.59/1.07	c (0,0) translated 16 (30%) constraints
1.59/1.08	c (0,0) translated 21 (40%) constraints
1.59/1.08	c (0,0) translated 26 (50%) constraints
1.59/1.09	c (0,0) translated 32 (60%) constraints
1.75/1.18	c (0,0) translated 37 (70%) constraints
1.94/1.23	c (0,0) translated 42 (80%) constraints
1.94/1.28	c (0,0) translated 47 (90%) constraints
2.21/1.32	c (0,0) translated 52 (100%) constraints
2.49/1.47	c (0,0) STATISTICS1:HOME/instance-4305440-1534064939.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,153,425,392,199,4,3,392:4;390:8;388:28;380:20;376:24;372:28;366:68;362:40;360:44;336:48;322:52;300:56;250:60;234:64;2:34,199:66;196:66;195:66;194:132;190:66;188:66;186:66;183:132;181:66;180:66;168:66;161:66;150:66;125:66;117:66;2:1156,4:136;3:85;2:170;1:34,3:544;2:34;1:578;0:17,
2.49/1.47	c (0,0) ==========================================
2.49/1.47	c (0,0) Order
2.49/1.47	c (0,0) ==========================================
2.49/1.48	c (0,0) translated 43 (10%) constraints
2.49/1.49	c (0,0) translated 85 (20%) constraints
2.49/1.49	c (0,0) translated 128 (30%) constraints
2.49/1.49	c (0,0) translated 170 (40%) constraints
2.82/1.50	c (0,0) translated 213 (50%) constraints
2.82/1.50	c (0,0) translated 255 (60%) constraints
2.82/1.51	c (0,0) translated 298 (70%) constraints
2.82/1.51	c (0,0) translated 340 (80%) constraints
2.82/1.52	c (0,0) translated 383 (90%) constraints
2.82/1.52	c (0,0) translated 425 (100%) constraints
2.82/1.52	c (0,0) CSP to CSPinCNF End
2.82/1.53	c (1,0) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 199
2.82/1.53	c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.53	c (1,0) CSPinCNF Propagation Begin
2.82/1.60	c (1,1) 0 values, 17 unsatisfiable literals, and 0 valid clauses are removed
2.82/1.60	c (1,1) CSPinCNF Propagation End
2.82/1.60	c (1,1) CSP: 68 int (0 aux), 85 bool (68 aux), 425 ctr, max domain size 199
2.82/1.60	c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.82/1.60	c (1,1) Simplify CSPinCNF Begin
3.18/1.66	c (1,1) Simplify CSPinCNF End
3.18/1.66	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 199
3.18/1.66	c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.66	c (1,1) Calculate Precise Domain Begin
3.18/1.67	c (1,1) 0 values are removed by re-calculation
3.18/1.67	c (1,1) Calculate Precise Domain End
3.18/1.67	c (1,1) CSP: 68 int (0 aux), 629 bool (612 aux), 969 ctr, max domain size 199
3.18/1.67	c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.18/1.67	c (1,1) CSPinCNF to SatSolver Begin
3.50/1.73	c (1,1) 97 (10 %) CSP clauses are encoded (6609 SAT variables, 6008 SAT clauses)
3.50/1.73	c (1,1) 194 (20 %) CSP clauses are encoded (6609 SAT variables, 6105 SAT clauses)
3.50/1.74	c (1,1) 291 (30 %) CSP clauses are encoded (6609 SAT variables, 6202 SAT clauses)
3.84/1.86	c (1,1) 388 (40 %) CSP clauses are encoded (6609 SAT variables, 21866 SAT clauses)
4.15/1.94	c (1,1) 485 (50 %) CSP clauses are encoded (6609 SAT variables, 41756 SAT clauses)
4.15/1.99	c (1,1) 582 (60 %) CSP clauses are encoded (6609 SAT variables, 57381 SAT clauses)
4.47/2.07	c (1,1) 679 (70 %) CSP clauses are encoded (6609 SAT variables, 82292 SAT clauses)
4.75/2.13	c (1,1) 776 (80 %) CSP clauses are encoded (6609 SAT variables, 106287 SAT clauses)
4.75/2.19	c (1,1) 873 (90 %) CSP clauses are encoded (6609 SAT variables, 128114 SAT clauses)
4.87/2.25	c (1,1) 969 (100 %) CSP clauses are encoded (6609 SAT variables, 149718 SAT clauses)
4.87/2.25	c (1,1) Launch Command will be: minisat_release
4.87/2.25	c (1,1) CSPinCNF to SatSolver End
4.87/2.25	c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
4.87/2.27	c (1,1) STATISTICS2:HOME/instance-4305440-1534064939.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,697,969,392,199,4,3,392:4;390:8;388:28;380:20;376:24;372:28;366:68;362:40;360:44;336:48;322:52;300:56;250:60;234:64;2:34,199:66;196:66;195:66;194:132;190:66;188:66;186:66;183:132;181:66;180:66;168:66;161:66;150:66;125:66;117:66;2:2244,4:136;3:68;2:731;1:34,3:544;2:34;1:1666,
4.87/2.27	c (1,1) 6609 bool, 149997 clause
4.87/2.27	c (1,1) Export Begin
5.03/2.38	c (1,1) Export to HOME/scop-4356-serial-file.bin
5.03/2.38	c (1,1) Export End
5.03/2.38	c (1,1) Export File Size: 0.03 MB
5.03/2.38	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.03/2.38	c END-Prog: Sun Aug 12 11:09:01 CEST 2018
5.03/2.39	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4356-serial-file.bin
5.20/2.88	c (0,0) Read Serial File Begin
5.20/2.88	c (0,0) HOME/scop-4356-serial-file.bin
6.02/3.06	c (0,0) Read Serial File End
6.02/3.08	
6.02/3.08	scop order+minisat_release (2018-07-31)
6.02/3.08	(Solving Process)
6.02/3.08	
6.02/3.10	c BEGIN-Prog: Sun Aug 12 11:09:02 CEST 2018
6.02/3.10	c PID: 4374
6.02/3.10	c IP: 172.20.3.151
6.02/3.10	c HOST: node151.alineos.net
6.02/3.10	c (0,0) SatSolver.solve Begin
6.02/3.10	c (0,0) 0 bool, 0 clause
6.02/3.10	c (0,0) minisat_release HOME/instance-4305440-1534064939.xml-scop-4359.cnf
7.41/4.26	c (1,0) c This is COMiniSatPS.
7.41/4.26	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
7.41/4.26	c (1,0) c ============================[ Problem Statistics ]=============================
7.41/4.26	c (1,0) c |                                                                             |
7.41/4.26	c (1,0) c |  Number of variables:          6609                                         |
7.41/4.26	c (1,0) c |  Number of clauses:          149997                                         |
7.41/4.26	c (1,0) c |  Parse time:                   0.05 s                                       |
7.41/4.26	c (1,0) c |  Eliminated clauses:           0.01 Mb                                      |
7.41/4.26	c (1,0) c Reduced to 6291 vars, 149526 cls (grow=0)
7.41/4.26	c (1,0) c No iterative elimination performed. (vars=6291, c/v ratio=23.8)
7.41/4.26	c (1,0) c |  Simplification time:          0.25 s                                       |
7.41/4.26	c (1,0) c |                                                                             |
7.41/4.26	c (1,0) c ============================[ Search Statistics ]==============================
7.41/4.26	c (1,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.41/4.26	c (1,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
7.41/4.26	c (1,0) c ===============================================================================
7.41/4.26	c (1,0) c ===============================================================================
7.41/4.26	c (1,0) c restarts              : 26
7.41/4.27	c (1,0) c conflicts             : 9817           (8689 /sec)
7.41/4.27	c (1,0) c decisions             : 19561          (0.00 % random) (17313 /sec)
7.41/4.27	c (1,0) c propagations          : 2824462        (2499918 /sec)
7.41/4.27	c (1,0) c conflict literals     : 237022         (26.24 % deleted)
7.41/4.27	c (1,0) c CPU time              : 1.12982 s
7.41/4.27	c (1,0) 
7.41/4.27	c (1,0) s SATISFIABLE
7.41/4.29	c (1,0) SatSolver.solve End
7.41/4.29	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.41/4.29	c (1,0) Show results Begin
7.56/4.34	s SATISFIABLE
7.56/4.35	v <instantiation>
7.56/4.35	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
7.56/4.35	v     <values>160 75 0 0 75 75 93 93 95 70 70 84 69 64 0 64 0 0 167 0 20 131 138 138 146 131 0 13 13 131 168 131 149 149 40 125 70 84 20 18 2 67 65 90 14 76 6 11 69 5 64 167 33 20 111 7 29 8 21 15 13 7 118 37 32 18 19 51 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1</values>
7.56/4.35	v </instantiation>
7.56/4.35	c (1,0) Show results End
7.56/4.35	c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.56/4.35	c (1,0) 1,1,STOP-AFTER(ALL)
7.56/4.35	c END-Prog: Sun Aug 12 11:09:03 CEST 2018

Verifier Data 

OK

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

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

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

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


[startup+0.105554 s]*
/proc/loadavg: 1.95 2.13 2.05 4/222 4373
/proc/meminfo: memFree=8402448/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057050 115843072 349 33554432000 4194304 5098028 140722494169232 140722494166488 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 349 296 221 0 87 0
[pid=4359] ppid=4356 vsize=15012476 memory=72960 CPUtime=0.11 cores=1,3,5,7
/proc/4359/stat : 4359 (java) S 4356 4356 3762 0 -1 1077944320 7378 0 0 0 9 2 0 0 20 0 15 0 224057051 15372775424 18240 33554432000 4194304 4196468 140721455402176 140721455384720 140436536004343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
/proc/4359/statm: 3753119 18240 2765 1 0 3715579 0
[pid=4359/tid=4360] ppid=4356 vsize=15012476 memory=-2843878400068469918 CPUtime=0.09 cores=1,3,5,7
/proc/4359/task/4360/stat : 4360 (java) R 4356 4356 3762 0 -1 4202560 5436 0 0 0 8 1 0 0 20 0 15 0 224057051 15372775424 18246 33554432000 4194304 4196468 140721455402176 140436507816328 140436520084830 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4361] ppid=4356 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4361/stat : 4361 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 18246 33554432000 4194304 4196468 140721455402176 140436540246288 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4362] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4362/stat : 4362 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435996563856 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4363] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4363/stat : 4363 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435995511312 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4364] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4364/stat : 4364 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435994458768 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4365] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4365/stat : 4365 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057054 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435573680624 140436536015490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4366] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4366/stat : 4366 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435095807392 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4367] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4367/stat : 4367 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 18246 33554432000 4194304 4196468 140721455402176 140434827372016 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4368] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4368/stat : 4368 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 18246 33554432000 4194304 4196468 140721455402176 140434452863696 140436536022939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4369] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4369/stat : 4369 (java) S 4356 4356 3762 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435572627440 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4370] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4370/stat : 4370 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435571574896 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4371] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0.01 cores=1,3,5,7
/proc/4359/task/4371/stat : 4371 (java) R 4356 4356 3762 0 -1 4202560 303 0 0 0 1 0 0 0 20 0 15 0 224057057 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435570522352 140436514108513 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4372] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4372/stat : 4372 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 18246 33554432000 4194304 4196468 140721455402176 140433954957920 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4373] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4373/stat : 4373 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 18246 33554432000 4194304 4196468 140721455402176 140435569470256 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74356 KiB

[startup+0.210503 s]*
/proc/loadavg: 1.95 2.13 2.05 4/222 4373
/proc/meminfo: memFree=8389888/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057050 115843072 349 33554432000 4194304 5098028 140722494169232 140722494166488 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 349 296 221 0 87 0
[pid=4359] ppid=4356 vsize=15012476 memory=84160 CPUtime=0.25 cores=1,3,5,7
/proc/4359/stat : 4359 (java) S 4356 4356 3762 0 -1 1077944320 10398 0 0 0 22 3 0 0 20 0 15 0 224057051 15372775424 21040 33554432000 4194304 4196468 140721455402176 140721455384720 140436536004343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
/proc/4359/statm: 3753119 21040 2924 1 0 3715579 0
[pid=4359/tid=4360] ppid=4356 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/4359/task/4360/stat : 4360 (java) R 4356 4356 3762 0 -1 4202560 8228 0 0 0 17 2 0 0 20 0 15 0 224057051 15372775424 21040 33554432000 4194304 4196468 140721455402176 140436507820400 140436536016278 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4361] ppid=4356 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4361/stat : 4361 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 21040 33554432000 4194304 4196468 140721455402176 140436540246288 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4362] ppid=4356 vsize=15012476 memory=4050059346783512224 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4362/stat : 4362 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 21040 33554432000 4194304 4196468 140721455402176 140435996563856 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4363] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4363/stat : 4363 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 21040 33554432000 4194304 4196468 140721455402176 140435995511312 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4364] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4364/stat : 4364 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 21040 33554432000 4194304 4196468 140721455402176 140435994458768 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4365] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4365/stat : 4365 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057054 15372775424 21040 33554432000 4194304 4196468 140721455402176 140435573680624 140436536015490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4366] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4366/stat : 4366 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 21040 33554432000 4194304 4196468 140721455402176 140435095807392 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4367] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4367/stat : 4367 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 21040 33554432000 4194304 4196468 140721455402176 140434827372016 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4368] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4368/stat : 4368 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 21040 33554432000 4194304 4196468 140721455402176 140434452863696 140436536022939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4369] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4369/stat : 4369 (java) S 4356 4356 3762 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 21106 33554432000 4194304 4196468 140721455402176 140435572627440 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4370] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4370/stat : 4370 (java) S 4356 4356 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 21106 33554432000 4194304 4196468 140721455402176 140435571574896 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4371] ppid=4356 vsize=15012476 memory=139978793559680 CPUtime=0.03 cores=1,3,5,7
/proc/4359/task/4371/stat : 4371 (java) S 4356 4356 3762 0 -1 1077944384 352 0 0 0 3 0 0 0 20 0 15 0 224057057 15372775424 21106 33554432000 4194304 4196468 140721455402176 140435570522352 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4372] ppid=4356 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4372/stat : 4372 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 21106 33554432000 4194304 4196468 140721455402176 140433954957920 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4373] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4373/stat : 4373 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 21106 33554432000 4194304 4196468 140721455402176 140435569470256 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85556 KiB

[startup+0.31065 s]*
/proc/loadavg: 1.95 2.13 2.05 3/222 4373
/proc/meminfo: memFree=8386104/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057050 115843072 349 33554432000 4194304 5098028 140722494169232 140722494166488 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 349 296 221 0 87 0
[pid=4359] ppid=4356 vsize=15012476 memory=88676 CPUtime=0.42 cores=1,3,5,7
/proc/4359/stat : 4359 (java) S 4356 4356 3762 0 -1 1077944320 11104 0 0 0 39 3 0 0 20 0 15 0 224057051 15372775424 22169 33554432000 4194304 4196468 140721455402176 140721455384720 140436536004343 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
/proc/4359/statm: 3753119 22169 3008 1 0 3715579 0
[pid=4359/tid=4360] ppid=4356 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4359/task/4360/stat : 4360 (java) R 4356 4356 3762 0 -1 4202560 8671 0 0 0 27 2 0 0 20 0 15 0 224057051 15372775424 22169 33554432000 4194304 4196468 140721455402176 140436507799344 140436520084830 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4361] ppid=4356 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4361/stat : 4361 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 22169 33554432000 4194304 4196468 140721455402176 140436540246288 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4362] ppid=4356 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4362/stat : 4362 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435996563856 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4363] ppid=4356 vsize=15012476 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4363/stat : 4363 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435995511312 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4364] ppid=4356 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4364/stat : 4364 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057053 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435994458768 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4365] ppid=4356 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4365/stat : 4365 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057054 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435573680624 140436536015490 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4366] ppid=4356 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4366/stat : 4366 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435095807392 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4367] ppid=4356 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4367/stat : 4367 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057055 15372775424 22169 33554432000 4194304 4196468 140721455402176 140434827372016 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4368] ppid=4356 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4368/stat : 4368 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057057 15372775424 22169 33554432000 4194304 4196468 140721455402176 140434452863696 140436536022939 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4369] ppid=4356 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4359/task/4369/stat : 4369 (java) S 4356 4356 3762 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 15 0 224057057 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435572627440 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4370] ppid=4356 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4359/task/4370/stat : 4370 (java) S 4356 4356 3762 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 15 0 224057057 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435571574896 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4371] ppid=4356 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4359/task/4371/stat : 4371 (java) S 4356 4356 3762 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 15 0 224057057 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435570522352 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4372] ppid=4356 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4372/stat : 4372 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 22169 33554432000 4194304 4196468 140721455402176 140433954957920 140436536014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4373] ppid=4356 vsize=15012476 memory=3473742285478442799 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4373/stat : 4373 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057058 15372775424 22169 33554432000 4194304 4196468 140721455402176 140435569470256 140436536015490 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90072 KiB

[startup+0.704495 s]
/proc/loadavg: 1.95 2.13 2.05 3/222 4373
/proc/meminfo: memFree=8361796/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057050 115843072 349 33554432000 4194304 5098028 140722494169232 140722494166488 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 349 296 221 0 87 0
[pid=4359] ppid=4356 vsize=15020872 memory=128948 CPUtime=1.01 cores=1,3,5,7
/proc/4359/stat : 4359 (java) S 4356 4356 3762 0 -1 1077944320 18440 0 0 0 95 6 0 0 20 0 15 0 224057051 15381372928 32237 33554432000 4194304 4196468 140721455402176 140721455384720 140436536004343 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
/proc/4359/statm: 3755218 32237 3145 1 0 3716603 0
[pid=4359/tid=4360] ppid=4356 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4359/task/4360/stat : 4360 (java) R 4356 4356 3762 0 -1 4202560 15430 0 0 0 62 5 0 0 20 0 15 0 224057051 15381372928 32237 33554432000 4194304 4196468 140721455402176 140436507841216 140436520084830 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4361] ppid=4356 vsize=15020872 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4361/stat : 4361 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15381372928 32237 33554432000 4194304 4196468 140721455402176 140436540246288 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4362] ppid=4356 vsize=15020872 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4362/stat : 4362 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057053 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435996563856 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4363] ppid=4356 vsize=15020872 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4363/stat : 4363 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057053 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435995511312 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4364] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4364/stat : 4364 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057053 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435994458768 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4365] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4365/stat : 4365 (java) S 4356 4356 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224057054 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435573680624 140436536015490 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4366] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4366/stat : 4366 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057055 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435095807392 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4367] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4367/stat : 4367 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057055 15381372928 32237 33554432000 4194304 4196468 140721455402176 140434827372016 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4368] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4368/stat : 4368 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057057 15381372928 32237 33554432000 4194304 4196468 140721455402176 140434452863696 140436536022939 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4369] ppid=4356 vsize=15020872 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4359/task/4369/stat : 4369 (java) R 4356 4356 3762 0 -1 4202560 609 0 0 0 6 0 0 0 20 0 15 0 224057057 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435572613536 140436520932664 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4370] ppid=4356 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4359/task/4370/stat : 4370 (java) R 4356 4356 3762 0 -1 4202560 372 0 0 0 9 0 0 0 20 0 15 0 224057057 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435571574896 140436519389147 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4371] ppid=4356 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/4359/task/4371/stat : 4371 (java) S 4356 4356 3762 0 -1 1077944384 692 0 0 0 16 0 0 0 20 0 15 0 224057057 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435570522352 140436536015490 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4372] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4372/stat : 4372 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057058 15381372928 32237 33554432000 4194304 4196468 140721455402176 140433954957920 140436536014549 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
[pid=4359/tid=4373] ppid=4356 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4359/task/4373/stat : 4373 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057058 15381372928 32237 33554432000 4194304 4196468 140721455402176 140435569470256 140436536015490 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37879808 140721455404039 140721455404337 140721455404337 140721455407055 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130344 KiB

[startup+1.50161 s]
/proc/loadavg: 1.95 2.13 2.05 3/222 4373
/proc/meminfo: memFree=8331772/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057050 115843072 349 33554432000 4194304 5098028 140722494169232 140722494166488 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 349 296 221 0 87 0

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

/proc/4374/task/4385/stat : 4385 (java) S 4356 4356 3762 0 -1 1077944384 407 0 0 0 8 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966260516848 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4386] ppid=4356 vsize=8068220 memory=18232 CPUtime=0.2 cores=1,3,5,7
/proc/4374/task/4386/stat : 4386 (java) S 4356 4356 3762 0 -1 1077944384 589 0 0 0 20 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966259464560 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4387] ppid=4356 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4387/stat : 4387 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964729780704 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4388] ppid=4356 vsize=8068220 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4388/stat : 4388 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966258412464 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 118736 KiB

[startup+4.00075 s]*
/proc/loadavg: 2.03 2.15 2.06 3/227 4394
/proc/meminfo: memFree=8337432/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1472 CPUtime=5.2 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 590 25293 0 0 0 0 504 16 20 0 1 0 224057050 115843072 368 33554432000 4194304 5098028 140722494169232 140722494165976 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 368 311 221 0 87 0
[pid=4374] ppid=4356 vsize=8068220 memory=117264 CPUtime=1.15 cores=1,3,5,7
/proc/4374/stat : 4374 (java) S 4356 4356 3762 0 -1 1077944320 17539 0 0 0 109 6 0 0 20 0 19 0 224057290 8261857280 29316 33554432000 4194304 4196468 140731946780896 140731946763440 139967017582327 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
/proc/4374/statm: 2017055 29316 3149 1 0 1978454 0
[pid=4389] ppid=4374 vsize=34020 memory=17548 CPUtime=0.87 cores=1,3,5,7
/proc/4389/stat : 4389 (minisat_release) R 4374 4356 3762 0 -1 4202496 5740 0 0 0 87 0 0 0 20 0 1 0 224057363 34836480 4387 33554432000 4194304 4308513 140721029183776 140721029180408 4276468 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 12660736 140721029186677 140721029186774 140721029186774 140721029189573 0
/proc/4389/statm: 8505 4387 335 28 0 4745 0
[pid=4374/tid=4375] ppid=4356 vsize=8068220 memory=609512554582009382 CPUtime=0.75 cores=1,3,5,7
/proc/4374/task/4375/stat : 4375 (java) S 4356 4356 3762 0 -1 1077944384 14598 0 0 0 71 4 0 0 20 0 19 0 224057290 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966989422480 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4376] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4376/stat : 4376 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139967021824400 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4377] ppid=4356 vsize=8068220 memory=3832618486946096265 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4377/stat : 4377 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966821992720 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4378] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4378/stat : 4378 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966820940432 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4379] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4379/stat : 4379 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966819887632 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4380] ppid=4356 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4380/stat : 4380 (java) S 4356 4356 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966262622832 139967017593474 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4381] ppid=4356 vsize=8068220 memory=14737 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4381/stat : 4381 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965870630176 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4382] ppid=4356 vsize=8068220 memory=24355 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4382/stat : 4382 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965602195056 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4383] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4383/stat : 4383 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965227686480 139967017600923 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4384] ppid=4356 vsize=8068220 memory=139978688473199 CPUtime=0.08 cores=1,3,5,7
/proc/4374/task/4384/stat : 4384 (java) S 4356 4356 3762 0 -1 1077944384 532 0 0 0 8 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966261569648 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4385] ppid=4356 vsize=8068220 memory=3184237898869528240 CPUtime=0.08 cores=1,3,5,7
/proc/4374/task/4385/stat : 4385 (java) S 4356 4356 3762 0 -1 1077944384 407 0 0 0 8 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966260516848 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4386] ppid=4356 vsize=8068220 memory=3763099673816014896 CPUtime=0.2 cores=1,3,5,7
/proc/4374/task/4386/stat : 4386 (java) S 4356 4356 3762 0 -1 1077944384 589 0 0 0 20 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966259464560 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4387] ppid=4356 vsize=8068220 memory=139978793559680 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4387/stat : 4387 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964729780704 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4388] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4388/stat : 4388 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966258412464 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4390] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4390/stat : 4390 (java) S 4356 4356 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057363 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966250603968 139967017606937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4392] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4392/stat : 4392 (java) S 4356 4356 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057363 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964192894992 139967017604253 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4393] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4393/stat : 4393 (java) S 4356 4356 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057364 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964327116176 139967017604253 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4394] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4394/stat : 4394 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057366 8261857280 29316 33554432000 4194304 4196468 140731946780896 139963924470688 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 8215368 KiB
Current children cumulated memory: 136284 KiB

[startup+4.20094 s]
/proc/loadavg: 2.03 2.15 2.06 3/227 4394
/proc/meminfo: memFree=8337432/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1472 CPUtime=5.2 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 590 25293 0 0 0 0 504 16 20 0 1 0 224057050 115843072 368 33554432000 4194304 5098028 140722494169232 140722494165976 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 368 311 221 0 87 0
[pid=4374] ppid=4356 vsize=8068220 memory=117264 CPUtime=1.15 cores=1,3,5,7
/proc/4374/stat : 4374 (java) S 4356 4356 3762 0 -1 1077944320 17539 0 0 0 109 6 0 0 20 0 19 0 224057290 8261857280 29316 33554432000 4194304 4196468 140731946780896 140731946763440 139967017582327 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
/proc/4374/statm: 2017055 29316 3149 1 0 1978454 0
[pid=4389] ppid=4374 vsize=41132 memory=23948 CPUtime=1.06 cores=1,3,5,7
/proc/4389/stat : 4389 (minisat_release) R 4374 4356 3762 0 -1 4202496 5836 0 0 0 106 0 0 0 20 0 1 0 224057363 42119168 5987 33554432000 4194304 4308513 140721029183776 140721029180680 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 12660736 140721029186677 140721029186774 140721029186774 140721029189573 0
/proc/4389/statm: 10283 5987 335 28 0 6523 0
[pid=4374/tid=4375] ppid=4356 vsize=8068220 memory=4267215838119198752 CPUtime=0.75 cores=1,3,5,7
/proc/4374/task/4375/stat : 4375 (java) S 4356 4356 3762 0 -1 1077944384 14598 0 0 0 71 4 0 0 20 0 19 0 224057290 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966989422480 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4376] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4376/stat : 4376 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139967021824400 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4377] ppid=4356 vsize=8068220 memory=-9108684669924967205 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4377/stat : 4377 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966821992720 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4378] ppid=4356 vsize=8068220 memory=8025788805588675948 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4378/stat : 4378 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966820940432 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4379] ppid=4356 vsize=8068220 memory=6155408480328574309 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4379/stat : 4379 (java) S 4356 4356 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057291 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966819887632 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4380] ppid=4356 vsize=8068220 memory=7014751519617013604 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4380/stat : 4380 (java) S 4356 4356 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966262622832 139967017593474 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4381] ppid=4356 vsize=8068220 memory=279957377574160 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4381/stat : 4381 (java) S 4356 4356 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965870630176 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4382] ppid=4356 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4382/stat : 4382 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057293 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965602195056 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4383] ppid=4356 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4383/stat : 4383 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139965227686480 139967017600923 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4384] ppid=4356 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4374/task/4384/stat : 4384 (java) S 4356 4356 3762 0 -1 1077944384 532 0 0 0 8 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966261569648 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4385] ppid=4356 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4374/task/4385/stat : 4385 (java) S 4356 4356 3762 0 -1 1077944384 407 0 0 0 8 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966260516848 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4386] ppid=4356 vsize=8068220 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/4374/task/4386/stat : 4386 (java) S 4356 4356 3762 0 -1 1077944384 589 0 0 0 20 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966259464560 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4387] ppid=4356 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4387/stat : 4387 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964729780704 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4388] ppid=4356 vsize=8068220 memory=-7091624348563251104 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4388/stat : 4388 (java) S 4356 4356 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057296 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966258412464 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4390] ppid=4356 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4390/stat : 4390 (java) S 4356 4356 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057363 8261857280 29316 33554432000 4194304 4196468 140731946780896 139966250603968 139967017606937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4392] ppid=4356 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4392/stat : 4392 (java) S 4356 4356 3762 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057363 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964192894992 139967017604253 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4393] ppid=4356 vsize=8068220 memory=-2895008908443480685 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4393/stat : 4393 (java) S 4356 4356 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224057364 8261857280 29316 33554432000 4194304 4196468 140731946780896 139964327116176 139967017604253 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4394] ppid=4356 vsize=8068220 memory=-6873162000115606214 CPUtime=0 cores=1,3,5,7
/proc/4374/task/4394/stat : 4394 (java) S 4356 4356 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057366 8261857280 29316 33554432000 4194304 4196468 140731946780896 139963924470688 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 8222480 KiB
Current children cumulated memory: 142684 KiB

[startup+4.30097 s]
/proc/loadavg: 2.03 2.15 2.06 3/227 4394
/proc/meminfo: memFree=8337432/32770624 swapFree=67108860/67108860
[pid=4356] ppid=4353 vsize=113128 memory=1472 CPUtime=5.2 cores=1,3,5,7
/proc/4356/stat : 4356 (scop.sh) S 4353 4356 3762 0 -1 4202496 590 25293 0 0 0 0 504 16 20 0 1 0 224057050 115843072 368 33554432000 4194304 5098028 140722494169232 140722494165976 139957752537724 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27496448 140722494174272 140722494174471 140722494174471 140722494177229 0
/proc/4356/statm: 28282 368 311 221 0 87 0
[pid=4374] ppid=4356 vsize=7937144 memory=119828 CPUtime=2.36 cores=1,3,5,7
/proc/4374/stat : 4374 (java) S 4356 4356 3762 0 -1 1077944320 17702 5842 0 0 117 6 113 0 20 0 17 0 224057290 8127635456 29957 33554432000 4194304 4196468 140731946780896 140731946763440 139967017582327 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
/proc/4374/statm: 1984286 29957 3150 1 0 1945685 0
[pid=4374/tid=4375] ppid=4356 vsize=7937144 memory=117264 CPUtime=1.89 cores=1,3,5,7
/proc/4374/task/4375/stat : 4375 (java) R 4356 4356 3762 0 -1 4202560 14654 5842 0 0 72 4 113 0 20 0 17 0 224057290 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966989420832 139967001662814 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4376] ppid=4356 vsize=7937144 memory=288230574492221466 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4376/stat : 4376 (java) S 4356 4356 3762 0 -1 1077944384 1 5842 0 0 0 0 113 0 20 0 17 0 224057291 8127635456 29957 33554432000 4194304 4196468 140731946780896 139967021824400 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4377] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4377/stat : 4377 (java) S 4356 4356 3762 0 -1 1077944384 2 5842 0 0 0 0 113 0 20 0 17 0 224057291 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966821992720 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4378] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4378/stat : 4378 (java) S 4356 4356 3762 0 -1 1077944384 2 5842 0 0 0 0 113 0 20 0 17 0 224057291 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966820940432 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4379] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4379/stat : 4379 (java) S 4356 4356 3762 0 -1 1077944384 2 5842 0 0 0 0 113 0 20 0 17 0 224057291 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966819887632 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4380] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4380/stat : 4380 (java) S 4356 4356 3762 0 -1 1077944384 5 5842 0 0 0 0 113 0 20 0 17 0 224057293 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966262622832 139967017593474 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4381] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4381/stat : 4381 (java) S 4356 4356 3762 0 -1 1077944384 13 5842 0 0 0 0 113 0 20 0 17 0 224057293 8127635456 29957 33554432000 4194304 4196468 140731946780896 139965870630176 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4382] ppid=4356 vsize=7937144 memory=8 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4382/stat : 4382 (java) S 4356 4356 3762 0 -1 1077944384 1 5842 0 0 0 0 113 0 20 0 17 0 224057293 8127635456 29957 33554432000 4194304 4196468 140731946780896 139965602195056 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4383] ppid=4356 vsize=7937144 memory=8 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4383/stat : 4383 (java) S 4356 4356 3762 0 -1 1077944384 3 5842 0 0 0 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139965227686480 139967017600923 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4384] ppid=4356 vsize=7937144 memory=20 CPUtime=1.23 cores=1,3,5,7
/proc/4374/task/4384/stat : 4384 (java) S 4356 4356 3762 0 -1 1077944384 540 5842 0 0 10 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966261569648 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4385] ppid=4356 vsize=7937144 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/4374/task/4385/stat : 4385 (java) S 4356 4356 3762 0 -1 1077944384 419 5842 0 0 9 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966260516848 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4386] ppid=4356 vsize=7937144 memory=1472 CPUtime=1.35 cores=1,3,5,7
/proc/4374/task/4386/stat : 4386 (java) S 4356 4356 3762 0 -1 1077944384 622 5842 0 0 22 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966259464560 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4387] ppid=4356 vsize=7937144 memory=117264 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4387/stat : 4387 (java) S 4356 4356 3762 0 -1 1077944384 3 5842 0 0 0 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139964729780704 139967017592533 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4388] ppid=4356 vsize=7937144 memory=1776 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4388/stat : 4388 (java) S 4356 4356 3762 0 -1 1077944384 1 5842 0 0 0 0 113 0 20 0 17 0 224057296 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966258412464 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4390] ppid=4356 vsize=7937144 memory=1004 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4390/stat : 4390 (java) S 4356 4356 3762 0 -1 1077944384 30 5842 0 0 0 0 113 0 20 0 17 0 224057363 8127635456 29957 33554432000 4194304 4196468 140731946780896 139966250603152 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
[pid=4374/tid=4394] ppid=4356 vsize=7937144 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/4374/task/4394/stat : 4394 (java) S 4356 4356 3762 0 -1 1077944384 9 5842 0 0 0 0 113 0 20 0 17 0 224057366 8127635456 29957 33554432000 4194304 4196468 140731946780896 139963924472496 139967017593474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140731946788022 140731946788145 140731946788145 140731946790863 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 121300 KiB

Child status: 0
Real time (s): 4.37714
CPU time (s): 7.72416
CPU user time (s): 7.47459
CPU system time (s): 0.24958
CPU usage (%): 176.466
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 549396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.47459
system time used= 0.24958
maximum resident set size= 556152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6013
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 4356
#   total CPU time (s): 7.72416
#   total CPU user time (s): 7.47459
#   total CPU system time (s): 0.24958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05784 second user time and 0.08294 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 11:08:59
IDJOB=4305440
IDBENCH=141124
IDSOLVER=2782
FILE ID=node151/4305440-1534064939
RUNJOBID= node151-1534062410-3794
PBS_JOBID= 21036982
Free space on /tmp= 40852 MiB

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

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

MD5SUM BENCH= 65600e10f2c410a9bfdeb6a1b5bfec81
RANDOM SEED=1442470298

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:         8462900 kB
MemAvailable:   31776772 kB
Buffers:          260236 kB
Cached:         23008100 kB
SwapCached:            0 kB
Active:         10761776 kB
Inactive:       12689600 kB
Active(anon):     132148 kB
Inactive(anon):   103352 kB
Active(file):   10629628 kB
Inactive(file): 12586248 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7708 kB
Writeback:             0 kB
AnonPages:        192448 kB
Mapped:            71796 kB
Shmem:             49800 kB
Slab:             554776 kB
SReclaimable:     526456 kB
SUnreclaim:        28320 kB
KernelStack:        3792 kB
PageTables:         5856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5840492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 40844 MiB
End job on node151 at 2018-08-12 11:09:03