Trace number 4305573

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)? (TO) 2520.05 2514.32

General information on the benchmark

NameColouredQueens/
ColouredQueens-12_c18.xml
MD5SUM130c0e53e5c1e074e18659561dd41fce
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints66
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":144}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":140}]
Minimum constraint arity2
Maximum constraint arity12
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":26}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":66}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20803-serial-file.bin HOME/instance-4305573-1534064942.xml
0.54/0.51	
0.54/0.52	scop both+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 11:09:02 CEST 2018
0.66/0.54	c PID: 20806
0.66/0.54	c IP: 172.20.3.103
0.66/0.54	c HOST: node103.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.20/0.89	c (0,0) Parsing End
1.20/0.90	c (0,0) CSP: 144 int (0 aux), 0 bool (0 aux), 66 ctr, max domain size 12
1.20/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.90	c (0,0) Constraint Name Generate Begin
1.20/0.90	c (0,0) Ctr:HOME/instance-4305573-1534064942.xml,AllDifferent:IntVar
1.20/0.90	c (0,0) Constraint Name Generate End
1.20/0.90	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.90	c (0,0) CSP to CSPinCNF Begin
1.84/1.18	c (0,0) translated 7 (10%) constraints
2.16/1.26	c (0,0) translated 14 (20%) constraints
2.48/1.30	c (0,0) translated 20 (30%) constraints
2.48/1.34	c (0,0) translated 27 (40%) constraints
2.48/1.35	c (0,0) translated 33 (50%) constraints
2.48/1.36	c (0,0) translated 40 (60%) constraints
2.48/1.36	c (0,0) translated 47 (70%) constraints
2.48/1.37	c (0,0) translated 53 (80%) constraints
2.48/1.39	c (0,0) translated 60 (90%) constraints
2.48/1.39	c (0,0) translated 66 (100%) constraints
2.81/1.48	c (0,0) STATISTICS1:HOME/instance-4305573-1534064942.xml,AllDifferent:IntVar,144,2728,12,12,12,2,12:2596,12:6336,12:52;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:2604,2:2596;1:1144,
2.81/1.48	c (0,0) ==========================================
2.81/1.48	c (0,0) Both Encoding selects:
2.81/1.48	c (0,0) Order
2.81/1.48	c (0,0) ==========================================
3.11/1.53	c (1,0) translated 273 (10%) constraints
3.11/1.55	c (1,1) translated 546 (20%) constraints
3.11/1.56	c (1,1) translated 819 (30%) constraints
3.11/1.58	c (1,1) translated 1092 (40%) constraints
3.11/1.60	c (1,1) translated 1364 (50%) constraints
3.40/1.61	c (1,1) translated 1637 (60%) constraints
3.40/1.63	c (1,1) translated 1910 (70%) constraints
3.40/1.65	c (1,1) translated 2183 (80%) constraints
3.40/1.66	c (1,1) translated 2456 (90%) constraints
3.40/1.68	c (1,1) translated 2728 (100%) constraints
3.40/1.68	c (1,1) CSP to CSPinCNF End
3.40/1.68	c (1,1) CSP: 144 int (0 aux), 0 bool (0 aux), 2728 ctr, max domain size 12
3.40/1.68	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.40/1.68	c (1,1) CSPinCNF Propagation Begin
3.74/1.72	c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.74/1.72	c (1,1) CSPinCNF Propagation End
3.74/1.72	c (1,1) CSP: 144 int (0 aux), 0 bool (0 aux), 2728 ctr, max domain size 12
3.74/1.72	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.74/1.72	c (1,1) Simplify CSPinCNF Begin
4.38/1.95	c (1,1) Simplify CSPinCNF End
4.38/1.95	c (1,1) CSP: 144 int (0 aux), 5192 bool (5192 aux), 7920 ctr, max domain size 12
4.38/1.95	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.38/1.95	c (1,1) Calculate Precise Domain Begin
4.38/1.96	c (1,1) 0 values are removed by re-calculation
4.38/1.96	c (1,1) Calculate Precise Domain End
4.38/1.96	c (1,1) CSP: 144 int (0 aux), 5192 bool (5192 aux), 7920 ctr, max domain size 12
4.38/1.96	c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.38/1.96	c (1,1) CSPinCNF to SatSolver Begin
5.07/2.13	c (1,1) 792 (10 %) CSP clauses are encoded (6776 SAT variables, 7984 SAT clauses)
5.07/2.18	c (1,1) 1584 (20 %) CSP clauses are encoded (6776 SAT variables, 14529 SAT clauses)
5.35/2.23	c (1,1) 2376 (30 %) CSP clauses are encoded (6776 SAT variables, 21063 SAT clauses)
5.35/2.27	c (1,1) 3168 (40 %) CSP clauses are encoded (6776 SAT variables, 27608 SAT clauses)
5.65/2.30	c (1,1) 3960 (50 %) CSP clauses are encoded (6776 SAT variables, 34153 SAT clauses)
5.65/2.34	c (1,1) 4752 (60 %) CSP clauses are encoded (6776 SAT variables, 40687 SAT clauses)
5.65/2.37	c (1,1) 5544 (70 %) CSP clauses are encoded (6776 SAT variables, 47199 SAT clauses)
5.96/2.41	c (1,1) 6336 (80 %) CSP clauses are encoded (6776 SAT variables, 53612 SAT clauses)
5.96/2.44	c (1,1) 7128 (90 %) CSP clauses are encoded (6776 SAT variables, 60025 SAT clauses)
5.96/2.46	c (1,1) 7920 (100 %) CSP clauses are encoded (6776 SAT variables, 66471 SAT clauses)
5.96/2.46	c (1,1) Launch Command will be: minisat_release
5.96/2.46	c (1,1) CSPinCNF to SatSolver End
5.96/2.46	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.26/2.53	c (2,1) STATISTICS2:HOME/instance-4305573-1534064942.xml,AllDifferent:IntVar,5336,7920,12,12,12,2,12:5192,12:11528;2:10384,12:52;11:8;10:8;9:8;8:8;7:8;6:8;5:8;4:8;3:8;2:7796,2:5192;1:11528,
6.26/2.53	c (2,1) 6776 bool, 66472 clause
6.26/2.53	c (2,1) Export Begin
6.60/2.62	c (2,2) Export to HOME/scop-20803-serial-file.bin
6.60/2.62	c (2,2) Export End
6.60/2.62	c (2,2) Export File Size: 0.02 MB
6.60/2.62	c (2,2) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
6.60/2.62	c END-Prog: Sun Aug 12 11:09:04 CEST 2018
6.60/2.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20803-serial-file.bin
7.27/3.13	c (0,0) Read Serial File Begin
7.27/3.13	c (0,0) HOME/scop-20803-serial-file.bin
7.58/3.30	c (0,0) Read Serial File End
7.58/3.31	
7.58/3.31	scop order+minisat_release (2018-07-31)
7.58/3.31	(Solving Process)
7.58/3.31	
7.58/3.33	c BEGIN-Prog: Sun Aug 12 11:09:05 CEST 2018
7.58/3.33	c PID: 20822
7.58/3.33	c IP: 172.20.3.103
7.58/3.33	c HOST: node103.alineos.net
7.58/3.34	c (0,0) SatSolver.solve Begin
7.58/3.34	c (0,0) 0 bool, 0 clause
7.58/3.34	c (0,0) minisat_release HOME/instance-4305573-1534064942.xml-scop-20806.cnf
2520.00/2514.30	c (2511,0) SatSolver is killed by some reasons.
2520.00/2514.30	c (2511,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.00/2514.30	s UNKNOWN
2520.00/2514.30	c END-Prog: Sun Aug 12 11:50:56 CEST 2018
2520.00/2514.31	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2514.31	c (scop.sh) Killing background jobs.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305573-1534064942/watcher-4305573-1534064942 -o /tmp/evaluation-result-4305573-1534064942/solver-4305573-1534064942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305573-1534064942.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=20803, runsolver pid=20800
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 1.42 1.33 1.37 3/223 20821
/proc/meminfo: memFree=17001004/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057346 115843072 349 33554432000 4194304 5098028 140731232278128 140731232275384 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 349 296 221 0 87 0
[pid=20806] ppid=20803 vsize=15012476 memory=72068 CPUtime=0.11 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20803 20803 20606 0 -1 1077944320 6149 0 0 0 10 1 0 0 20 0 15 0 224057346 15372775424 18017 33554432000 4194304 4196468 140733235844480 140733235827024 140010879524599 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
/proc/20806/statm: 3753119 18017 2771 1 0 3715579 0
[pid=20806/tid=20807] ppid=20803 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (java) R 20803 20803 20606 0 -1 4202560 4286 0 0 0 8 1 0 0 20 0 15 0 224057346 15372775424 18083 33554432000 4194304 4196468 140733235844480 140010851336584 140010859800413 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20808] ppid=20803 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 18083 33554432000 4194304 4196468 140733235844480 140010883766672 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20810] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 18083 33554432000 4194304 4196468 140733235844480 140010701854992 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20811] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 18083 33554432000 4194304 4196468 140733235844480 140010700802704 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20812] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 18083 33554432000 4194304 4196468 140733235844480 140010338200080 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20813] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057349 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009849956976 140010879535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20814] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009491391776 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20815] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20803 20803 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009357170288 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20816] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 18149 33554432000 4194304 4196468 140733235844480 140008982665808 140010879543195 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20817] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20803 20803 20606 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009848903792 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20818] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009847850992 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20819] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20803 20803 20606 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009846798704 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20820] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 18149 33554432000 4194304 4196468 140733235844480 140008484760032 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20821] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 18149 33554432000 4194304 4196468 140733235844480 140009845746608 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73464 KiB

[startup+0.210713 s]*
/proc/loadavg: 1.42 1.33 1.37 3/223 20821
/proc/meminfo: memFree=16987164/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057346 115843072 349 33554432000 4194304 5098028 140731232278128 140731232275384 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 349 296 221 0 87 0
[pid=20806] ppid=20803 vsize=15012476 memory=84584 CPUtime=0.26 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20803 20803 20606 0 -1 1077944320 9523 0 0 0 23 3 0 0 20 0 15 0 224057346 15372775424 21146 33554432000 4194304 4196468 140733235844480 140733235827024 140010879524599 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
/proc/20806/statm: 3753119 21146 2869 1 0 3715579 0
[pid=20806/tid=20807] ppid=20803 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (java) R 20803 20803 20606 0 -1 4202560 7401 0 0 0 18 2 0 0 20 0 15 0 224057346 15372775424 21146 33554432000 4194304 4196468 140733235844480 140010851352256 140010380678463 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20808] ppid=20803 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 21146 33554432000 4194304 4196468 140733235844480 140010883766672 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20810] ppid=20803 vsize=15012476 memory=140066683901907 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 21146 33554432000 4194304 4196468 140733235844480 140010701854992 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20811] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 21146 33554432000 4194304 4196468 140733235844480 140010700802704 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20812] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 21146 33554432000 4194304 4196468 140733235844480 140010338200080 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20813] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057349 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009849956976 140010879535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20814] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009491391776 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20815] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20803 20803 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009357170288 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20816] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 21146 33554432000 4194304 4196468 140733235844480 140008982665808 140010879543195 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20817] ppid=20803 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) R 20803 20803 20606 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 224057352 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009848903888 140010879534805 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20818] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) R 20803 20803 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009847842496 140010863007976 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20819] ppid=20803 vsize=15012476 memory=140066683881088 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20803 20803 20606 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 224057352 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009846798704 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20820] ppid=20803 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 21146 33554432000 4194304 4196468 140733235844480 140008484760032 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20821] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 21146 33554432000 4194304 4196468 140733235844480 140009845746608 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85980 KiB

[startup+0.310733 s]*
/proc/loadavg: 1.42 1.33 1.37 3/223 20821
/proc/meminfo: memFree=16982988/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057346 115843072 349 33554432000 4194304 5098028 140731232278128 140731232275384 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 349 296 221 0 87 0
[pid=20806] ppid=20803 vsize=15012476 memory=88112 CPUtime=0.43 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20803 20803 20606 0 -1 1077944320 10061 0 0 0 40 3 0 0 20 0 15 0 224057346 15372775424 22028 33554432000 4194304 4196468 140733235844480 140733235827024 140010879524599 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
/proc/20806/statm: 3753119 22028 2979 1 0 3715579 0
[pid=20806/tid=20807] ppid=20803 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (java) R 20803 20803 20606 0 -1 4202560 7782 0 0 0 27 2 0 0 20 0 15 0 224057346 15372775424 22028 33554432000 4194304 4196468 140733235844480 140010851319600 140010863605086 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20808] ppid=20803 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 22028 33554432000 4194304 4196468 140733235844480 140010883766672 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20810] ppid=20803 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 22028 33554432000 4194304 4196468 140733235844480 140010701854992 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20811] ppid=20803 vsize=15012476 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 22028 33554432000 4194304 4196468 140733235844480 140010700802704 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20812] ppid=20803 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15372775424 22028 33554432000 4194304 4196468 140733235844480 140010338200080 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20813] ppid=20803 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057349 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009849956976 140010879535746 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20814] ppid=20803 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009491391776 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20815] ppid=20803 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20803 20803 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057350 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009357170288 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20816] ppid=20803 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057352 15372775424 22028 33554432000 4194304 4196468 140733235844480 140008982665808 140010879543195 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20817] ppid=20803 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) R 20803 20803 20606 0 -1 4202560 573 0 0 0 3 0 0 0 20 0 15 0 224057352 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009848903792 140010861068703 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20818] ppid=20803 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) R 20803 20803 20606 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 224057352 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009847850992 140010879535746 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20819] ppid=20803 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) S 20803 20803 20606 0 -1 1077944384 311 0 0 0 7 0 0 0 20 0 15 0 224057352 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009846798704 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20820] ppid=20803 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 22028 33554432000 4194304 4196468 140733235844480 140008484760032 140010879534805 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20821] ppid=20803 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057353 15372775424 22028 33554432000 4194304 4196468 140733235844480 140009845746608 140010879535746 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89508 KiB

[startup+0.701091 s]
/proc/loadavg: 1.42 1.33 1.37 3/223 20821
/proc/meminfo: memFree=16958928/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057346 115843072 349 33554432000 4194304 5098028 140731232278128 140731232275384 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 349 296 221 0 87 0
[pid=20806] ppid=20803 vsize=15020872 memory=128136 CPUtime=1.02 cores=1,3,5,7
/proc/20806/stat : 20806 (java) S 20803 20803 20606 0 -1 1077944320 17151 0 0 0 97 5 0 0 20 0 15 0 224057346 15381372928 32034 33554432000 4194304 4196468 140733235844480 140733235827024 140010879524599 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
/proc/20806/statm: 3755218 32034 3165 1 0 3716603 0
[pid=20806/tid=20807] ppid=20803 vsize=15020872 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/20806/task/20807/stat : 20807 (java) R 20803 20803 20606 0 -1 4202560 14420 0 0 0 63 3 0 0 20 0 15 0 224057346 15381372928 32034 33554432000 4194304 4196468 140733235844480 140010851358192 140010863605086 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20808] ppid=20803 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20808/stat : 20808 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15381372928 32034 33554432000 4194304 4196468 140733235844480 140010883766672 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20810] ppid=20803 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20810/stat : 20810 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15381372928 32034 33554432000 4194304 4196468 140733235844480 140010701854992 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20811] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20811/stat : 20811 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057348 15381372928 32034 33554432000 4194304 4196468 140733235844480 140010700802704 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20812] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20812/stat : 20812 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224057348 15381372928 32034 33554432000 4194304 4196468 140733235844480 140010338200080 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20813] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20813/stat : 20813 (java) S 20803 20803 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224057349 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009849956976 140010879535746 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20814] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20814/stat : 20814 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224057350 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009491391776 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20815] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20815/stat : 20815 (java) S 20803 20803 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224057350 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009357170288 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20816] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20816/stat : 20816 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057352 15381372928 32034 33554432000 4194304 4196468 140733235844480 140008982665808 140010879543195 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20817] ppid=20803 vsize=15020872 memory=280133067866352 CPUtime=0.1 cores=1,3,5,7
/proc/20806/task/20817/stat : 20817 (java) S 20803 20803 20606 0 -1 1077944384 798 0 0 0 10 0 0 0 20 0 15 0 224057352 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009848903792 140010879535746 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20818] ppid=20803 vsize=15020872 memory=5791726317272787289 CPUtime=0.06 cores=1,3,5,7
/proc/20806/task/20818/stat : 20818 (java) S 20803 20803 20606 0 -1 1077944384 138 0 0 0 6 0 0 0 20 0 15 0 224057352 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009847850992 140010879535746 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20819] ppid=20803 vsize=15020872 memory=7667773560192329024 CPUtime=0.16 cores=1,3,5,7
/proc/20806/task/20819/stat : 20819 (java) R 20803 20803 20606 0 -1 4202560 438 0 0 0 16 0 0 0 20 0 15 0 224057352 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009846798704 140010865219608 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20820] ppid=20803 vsize=15020872 memory=7649399397099778098 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20820/stat : 20820 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224057353 15381372928 32034 33554432000 4194304 4196468 140733235844480 140008484760032 140010879534805 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
[pid=20806/tid=20821] ppid=20803 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20806/task/20821/stat : 20821 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224057353 15381372928 32034 33554432000 4194304 4196468 140733235844480 140009845746608 140010879535746 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11575296 140733235848199 140733235848497 140733235848497 140733235851215 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129532 KiB

[startup+1.50083 s]
/proc/loadavg: 1.42 1.33 1.37 3/223 20821
/proc/meminfo: memFree=16928284/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224057346 115843072 349 33554432000 4194304 5098028 140731232278128 140731232275384 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 349 296 221 0 87 0

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

[pid=20822/tid=20825] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20825/stat : 20825 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261769689360 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20826] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20826/stat : 20826 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261768637072 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20827] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20827/stat : 20827 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261767584272 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20828] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.04 cores=1,3,5,7
/proc/20822/task/20828/stat : 20828 (java) S 20803 20803 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 224057613 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261343591024 140261965290114 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20829] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20829/stat : 20829 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260814087456 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20830] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20830/stat : 20830 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260545652336 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20831] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20831/stat : 20831 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260171143760 140261965297563 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20832] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.08 cores=1,3,5,7
/proc/20822/task/20832/stat : 20832 (java) S 20803 20803 20606 0 -1 1077944384 700 0 0 0 7 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261342537840 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20833] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/20822/task/20833/stat : 20833 (java) S 20803 20803 20606 0 -1 1077944384 253 0 0 0 9 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261341485040 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20834] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.19 cores=1,3,5,7
/proc/20822/task/20834/stat : 20834 (java) S 20803 20803 20606 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261340432752 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20835] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20835/stat : 20835 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259673237984 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20836] ppid=20803 vsize=8068220 memory=58256 CPUtime=1.14 cores=1,3,5,7
/proc/20822/task/20836/stat : 20836 (java) S 20803 20803 20606 0 -1 1077944384 167 0 0 0 49 65 0 0 20 0 19 0 224057617 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261339380656 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20838] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20838/stat : 20838 (java) S 20803 20803 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261418755520 140261965303577 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20840] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20840/stat : 20840 (java) S 20803 20803 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259136352272 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20841] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20841/stat : 20841 (java) S 20803 20803 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259270573456 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20842] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20842/stat : 20842 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057684 8261857280 29518 33554432000 4194304 4196468 140725857755008 140258867927968 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
Current children cumulated CPU time: 2507.99 s
Current children cumulated vsize: 8273964 KiB
Current children cumulated memory: 177800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.3 s]
/proc/loadavg: 2.01 2.07 2.01 5/222 21002
/proc/meminfo: memFree=16754500/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1472 CPUtime=6.67 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 591 26115 0 0 0 0 650 17 20 0 1 0 224057346 115843072 368 33554432000 4194304 5098028 140731232278128 140731232274872 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 368 311 221 0 87 0
[pid=20822] ppid=20803 vsize=8068220 memory=118072 CPUtime=2.35 cores=1,3,5,7
/proc/20822/stat : 20822 (java) S 20803 20803 20606 0 -1 1077944320 16940 0 0 0 167 68 0 0 20 0 19 0 224057610 8261857280 29518 33554432000 4194304 4196468 140725857755008 140725857737552 140261965278967 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
/proc/20822/statm: 2017055 29518 3150 1 0 1978454 0
[pid=20837] ppid=20822 vsize=92616 memory=58256 CPUtime=2510.98 cores=1,3,5,7
/proc/20837/stat : 20837 (minisat_release) R 20822 20803 20606 0 -1 4202496 199322 0 0 0 251085 13 0 0 20 0 1 0 224057682 94838784 14564 33554432000 4194304 4308513 140726057626848 140726057623104 4269601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35725312 140726057628788 140726057628886 140726057628886 140726057631685 0
/proc/20837/statm: 23154 14564 342 28 0 19394 0
[pid=20822/tid=20823] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.73 cores=1,3,5,7
/proc/20822/task/20823/stat : 20823 (java) S 20803 20803 20606 0 -1 1077944384 13867 0 0 0 69 4 0 0 20 0 19 0 224057611 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261937119120 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20824] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20824/stat : 20824 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261969521040 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20825] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20825/stat : 20825 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261769689360 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20826] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20826/stat : 20826 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261768637072 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20827] ppid=20803 vsize=8068220 memory=73 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20827/stat : 20827 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261767584272 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20828] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.04 cores=1,3,5,7
/proc/20822/task/20828/stat : 20828 (java) S 20803 20803 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 224057613 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261343591024 140261965290114 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20829] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20829/stat : 20829 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260814087456 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20830] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20830/stat : 20830 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260545652336 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20831] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20831/stat : 20831 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260171143760 140261965297563 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20832] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.08 cores=1,3,5,7
/proc/20822/task/20832/stat : 20832 (java) S 20803 20803 20606 0 -1 1077944384 700 0 0 0 7 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261342537840 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20833] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/20822/task/20833/stat : 20833 (java) S 20803 20803 20606 0 -1 1077944384 253 0 0 0 9 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261341485040 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20834] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.19 cores=1,3,5,7
/proc/20822/task/20834/stat : 20834 (java) S 20803 20803 20606 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261340432752 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20835] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20835/stat : 20835 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259673237984 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20836] ppid=20803 vsize=8068220 memory=1472 CPUtime=1.15 cores=1,3,5,7
/proc/20822/task/20836/stat : 20836 (java) S 20803 20803 20606 0 -1 1077944384 169 0 0 0 50 65 0 0 20 0 19 0 224057617 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261339380656 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20838] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20838/stat : 20838 (java) S 20803 20803 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261418755520 140261965303577 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20840] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20840/stat : 20840 (java) S 20803 20803 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259136352272 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20841] ppid=20803 vsize=8068220 memory=288283398462783330 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20841/stat : 20841 (java) S 20803 20803 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259270573456 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20842] ppid=20803 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20842/stat : 20842 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057684 8261857280 29518 33554432000 4194304 4196468 140725857755008 140258867927968 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8273964 KiB
Current children cumulated memory: 177800 KiB

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

[startup+2514.31 s]
# the end of solver process 20803 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.50732 s, system=0.177697 s

[startup+2514.32 s]
# the end of solver process 20822 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.04 s, system=1.01028 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+2514.3 s]
/proc/loadavg: 2.01 2.07 2.01 5/222 21002
/proc/meminfo: memFree=16754500/32770624 swapFree=67058736/67108860
[pid=20803] ppid=20800 vsize=113128 memory=1472 CPUtime=6.67 cores=1,3,5,7
/proc/20803/stat : 20803 (scop.sh) S 20800 20803 20606 0 -1 4202496 591 26115 0 0 0 0 650 17 20 0 1 0 224057346 115843072 368 33554432000 4194304 5098028 140731232278128 140731232274872 140494939910780 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34676736 140731232285761 140731232285959 140731232285959 140731232288717 0
/proc/20803/statm: 28282 368 311 221 0 87 0
[pid=20822] ppid=20803 vsize=8068220 memory=118072 CPUtime=2.35 cores=1,3,5,7
/proc/20822/stat : 20822 (java) S 20803 20803 20606 0 -1 1077944320 16940 0 0 0 167 68 0 0 20 0 19 0 224057610 8261857280 29518 33554432000 4194304 4196468 140725857755008 140725857737552 140261965278967 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
/proc/20822/statm: 2017055 29518 3150 1 0 1978454 0
[pid=20837] ppid=20822 vsize=92616 memory=58256 CPUtime=2510.98 cores=1,3,5,7
/proc/20837/stat : 20837 (minisat_release) R 20822 20803 20606 0 -1 4202496 199322 0 0 0 251085 13 0 0 20 0 1 0 224057682 94838784 14564 33554432000 4194304 4308513 140726057626848 140726057623104 4269601 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 35725312 140726057628788 140726057628886 140726057628886 140726057631685 0
/proc/20837/statm: 23154 14564 342 28 0 19394 0
[pid=20822/tid=20823] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.73 cores=1,3,5,7
/proc/20822/task/20823/stat : 20823 (java) S 20803 20803 20606 0 -1 1077944384 13867 0 0 0 69 4 0 0 20 0 19 0 224057611 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261937119120 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20824] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20824/stat : 20824 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261969521040 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20825] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20825/stat : 20825 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261769689360 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20826] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20826/stat : 20826 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261768637072 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20827] ppid=20803 vsize=8068220 memory=73 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20827/stat : 20827 (java) S 20803 20803 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224057612 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261767584272 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20828] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.04 cores=1,3,5,7
/proc/20822/task/20828/stat : 20828 (java) S 20803 20803 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 224057613 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261343591024 140261965290114 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20829] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20829/stat : 20829 (java) S 20803 20803 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260814087456 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20830] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20830/stat : 20830 (java) S 20803 20803 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224057614 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260545652336 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20831] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20831/stat : 20831 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140260171143760 140261965297563 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20832] ppid=20803 vsize=8068220 memory=118072 CPUtime=0.08 cores=1,3,5,7
/proc/20822/task/20832/stat : 20832 (java) S 20803 20803 20606 0 -1 1077944384 700 0 0 0 7 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261342537840 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20833] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/20822/task/20833/stat : 20833 (java) S 20803 20803 20606 0 -1 1077944384 253 0 0 0 9 1 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261341485040 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20834] ppid=20803 vsize=8068220 memory=1472 CPUtime=0.19 cores=1,3,5,7
/proc/20822/task/20834/stat : 20834 (java) S 20803 20803 20606 0 -1 1077944384 542 0 0 0 19 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261340432752 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20835] ppid=20803 vsize=8068220 memory=58256 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20835/stat : 20835 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057616 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259673237984 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20836] ppid=20803 vsize=8068220 memory=1472 CPUtime=1.15 cores=1,3,5,7
/proc/20822/task/20836/stat : 20836 (java) S 20803 20803 20606 0 -1 1077944384 169 0 0 0 50 65 0 0 20 0 19 0 224057617 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261339380656 140261965290114 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20838] ppid=20803 vsize=8068220 memory=118072 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20838/stat : 20838 (java) S 20803 20803 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140261418755520 140261965303577 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20840] ppid=20803 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20840/stat : 20840 (java) S 20803 20803 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259136352272 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20841] ppid=20803 vsize=8068220 memory=288283398462783330 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20841/stat : 20841 (java) S 20803 20803 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224057682 8261857280 29518 33554432000 4194304 4196468 140725857755008 140259270573456 140261965300893 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
[pid=20822/tid=20842] ppid=20803 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/20822/task/20842/stat : 20842 (java) S 20803 20803 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224057684 8261857280 29518 33554432000 4194304 4196468 140725857755008 140258867927968 140261965289173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19955712 140725857756341 140725857756465 140725857756465 140725857759183 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8273964 KiB
Current children cumulated memory: 177800 KiB

Child status: 1
Real time (s): 2514.32
CPU time (s): 2520.05
CPU user time (s): 2519.04
CPU system time (s): 1.01028
CPU usage (%): 100.228
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 508952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.04
system time used= 1.01028
maximum resident set size= 510280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59030
involuntary context switches= 673


# summary of solver processes directly reported to runsolver:
#   pid: 20803,20822
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.04
#   total CPU system time (s): 1.01028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7017 second user time and 26.4823 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 11:09:02
IDJOB=4305573
IDBENCH=141026
IDSOLVER=2783
FILE ID=node103/4305573-1534064942
RUNJOBID= node103-1534064938-20638
PBS_JOBID= 21036991
Free space on /tmp= 34408 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-12_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305573-1534064942/watcher-4305573-1534064942 -o /tmp/evaluation-result-4305573-1534064942/solver-4305573-1534064942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305573-1534064942.xml

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

MD5SUM BENCH= 130c0e53e5c1e074e18659561dd41fce
RANDOM SEED=1540171432

node103.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.48
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.48
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.48
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.48
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:        17062864 kB
MemAvailable:   31835072 kB
Buffers:          113212 kB
Cached:         14799296 kB
SwapCached:         5832 kB
Active:          7614820 kB
Inactive:        7421976 kB
Active(anon):     115008 kB
Inactive(anon):    60156 kB
Active(file):    7499812 kB
Inactive(file):  7361820 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058736 kB
Dirty:              7800 kB
Writeback:            88 kB
AnonPages:        103756 kB
Mapped:            61212 kB
Shmem:             48604 kB
Slab:             367556 kB
SReclaimable:     339036 kB
SUnreclaim:        28520 kB
KernelStack:        3584 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5826032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34396 MiB
End job on node103 at 2018-08-12 11:50:56