Trace number 4305446

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)? (TO) 2520.13 2502.03

General information on the benchmark

NameSportsScheduling/
SportsScheduling-16_c18.xml
MD5SUM5770900a9b2cb93904bf32b5a50ba98d
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 benchmark321.729
Satisfiable
(Un)Satisfiability was proved
Number of variables376
Number of constraints184
Number of domains2
Minimum domain size16
Maximum domain size120
Distribution of domain sizes[{"size":16,"count":256},{"size":120,"count":120}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":128},{"degree":4,"count":248}]
Minimum constraint arity1
Maximum constraint arity120
Distribution of constraint arities[{"arity":1,"count":8},{"arity":2,"count":8},{"arity":3,"count":120},{"arity":8,"count":15},{"arity":16,"count":16},{"arity":30,"count":8},{"arity":32,"count":8},{"arity":120,"count":1}]
Number of extensional constraints120
Number of intensional constraints16
Distribution of constraint types[{"type":"extension","count":120},{"type":"intension","count":16},{"type":"allDifferent","count":17},{"type":"count","count":15},{"type":"cardinality","count":16}]
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-12525-serial-file.bin HOME/instance-4305446-1534090822.xml
0.54/0.51	
0.54/0.51	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 18:20:22 CEST 2018
0.66/0.54	c PID: 12528
0.66/0.54	c IP: 172.20.3.151
0.66/0.54	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.67/1.04	c (0,0) Parsing End
1.67/1.05	c (0,0) CSP: 376 int (0 aux), 0 bool (0 aux), 184 ctr, max domain size 120
1.67/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.05	c (0,0) Constraint Name Generate Begin
1.67/1.06	c (0,0) Ctr:HOME/instance-4305446-1534090822.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.67/1.06	c (0,0) Constraint Name Generate End
1.67/1.06	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.67/1.06	c (0,0) CSP to CSPinCNF Begin
5.63/2.40	c (1,1) translated 19 (10%) constraints
6.91/2.94	c (2,2) translated 37 (20%) constraints
7.67/3.46	c (2,2) translated 56 (30%) constraints
8.24/3.92	c (3,3) translated 74 (40%) constraints
8.66/4.38	c (3,3) translated 92 (50%) constraints
9.21/4.88	c (4,4) translated 111 (60%) constraints
10.32/5.50	c (4,4) translated 129 (70%) constraints
12.75/6.22	c (5,5) translated 148 (80%) constraints
12.75/6.24	c (5,5) translated 166 (90%) constraints
13.31/6.41	c (5,5) translated 184 (100%) constraints
14.87/7.02	c (6,6) STATISTICS1:HOME/instance-4305446-1534090822.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,20792,95221,2147483648,120,120,32,2147483648:256;536870912:256;128:30;120:6216;15:1928;1:924,120:67088;15:71360;2:144288;1:4800,120:2;16:392;15:120;14:120;13:120;12:120;11:120;10:120;9:120;8:120;7:120;6:120;5:120;4:25080;3:23896;2:44116;1:415,32:256;30:256;8:30;2:9068;1:261728;0:120,
14.87/7.02	c (6,6) ==========================================
14.87/7.02	c (6,6) Order
14.87/7.03	c (6,6) ==========================================
15.53/7.24	c (6,6) translated 9523 (10%) constraints
16.10/7.45	c (6,6) translated 19045 (20%) constraints
16.69/7.63	c (7,7) translated 28567 (30%) constraints
16.94/7.78	c (7,7) translated 38089 (40%) constraints
17.14/7.93	c (7,7) translated 47611 (50%) constraints
17.26/8.07	c (7,7) translated 57133 (60%) constraints
17.52/8.22	c (7,7) translated 66655 (70%) constraints
17.60/8.36	c (7,7) translated 76177 (80%) constraints
18.64/8.72	c (8,8) translated 85699 (90%) constraints
21.34/9.76	c (9,9) translated 95221 (100%) constraints
21.34/9.76	c (9,9) CSP to CSPinCNF End
21.34/9.77	c (9,9) CSP: 2168 int (1792 aux), 24632 bool (24632 aux), 106876 ctr, max domain size 118
21.34/9.77	c (9,9) Heap : 377 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.34/9.77	c (9,9) CSPinCNF Propagation Begin
22.96/10.55	c (10,9) 3646 values, 13486 unsatisfiable literals, and 9954 valid clauses are removed
22.96/10.55	c (10,9) CSPinCNF Propagation End
22.96/10.56	c (10,9) CSP: 4714 int (4338 aux), 22086 bool (22086 aux), 96922 ctr, max domain size 118
22.96/10.56	c (10,9) Heap : 929 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.96/10.56	c (10,9) Simplify CSPinCNF Begin
23.80/10.98	c (10,10) Simplify CSPinCNF End
23.80/10.99	c (10,10) CSP: 4714 int (4338 aux), 39462 bool (39462 aux), 114298 ctr, max domain size 118
23.80/10.99	c (10,10) Heap : 1150 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.80/10.99	c (10,10) Calculate Precise Domain Begin
23.93/11.05	c (10,10) 16 values are removed by re-calculation
23.93/11.05	c (10,10) Calculate Precise Domain End
23.93/11.06	c (10,10) CSP: 4714 int (4338 aux), 39462 bool (39462 aux), 114298 ctr, max domain size 118
23.93/11.06	c (10,10) Heap : 1150 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.93/11.06	c (10,10) CSPinCNF to SatSolver Begin
24.55/11.27	c (10,10) 11430 (10 %) CSP clauses are encoded (60666 SAT variables, 30591 SAT clauses)
24.78/11.32	c (10,10) 22860 (20 %) CSP clauses are encoded (60666 SAT variables, 42021 SAT clauses)
24.78/11.38	c (10,10) 34290 (30 %) CSP clauses are encoded (60666 SAT variables, 53451 SAT clauses)
24.90/11.43	c (10,10) 45720 (40 %) CSP clauses are encoded (60666 SAT variables, 64881 SAT clauses)
24.90/11.48	c (10,10) 57149 (50 %) CSP clauses are encoded (60666 SAT variables, 76310 SAT clauses)
25.00/11.54	c (11,10) 68579 (60 %) CSP clauses are encoded (60666 SAT variables, 87740 SAT clauses)
27.58/13.21	c (12,12) 80009 (70 %) CSP clauses are encoded (60666 SAT variables, 748052 SAT clauses)
29.29/14.97	c (14,14) 91439 (80 %) CSP clauses are encoded (60666 SAT variables, 1565996 SAT clauses)
30.48/15.60	c (15,14) 102869 (90 %) CSP clauses are encoded (60666 SAT variables, 1708439 SAT clauses)
31.32/16.17	c (15,15) 114298 (100 %) CSP clauses are encoded (60666 SAT variables, 1843645 SAT clauses)
31.32/16.17	c (15,15) Launch Command will be: minisat_release
31.32/16.17	c (15,15) CSPinCNF to SatSolver End
31.32/16.17	c (15,15) Heap : 287 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
32.15/16.58	c (16,15) STATISTICS2:HOME/instance-4305446-1534090822.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,44176,114298,1024,118,15,11,1024:624;256:208;128:28;118:12432;32:144;27:91;24:182;18:13;16:698;15:1053;14:2576;12:210;10:3;9:756;8:254;6:84;4:264;2:32;1:1344,118:79056;15:62448;14:12208;11:208;9:208;6:48;5:48;3:4872;2:178496;1:3744,15:224;14:224;13:112;12:112;11:112;10:112;9:112;8:142;7:112;6:112;5:112;4:23408;3:20696;2:65088;1:3620,11:1024;8:28;5:1536;3:1024;2:17384;1:284328,
32.15/16.58	c (16,15) 60666 bool, 1843659 clause
32.15/16.59	c (16,15) Export Begin
32.38/16.70	c (16,15) Export to HOME/scop-12525-serial-file.bin
32.38/16.70	c (16,15) Export End
32.59/16.70	c (16,15) Export File Size: 0.08 MB
32.59/16.70	c (16,15) 0,0,9,10,10,10,15,STOP-AFTER(DIMACS)
32.59/16.70	c END-Prog: Sun Aug 12 18:20:38 CEST 2018
32.59/16.73	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-12525-serial-file.bin
33.23/17.23	c (0,0) Read Serial File Begin
33.23/17.23	c (0,0) HOME/scop-12525-serial-file.bin
33.55/17.44	c (0,0) Read Serial File End
33.79/17.58	
33.79/17.58	scop order+minisat_release (2018-07-31)
33.79/17.58	(Solving Process)
33.79/17.58	
33.79/17.58	c BEGIN-Prog: Sun Aug 12 18:20:39 CEST 2018
33.79/17.58	c PID: 12543
33.79/17.58	c IP: 172.20.3.151
33.79/17.58	c HOST: node151.alineos.net
33.79/17.58	c (0,0) SatSolver.solve Begin
33.79/17.58	c (0,0) 0 bool, 0 clause
33.79/17.58	c (0,0) minisat_release HOME/instance-4305446-1534090822.xml-scop-12528.cnf
2520.06/2502.00	c (2484,0) receiving signal SIGTERM
2520.06/2502.00	s UNKNOWN
2520.06/2502.01	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2502.01	c (scop.sh) Remove HOME/scop-12525-serial-file.bin.
2520.06/2502.01	c (scop.sh) Killing background jobs.
2520.06/2502.01	c (2484,0) receiving signal SIGTERM

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305446-1534090822/watcher-4305446-1534090822 -o /tmp/evaluation-result-4305446-1534090822/solver-4305446-1534090822 -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-4305446-1534090822.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
Current StackSize limit: 8192 KiB
solver pid=12525, runsolver pid=12522


[startup+0.100492 s]*
/proc/loadavg: 1.09 1.32 1.71 2/196 12542
/proc/meminfo: memFree=18707076/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226645367 115843072 348 33554432000 4194304 5098028 140736174902704 140736174899960 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 348 296 221 0 87 0
[pid=12528] ppid=12525 vsize=15012476 memory=72236 CPUtime=0.11 cores=1,3,5,7
/proc/12528/stat : 12528 (java) S 12525 12525 3762 0 -1 1077944320 6159 0 0 0 9 2 0 0 20 0 15 0 226645367 15372775424 18059 33554432000 4194304 4196468 140732258616352 140732258598896 140253712449271 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
/proc/12528/statm: 3753119 18059 2770 1 0 3715579 0
[pid=12528/tid=12529] ppid=12525 vsize=15012476 memory=-6585787048705233250 CPUtime=0.09 cores=1,3,5,7
/proc/12528/task/12529/stat : 12529 (java) R 12525 12525 3762 0 -1 4202560 4270 0 0 0 7 2 0 0 20 0 15 0 226645368 15372775424 18059 33554432000 4194304 4196468 140732258616352 140253684261256 140253692724978 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12530] ppid=12525 vsize=15012476 memory=5767623747409107337 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12530/stat : 12530 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 18059 33554432000 4194304 4196468 140732258616352 140253716692112 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12531] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12531/stat : 12531 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 18059 33554432000 4194304 4196468 140732258616352 140253507775504 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12532] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12532/stat : 12532 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 18059 33554432000 4194304 4196468 140732258616352 140253506722704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12533] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12533/stat : 12533 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 18125 33554432000 4194304 4196468 140732258616352 140253505669904 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12534] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12534/stat : 12534 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252481010032 140253712460418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12535] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12535/stat : 12535 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252358370336 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12536] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12536/stat : 12536 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252089934704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12537] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12537/stat : 12537 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140251715426128 140253712467867 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12538] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12538/stat : 12538 (java) S 12525 12525 3762 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252479957872 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12539] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12539/stat : 12539 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252478905072 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12540] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12540/stat : 12540 (java) S 12525 12525 3762 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252477852272 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12541] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12541/stat : 12541 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140251217521376 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12542] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12542/stat : 12542 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 18125 33554432000 4194304 4196468 140732258616352 140252476799664 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73628 KiB

[startup+0.210255 s]*
/proc/loadavg: 1.09 1.32 1.71 3/196 12542
/proc/meminfo: memFree=18692876/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226645367 115843072 348 33554432000 4194304 5098028 140736174902704 140736174899960 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 348 296 221 0 87 0
[pid=12528] ppid=12525 vsize=15012476 memory=85532 CPUtime=0.25 cores=1,3,5,7
/proc/12528/stat : 12528 (java) S 12525 12525 3762 0 -1 1077944320 9755 0 0 0 22 3 0 0 20 0 15 0 226645367 15372775424 21383 33554432000 4194304 4196468 140732258616352 140732258598896 140253712449271 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
/proc/12528/statm: 3753119 21383 2879 1 0 3715579 0
[pid=12528/tid=12529] ppid=12525 vsize=15012476 memory=8040783992832565657 CPUtime=0.2 cores=1,3,5,7
/proc/12528/task/12529/stat : 12529 (java) R 12525 12525 3762 0 -1 4202560 7663 0 0 0 18 2 0 0 20 0 15 0 226645368 15372775424 21383 33554432000 4194304 4196468 140732258616352 140253684274928 140253694945612 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12530] ppid=12525 vsize=15012476 memory=5767623747409107337 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12530/stat : 12530 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 21383 33554432000 4194304 4196468 140732258616352 140253716692112 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12531] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12531/stat : 12531 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 21383 33554432000 4194304 4196468 140732258616352 140253507775504 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12532] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12532/stat : 12532 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 21383 33554432000 4194304 4196468 140732258616352 140253506722704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12533] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12533/stat : 12533 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 21383 33554432000 4194304 4196468 140732258616352 140253505669904 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12534] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12534/stat : 12534 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252481010032 140253712460418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12535] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12535/stat : 12535 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252358370336 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12536] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12536/stat : 12536 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252089934704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12537] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12537/stat : 12537 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140251715426128 140253712467867 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12538] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12538/stat : 12538 (java) S 12525 12525 3762 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252479957872 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12539] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12539/stat : 12539 (java) S 12525 12525 3762 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252478905072 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12540] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0.03 cores=1,3,5,7
/proc/12528/task/12540/stat : 12540 (java) R 12525 12525 3762 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252477852272 140253696529758 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12541] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12541/stat : 12541 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140251217521376 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12542] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12542/stat : 12542 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 21383 33554432000 4194304 4196468 140732258616352 140252476799664 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86924 KiB

[startup+0.310307 s]*
/proc/loadavg: 1.09 1.32 1.71 2/196 12542
/proc/meminfo: memFree=18689588/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226645367 115843072 348 33554432000 4194304 5098028 140736174902704 140736174899960 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 348 296 221 0 87 0
[pid=12528] ppid=12525 vsize=15012476 memory=89672 CPUtime=0.42 cores=1,3,5,7
/proc/12528/stat : 12528 (java) S 12525 12525 3762 0 -1 1077944320 10376 0 0 0 39 3 0 0 20 0 15 0 226645367 15372775424 22418 33554432000 4194304 4196468 140732258616352 140732258598896 140253712449271 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
/proc/12528/statm: 3753119 22418 2981 1 0 3715579 0
[pid=12528/tid=12529] ppid=12525 vsize=15012476 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/12528/task/12529/stat : 12529 (java) R 12525 12525 3762 0 -1 4202560 8100 0 0 0 27 2 0 0 20 0 15 0 226645368 15372775424 22418 33554432000 4194304 4196468 140732258616352 140253684244272 140253696529758 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12530] ppid=12525 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12530/stat : 12530 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 22418 33554432000 4194304 4196468 140732258616352 140253716692112 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12531] ppid=12525 vsize=15012476 memory=279337828059680 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12531/stat : 12531 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 22418 33554432000 4194304 4196468 140732258616352 140253507775504 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12532] ppid=12525 vsize=15012476 memory=279337828061984 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12532/stat : 12532 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 22418 33554432000 4194304 4196468 140732258616352 140253506722704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12533] ppid=12525 vsize=15012476 memory=139668914016015 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12533/stat : 12533 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15372775424 22418 33554432000 4194304 4196468 140732258616352 140253505669904 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12534] ppid=12525 vsize=15012476 memory=279337982939264 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12534/stat : 12534 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252481010032 140253712460418 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12535] ppid=12525 vsize=15012476 memory=139668914020623 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12535/stat : 12535 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252358370336 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12536] ppid=12525 vsize=15012476 memory=139668914026690 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12536/stat : 12536 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645371 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252089934704 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12537] ppid=12525 vsize=15012476 memory=139668914029020 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12537/stat : 12537 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140251715426128 140253712467867 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12538] ppid=12525 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12528/task/12538/stat : 12538 (java) R 12525 12525 3762 0 -1 4202560 450 0 0 0 1 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252479957872 140253691668433 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12539] ppid=12525 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12528/task/12539/stat : 12539 (java) R 12525 12525 3762 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252478905072 140253712460418 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12540] ppid=12525 vsize=15012476 memory=139669068916352 CPUtime=0.07 cores=1,3,5,7
/proc/12528/task/12540/stat : 12540 (java) R 12525 12525 3762 0 -1 4202560 343 0 0 0 7 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252477852272 140253712461206 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12541] ppid=12525 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12541/stat : 12541 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140251217521376 140253712459477 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12542] ppid=12525 vsize=15012476 memory=139669068917744 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12542/stat : 12542 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645374 15372775424 22418 33554432000 4194304 4196468 140732258616352 140252476799664 140253712460418 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91064 KiB

[startup+0.701144 s]
/proc/loadavg: 1.09 1.32 1.71 2/196 12542
/proc/meminfo: memFree=18664412/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226645367 115843072 348 33554432000 4194304 5098028 140736174902704 140736174899960 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 348 296 221 0 87 0
[pid=12528] ppid=12525 vsize=15020872 memory=129776 CPUtime=1.01 cores=1,3,5,7
/proc/12528/stat : 12528 (java) S 12525 12525 3762 0 -1 1077944320 17631 0 0 0 96 5 0 0 20 0 15 0 226645367 15381372928 32444 33554432000 4194304 4196468 140732258616352 140732258598896 140253712449271 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
/proc/12528/statm: 3755218 32444 3146 1 0 3716603 0
[pid=12528/tid=12529] ppid=12525 vsize=15020872 memory=8751464017575360309 CPUtime=0.67 cores=1,3,5,7
/proc/12528/task/12529/stat : 12529 (java) R 12525 12525 3762 0 -1 4202560 14875 0 0 0 63 4 0 0 20 0 15 0 226645368 15381372928 32444 33554432000 4194304 4196468 140732258616352 140253684280704 140253712461206 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12530] ppid=12525 vsize=15020872 memory=7813587196152395573 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12530/stat : 12530 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15381372928 32444 33554432000 4194304 4196468 140732258616352 140253716692112 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12531] ppid=12525 vsize=15020872 memory=5789185273153740882 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12531/stat : 12531 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15381372928 32444 33554432000 4194304 4196468 140732258616352 140253507775504 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12532] ppid=12525 vsize=15020872 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12532/stat : 12532 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645369 15381372928 32444 33554432000 4194304 4196468 140732258616352 140253506722704 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12533] ppid=12525 vsize=15020872 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12533/stat : 12533 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226645369 15381372928 32444 33554432000 4194304 4196468 140732258616352 140253505669904 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12534] ppid=12525 vsize=15020872 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12534/stat : 12534 (java) S 12525 12525 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226645371 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252481010032 140253712460418 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12535] ppid=12525 vsize=15020872 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12535/stat : 12535 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226645371 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252358370336 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12536] ppid=12525 vsize=15020872 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12536/stat : 12536 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645371 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252089934704 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12537] ppid=12525 vsize=15020872 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12537/stat : 12537 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140251715426128 140253712467867 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12538] ppid=12525 vsize=15020872 memory=1628 CPUtime=0.1 cores=1,3,5,7
/proc/12528/task/12538/stat : 12538 (java) R 12525 12525 3762 0 -1 4202560 713 0 0 0 10 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252479948256 140253691680525 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12539] ppid=12525 vsize=15020872 memory=1140 CPUtime=0.05 cores=1,3,5,7
/proc/12528/task/12539/stat : 12539 (java) R 12525 12525 3762 0 -1 1077944384 213 0 0 0 5 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252478905072 140253712460418 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12540] ppid=12525 vsize=15020872 memory=15244 CPUtime=0.16 cores=1,3,5,7
/proc/12528/task/12540/stat : 12540 (java) R 12525 12525 3762 0 -1 4202560 495 0 0 0 16 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252477848000 140253696695194 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12541] ppid=12525 vsize=15020872 memory=35076 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12541/stat : 12541 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140251217521376 140253712459477 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
[pid=12528/tid=12542] ppid=12525 vsize=15020872 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12528/task/12542/stat : 12542 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226645374 15381372928 32444 33554432000 4194304 4196468 140732258616352 140252476799664 140253712460418 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15613952 140732258620422 140732258620721 140732258620721 140732258623439 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131168 KiB

[startup+1.50149 s]
/proc/loadavg: 1.09 1.32 1.71 2/196 12542
/proc/meminfo: memFree=18636124/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226645367 115843072 348 33554432000 4194304 5098028 140736174902704 140736174899960 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 348 296 221 0 87 0

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

[pid=12543/tid=12546] ppid=12525 vsize=8068220 memory=-7824251494390847846 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12546/stat : 12546 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774472800656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12547] ppid=12525 vsize=8068220 memory=7852 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12547/stat : 12547 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774471748112 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12548] ppid=12525 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12548/stat : 12548 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774470695568 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12549] ppid=12525 vsize=8068220 memory=1140 CPUtime=0.07 cores=1,3,5,7
/proc/12543/task/12549/stat : 12549 (java) S 12525 12525 3762 0 -1 1077944384 5 0 0 0 2 5 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774300056048 139774987917954 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12550] ppid=12525 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12550/stat : 12550 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773872170400 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12551] ppid=12525 vsize=8068220 memory=35116 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12551/stat : 12551 (java) S 12525 12525 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773737948656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12552] ppid=12525 vsize=8068220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12552/stat : 12552 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773363444432 139774987925403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12553] ppid=12525 vsize=8068220 memory=17816 CPUtime=0.16 cores=1,3,5,7
/proc/12543/task/12553/stat : 12553 (java) S 12525 12525 3762 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774299002864 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12554] ppid=12525 vsize=8068220 memory=640 CPUtime=0.1 cores=1,3,5,7
/proc/12543/task/12554/stat : 12554 (java) S 12525 12525 3762 0 -1 1077944384 292 0 0 0 10 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774297950320 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12555] ppid=12525 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/12543/task/12555/stat : 12555 (java) S 12525 12525 3762 0 -1 1077944384 630 0 0 0 22 1 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774296897776 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12556] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12556/stat : 12556 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772865538656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12557] ppid=12525 vsize=8068220 memory=209828 CPUtime=1.63 cores=1,3,5,7
/proc/12543/task/12557/stat : 12557 (java) S 12525 12525 3762 0 -1 1077944384 161 0 0 0 69 94 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774295845680 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12559] ppid=12525 vsize=8068220 memory=-7824251494390847846 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12559/stat : 12559 (java) S 12525 12525 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226647117 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774288037440 139774987931417 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12561] ppid=12525 vsize=8068220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12561/stat : 12561 (java) S 12525 12525 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772194439344 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12562] ppid=12525 vsize=8068220 memory=-7824251494390847846 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12562/stat : 12562 (java) S 12525 12525 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772597091632 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12563] ppid=12525 vsize=8068220 memory=-7824251494390847846 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12563/stat : 12563 (java) S 12525 12525 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226647120 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772060224544 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
Current children cumulated CPU time: 2460.33 s
Current children cumulated vsize: 8490604 KiB
Current children cumulated memory: 354928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502 s]
/proc/loadavg: 1.05 1.04 1.06 2/201 12659
/proc/meminfo: memFree=18423852/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1468 CPUtime=32.62 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 590 48232 0 0 0 0 3169 93 20 0 1 0 226645367 115843072 367 33554432000 4194304 5098028 140736174902704 140736174899448 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 367 311 221 0 87 0
[pid=12543] ppid=12525 vsize=8068220 memory=116628 CPUtime=3.05 cores=1,3,5,7
/proc/12543/stat : 12543 (java) S 12525 12525 3762 0 -1 1077944320 18603 0 0 0 199 106 0 0 20 0 19 0 226647041 8261857280 29157 33554432000 4194304 4196468 140726371184736 140726371167280 139774987906807 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
/proc/12543/statm: 2017055 29157 3143 1 0 1978454 0
[pid=12558] ppid=12543 vsize=229116 memory=199588 CPUtime=2484.39 cores=1,3,5,7
/proc/12558/stat : 12558 (minisat_release) R 12543 12525 3762 0 -1 4202496 1454663 0 0 0 248251 188 0 0 20 0 1 0 226647117 234614784 49897 33554432000 4194304 4308513 140733644465696 140733644463144 4262781 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32346112 140733644473460 140733644473558 140733644473558 140733644476357 0
/proc/12558/statm: 57279 49897 342 28 0 53519 0
[pid=12543/tid=12544] ppid=12525 vsize=8068220 memory=1468 CPUtime=0.78 cores=1,3,5,7
/proc/12543/task/12544/stat : 12544 (java) S 12525 12525 3762 0 -1 1077944384 15009 0 0 0 72 6 0 0 20 0 19 0 226647041 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774959746960 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12545] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12545/stat : 12545 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774992148752 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12546] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12546/stat : 12546 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774472800656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12547] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12547/stat : 12547 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774471748112 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12548] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12548/stat : 12548 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774470695568 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12549] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.07 cores=1,3,5,7
/proc/12543/task/12549/stat : 12549 (java) S 12525 12525 3762 0 -1 1077944384 5 0 0 0 2 5 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774300056048 139774987917954 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12550] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12550/stat : 12550 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773872170400 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12551] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12551/stat : 12551 (java) S 12525 12525 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773737948656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12552] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12552/stat : 12552 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773363444432 139774987925403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12553] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.16 cores=1,3,5,7
/proc/12543/task/12553/stat : 12553 (java) S 12525 12525 3762 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774299002864 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12554] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.1 cores=1,3,5,7
/proc/12543/task/12554/stat : 12554 (java) S 12525 12525 3762 0 -1 1077944384 292 0 0 0 10 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774297950320 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12555] ppid=12525 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/12543/task/12555/stat : 12555 (java) S 12525 12525 3762 0 -1 1077944384 630 0 0 0 22 1 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774296897776 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12556] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12556/stat : 12556 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772865538656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12557] ppid=12525 vsize=8068220 memory=116628 CPUtime=1.66 cores=1,3,5,7
/proc/12543/task/12557/stat : 12557 (java) S 12525 12525 3762 0 -1 1077944384 165 0 0 0 70 96 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774295845680 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12559] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12559/stat : 12559 (java) S 12525 12525 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226647117 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774288037440 139774987931417 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12561] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12561/stat : 12561 (java) S 12525 12525 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772194439344 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12562] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12562/stat : 12562 (java) S 12525 12525 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772597091632 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12563] ppid=12525 vsize=8068220 memory=195492 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12563/stat : 12563 (java) S 12525 12525 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226647120 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772060224544 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8410464 KiB
Current children cumulated memory: 317684 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2502.01 s]
# the end of solver process 12525 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=31.6943 s, system=0.940395 s

[startup+2502.03 s]
# the end of solver process 12543 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.21 s, system=3.91922 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2502 s]
/proc/loadavg: 1.05 1.04 1.06 2/201 12659
/proc/meminfo: memFree=18423852/32770624 swapFree=67108196/67108860
[pid=12525] ppid=12522 vsize=113128 memory=1468 CPUtime=32.62 cores=1,3,5,7
/proc/12525/stat : 12525 (scop.sh) S 12522 12525 3762 0 -1 4202496 590 48232 0 0 0 0 3169 93 20 0 1 0 226645367 115843072 367 33554432000 4194304 5098028 140736174902704 140736174899448 140532027376252 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39260160 140736174904384 140736174904583 140736174904583 140736174907341 0
/proc/12525/statm: 28282 367 311 221 0 87 0
[pid=12543] ppid=12525 vsize=8068220 memory=116628 CPUtime=3.05 cores=1,3,5,7
/proc/12543/stat : 12543 (java) S 12525 12525 3762 0 -1 1077944320 18603 0 0 0 199 106 0 0 20 0 19 0 226647041 8261857280 29157 33554432000 4194304 4196468 140726371184736 140726371167280 139774987906807 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
/proc/12543/statm: 2017055 29157 3143 1 0 1978454 0
[pid=12558] ppid=12543 vsize=229116 memory=199588 CPUtime=2484.39 cores=1,3,5,7
/proc/12558/stat : 12558 (minisat_release) R 12543 12525 3762 0 -1 4202496 1454663 0 0 0 248251 188 0 0 20 0 1 0 226647117 234614784 49897 33554432000 4194304 4308513 140733644465696 140733644463144 4262781 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 32346112 140733644473460 140733644473558 140733644473558 140733644476357 0
/proc/12558/statm: 57279 49897 342 28 0 53519 0
[pid=12543/tid=12544] ppid=12525 vsize=8068220 memory=1468 CPUtime=0.78 cores=1,3,5,7
/proc/12543/task/12544/stat : 12544 (java) S 12525 12525 3762 0 -1 1077944384 15009 0 0 0 72 6 0 0 20 0 19 0 226647041 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774959746960 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12545] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12545/stat : 12545 (java) S 12525 12525 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774992148752 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12546] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12546/stat : 12546 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774472800656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12547] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12547/stat : 12547 (java) S 12525 12525 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774471748112 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12548] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12548/stat : 12548 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647042 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774470695568 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12549] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.07 cores=1,3,5,7
/proc/12543/task/12549/stat : 12549 (java) S 12525 12525 3762 0 -1 1077944384 5 0 0 0 2 5 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774300056048 139774987917954 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12550] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12550/stat : 12550 (java) S 12525 12525 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773872170400 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12551] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12551/stat : 12551 (java) S 12525 12525 3762 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226647044 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773737948656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12552] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12552/stat : 12552 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139773363444432 139774987925403 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12553] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.16 cores=1,3,5,7
/proc/12543/task/12553/stat : 12553 (java) S 12525 12525 3762 0 -1 1077944384 1073 0 0 0 16 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774299002864 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12554] ppid=12525 vsize=8068220 memory=116628 CPUtime=0.1 cores=1,3,5,7
/proc/12543/task/12554/stat : 12554 (java) S 12525 12525 3762 0 -1 1077944384 292 0 0 0 10 0 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774297950320 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12555] ppid=12525 vsize=8068220 memory=1468 CPUtime=0.23 cores=1,3,5,7
/proc/12543/task/12555/stat : 12555 (java) S 12525 12525 3762 0 -1 1077944384 630 0 0 0 22 1 0 0 20 0 19 0 226647047 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774296897776 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12556] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12556/stat : 12556 (java) S 12525 12525 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772865538656 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12557] ppid=12525 vsize=8068220 memory=116628 CPUtime=1.66 cores=1,3,5,7
/proc/12543/task/12557/stat : 12557 (java) S 12525 12525 3762 0 -1 1077944384 165 0 0 0 70 96 0 0 20 0 19 0 226647048 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774295845680 139774987917954 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12559] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12559/stat : 12559 (java) S 12525 12525 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226647117 8261857280 29157 33554432000 4194304 4196468 140726371184736 139774288037440 139774987931417 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12561] ppid=12525 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12561/stat : 12561 (java) S 12525 12525 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772194439344 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12562] ppid=12525 vsize=8068220 memory=116628 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12562/stat : 12562 (java) S 12525 12525 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226647118 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772597091632 139774987928733 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
[pid=12543/tid=12563] ppid=12525 vsize=8068220 memory=195492 CPUtime=0 cores=1,3,5,7
/proc/12543/task/12563/stat : 12563 (java) S 12525 12525 3762 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 226647120 8261857280 29157 33554432000 4194304 4196468 140726371184736 139772060224544 139774987917013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6361088 140726371185845 140726371185969 140726371185969 140726371188687 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8410464 KiB
Current children cumulated memory: 317684 KiB

Child status: 1
Real time (s): 2502.03
CPU time (s): 2520.13
CPU user time (s): 2516.21
CPU system time (s): 3.91922
CPU usage (%): 100.723
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3321948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.91922
maximum resident set size= 3320788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1522630
page faults= 0
swaps= 0
block input operations= 8
block output operations= 80752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62261
involuntary context switches= 721


# summary of solver processes directly reported to runsolver:
#   pid: 12525,12543
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.21
#   total CPU system time (s): 3.91922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1929 second user time and 27.3681 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 18:20:22
IDJOB=4305446
IDBENCH=141599
IDSOLVER=2782
FILE ID=node151/4305446-1534090822
RUNJOBID= node151-1534062410-3794
PBS_JOBID= 21036982
Free space on /tmp= 41256 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-16_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-4305446-1534090822/watcher-4305446-1534090822 -o /tmp/evaluation-result-4305446-1534090822/solver-4305446-1534090822 -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-4305446-1534090822.xml

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

MD5SUM BENCH= 5770900a9b2cb93904bf32b5a50ba98d
RANDOM SEED=978852497

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:        18767596 kB
MemAvailable:   31904056 kB
Buffers:          187924 kB
Cached:         13062032 kB
SwapCached:           16 kB
Active:          5714784 kB
Inactive:        7589592 kB
Active(anon):       2364 kB
Inactive(anon):   104196 kB
Active(file):    5712420 kB
Inactive(file):  7485396 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:              7804 kB
Writeback:             0 kB
AnonPages:        199176 kB
Mapped:            60100 kB
Shmem:             49524 kB
Slab:             395484 kB
SReclaimable:     367104 kB
SUnreclaim:        28380 kB
KernelStack:        3584 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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= 41248 MiB
End job on node151 at 2018-08-12 19:02:04