Trace number 4298211

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 NameAnswerobjective functionCPU timeWall clock time
GG's minicp 2018-04-29? (TO) 2520.27 2500.67

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-13-opt_c18.xml
MD5SUM30d5b14867d08d256465dbe099767a69
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5731
Number of constraints5273
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4815},{"size":6,"count":60},{"size":22,"count":30},{"size":24,"count":18},{"size":36,"count":196},{"size":42,"count":130},{"size":44,"count":482}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":4815},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":15},{"degree":6,"count":38},{"degree":7,"count":82},{"degree":8,"count":83},{"degree":9,"count":97},{"degree":10,"count":88},{"degree":11,"count":79},{"degree":12,"count":53},{"degree":13,"count":62},{"degree":14,"count":58},{"degree":15,"count":101},{"degree":16,"count":77},{"degree":17,"count":38},{"degree":18,"count":19},{"degree":19,"count":14},{"degree":20,"count":2},{"degree":21,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":4815}]
Number of extensional constraints5273
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":5273}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2520.00/2500.64	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (5882 MiB free)
  memory of node 1: 16384 MiB (14194 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298211-1532750754/watcher-4298211-1532750754 -o /tmp/evaluation-result-4298211-1532750754/solver-4298211-1532750754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298211-1532750754.xml 

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

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


[startup+0.100215 s]*
/proc/loadavg: 1.73 1.82 1.83 4/218 12941
/proc/meminfo: memFree=20541880/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661056 memory=28400 CPUtime=0.12 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 4984 0 0 0 11 1 0 0 20 0 15 0 92638535 10916921344 7100 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665264 7100 2844 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661056 memory=-7254949987974015097 CPUtime=0.08 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 2866 0 0 0 8 0 0 0 20 0 15 0 92638535 10916921344 7100 33554432000 4194304 4196468 140730026311968 140122051860880 140122047643030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661056 memory=5793855267987044793 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638537 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121537963296 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121534806128 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) R 12923 12926 11635 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 92638540 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121532701040 140122047652442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638541 10916921344 7100 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28400 KiB

[startup+0.210591 s]*
/proc/loadavg: 1.73 1.82 1.83 4/218 12941
/proc/meminfo: memFree=20529972/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661056 memory=40088 CPUtime=0.34 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 7629 0 0 0 32 2 0 0 20 0 15 0 92638535 10916921344 10022 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665264 10022 2982 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 4631 0 0 0 19 1 0 0 20 0 15 0 92638535 10916921344 10022 33554432000 4194304 4196468 140730026311968 140122051870464 140122047653021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661056 memory=4211973743181942154 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638537 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121537963296 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) R 12923 12926 11635 0 -1 4202560 593 0 0 0 3 0 0 0 20 0 15 0 92638540 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121534806128 140122032531607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) R 12923 12926 11635 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 15 0 92638540 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0.08 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) R 12923 12926 11635 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 15 0 92638540 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121532697408 140122027819723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638541 10916921344 10022 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40088 KiB

[startup+0.311469 s]*
/proc/loadavg: 1.73 1.82 1.83 5/218 12941
/proc/meminfo: memFree=20490508/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661056 memory=83628 CPUtime=0.65 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 9276 0 0 0 62 3 0 0 20 0 15 0 92638535 10916921344 20907 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665264 20907 3042 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661056 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 4662 0 0 0 28 2 0 0 20 0 15 0 92638535 10916921344 20907 33554432000 4194304 4196468 140730026311968 140122051862512 140121649089789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661056 memory=4211973743181942154 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661056 memory=280033850636672 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661056 memory=280033746997760 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661056 memory=140016873485071 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638536 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661056 memory=280033850645888 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92638537 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661056 memory=140016873489679 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121537963296 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661056 memory=140016873503651 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92638538 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661056 memory=140016873506849 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661056 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) R 12923 12926 11635 0 -1 4202560 1131 0 0 0 11 0 0 0 20 0 15 0 92638540 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121534792008 140122032756501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661056 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) R 12923 12926 11635 0 -1 4202560 1313 0 0 0 10 0 0 0 20 0 15 0 92638540 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121533739208 140122032739123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661056 memory=140016977151616 CPUtime=0.12 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) R 12923 12926 11635 0 -1 4202560 800 0 0 0 12 0 0 0 20 0 15 0 92638540 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121532701040 140122047652442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661056 memory=140016977180016 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638541 10916921344 20907 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 83628 KiB

[startup+0.702441 s]
/proc/loadavg: 1.73 1.82 1.83 5/218 12941
/proc/meminfo: memFree=20448940/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661132 memory=213956 CPUtime=1.89 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 11249 0 0 0 180 9 0 0 20 0 15 0 92638535 10916999168 52977 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665283 53489 3099 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661132 memory=56 CPUtime=0.66 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) S 12923 12926 11635 0 -1 1077944384 5081 0 0 0 62 4 0 0 20 0 15 0 92638535 10916999168 53489 33554432000 4194304 4196468 140730026311968 140122051867808 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) R 12923 12926 11635 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 92638536 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121973704992 140122040734158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) R 12923 12926 11635 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 15 0 92638536 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121972652304 140122040730795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) R 12923 12926 11635 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 15 0 92638536 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121971600216 140122032658978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=8320808402719684661 CPUtime=0.01 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) R 12923 12926 11635 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 15 0 92638536 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121970547216 140122040733812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 92638537 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121539015840 140122047641301 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121537963296 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661132 memory=1200 CPUtime=0.41 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 2022 0 0 0 41 0 0 0 20 0 15 0 92638540 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121534791120 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661132 memory=12136 CPUtime=0.44 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 1545 0 0 0 44 0 0 0 20 0 15 0 92638540 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121533732880 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661132 memory=1008 CPUtime=0.27 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12923 12926 11635 0 -1 1077944384 1138 0 0 0 27 0 0 0 20 0 15 0 92638540 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121532701040 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92638541 10916999168 53489 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 213956 KiB

[startup+1.50073 s]
/proc/loadavg: 1.73 1.82 1.83 4/218 12941
/proc/meminfo: memFree=20299068/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661132 memory=442976 CPUtime=3.39 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 12602 0 0 0 312 27 0 0 20 0 15 0 92638535 10916999168 110744 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665283 110744 3135 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661132 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 5142 0 0 0 131 5 0 0 20 0 15 0 92638535 10916999168 110744 33554432000 4194304 4196468 140730026311968 140122051865984 140122047643030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 243 0 0 0 4 5 0 0 20 0 15 0 92638536 10916999168 110744 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 151 0 0 0 6 4 0 0 20 0 15 0 92638536 10916999168 110744 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 154 0 0 0 6 4 0 0 20 0 15 0 92638536 10916999168 110744 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 311 0 0 0 6 4 0 0 20 0 15 0 92638536 10916999168 110744 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 92638537 10916999168 110744 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0

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

/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 115252 0 0 0 237705 57 0 0 20 0 15 0 92638535 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140122051870464 140121653874310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=-7003737579269690708 CPUtime=4.39 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 19082 0 0 0 368 71 0 0 20 0 15 0 92638536 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=4104 CPUtime=4.41 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 21838 0 0 0 371 70 0 0 20 0 15 0 92638536 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=1408 CPUtime=4.38 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 20380 0 0 0 366 72 0 0 20 0 15 0 92638536 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=3228 CPUtime=4.36 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 19767 0 0 0 365 71 0 0 20 0 15 0 92638536 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=2453668 CPUtime=0.23 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 11443 0 0 0 15 8 0 0 20 0 15 0 92638537 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661132 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121537963360 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661132 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661132 memory=4552260 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661132 memory=280033747944992 CPUtime=2.49 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 12936 0 0 0 247 2 0 0 20 0 15 0 92638540 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121534806128 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661132 memory=7163046007325353842 CPUtime=1.9 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 9323 0 0 0 188 2 0 0 20 0 15 0 92638540 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661132 memory=7737837743793139301 CPUtime=0.64 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12923 12926 11635 0 -1 1077944384 3916 0 0 0 62 2 0 0 20 0 15 0 92638540 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121532701040 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661132 memory=7957140805664653422 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661132 memory=7584172172082901604 CPUtime=1.32 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1643 0 0 0 64 68 0 0 20 0 15 0 92638541 10916999168 1138065 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 2401.82 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4552260 KiB

[startup+2442.3 s]*
/proc/loadavg: 1.73 1.75 1.85 3/218 13015
/proc/meminfo: memFree=16678808/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2461.86 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 244431 0 0 0 245770 416 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665283 1138072 3186 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661132 memory=6791534058613427641 CPUtime=2437.6 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 117363 0 0 0 243703 57 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140122051870304 140121653720331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=-7003737579269690708 CPUtime=4.39 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 20528 0 0 0 368 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=2588 CPUtime=4.41 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 23003 0 0 0 371 70 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=2644 CPUtime=4.38 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 21595 0 0 0 366 72 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=4104 CPUtime=4.36 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 20986 0 0 0 365 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 11676 0 0 0 15 8 0 0 20 0 15 0 92638537 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661132 memory=-7666414585839465563 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121537963360 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661132 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661132 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661132 memory=7100839878645619564 CPUtime=2.49 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 12939 0 0 0 247 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121534806128 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661132 memory=-8634980985311628903 CPUtime=1.9 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 9327 0 0 0 188 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661132 memory=7897517683652307531 CPUtime=0.64 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12923 12926 11635 0 -1 1077944384 3924 0 0 0 62 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121532701040 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661132 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661132 memory=3047711553320166262 CPUtime=1.35 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1672 0 0 0 65 70 0 0 20 0 15 0 92638541 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 2461.86 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4552288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2500.41 s]
/proc/loadavg: 1.69 1.75 1.85 3/219 13170
/proc/meminfo: memFree=18295020/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2520 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 247377 0 0 0 251581 419 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665283 1138072 3186 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2495.71 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 120253 0 0 0 249512 59 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140122051870304 140121653913734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.39 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 20528 0 0 0 368 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.41 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 23003 0 0 0 371 70 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.38 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 21595 0 0 0 366 72 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.36 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 20986 0 0 0 365 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0.23 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 11685 0 0 0 15 8 0 0 20 0 15 0 92638537 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121537963360 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2.49 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 12942 0 0 0 247 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121534806128 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661132 memory=1424 CPUtime=1.9 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 9335 0 0 0 188 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661132 memory=796 CPUtime=0.64 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12923 12926 11635 0 -1 1077944384 3928 0 0 0 62 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121532701040 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661132 memory=4552288 CPUtime=1.38 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1704 0 0 0 66 72 0 0 20 0 15 0 92638541 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4552288 KiB

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

[startup+2500.67 s]
# the end of solver process 12926 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.05 s, system=4.22356 s

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

[startup+2500.41 s]
/proc/loadavg: 1.69 1.75 1.85 3/219 13170
/proc/meminfo: memFree=18295020/32770624 swapFree=67108860/67108860
[pid=12926] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2520 cores=1,3,5,7
/proc/12926/stat : 12926 (java) S 12923 12926 11635 0 -1 1077944320 247377 0 0 0 251581 419 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140730026294512 140122047631095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
/proc/12926/statm: 2665283 1138072 3186 1 0 2627263 0
[pid=12926/tid=12928] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2495.71 cores=1,3,5,7
/proc/12926/task/12928/stat : 12928 (java) R 12923 12926 11635 0 -1 4202560 120253 0 0 0 249512 59 0 0 20 0 15 0 92638535 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140122051870304 140121653913734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12929] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.39 cores=1,3,5,7
/proc/12926/task/12929/stat : 12929 (java) S 12923 12926 11635 0 -1 1077944384 20528 0 0 0 368 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121973705104 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12930] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.41 cores=1,3,5,7
/proc/12926/task/12930/stat : 12930 (java) S 12923 12926 11635 0 -1 1077944384 23003 0 0 0 371 70 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121972652304 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12931] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.38 cores=1,3,5,7
/proc/12926/task/12931/stat : 12931 (java) S 12923 12926 11635 0 -1 1077944384 21595 0 0 0 366 72 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121971600016 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12932] ppid=12923 vsize=10661132 memory=4552288 CPUtime=4.36 cores=1,3,5,7
/proc/12926/task/12932/stat : 12932 (java) S 12923 12926 11635 0 -1 1077944384 20986 0 0 0 365 71 0 0 20 0 15 0 92638536 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121970547216 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12933] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0.23 cores=1,3,5,7
/proc/12926/task/12933/stat : 12933 (java) S 12923 12926 11635 0 -1 1077944384 11685 0 0 0 15 8 0 0 20 0 15 0 92638537 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121539017328 140122047642242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12934] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12934/stat : 12934 (java) S 12923 12926 11635 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121537963360 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12935] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12935/stat : 12935 (java) S 12923 12926 11635 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 92638538 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121536910960 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12936] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12936/stat : 12936 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121535859280 140122047649691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12937] ppid=12923 vsize=10661132 memory=4552288 CPUtime=2.49 cores=1,3,5,7
/proc/12926/task/12937/stat : 12937 (java) S 12923 12926 11635 0 -1 1077944384 12942 0 0 0 247 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121534806128 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12938] ppid=12923 vsize=10661132 memory=1424 CPUtime=1.9 cores=1,3,5,7
/proc/12926/task/12938/stat : 12938 (java) S 12923 12926 11635 0 -1 1077944384 9335 0 0 0 188 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121533753328 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12939] ppid=12923 vsize=10661132 memory=796 CPUtime=0.64 cores=1,3,5,7
/proc/12926/task/12939/stat : 12939 (java) S 12923 12926 11635 0 -1 1077944384 3928 0 0 0 62 2 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121532701040 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12940] ppid=12923 vsize=10661132 memory=4552288 CPUtime=0 cores=1,3,5,7
/proc/12926/task/12940/stat : 12940 (java) S 12923 12926 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92638540 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121531648480 140122047641301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
[pid=12926/tid=12941] ppid=12923 vsize=10661132 memory=4552288 CPUtime=1.38 cores=1,3,5,7
/proc/12926/task/12941/stat : 12941 (java) S 12923 12926 11635 0 -1 1077944384 1704 0 0 0 66 72 0 0 20 0 15 0 92638541 10916999168 1138072 33554432000 4194304 4196468 140730026311968 140121530596272 140122047642242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37212160 140730026316917 140730026317065 140730026317065 140730026319823 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 4552288 KiB

Child status: 143
Real time (s): 2500.67
CPU time (s): 2520.27
CPU user time (s): 2516.05
CPU system time (s): 4.22356
CPU usage (%): 100.784
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 4883056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.22356
maximum resident set size= 4883072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57927
involuntary context switches= 2584


# summary of solver processes directly reported to runsolver:
#   pid: 12926
#   total CPU time (s): 2520.27
#   total CPU user time (s): 2516.05
#   total CPU system time (s): 4.22356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7272 second user time and 24.7108 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 06:05:54
IDJOB=4298211
IDBENCH=141085
IDSOLVER=2762
FILE ID=node132/4298211-1532750754
RUNJOBID= node132-1532740752-11667
PBS_JOBID= 21022446
Free space on /tmp= 52004 MiB

SOLVER NAME= GG's minicp 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-13-opt_c18.xml
COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298211-1532750754/watcher-4298211-1532750754 -o /tmp/evaluation-result-4298211-1532750754/solver-4298211-1532750754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580  java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298211-1532750754.xml

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

MD5SUM BENCH= 30d5b14867d08d256465dbe099767a69
RANDOM SEED=1454011084

node132.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.65
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.65
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.65
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.65
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:        20559440 kB
MemAvailable:   28811136 kB
Buffers:          195444 kB
Cached:          8262456 kB
SwapCached:            0 kB
Active:          5736608 kB
Inactive:        5892056 kB
Active(anon):    3121096 kB
Inactive(anon):    77852 kB
Active(file):    2615512 kB
Inactive(file):  5814204 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             29996 kB
Writeback:             0 kB
AnonPages:       3277856 kB
Mapped:            54448 kB
Shmem:             25248 kB
Slab:             278164 kB
SReclaimable:     250440 kB
SUnreclaim:        27724 kB
KernelStack:        3856 kB
PageTables:        11224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3891120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3176448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 51996 MiB
End job on node132 at 2018-07-28 06:47:34