Trace number 4395824

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
Concrete 3.12.2UNSAT 9.32502 4.16683

General information on the benchmark

NameSchurrLemma/SchurrLemma-mod-s1/
SchurrLemma-mod-100-9.xml
MD5SUM4f03c112a8f6a228f13fa4574ba8a054
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.76786
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints2450
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":100}]
Minimum variable degree49
Maximum variable degree98
Distribution of variable degrees[{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2450}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":2450}]
Optimization problemNO
Type of objective

Solver Data 

0.76/0.56	c Concrete v3.12.2.1568380929293 running
9.11/3.95	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395824-1568399546/watcher-4395824-1568399546 -o /tmp/evaluation-result-4395824-1568399546/solver-4395824-1568399546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=63954516 HOME/instance-4395824-1568399546.xml 

running on 4 cores: 0,2,4,6

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

solver pid=10862, runsolver pid=10859

[startup+0.109625 s]*
/proc/loadavg: 1.23 1.37 1.40 3/220 10920
/proc/meminfo: memFree=30014524/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10355560 memory=20644 CPUtime=0.11 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 4924 13173 0 0 2 1 5 3 20 0 9 0 416226066 10604093440 5161 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2588890 5161 2102 1 0 2551431 0
[pid=10862/tid=10915] ppid=10859 vsize=10355560 memory=5853958925675299741 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 2683 13173 0 0 1 0 5 3 20 0 9 0 416226075 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911954804592 139911976065403 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10355560 memory=5793855919433034169 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 9 0 416226075 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10355560 memory=140668423140992 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 9 0 416226075 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 9 0 416226075 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 9 0 416226075 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 9 0 416226077 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 33 13173 0 0 0 0 5 3 20 0 9 0 416226077 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911441130784 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 9 0 416226077 10604093440 5161 33554432000 4194304 4196468 140735476217808 139911311124144 139911982978773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20644 KiB

[startup+0.210204 s]*
/proc/loadavg: 1.23 1.37 1.40 4/228 10928
/proc/meminfo: memFree=29995828/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10819664 memory=39488 CPUtime=0.26 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 7226 13173 0 0 16 2 5 3 20 0 15 0 416226066 11079335936 9872 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2704916 9872 3172 1 0 2667149 0
[pid=10862/tid=10915] ppid=10859 vsize=10819664 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 3628 13173 0 0 11 1 5 3 20 0 15 0 416226075 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911954798160 139911837052531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10819664 memory=4211974394627931530 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10819664 memory=140668423140992 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10819664 memory=140668423140992 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 33 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911441130784 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911311124080 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11079335936 9872 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 494 13173 0 0 1 0 5 3 20 0 15 0 416226080 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911407573104 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) R 10859 10862 9235 0 -1 4202560 174 13173 0 0 1 0 5 3 20 0 15 0 416226080 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911406520304 139911982980502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10819664 memory=140668423140992 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) R 10859 10862 9235 0 -1 4202560 676 13173 0 0 2 0 5 3 20 0 15 0 416226080 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911405468016 139911982989914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11079335936 9872 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10819664 memory=140668423140992 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226081 11079335936 9872 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39488 KiB

[startup+0.31088 s]*
/proc/loadavg: 1.23 1.37 1.40 3/228 10928
/proc/meminfo: memFree=29982152/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10820148 memory=50620 CPUtime=0.41 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 10972 13173 0 0 29 4 5 3 20 0 15 0 416226066 11079831552 12655 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2705037 12655 3304 1 0 2667149 0
[pid=10862/tid=10915] ppid=10859 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 7307 13173 0 0 19 2 5 3 20 0 15 0 416226075 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911954774672 139911961232195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10820148 memory=-7003737579269690708 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10820148 memory=140668423151585 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 33 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911441130784 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226077 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911311124080 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11079831552 12655 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 498 13173 0 0 2 0 5 3 20 0 15 0 416226080 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911407573104 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10820148 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) S 10859 10862 9235 0 -1 1077944384 192 13173 0 0 2 0 5 3 20 0 15 0 416226080 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911406520304 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10820148 memory=140668423140992 CPUtime=0.13 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) S 10859 10862 9235 0 -1 1077944384 720 13173 0 0 5 0 5 3 20 0 15 0 416226080 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11079831552 12655 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10820148 memory=140668423140992 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226081 11079831552 12655 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50620 KiB

[startup+0.70091 s]
/proc/loadavg: 1.23 1.37 1.40 3/228 10928
/proc/meminfo: memFree=29967552/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10824360 memory=84784 CPUtime=1.12 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 15404 13173 0 0 99 5 5 3 20 0 15 0 416226066 11084144640 21196 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2706090 21196 3511 1 0 2668173 0
[pid=10862/tid=10915] ppid=10859 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 10377 13173 0 0 55 4 5 3 20 0 15 0 416226075 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911954776992 139911982990493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10824360 memory=14269634157222952 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226075 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226075 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10824360 memory=7809523229951467570 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 5 13173 0 0 0 0 5 3 20 0 15 0 416226077 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 33 13173 0 0 0 0 5 3 20 0 15 0 416226077 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911441130784 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10824360 memory=-6582381796150262617 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226077 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911311124080 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10824360 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11084144640 21196 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10824360 memory=6944656592455360604 CPUtime=0.23 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 1004 13173 0 0 15 0 5 3 20 0 15 0 416226080 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911407573104 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10824360 memory=6944652177228980320 CPUtime=0.19 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) R 10859 10862 9235 0 -1 4202560 664 13173 0 0 11 0 5 3 20 0 15 0 416226080 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911406520304 139911982980502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) R 10859 10862 9235 0 -1 1077944384 1101 13173 0 0 16 0 5 3 20 0 15 0 416226080 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11084144640 21196 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226081 11084144640 21196 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84784 KiB

[startup+1.50088 s]
/proc/loadavg: 1.23 1.37 1.40 5/228 10928
/proc/meminfo: memFree=29922184/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10834676 memory=189188 CPUtime=2.82 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 23814 13173 0 0 264 10 5 3 20 0 15 0 416226066 11094708224 47297 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2708669 47297 3586 1 0 2670733 0
[pid=10862/tid=10915] ppid=10859 vsize=10834676 memory=8 CPUtime=1.43 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 15412 13173 0 0 129 6 5 3 20 0 15 0 416226075 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911954758608 139911966161301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10834676 memory=281336598840288 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 306 13173 0 0 1 0 5 3 20 0 15 0 416226075 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 47 13173 0 0 1 0 5 3 20 0 15 0 416226075 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 37 13173 0 0 1 0 5 3 20 0 15 0 416226075 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10834676 memory=4580 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 81 13173 0 0 1 0 5 3 20 0 15 0 416226075 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 685 13173 0 0 1 0 5 3 20 0 15 0 416226077 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10834676 memory=140668299385411 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 34 13173 0 0 0 0 5 3 20 0 15 0 416226077 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911441130848 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10834676 memory=281336598758160 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 1 13173 0 0 0 0 5 3 20 0 15 0 416226077 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911311124096 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11094708224 47297 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10834676 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 1666 13173 0 0 43 0 5 3 20 0 15 0 416226080 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911407573104 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10834676 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) S 10859 10862 9235 0 -1 1077944384 1415 13173 0 0 41 0 5 3 20 0 15 0 416226080 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911406520304 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10834676 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) S 10859 10862 9235 0 -1 1077944384 1918 13173 0 0 41 0 5 3 20 0 15 0 416226080 11094708224 47297 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0

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

[pid=10862/tid=10927] ppid=10859 vsize=10840840 memory=2032 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11101020160 69741 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10840840 memory=1332 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 6 13173 0 0 0 0 5 3 20 0 15 0 416226081 11101020160 69741 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 6.68 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 278964 KiB

[startup+4.16677 s]
# the end of solver process 10862 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.11142 s, system=0.213605 s

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

[startup+3.20198 s]
/proc/loadavg: 1.30 1.38 1.40 3/228 10928
/proc/meminfo: memFree=29757452/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10840840 memory=280476 CPUtime=7.01 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 39395 13173 0 0 679 14 5 3 20 0 15 0 416226066 11101020160 70119 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2710210 70119 3608 1 0 2672269 0
[pid=10862/tid=10915] ppid=10859 vsize=10840840 memory=976 CPUtime=3.11 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 21812 13173 0 0 295 8 5 3 20 0 15 0 416226075 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911954799744 139911960963008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10840840 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 315 13173 0 0 2 0 5 3 20 0 15 0 416226075 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10840840 memory=3932 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 139 13173 0 0 2 0 5 3 20 0 15 0 416226075 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10840840 memory=2832 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 57 13173 0 0 2 0 5 3 20 0 15 0 416226075 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10840840 memory=1548 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 90 13173 0 0 2 0 5 3 20 0 15 0 416226075 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10840840 memory=1056 CPUtime=0.1 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 1066 13173 0 0 2 0 5 3 20 0 15 0 416226077 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10840840 memory=744 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 38 13173 0 0 0 0 5 3 20 0 15 0 416226077 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911441130848 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10840840 memory=8296 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 5 13173 0 0 0 0 5 3 20 0 15 0 416226077 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911311124096 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10840840 memory=281336598540960 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11101020160 70119 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10840840 memory=3309078 CPUtime=1.36 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) R 10859 10862 9235 0 -1 4202560 3931 13173 0 0 128 0 5 3 20 0 15 0 416226080 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911407559536 139911982980502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10840840 memory=304556140441713697 CPUtime=1.44 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) R 10859 10862 9235 0 -1 4202560 4467 13173 0 0 136 0 5 3 20 0 15 0 416226080 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911406508896 139911962622768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10840840 memory=-7737605721172012177 CPUtime=1.16 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) R 10859 10862 9235 0 -1 1077944384 5258 13173 0 0 107 1 5 3 20 0 15 0 416226080 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911405461680 139911982978773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10840840 memory=5952 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11101020160 70119 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10840840 memory=1124 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 6 13173 0 0 0 0 5 3 20 0 15 0 416226081 11101020160 70119 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 7.01 s
Current children cumulated vsize: 10840840 KiB
Current children cumulated memory: 280476 KiB

[startup+3.60069 s]
/proc/loadavg: 1.30 1.38 1.40 3/228 10928
/proc/meminfo: memFree=29757452/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10844948 memory=291424 CPUtime=8.24 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 43280 13173 0 0 801 15 5 3 20 0 15 0 416226066 11105226752 72856 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2711237 72856 3619 1 0 2673293 0
[pid=10862/tid=10915] ppid=10859 vsize=10844948 memory=7738985642556024663 CPUtime=3.45 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) R 10859 10862 9235 0 -1 4202560 23061 13173 0 0 328 9 5 3 20 0 15 0 416226075 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911954783584 139911965191521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10844948 memory=7446538596429881958 CPUtime=0.13 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 352 13173 0 0 5 0 5 3 20 0 15 0 416226075 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10844948 memory=281336598564720 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 161 13173 0 0 4 0 5 3 20 0 15 0 416226075 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10844948 memory=2366057219841 CPUtime=0.11 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 57 13173 0 0 3 0 5 3 20 0 15 0 416226075 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10844948 memory=31557415 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 103 13173 0 0 4 0 5 3 20 0 15 0 416226075 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10920] ppid=10859 vsize=10844948 memory=-8628792773122743408 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10920/stat : 10920 (java) S 10859 10862 9235 0 -1 1077944384 2580 13173 0 0 4 0 5 3 20 0 15 0 416226077 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911442184816 139911982979714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10844948 memory=7882800633993515367 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 38 13173 0 0 0 0 5 3 20 0 15 0 416226077 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911441130848 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10844948 memory=7453282923444793189 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 5 13173 0 0 0 0 5 3 20 0 15 0 416226077 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911311124096 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10844948 memory=7800344859672537426 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 2 13173 0 0 0 0 5 3 20 0 15 0 416226080 11105226752 72856 33554432000 4194304 4196468 140735476217808 139910707145296 139911982987163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10844948 memory=218404 CPUtime=1.71 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 4219 13173 0 0 163 0 5 3 20 0 15 0 416226080 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911407573104 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10844948 memory=2372 CPUtime=1.77 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) S 10859 10862 9235 0 -1 1077944384 5036 13173 0 0 169 0 5 3 20 0 15 0 416226080 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911406520304 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10844948 memory=8377424916951425120 CPUtime=1.26 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) S 10859 10862 9235 0 -1 1077944384 5453 13173 0 0 117 1 5 3 20 0 15 0 416226080 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10844948 memory=-6876588628788339086 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 15 0 416226080 11105226752 72856 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10928] ppid=10859 vsize=10844948 memory=6648615548753253269 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10928/stat : 10928 (java) S 10859 10862 9235 0 -1 1077944384 6 13173 0 0 0 0 5 3 20 0 15 0 416226081 11105226752 72856 33554432000 4194304 4196468 140735476217808 139911404415920 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 10844948 KiB
Current children cumulated memory: 291424 KiB

[startup+4.00073 s]*
/proc/loadavg: 1.30 1.38 1.40 2/226 10929
/proc/meminfo: memFree=29718116/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10945304 memory=298656 CPUtime=9.29 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 45159 13173 0 0 905 16 5 3 20 0 13 0 416226066 11207991296 74664 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2736326 74664 3622 1 0 2698382 0
[pid=10862/tid=10915] ppid=10859 vsize=10945304 memory=743949569555956017 CPUtime=3.8 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) D 10859 10862 9235 0 -1 4202560 24079 13173 0 0 362 10 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911954812216 139911975654199 0 0 0 16800975 18446744072100334725 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10945304 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 352 13173 0 0 5 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10945304 memory=3905947025868879520 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 161 13173 0 0 4 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10945304 memory=-7595718316222733696 CPUtime=0.11 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 57 13173 0 0 3 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10945304 memory=-7523660553960122769 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 103 13173 0 0 4 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10945304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 38 13173 0 0 0 0 5 3 20 0 13 0 416226077 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911441130848 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10945304 memory=3472328296225127020 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 5 13173 0 0 0 0 5 3 20 0 13 0 416226077 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911311124096 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10945304 memory=-9178176117148050014 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139910707142064 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10945304 memory=-7966001967256141664 CPUtime=1.98 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 4287 13173 0 0 189 1 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911407558176 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10945304 memory=0 CPUtime=2.05 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) S 10859 10862 9235 0 -1 1077944384 5437 13173 0 0 197 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911406504496 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10945304 memory=3690472515590697781 CPUtime=1.41 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) S 10859 10862 9235 0 -1 1077944384 5833 13173 0 0 132 1 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10945304 memory=4051464095702821297 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 10945304 KiB
Current children cumulated memory: 298656 KiB

[startup+4.11007 s]
/proc/loadavg: 1.30 1.38 1.40 2/226 10929
/proc/meminfo: memFree=29718116/32770624 swapFree=66934736/67108860
[pid=10862] ppid=10859 vsize=10945304 memory=298656 CPUtime=9.29 cores=0,2,4,6
/proc/10862/stat : 10862 (java) S 10859 10862 9235 0 -1 1077944320 45159 13173 0 0 905 16 5 3 20 0 13 0 416226066 11207991296 74664 33554432000 4194304 4196468 140735476217808 140735476200352 139911982968567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
/proc/10862/statm: 2736326 74664 3622 1 0 2698382 0
[pid=10862/tid=10915] ppid=10859 vsize=10945304 memory=3467828025317930808 CPUtime=3.8 cores=0,2,4,6
/proc/10862/task/10915/stat : 10915 (java) D 10859 10862 9235 0 -1 4202560 24079 13173 0 0 362 10 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911954812216 139911975654199 0 0 0 16800975 18446744072100334725 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10916] ppid=10859 vsize=10945304 memory=7518026630507423337 CPUtime=0.13 cores=0,2,4,6
/proc/10862/task/10916/stat : 10916 (java) S 10859 10862 9235 0 -1 1077944384 352 13173 0 0 5 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911987210640 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10917] ppid=10859 vsize=10945304 memory=213056 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10917/stat : 10917 (java) S 10859 10862 9235 0 -1 1077944384 161 13173 0 0 4 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911916968208 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10918] ppid=10859 vsize=10945304 memory=2958597 CPUtime=0.11 cores=0,2,4,6
/proc/10862/task/10918/stat : 10918 (java) S 10859 10862 9235 0 -1 1077944384 57 13173 0 0 3 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911554853520 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10919] ppid=10859 vsize=10945304 memory=2965986 CPUtime=0.12 cores=0,2,4,6
/proc/10862/task/10919/stat : 10919 (java) S 10859 10862 9235 0 -1 1077944384 103 13173 0 0 4 0 5 3 20 0 13 0 416226075 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911553800720 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10921] ppid=10859 vsize=10945304 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10921/stat : 10921 (java) S 10859 10862 9235 0 -1 1077944384 38 13173 0 0 0 0 5 3 20 0 13 0 416226077 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911441130848 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10922] ppid=10859 vsize=10945304 memory=3906063656188981810 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10922/stat : 10922 (java) S 10859 10862 9235 0 -1 1077944384 5 13173 0 0 0 0 5 3 20 0 13 0 416226077 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911311124096 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10923] ppid=10859 vsize=10945304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10923/stat : 10923 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139910707142064 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10924] ppid=10859 vsize=10945304 memory=3620 CPUtime=1.98 cores=0,2,4,6
/proc/10862/task/10924/stat : 10924 (java) S 10859 10862 9235 0 -1 1077944384 4287 13173 0 0 189 1 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911407558176 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10925] ppid=10859 vsize=10945304 memory=22876 CPUtime=2.05 cores=0,2,4,6
/proc/10862/task/10925/stat : 10925 (java) S 10859 10862 9235 0 -1 1077944384 5437 13173 0 0 197 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911406504496 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10926] ppid=10859 vsize=10945304 memory=984 CPUtime=1.41 cores=0,2,4,6
/proc/10862/task/10926/stat : 10926 (java) S 10859 10862 9235 0 -1 1077944384 5833 13173 0 0 132 1 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139911405468016 139911982979714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
[pid=10862/tid=10927] ppid=10859 vsize=10945304 memory=2032 CPUtime=0.08 cores=0,2,4,6
/proc/10862/task/10927/stat : 10927 (java) S 10859 10862 9235 0 -1 1077944384 3 13173 0 0 0 0 5 3 20 0 13 0 416226080 11207991296 74664 33554432000 4194304 4196468 140735476217808 139910237383136 139911982978773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11067392 140735476226801 140735476229317 140735476229317 140735476232143 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 10945304 KiB
Current children cumulated memory: 298656 KiB

Child status: 0
Real time (s): 4.16683
CPU time (s): 9.32502
CPU user time (s): 9.11142
CPU system time (s): 0.213605
CPU usage (%): 223.792
Max. virtual memory (cumulated for all children) (KiB): 10945304
Max. memory (cumulated for all children) (KiB): 298656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.11142
system time used= 0.213605
maximum resident set size= 300648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5737
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 10862
#   total CPU time (s): 9.32502
#   total CPU user time (s): 9.11142
#   total CPU system time (s): 0.213605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04929 second user time and 0.084495 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 20:31:47
IDJOB=4395824
IDBENCH=126890
IDSOLVER=2846
FILE ID=node151/4395824-1568399546
RUNJOBID= node151-1568393581-9266
PBS_JOBID= 21701866
Free space on /tmp= 59276 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395824-1568399546/watcher-4395824-1568399546 -o /tmp/evaluation-result-4395824-1568399546/solver-4395824-1568399546 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=63954516 HOME/instance-4395824-1568399546.xml

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

MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054
RANDOM SEED=63954516

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30020948 kB
MemAvailable:   30843920 kB
Buffers:          167268 kB
Cached:           948228 kB
SwapCached:        71480 kB
Active:          1630660 kB
Inactive:         568392 kB
Active(anon):    1018372 kB
Inactive(anon):    97944 kB
Active(file):     612288 kB
Inactive(file):   470448 kB
Unevictable:      109748 kB
Mlocked:          109748 kB
SwapTotal:      67108860 kB
SwapFree:       66934736 kB
Dirty:             35616 kB
Writeback:             0 kB
AnonPages:       1122536 kB
Mapped:            50048 kB
Shmem:             23976 kB
Slab:             140812 kB
SReclaimable:     112144 kB
SUnreclaim:        28668 kB
KernelStack:        3712 kB
PageTables:         7848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2224952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    952320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59240 MiB
End job on node151 at 2019-09-13 20:31:51