Trace number 4392709

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 hybrid+ManyGlucose (2019-06-15)? (TO) 8071.77 2522.12

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si6-m4D/
Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM3130b580259b5cb9fe6f555a4358f6cc
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 benchmark0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables777
Number of constraints2559
Number of domains1
Minimum domain size1296
Maximum domain size1296
Distribution of domain sizes[{"size":1296,"count":777}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity1
Maximum constraint arity777
Distribution of constraint arities[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints2558
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12410-serial-file.bin HOME/instance-4392709-1568431443.xml
0.76/0.61	
0.76/0.61	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.76/0.61	
0.76/0.64	c BEGIN-Prog: Thu Dec 15 11:44:26 CET 2011
0.76/0.64	c PID: 12413
0.76/0.64	c IP: 172.20.3.120
0.76/0.64	c HOST: node120.alineos.net
0.76/0.65	c (0,0) Parsing Begin
3.67/1.60	c (0,0) Parsing End
3.67/1.61	c (1,0) CSP: 777 int (0 aux), 0 bool (0 aux), 2559 ctr, max domain size 1296
3.67/1.62	c (1,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.67/1.62	c (1,0) Constraint Name Generate Begin
3.67/1.64	c (1,1) Ctr:HOME/instance-4392709-1568431443.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
3.67/1.64	c (1,1) Constraint Name Generate End
3.67/1.64	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.67/1.64	c (1,1) CSP to CSPinCNF Begin
391.32/319.55	c (318,310) translated 256 (10%) constraints
742.57/628.79	c (628,613) translated 512 (20%) constraints
1094.60/938.07	c (937,916) translated 768 (30%) constraints
1450.60/1248.58	c (1247,1220) translated 1024 (40%) constraints
3307.58/1752.70	c (1752,1524) translated 1280 (50%) constraints
8056.13/2520.02	c (scop.sh) Receiving Signal. Removing all intermediate files.
8056.13/2520.02	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: 16375 MiB (13742 MiB free)
  memory of node 1: 16384 MiB (13849 MiB free)
  node distances:
     10  21
     21  10

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

running on 8 cores: 0-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=12410, runsolver pid=12407
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 7.60 6.30 5.73 2/213 12432
/proc/meminfo: memFree=28159168/32770688 swapFree=66919992/67108860
[pid=12410] ppid=12407 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12410/stat : 12410 (scop.sh) S 12407 12410 11952 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419150591 115843072 348 33554432000 4194304 5098028 140735557606192 140735557603448 140382366626428 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16465920 140735557608228 140735557608556 140735557608556 140735557611469 0
/proc/12410/statm: 28282 348 296 221 0 87 0
[pid=12413] ppid=12410 vsize=27314120 memory=106412 CPUtime=0.1 cores=0-7
/proc/12413/stat : 12413 (java) S 12410 12410 11952 0 -1 1077944320 6144 0 0 0 8 2 0 0 20 0 20 0 419150591 27969658880 26603 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6828530 26603 2779 1 0 6790935 0
[pid=12413/tid=12414] ppid=12410 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) R 12410 12410 11952 0 -1 4202560 4263 0 0 0 7 2 0 0 20 0 20 0 419150592 27969658880 26603 33554432000 4194304 4196468 140733095410752 140186134318064 140186146563422 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12410 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140186166725136 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12410 vsize=27314120 memory=139723976390272 CPUtime=0 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185989221008 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185583696144 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185582643600 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185581591568 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185580539024 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185579485968 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 26603 33554432000 4194304 4196468 140733095410752 140185578433424 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184549861616 140186162494082 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12410 12410 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 26603 33554432000 4194304 4196468 140733095410752 140183907329184 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150597 27969658880 26603 33554432000 4194304 4196468 140733095410752 140183638893296 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 26603 33554432000 4194304 4196468 140733095410752 140183264384976 140186162501531 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12410 12410 11952 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184548809456 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184547756912 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184546703856 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) S 12410 12410 11952 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184545651312 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 26603 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 26603 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107804 KiB

[startup+0.211602 s]*
/proc/loadavg: 7.60 6.30 5.73 2/213 12432
/proc/meminfo: memFree=28140480/32770688 swapFree=66919992/67108860
[pid=12410] ppid=12407 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12410/stat : 12410 (scop.sh) S 12407 12410 11952 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419150591 115843072 348 33554432000 4194304 5098028 140735557606192 140735557603448 140382366626428 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16465920 140735557608228 140735557608556 140735557608556 140735557611469 0
/proc/12410/statm: 28282 348 296 221 0 87 0
[pid=12413] ppid=12410 vsize=27314120 memory=125756 CPUtime=0.24 cores=0-7
/proc/12413/stat : 12413 (java) S 12410 12410 11952 0 -1 1077944320 11648 0 0 0 20 4 0 0 20 0 20 0 419150591 27969658880 31439 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6828530 31439 2936 1 0 6790935 0
[pid=12413/tid=12414] ppid=12410 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) R 12410 12410 11952 0 -1 4202560 9409 0 0 0 16 3 0 0 20 0 20 0 419150592 27969658880 31439 33554432000 4194304 4196468 140733095410752 140186134297344 140186162504861 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12410 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140186166725136 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12410 vsize=27314120 memory=139723976402365 CPUtime=0 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185989221008 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185583696144 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185582643600 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185581591568 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185580539024 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185579485968 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 31439 33554432000 4194304 4196468 140733095410752 140185578433424 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184549861616 140186162494082 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12410 12410 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 31439 33554432000 4194304 4196468 140733095410752 140183907329184 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150597 27969658880 31439 33554432000 4194304 4196468 140733095410752 140183638893296 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 31439 33554432000 4194304 4196468 140733095410752 140183264384976 140186162501531 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12410 12410 11952 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184548809456 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184547756912 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12410 12410 11952 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184546703856 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12410 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) R 12410 12410 11952 0 -1 4202560 457 0 0 0 2 0 0 0 20 0 20 0 419150600 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184545651312 140186162504282 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 31439 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 31439 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127148 KiB

[startup+0.310981 s]*
/proc/loadavg: 7.60 6.30 5.73 3/213 12432
/proc/meminfo: memFree=28135476/32770688 swapFree=66919992/67108860
[pid=12410] ppid=12407 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12410/stat : 12410 (scop.sh) S 12407 12410 11952 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419150591 115843072 348 33554432000 4194304 5098028 140735557606192 140735557603448 140382366626428 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16465920 140735557608228 140735557608556 140735557608556 140735557611469 0
/proc/12410/statm: 28282 348 296 221 0 87 0
[pid=12413] ppid=12410 vsize=27314120 memory=129652 CPUtime=0.42 cores=0-7
/proc/12413/stat : 12413 (java) S 12410 12410 11952 0 -1 1077944320 12232 0 0 0 38 4 0 0 20 0 20 0 419150591 27969658880 32413 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6828530 32413 3050 1 0 6790935 0
[pid=12413/tid=12414] ppid=12410 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) R 12410 12410 11952 0 -1 4202560 9744 0 0 0 26 4 0 0 20 0 20 0 419150592 27969658880 32413 33554432000 4194304 4196468 140733095410752 140186134309472 140186144046534 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32413 33554432000 4194304 4196468 140733095410752 140186166725136 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32413 33554432000 4194304 4196468 140733095410752 140185989221008 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32413 33554432000 4194304 4196468 140733095410752 140185583696144 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32427 33554432000 4194304 4196468 140733095410752 140185582643600 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32427 33554432000 4194304 4196468 140733095410752 140185581591568 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12410 vsize=27314120 memory=139723876166319 CPUtime=0 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32427 33554432000 4194304 4196468 140733095410752 140185580539024 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12410 vsize=27314120 memory=139723876168624 CPUtime=0 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32427 33554432000 4194304 4196468 140733095410752 140185579485968 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12410 vsize=27314120 memory=139723876170928 CPUtime=0 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27969658880 32427 33554432000 4194304 4196468 140733095410752 140185578433424 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184549861616 140186162494082 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12410 vsize=27314120 memory=279447752355728 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12410 12410 11952 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419150596 27969658880 32427 33554432000 4194304 4196468 140733095410752 140183907329184 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12410 vsize=27314120 memory=279447752353424 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150597 27969658880 32427 33554432000 4194304 4196468 140733095410752 140183638893296 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12410 vsize=27314120 memory=279447752360336 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 32427 33554432000 4194304 4196468 140733095410752 140183264384976 140186162501531 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12410 vsize=27314120 memory=279447752301616 CPUtime=0.01 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12410 12410 11952 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 419150599 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184548809456 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12410 vsize=27314120 memory=279447752374160 CPUtime=0 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12410 12410 11952 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 20 0 419150599 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184547756912 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12410 vsize=27314120 memory=279447752381072 CPUtime=0.01 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12410 12410 11952 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 419150600 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184546703856 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12410 vsize=27314120 memory=279447752378768 CPUtime=0.07 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) S 12410 12410 11952 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 419150600 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184545651312 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12410 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12410 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 32427 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12410 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150600 27969658880 32427 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131044 KiB

[startup+0.700951 s]
/proc/loadavg: 7.60 6.30 5.73 2/213 12432
/proc/meminfo: memFree=28124448/32770688 swapFree=66919992/67108860
[pid=12410] ppid=12407 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/12410/stat : 12410 (scop.sh) S 12407 12410 11952 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419150591 115843072 348 33554432000 4194304 5098028 140735557606192 140735557603448 140382366626428 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16465920 140735557608228 140735557608556 140735557608556 140735557611469 0
/proc/12410/statm: 28282 348 296 221 0 87 0
[pid=12413] ppid=12410 vsize=27320392 memory=159364 CPUtime=0.89 cores=0-7
/proc/12413/stat : 12413 (java) S 12410 12410 11952 0 -1 1077944320 18921 0 0 0 82 7 0 0 20 0 20 0 419150591 27976081408 39841 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6830098 39841 3106 1 0 6791447 0
[pid=12413/tid=12414] ppid=12410 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) R 12410 12410 11952 0 -1 4202560 16355 0 0 0 61 6 0 0 20 0 20 0 419150592 27976081408 39841 33554432000 4194304 4196468 140733095410752 140186134305552 140186142758816 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12410 vsize=27320392 memory=139723876377456 CPUtime=0 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) S 12410 12410 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419150594 27976081408 39841 33554432000 4194304 4196468 140733095410752 140186166725136 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12410 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27976081408 39841 33554432000 4194304 4196468 140733095410752 140185989221008 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12410 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) S 12410 12410 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419150594 27976081408 39841 33554432000 4194304 4196468 140733095410752 140185583696144 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0

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

# cumulated CPU time of all completed processes:  user=0.002247 s, system=0.001747 s

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

[startup+2522.12 s]
# the end of solver process 12413 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8012.31 s, system=59.4517 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: 5.82 5.92 4.71 9/210 12641
/proc/meminfo: memFree=4191620/32770688 swapFree=66919992/67108860
[pid=12413] ppid=12407 vsize=27326612 memory=24032768 CPUtime=8062.24 cores=0-7
/proc/12413/stat : 12413 (java) S 12407 12410 11952 0 -1 1077944320 1021668 0 0 0 800293 5931 0 0 20 0 20 0 419150591 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6831653 6008192 3306 1 0 6792983 0
[pid=12413/tid=12414] ppid=12407 vsize=27326612 memory=1056 CPUtime=1701.77 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) S 12407 12410 11952 0 -1 1077944384 169478 0 0 0 170006 171 0 0 20 0 20 0 419150592 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186134316016 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12407 vsize=27326612 memory=2828 CPUtime=794.11 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) R 12407 12410 11952 0 -1 4202560 69040 0 0 0 78741 670 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186166724944 140186155111143 0 4 2 25189581 0 0 0 -1 4 0 0 77 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12407 vsize=27326612 memory=1176 CPUtime=791.21 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) R 12407 12410 11952 0 -1 4202560 60561 0 0 0 78406 715 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185989220816 140186155111143 0 4 2 25189581 0 0 0 -1 3 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12407 vsize=27326612 memory=4872558044660077418 CPUtime=795.05 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) S 12407 12410 11952 0 -1 1077944384 84549 0 0 0 78793 712 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185583695952 140186162494082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12407 vsize=27326612 memory=928 CPUtime=789.98 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) R 12407 12410 11952 0 -1 4202560 67039 0 0 0 78273 725 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185582643488 140186155587628 0 4 2 25189581 0 0 0 -1 5 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12407 vsize=27326612 memory=1724 CPUtime=790.36 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) R 12407 12410 11952 0 -1 4202560 61047 0 0 0 78320 716 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185581591376 140186155111143 0 4 2 25189581 0 0 0 -1 2 0 0 75 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12407 vsize=27326612 memory=1964 CPUtime=793.58 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) R 12407 12410 11952 0 -1 4202560 79669 0 0 0 78634 724 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185580538832 140186145865970 0 4 2 25189581 0 0 0 -1 6 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12407 vsize=27326612 memory=2776 CPUtime=796.1 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) R 12407 12410 11952 0 -1 4202560 88117 0 0 0 78892 718 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185579485776 140186145865970 0 4 2 25189581 0 0 0 -1 1 0 0 73 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12407 vsize=27326612 memory=924 CPUtime=791.4 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) R 12407 12410 11952 0 -1 4202560 69966 0 0 0 78441 699 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185578433544 140186155111143 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12407 vsize=27326612 memory=4872558044660077418 CPUtime=4.2 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12407 12410 11952 0 -1 1077944384 205811 0 0 0 401 19 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184549860160 140186162493141 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12407 vsize=27326612 memory=7738119115775043947 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12407 12410 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183907329248 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12407 vsize=27326612 memory=7452159213702573673 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12407 12410 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419150597 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183638893312 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12407 vsize=27326612 memory=7956008347191754852 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183264384624 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12407 vsize=27326612 memory=7956008347191754852 CPUtime=4.88 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12407 12410 11952 0 -1 1077944384 14962 0 0 0 485 3 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184548809504 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12407 vsize=27326612 memory=7956008347191754852 CPUtime=3.29 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12407 12410 11952 0 -1 1077944384 12023 0 0 0 325 4 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184547756672 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12407 vsize=27326612 memory=7956008347191754852 CPUtime=3.73 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12407 12410 11952 0 -1 1077944384 11398 0 0 0 370 3 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184546703904 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12407 vsize=27326612 memory=7452159213702573673 CPUtime=1.37 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) S 12407 12410 11952 0 -1 1077944384 23971 0 0 0 132 5 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184545651360 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12407 vsize=27326612 memory=7308895155436939328 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12407 vsize=27326612 memory=47940 CPUtime=1.06 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12407 12410 11952 0 -1 1077944384 2670 0 0 0 52 54 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current cumulated CPU time of completed processes: 0.003994 s
Current children cumulated CPU time: 8062.24 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24032768 KiB

[startup+2521.6 s]
/proc/loadavg: 5.82 5.92 4.71 9/210 12641
/proc/meminfo: memFree=4192132/32770688 swapFree=66919992/67108860
[pid=12413] ppid=12407 vsize=27326612 memory=24032768 CPUtime=8068.43 cores=0-7
/proc/12413/stat : 12413 (java) S 12407 12410 11952 0 -1 1077944320 1021802 0 0 0 800910 5933 0 0 20 0 20 0 419150591 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6831653 6008192 3306 1 0 6792983 0
[pid=12413/tid=12414] ppid=12407 vsize=27326612 memory=14008 CPUtime=1701.77 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) S 12407 12410 11952 0 -1 1077944384 169478 0 0 0 170006 171 0 0 20 0 20 0 419150592 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186134316016 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12407 vsize=27326612 memory=12028 CPUtime=794.88 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) R 12407 12410 11952 0 -1 4202560 69040 0 0 0 78818 670 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186166724944 140186155111143 0 4 2 25189581 0 0 0 -1 4 0 0 77 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12407 vsize=27326612 memory=24032712 CPUtime=791.98 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) R 12407 12410 11952 0 -1 4202560 60561 0 0 0 78483 715 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185989220816 140186155111143 0 4 2 25189581 0 0 0 -1 3 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12407 vsize=27326612 memory=3624 CPUtime=795.82 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) R 12407 12410 11952 0 -1 4202560 84549 0 0 0 78869 713 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185583695952 140186155111143 0 4 2 25189581 0 0 0 -1 6 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12407 vsize=27326612 memory=47940 CPUtime=790.78 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) R 12407 12410 11952 0 -1 4202560 67173 0 0 0 78353 725 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185582643488 140186155586577 0 4 2 25189581 0 0 0 -1 5 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12407 vsize=27326612 memory=1392 CPUtime=791.14 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) S 12407 12410 11952 0 -1 1077944384 61047 0 0 0 78397 717 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185581591376 140186162494082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 75 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12407 vsize=27326612 memory=24032768 CPUtime=794.35 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) R 12407 12410 11952 0 -1 4202560 79669 0 0 0 78711 724 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185580539144 140186155111143 0 4 2 25189581 0 0 0 -1 7 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12407 vsize=27326612 memory=9588 CPUtime=796.87 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) R 12407 12410 11952 0 -1 4202560 88117 0 0 0 78969 718 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185579485776 140186155111143 0 4 2 25189581 0 0 0 -1 1 0 0 73 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12407 vsize=27326612 memory=1724 CPUtime=792.18 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) R 12407 12410 11952 0 -1 4202560 69966 0 0 0 78518 700 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185578433232 140186155111143 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12407 vsize=27326612 memory=1964 CPUtime=4.2 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12407 12410 11952 0 -1 1077944384 205811 0 0 0 401 19 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184549860160 140186162493141 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12407 vsize=27326612 memory=2776 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12407 12410 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183907329248 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12407 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12407 12410 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419150597 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183638893312 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12407 vsize=27326612 memory=4420 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183264384624 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12407 vsize=27326612 memory=6628 CPUtime=4.88 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12407 12410 11952 0 -1 1077944384 14962 0 0 0 485 3 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184548809504 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12407 vsize=27326612 memory=4872558044660077418 CPUtime=3.29 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12407 12410 11952 0 -1 1077944384 12023 0 0 0 325 4 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184547756672 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12407 vsize=27326612 memory=2828 CPUtime=3.73 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12407 12410 11952 0 -1 1077944384 11398 0 0 0 370 3 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184546703904 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12407 vsize=27326612 memory=1176 CPUtime=1.37 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) S 12407 12410 11952 0 -1 1077944384 23971 0 0 0 132 5 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184545651360 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12407 vsize=27326612 memory=980 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12407 vsize=27326612 memory=14008 CPUtime=1.06 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12407 12410 11952 0 -1 1077944384 2670 0 0 0 52 54 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current cumulated CPU time of completed processes: 0.003994 s
Current children cumulated CPU time: 8068.43 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24032768 KiB

[startup+2522 s]*
/proc/loadavg: 5.82 5.92 4.71 9/210 12641
/proc/meminfo: memFree=4192132/32770688 swapFree=66919992/67108860
[pid=12413] ppid=12407 vsize=27326612 memory=24032768 CPUtime=8071.6 cores=0-7
/proc/12413/stat : 12413 (java) S 12407 12410 11952 0 -1 1077944320 1021879 0 0 0 801226 5934 0 0 20 0 20 0 419150591 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140733095393296 140186162482935 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
/proc/12413/statm: 6831653 6008192 3306 1 0 6792983 0
[pid=12413/tid=12414] ppid=12407 vsize=27326612 memory=1398722017469774279 CPUtime=1701.77 cores=0-7
/proc/12413/task/12414/stat : 12414 (java) S 12407 12410 11952 0 -1 1077944384 169478 0 0 0 170006 171 0 0 20 0 20 0 419150592 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186134316016 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12415] ppid=12407 vsize=27326612 memory=4126316290023845779 CPUtime=795.28 cores=0-7
/proc/12413/task/12415/stat : 12415 (java) R 12407 12410 11952 0 -1 4202560 69040 0 0 0 78858 670 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140186166725256 140186155111143 0 4 2 25189581 0 0 0 -1 4 0 0 77 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12416] ppid=12407 vsize=27326612 memory=4164 CPUtime=792.38 cores=0-7
/proc/12413/task/12416/stat : 12416 (java) R 12407 12410 11952 0 -1 4202560 60561 0 0 0 78523 715 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185989220816 140186155111143 0 4 2 25189581 0 0 0 -1 3 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12417] ppid=12407 vsize=27326612 memory=1056 CPUtime=796.21 cores=0-7
/proc/12413/task/12417/stat : 12417 (java) R 12407 12410 11952 0 -1 4202560 84549 0 0 0 78908 713 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185583695952 140186155111143 0 4 2 25189581 0 0 0 -1 6 0 0 76 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12418] ppid=12407 vsize=27326612 memory=2828 CPUtime=791.19 cores=0-7
/proc/12413/task/12418/stat : 12418 (java) R 12407 12410 11952 0 -1 4202560 67250 0 0 0 78394 725 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185582643488 140186147182847 0 4 2 25189581 0 0 0 -1 5 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12419] ppid=12407 vsize=27326612 memory=1176 CPUtime=791.53 cores=0-7
/proc/12413/task/12419/stat : 12419 (java) R 12407 12410 11952 0 -1 4202560 61047 0 0 0 78436 717 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185581591376 140186155111143 0 4 2 25189581 0 0 0 -1 2 0 0 75 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12420] ppid=12407 vsize=27326612 memory=980 CPUtime=794.73 cores=0-7
/proc/12413/task/12420/stat : 12420 (java) R 12407 12410 11952 0 -1 4202560 79669 0 0 0 78749 724 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185580539144 140186155111143 0 4 2 25189581 0 0 0 -1 7 0 0 79 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12421] ppid=12407 vsize=27326612 memory=4872558044660077418 CPUtime=797.26 cores=0-7
/proc/12413/task/12421/stat : 12421 (java) R 12407 12410 11952 0 -1 4202560 88117 0 0 0 79008 718 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185579485776 140186155111143 0 4 2 25189581 0 0 0 -1 1 0 0 73 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12422] ppid=12407 vsize=27326612 memory=24032768 CPUtime=792.57 cores=0-7
/proc/12413/task/12422/stat : 12422 (java) R 12407 12410 11952 0 -1 4202560 69966 0 0 0 78557 700 0 0 20 0 20 0 419150594 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140185578433232 140186155111143 0 4 2 25189581 0 0 0 -1 0 0 0 82 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12423] ppid=12407 vsize=27326612 memory=12028 CPUtime=4.2 cores=0-7
/proc/12413/task/12423/stat : 12423 (java) S 12407 12410 11952 0 -1 1077944384 205811 0 0 0 401 19 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184549860160 140186162493141 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12424] ppid=12407 vsize=27326612 memory=25824 CPUtime=0 cores=0-7
/proc/12413/task/12424/stat : 12424 (java) S 12407 12410 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419150596 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183907329248 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12425] ppid=12407 vsize=27326612 memory=2120 CPUtime=0 cores=0-7
/proc/12413/task/12425/stat : 12425 (java) S 12407 12410 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419150597 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183638893312 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12426] ppid=12407 vsize=27326612 memory=496 CPUtime=0 cores=0-7
/proc/12413/task/12426/stat : 12426 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140183264384624 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12427] ppid=12407 vsize=27326612 memory=1560 CPUtime=4.88 cores=0-7
/proc/12413/task/12427/stat : 12427 (java) S 12407 12410 11952 0 -1 1077944384 14962 0 0 0 485 3 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184548809504 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12428] ppid=12407 vsize=27326612 memory=928 CPUtime=3.29 cores=0-7
/proc/12413/task/12428/stat : 12428 (java) S 12407 12410 11952 0 -1 1077944384 12023 0 0 0 325 4 0 0 20 0 20 0 419150599 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184547756672 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12429] ppid=12407 vsize=27326612 memory=1724 CPUtime=3.73 cores=0-7
/proc/12413/task/12429/stat : 12429 (java) S 12407 12410 11952 0 -1 1077944384 11398 0 0 0 370 3 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184546703904 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12430] ppid=12407 vsize=27326612 memory=3624 CPUtime=1.37 cores=0-7
/proc/12413/task/12430/stat : 12430 (java) S 12407 12410 11952 0 -1 1077944384 23971 0 0 0 132 5 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184545651360 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12431] ppid=12407 vsize=27326612 memory=47940 CPUtime=0 cores=0-7
/proc/12413/task/12431/stat : 12431 (java) S 12407 12410 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140182766479840 140186162493141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
[pid=12413/tid=12432] ppid=12407 vsize=27326612 memory=984 CPUtime=1.06 cores=0-7
/proc/12413/task/12432/stat : 12432 (java) S 12407 12410 11952 0 -1 1077944384 2670 0 0 0 52 54 0 0 20 0 20 0 419150600 27982450688 6008192 33554432000 4194304 4196468 140733095410752 140184544598704 140186162494082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22777856 140733095412458 140733095412886 140733095412886 140733095415759 0
Current cumulated CPU time of completed processes: 0.003994 s
Current children cumulated CPU time: 8071.6 s
Current children cumulated vsize: 27326612 KiB
Current children cumulated memory: 24032768 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2522.12
CPU time (s): 8071.77
CPU user time (s): 8012.31
CPU system time (s): 59.4517
CPU usage (%): 320.039
Max. virtual memory (cumulated for all children) (KiB): 27439740
Max. memory (cumulated for all children) (KiB): 24034160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8012.31
system time used= 59.4517
maximum resident set size= 24032940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1022983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219550
involuntary context switches= 240430


# summary of solver processes directly reported to runsolver:
#   pid: 12410,12413
#   total CPU time (s): 8071.77
#   total CPU user time (s): 8012.31
#   total CPU system time (s): 59.4517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4722 second user time and 26.7066 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 11:44:25
IDJOB=4392709
IDBENCH=130846
IDSOLVER=2839
FILE ID=node120/4392709-1568431443
RUNJOBID= node120-1323945801-11979
PBS_JOBID= 21702313
Free space on /tmp= 61648 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr2-m1296-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid 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-4392709-1568431443/watcher-4392709-1568431443 -o /tmp/evaluation-result-4392709-1568431443/solver-4392709-1568431443 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392709-1568431443.xml

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

MD5SUM BENCH= 3130b580259b5cb9fe6f555a4358f6cc
RANDOM SEED=2129071929

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28254124 kB
MemAvailable:   31825772 kB
Buffers:          197356 kB
Cached:          3679240 kB
SwapCached:        77548 kB
Active:          1105084 kB
Inactive:        2854108 kB
Active(anon):       4636 kB
Inactive(anon):   127612 kB
Active(file):    1100448 kB
Inactive(file):  2726496 kB
Unevictable:      107500 kB
Mlocked:          107500 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             20732 kB
Writeback:             4 kB
AnonPages:        113796 kB
Mapped:            48568 kB
Shmem:             41008 kB
Slab:             149884 kB
SReclaimable:     121076 kB
SUnreclaim:        28808 kB
KernelStack:        3408 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61628 MiB
End job on node120 at 2011-12-15 12:26:27