Trace number 4392319

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
Fun-sCOP order+ManyGlucose (2019-06-15)? (TO) 17646.9 2522.12

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-064.xml
MD5SUM019f4b77ddc0f15b2fea5bd490d99eee
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.1842
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints72
Number of domains2
Minimum domain size64
Maximum domain size4096
Distribution of domain sizes[{"size":64,"count":64},{"size":4096,"count":64}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":64},{"degree":4,"count":63},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":64},{"arity":32,"count":6},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints65
Distribution of constraint types[{"type":"intension","count":65},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22188-serial-file.bin HOME/instance-4392319-1568421146.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 02:31:46 CEST 2019
0.65/0.57	c PID: 22191
0.65/0.57	c IP: 172.20.3.127
0.65/0.57	c HOST: node127.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.39/0.95	c (0,0) Parsing End
1.39/0.95	c (0,0) CSP: 128 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 4096
1.39/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.95	c (0,0) Constraint Name Generate Begin
1.39/0.96	c (0,0) Ctr:HOME/instance-4392319-1568421146.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.39/0.96	c (0,0) Constraint Name Generate End
1.39/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.39/0.96	c (0,0) CSP to CSPinCNF Begin
3.16/1.55	c (1,1) translated 8 (10%) constraints
3.59/1.69	c (1,1) translated 15 (20%) constraints
4.02/1.77	c (1,1) translated 22 (30%) constraints
4.40/1.84	c (1,1) translated 29 (40%) constraints
4.76/1.90	c (1,1) translated 36 (50%) constraints
4.76/1.96	c (1,1) translated 44 (60%) constraints
5.08/2.01	c (1,1) translated 51 (70%) constraints
5.08/2.06	c (1,1) translated 58 (80%) constraints
5.33/2.11	c (1,1) translated 65 (90%) constraints
5.33/2.15	c (1,1) translated 72 (100%) constraints
5.33/2.16	c (1,1) ===========================================
5.33/2.16	c (1,1) Order
5.33/2.16	c (1,1) ===========================================
5.57/2.25	c (1,1) translated 1444 (10%) constraints
6.79/2.53	c (1,1) translated 2888 (20%) constraints
6.79/2.57	c (2,2) translated 4332 (30%) constraints
7.20/2.61	c (2,2) translated 5775 (40%) constraints
7.20/2.65	c (2,2) translated 7219 (50%) constraints
7.20/2.69	c (2,2) translated 8663 (60%) constraints
7.60/2.73	c (2,2) translated 10106 (70%) constraints
7.60/2.76	c (2,2) translated 11550 (80%) constraints
7.60/2.80	c (2,2) translated 12994 (90%) constraints
8.00/2.83	c (2,2) translated 14437 (100%) constraints
8.00/2.83	c (2,2) CSP to CSPinCNF End
8.00/2.83	c (2,2) CSP: 243 int (116 aux), 4097 bool (4096 aux), 22866 ctr, max domain size 44689
8.00/2.83	c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.00/2.83	c (2,2) CSPinCNF Propagation Begin
10.43/3.64	c (3,3) 173014 values, 6353 unsatisfiable literals, and 6360 valid clauses are removed
10.43/3.64	c (3,3) CSPinCNF Propagation End
10.43/3.64	c (3,3) CSP: 242 int (116 aux), 4098 bool (4096 aux), 16506 ctr, max domain size 33281
10.43/3.64	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.43/3.64	c (3,3) Simplify CSPinCNF Begin
11.16/3.81	c (3,3) Simplify CSPinCNF End
11.16/3.81	c (3,3) CSP: 242 int (116 aux), 8004 bool (8002 aux), 20412 ctr, max domain size 33281
11.16/3.81	c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.16/3.81	c (3,3) Calculate Precise Domain Begin
667.87/230.30	c (229,167) 231527 values are removed by re-calculation
667.87/230.30	c (229,167) Calculate Precise Domain End
667.97/230.30	c (229,167) CSP: 242 int (116 aux), 8004 bool (8002 aux), 20412 ctr, max domain size 33265
667.97/230.30	c (229,167) Heap : 7066 MiB used (max 20025 MiB), NonHeap : 31 MiB used (max 0 MiB)
667.97/230.30	c (229,167) CSPinCNF to SatSolver Begin
675.62/232.12	c (231,168) 2042 (10 %) CSP clauses are encoded (0 SAT variables, 589781 SAT clauses)
675.88/232.35	c (231,168) 4083 (20 %) CSP clauses are encoded (0 SAT variables, 642638 SAT clauses)
676.61/232.62	c (232,168) 6124 (30 %) CSP clauses are encoded (0 SAT variables, 689341 SAT clauses)
676.61/232.63	c (232,168) 8165 (40 %) CSP clauses are encoded (0 SAT variables, 691382 SAT clauses)
676.61/232.65	c (232,169) 10206 (50 %) CSP clauses are encoded (0 SAT variables, 693423 SAT clauses)
17630.71/2520.03	c (scop.sh) Receiving Signal. Removing all intermediate files.
17630.71/2520.03	c (scop.sh) Killing background jobs.

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392319-1568421146/watcher-4392319-1568421146 -o /tmp/evaluation-result-4392319-1568421146/solver-4392319-1568421146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568417392-21116 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392319-1568421146.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100157 s]*
/proc/loadavg: 8.02 7.47 7.40 2/212 22210
/proc/meminfo: memFree=28765264/32770624 swapFree=66998528/67108860
[pid=22188] ppid=22185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22188/stat : 22188 (scop.sh) S 22185 22188 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418383437 115843072 349 33554432000 4194304 5098028 140723602991536 140723602988792 139952783323772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140723602998053 140723602998380 140723602998380 140723603001293 0
/proc/22188/statm: 28282 349 296 221 0 87 0
[pid=22191] ppid=22188 vsize=27314120 memory=107944 CPUtime=0.11 cores=0-7
/proc/22191/stat : 22191 (java) S 22188 22188 21089 0 -1 1077944320 6523 0 0 0 8 3 0 0 20 0 20 0 418383437 27969658880 26986 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6828530 26986 2816 1 0 6790935 0
[pid=22191/tid=22192] ppid=22188 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) R 22188 22188 21089 0 -1 4202560 4598 0 0 0 7 2 0 0 20 0 20 0 418383438 27969658880 26986 33554432000 4194304 4196468 140736709332128 140609066308000 140609080682333 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140609098725648 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22188 vsize=27314120 memory=288370274777994880 CPUtime=0 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608912882064 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608911829520 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608910776976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608909724432 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608512097168 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608511044624 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 26986 33554432000 4194304 4196468 140736709332128 140608509992080 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383441 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607414527984 140609094494850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22188 22188 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 26986 33554432000 4194304 4196468 140736709332128 140606894498720 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22188 22188 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 26986 33554432000 4194304 4196468 140736709332128 140606760276976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383444 27969658880 26986 33554432000 4194304 4196468 140736709332128 140606385772752 140609094502299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22188 22188 21089 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 418383444 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607413475824 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) R 22188 22188 21089 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607412423280 140609094505050 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) R 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607411370736 140609094494850 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) R 22188 22188 21089 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607410318192 140609094505050 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 26986 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 26986 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109340 KiB

[startup+0.210606 s]*
/proc/loadavg: 8.02 7.47 7.40 3/212 22210
/proc/meminfo: memFree=28743572/32770624 swapFree=66998528/67108860
[pid=22188] ppid=22185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22188/stat : 22188 (scop.sh) S 22185 22188 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418383437 115843072 349 33554432000 4194304 5098028 140723602991536 140723602988792 139952783323772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140723602998053 140723602998380 140723602998380 140723603001293 0
/proc/22188/statm: 28282 349 296 221 0 87 0
[pid=22191] ppid=22188 vsize=27314120 memory=124748 CPUtime=0.25 cores=0-7
/proc/22191/stat : 22191 (java) S 22188 22188 21089 0 -1 1077944320 12111 0 0 0 21 4 0 0 20 0 20 0 418383437 27969658880 31187 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6828530 31187 2930 1 0 6790935 0
[pid=22191/tid=22192] ppid=22188 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) R 22188 22188 21089 0 -1 4202560 9817 0 0 0 16 3 0 0 20 0 20 0 418383438 27969658880 31187 33554432000 4194304 4196468 140736709332128 140609066283088 140609076047232 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22188 vsize=27314120 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140609098725648 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22188 vsize=27314120 memory=139898626304482 CPUtime=0 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608912882064 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608911829520 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608910776976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608909724432 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608512097168 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608511044624 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 31187 33554432000 4194304 4196468 140736709332128 140608509992080 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383441 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607414527984 140609094494850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22188 22188 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 31187 33554432000 4194304 4196468 140736709332128 140606894498720 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22188 22188 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 31187 33554432000 4194304 4196468 140736709332128 140606760276976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383444 27969658880 31187 33554432000 4194304 4196468 140736709332128 140606385772752 140609094502299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22188 22188 21089 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 418383444 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607413475824 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) S 22188 22188 21089 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607412423280 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) S 22188 22188 21089 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607411370736 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22188 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) S 22188 22188 21089 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 418383445 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607410318192 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 31187 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 31187 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126144 KiB

[startup+0.31035 s]*
/proc/loadavg: 8.02 7.47 7.40 3/212 22210
/proc/meminfo: memFree=28740904/32770624 swapFree=66998528/67108860
[pid=22188] ppid=22185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22188/stat : 22188 (scop.sh) S 22185 22188 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418383437 115843072 349 33554432000 4194304 5098028 140723602991536 140723602988792 139952783323772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140723602998053 140723602998380 140723602998380 140723603001293 0
/proc/22188/statm: 28282 349 296 221 0 87 0
[pid=22191] ppid=22188 vsize=27314120 memory=128088 CPUtime=0.43 cores=0-7
/proc/22191/stat : 22191 (java) S 22188 22188 21089 0 -1 1077944320 12480 0 0 0 38 5 0 0 20 0 20 0 418383437 27969658880 32022 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6828530 32022 2992 1 0 6790935 0
[pid=22191/tid=22192] ppid=22188 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) R 22188 22188 21089 0 -1 4202560 10004 0 0 0 26 3 0 0 20 0 20 0 418383438 27969658880 32022 33554432000 4194304 4196468 140736709332128 140609066274352 140609076047255 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140609098725648 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608912882064 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608911829520 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608910776976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608909724432 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608512097168 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608511044624 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22188 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27969658880 32022 33554432000 4194304 4196468 140736709332128 140608509992080 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383441 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607414527984 140609094494850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22188 vsize=27314120 memory=279796986879360 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22188 22188 21089 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 32022 33554432000 4194304 4196468 140736709332128 140606894498720 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22188 vsize=27314120 memory=279796986883968 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22188 22188 21089 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418383442 27969658880 32022 33554432000 4194304 4196468 140736709332128 140606760276976 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22188 vsize=27314120 memory=279796986888576 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383444 27969658880 32022 33554432000 4194304 4196468 140736709332128 140606385772752 140609094502299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22188 vsize=27314120 memory=279796986893184 CPUtime=0.01 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22188 22188 21089 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 418383444 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607413475824 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22188 vsize=27314120 memory=279796986897792 CPUtime=0.01 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) S 22188 22188 21089 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 418383445 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607412423280 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22188 vsize=27314120 memory=279796986902400 CPUtime=0.01 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) S 22188 22188 21089 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 418383445 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607411370736 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22188 vsize=27314120 memory=279796986907008 CPUtime=0.07 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) S 22188 22188 21089 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 418383445 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607410318192 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22188 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 32022 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22188 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383445 27969658880 32022 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129484 KiB

[startup+0.700875 s]
/proc/loadavg: 8.02 7.47 7.40 3/212 22210
/proc/meminfo: memFree=28719860/32770624 swapFree=66998528/67108860
[pid=22188] ppid=22185 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22188/stat : 22188 (scop.sh) S 22185 22188 21089 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 418383437 115843072 349 33554432000 4194304 5098028 140723602991536 140723602988792 139952783323772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17162240 140723602998053 140723602998380 140723602998380 140723603001293 0
/proc/22188/statm: 28282 349 296 221 0 87 0
[pid=22191] ppid=22188 vsize=27320392 memory=162972 CPUtime=0.99 cores=0-7
/proc/22191/stat : 22191 (java) S 22188 22188 21089 0 -1 1077944320 19869 0 0 0 92 7 0 0 20 0 20 0 418383437 27976081408 40743 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6830610 40743 3176 1 0 6791959 0
[pid=22191/tid=22192] ppid=22188 vsize=27322440 memory=4580 CPUtime=0.68 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) R 22188 22188 21089 0 -1 4202560 16984 0 0 0 62 6 0 0 20 0 20 0 418383438 27978178560 40743 33554432000 4194304 4196468 140736709332128 140609066321376 140609078527333 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22188 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) S 22188 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383440 27978178560 40743 33554432000 4194304 4196468 140736709332128 140609098725648 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22188 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) S 22188 22188 21089 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418383440 27978178560 40743 33554432000 4194304 4196468 140736709332128 140608912882064 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22188 vsize=27322440 memory=1204 CPUtime=0 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) S 22188 22188 21089 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418383440 27978178560 40743 33554432000 4194304 4196468 140736709332128 140608911829520 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.003778 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

Solver just ended.
Dumping a history of the last processes samples

[startup+2520.8 s]
/proc/loadavg: 8.49 8.09 7.75 9/211 22419
/proc/meminfo: memFree=4765272/32770624 swapFree=66998528/67108860
[pid=22191] ppid=22185 vsize=27328728 memory=24012624 CPUtime=17637 cores=0-7
/proc/22191/stat : 22191 (java) S 22185 22188 21089 0 -1 1077944320 2075975 0 0 0 1756102 7600 0 0 20 0 20 0 418383437 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6832182 6003156 3320 1 0 6792983 0
[pid=22191/tid=22192] ppid=22185 vsize=27328728 memory=24012624 CPUtime=315.24 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) S 22185 22188 21089 0 -1 1077944384 57646 0 0 0 31349 175 0 0 20 0 20 0 418383438 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609066321408 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22185 vsize=27328728 memory=1764 CPUtime=2157.5 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) R 22185 22188 21089 0 -1 4202560 133069 0 0 0 214855 895 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609098725536 140609079181464 0 4 2 25189581 0 0 0 -1 7 0 0 67 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22185 vsize=27328728 memory=4872558044660077418 CPUtime=2159.21 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) R 22185 22188 21089 0 -1 4202560 126677 0 0 0 215019 902 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608912882264 140609079468740 0 4 2 25189581 0 0 0 -1 3 0 0 71 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22185 vsize=27328728 memory=9592 CPUtime=2162.04 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) R 22185 22188 21089 0 -1 4202560 150425 0 0 0 215239 965 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608911829720 140609079434400 0 4 2 25189581 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22185 vsize=27328728 memory=2828 CPUtime=2163.42 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) R 22185 22188 21089 0 -1 4202560 130399 0 0 0 215435 907 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608910777176 140609079181478 0 4 2 25189581 0 0 0 -1 0 0 0 74 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22185 vsize=27328728 memory=780 CPUtime=2164.19 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) R 22185 22188 21089 0 -1 4202560 133220 0 0 0 215503 916 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608909724632 140609076079591 0 4 2 25189581 0 0 0 -1 6 0 0 73 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22185 vsize=27328728 memory=620 CPUtime=2157.52 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) R 22185 22188 21089 0 -1 4202560 124863 0 0 0 214780 972 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608512097368 140609078938448 0 4 2 25189581 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22185 vsize=27328728 memory=1712 CPUtime=2161.69 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) R 22185 22188 21089 0 -1 4202560 132046 0 0 0 215287 882 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608511044824 140609079181400 0 4 2 25189581 0 0 0 -1 5 0 0 72 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22185 vsize=27328728 memory=1052 CPUtime=2161.55 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) R 22185 22188 21089 0 -1 4202560 146911 0 0 0 215252 903 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608509992280 140609076080351 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22185 vsize=27328728 memory=5908 CPUtime=21.92 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22185 22188 21089 0 -1 1077944384 892694 0 0 0 2135 57 0 0 20 0 20 0 418383441 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607414526304 140609094493909 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22185 vsize=27328728 memory=14012 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22185 22188 21089 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606894498784 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22185 vsize=27328728 memory=41044 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22185 22188 21089 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606760276992 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22185 vsize=27328728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22185 22188 21089 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606385772400 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22185 vsize=27328728 memory=41044 CPUtime=3.58 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22185 22188 21089 0 -1 1077944384 16518 0 0 0 354 4 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607413475824 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22185 vsize=27328728 memory=988 CPUtime=3.48 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) S 22185 22188 21089 0 -1 1077944384 10352 0 0 0 346 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607412423280 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22185 vsize=27328728 memory=2024 CPUtime=3.46 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) S 22185 22188 21089 0 -1 1077944384 7739 0 0 0 344 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607411370736 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22185 vsize=27328728 memory=1428 CPUtime=1.12 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) S 22185 22188 21089 0 -1 1077944384 7627 0 0 0 110 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607410317952 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22185 vsize=27328728 memory=4160 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22185 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22185 vsize=27328728 memory=1056 CPUtime=0.92 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22185 22188 21089 0 -1 1077944384 4350 0 0 0 52 40 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current cumulated CPU time of completed processes: 0.003778 s
Current children cumulated CPU time: 17637 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24012624 KiB

[startup+2521.6 s]
/proc/loadavg: 8.49 8.09 7.75 9/211 22419
/proc/meminfo: memFree=4765164/32770624 swapFree=66998528/67108860
[pid=22191] ppid=22185 vsize=27328728 memory=24012624 CPUtime=17643.4 cores=0-7
/proc/22191/stat : 22191 (java) S 22185 22188 21089 0 -1 1077944320 2076190 0 0 0 1756740 7600 0 0 20 0 20 0 418383437 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6832182 6003156 3320 1 0 6792983 0
[pid=22191/tid=22192] ppid=22185 vsize=27328728 memory=0 CPUtime=315.24 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) S 22185 22188 21089 0 -1 1077944384 57646 0 0 0 31349 175 0 0 20 0 20 0 418383438 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609066321408 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22185 vsize=27328728 memory=33 CPUtime=2158.29 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) R 22185 22188 21089 0 -1 4202560 133235 0 0 0 214934 895 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609098725536 140609076080445 0 4 2 25189581 0 0 0 -1 7 0 0 67 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22185 vsize=27328728 memory=41044 CPUtime=2160.01 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) R 22185 22188 21089 0 -1 4202560 126677 0 0 0 215099 902 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608912882264 140609079434308 0 4 2 25189581 0 0 0 -1 3 0 0 71 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22185 vsize=27328728 memory=988 CPUtime=2162.84 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) R 22185 22188 21089 0 -1 4202560 150425 0 0 0 215319 965 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608911829720 140609078938460 0 4 2 25189581 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22185 vsize=27328728 memory=1396 CPUtime=2164.22 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) R 22185 22188 21089 0 -1 4202560 130399 0 0 0 215515 907 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608910777176 140609076036954 0 4 2 25189581 0 0 0 -1 0 0 0 74 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22185 vsize=27328728 memory=24012620 CPUtime=2164.99 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) R 22185 22188 21089 0 -1 4202560 133257 0 0 0 215583 916 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608909724632 140609078938460 0 4 2 25189581 0 0 0 -1 6 0 0 73 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22185 vsize=27328728 memory=7451609539861307712 CPUtime=2158.32 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) R 22185 22188 21089 0 -1 4202560 124863 0 0 0 214860 972 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608512097368 140609079181416 0 4 2 25189581 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22185 vsize=27328728 memory=4872558044660077418 CPUtime=2162.49 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) R 22185 22188 21089 0 -1 4202560 132046 0 0 0 215367 882 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608511044824 140609078938460 0 4 2 25189581 0 0 0 -1 5 0 0 72 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22185 vsize=27328728 memory=1396 CPUtime=2162.35 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) R 22185 22188 21089 0 -1 4202560 146911 0 0 0 215332 903 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608509992280 140609079468999 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22185 vsize=27328728 memory=24012620 CPUtime=21.92 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22185 22188 21089 0 -1 1077944384 892694 0 0 0 2135 57 0 0 20 0 20 0 418383441 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607414526304 140609094493909 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22185 vsize=27328728 memory=24012620 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22185 22188 21089 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606894498784 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22185 vsize=27328728 memory=3624 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22185 22188 21089 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606760276992 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22185 vsize=27328728 memory=41044 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22185 22188 21089 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606385772400 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22185 vsize=27328728 memory=988 CPUtime=3.58 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22185 22188 21089 0 -1 1077944384 16521 0 0 0 354 4 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607413475872 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22185 vsize=27328728 memory=2024 CPUtime=3.48 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) S 22185 22188 21089 0 -1 1077944384 10357 0 0 0 346 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607412423328 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22185 vsize=27328728 memory=6791534058613427641 CPUtime=3.46 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) S 22185 22188 21089 0 -1 1077944384 7743 0 0 0 344 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607411370784 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22185 vsize=27328728 memory=279796988284000 CPUtime=1.12 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) S 22185 22188 21089 0 -1 1077944384 7627 0 0 0 110 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607410317952 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22185 vsize=27328728 memory=279796988284064 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22185 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22185 vsize=27328728 memory=279796988284128 CPUtime=0.92 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22185 22188 21089 0 -1 1077944384 4350 0 0 0 52 40 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current cumulated CPU time of completed processes: 0.003778 s
Current children cumulated CPU time: 17643.4 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24012624 KiB

[startup+2522 s]*
/proc/loadavg: 8.49 8.09 7.75 9/211 22419
/proc/meminfo: memFree=4765164/32770624 swapFree=66998528/67108860
[pid=22191] ppid=22185 vsize=27328728 memory=24012624 CPUtime=17646.7 cores=0-7
/proc/22191/stat : 22191 (java) S 22185 22188 21089 0 -1 1077944320 2076302 0 0 0 1757066 7600 0 0 20 0 20 0 418383437 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140736709314672 140609094483703 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
/proc/22191/statm: 6832182 6003156 3320 1 0 6792983 0
[pid=22191/tid=22192] ppid=22185 vsize=27328728 memory=1428 CPUtime=315.24 cores=0-7
/proc/22191/task/22192/stat : 22192 (java) S 22185 22188 21089 0 -1 1077944384 57646 0 0 0 31349 175 0 0 20 0 20 0 418383438 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609066321408 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22193] ppid=22185 vsize=27328728 memory=8317482817917895235 CPUtime=2158.68 cores=0-7
/proc/22191/task/22193/stat : 22193 (java) R 22185 22188 21089 0 -1 4202560 133292 0 0 0 214973 895 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140609098725536 140609079434308 0 4 2 25189581 0 0 0 -1 7 0 0 67 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22194] ppid=22185 vsize=27328728 memory=916 CPUtime=2160.42 cores=0-7
/proc/22191/task/22194/stat : 22194 (java) R 22185 22188 21089 0 -1 4202560 126723 0 0 0 215140 902 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608912882264 140609079434308 0 4 2 25189581 0 0 0 -1 3 0 0 71 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22195] ppid=22185 vsize=27328728 memory=4744 CPUtime=2163.25 cores=0-7
/proc/22191/task/22195/stat : 22195 (java) R 22185 22188 21089 0 -1 4202560 150425 0 0 0 215360 965 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608911829720 140609079181455 0 4 2 25189581 0 0 0 -1 4 0 0 64 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22196] ppid=22185 vsize=27328728 memory=1412 CPUtime=2164.63 cores=0-7
/proc/22191/task/22196/stat : 22196 (java) R 22185 22188 21089 0 -1 4202560 130399 0 0 0 215556 907 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608910777176 140609078938460 0 4 2 25189581 0 0 0 -1 0 0 0 74 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22197] ppid=22185 vsize=27328728 memory=3492 CPUtime=2165.4 cores=0-7
/proc/22191/task/22197/stat : 22197 (java) R 22185 22188 21089 0 -1 4202560 133266 0 0 0 215624 916 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608909724632 140609078938460 0 4 2 25189581 0 0 0 -1 6 0 0 73 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22198] ppid=22185 vsize=27328728 memory=1396 CPUtime=2158.73 cores=0-7
/proc/22191/task/22198/stat : 22198 (java) R 22185 22188 21089 0 -1 4202560 124863 0 0 0 214901 972 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608512097368 140609079468999 0 4 2 25189581 0 0 0 -1 1 0 0 63 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22199] ppid=22185 vsize=27328728 memory=24012624 CPUtime=2162.9 cores=0-7
/proc/22191/task/22199/stat : 22199 (java) R 22185 22188 21089 0 -1 4202560 132046 0 0 0 215408 882 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608511044824 140609079181455 0 4 2 25189581 0 0 0 -1 5 0 0 72 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22200] ppid=22185 vsize=27328728 memory=4104 CPUtime=2162.76 cores=0-7
/proc/22191/task/22200/stat : 22200 (java) R 22185 22188 21089 0 -1 4202560 146911 0 0 0 215373 903 0 0 20 0 20 0 418383440 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140608509992280 140609079468999 0 4 2 25189581 0 0 0 -1 2 0 0 68 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22201] ppid=22185 vsize=27328728 memory=1656 CPUtime=21.92 cores=0-7
/proc/22191/task/22201/stat : 22201 (java) S 22185 22188 21089 0 -1 1077944384 892694 0 0 0 2135 57 0 0 20 0 20 0 418383441 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607414526304 140609094493909 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22202] ppid=22185 vsize=27328728 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/22191/task/22202/stat : 22202 (java) S 22185 22188 21089 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606894498784 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22203] ppid=22185 vsize=27328728 memory=2828 CPUtime=0 cores=0-7
/proc/22191/task/22203/stat : 22203 (java) S 22185 22188 21089 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 418383442 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606760276992 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22204] ppid=22185 vsize=27328728 memory=780 CPUtime=0 cores=0-7
/proc/22191/task/22204/stat : 22204 (java) S 22185 22188 21089 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140606385772400 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22205] ppid=22185 vsize=27328728 memory=620 CPUtime=3.58 cores=0-7
/proc/22191/task/22205/stat : 22205 (java) S 22185 22188 21089 0 -1 1077944384 16521 0 0 0 354 4 0 0 20 0 20 0 418383444 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607413475872 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22206] ppid=22185 vsize=27328728 memory=6791534058613427641 CPUtime=3.48 cores=0-7
/proc/22191/task/22206/stat : 22206 (java) S 22185 22188 21089 0 -1 1077944384 10357 0 0 0 346 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607412423328 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22207] ppid=22185 vsize=27328728 memory=3624 CPUtime=3.46 cores=0-7
/proc/22191/task/22207/stat : 22207 (java) S 22185 22188 21089 0 -1 1077944384 7743 0 0 0 344 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607411370784 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22208] ppid=22185 vsize=27328728 memory=41044 CPUtime=1.12 cores=0-7
/proc/22191/task/22208/stat : 22208 (java) S 22185 22188 21089 0 -1 1077944384 7627 0 0 0 110 2 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607410317952 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22209] ppid=22185 vsize=27328728 memory=1396 CPUtime=0 cores=0-7
/proc/22191/task/22209/stat : 22209 (java) S 22185 22188 21089 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140605887867104 140609094493909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
[pid=22191/tid=22210] ppid=22185 vsize=27328728 memory=1396 CPUtime=0.92 cores=0-7
/proc/22191/task/22210/stat : 22210 (java) S 22185 22188 21089 0 -1 1077944384 4350 0 0 0 52 40 0 0 20 0 20 0 418383445 27984617472 6003156 33554432000 4194304 4196468 140736709332128 140607409265072 140609094494850 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18153472 140736709337835 140736709338262 140736709338262 140736709341135 0
Current cumulated CPU time of completed processes: 0.003778 s
Current children cumulated CPU time: 17646.7 s
Current children cumulated vsize: 27328728 KiB
Current children cumulated memory: 24012624 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2522.12
CPU time (s): 17646.9
CPU user time (s): 17570.8
CPU system time (s): 76.1049
CPU usage (%): 699.685
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 24014020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17570.8
system time used= 76.1049
maximum resident set size= 24012788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2077417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 95848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200137
involuntary context switches= 295403


# summary of solver processes directly reported to runsolver:
#   pid: 22188,22191
#   total CPU time (s): 17646.9
#   total CPU user time (s): 17570.8
#   total CPU system time (s): 76.1049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8159 second user time and 27.9377 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 02:31:46
IDJOB=4392319
IDBENCH=122918
IDSOLVER=2838
FILE ID=node127/4392319-1568421146
RUNJOBID= node127-1568417392-21116
PBS_JOBID= 21702273
Free space on /tmp= 61308 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-064.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392319-1568421146/watcher-4392319-1568421146 -o /tmp/evaluation-result-4392319-1568421146/solver-4392319-1568421146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568417392-21116 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392319-1568421146.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 019f4b77ddc0f15b2fea5bd490d99eee
RANDOM SEED=1220244500

node127.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.55
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.55
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.55
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.55
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:        28858812 kB
MemAvailable:   31873476 kB
Buffers:          179588 kB
Cached:          3101828 kB
SwapCached:         6772 kB
Active:          1896564 kB
Inactive:        1397532 kB
Active(anon):       5532 kB
Inactive(anon):    48880 kB
Active(file):    1891032 kB
Inactive(file):  1348652 kB
Unevictable:      108728 kB
Mlocked:          108728 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             20756 kB
Writeback:             4 kB
AnonPages:        115784 kB
Mapped:            44208 kB
Shmem:             32700 kB
Slab:             211368 kB
SReclaimable:     181628 kB
SUnreclaim:        29740 kB
KernelStack:        3424 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61244 MiB
End job on node127 at 2019-09-14 03:13:48