Trace number 4402594

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.3? (TO) 2528.52 851.247

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000c-int.xml
MD5SUM2ff4403728a82746813109e0b9ab6660
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 benchmark495.64
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
Optimization problemNO
Type of objective

Solver Data 

0.78/0.56	c Concrete v3.12.3.1568965526260 running

Verifier Data 

One s line expected

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402594-1568973810/watcher-4402594-1568973810 -o /var/tmp/evaluation-result-4402594-1568973810/solver-4402594-1568973810 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4402594-1568973810.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
solver pid=21716, runsolver pid=21713
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.68 1.45 1.42 3/219 21773
/proc/meminfo: memFree=3485832/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=9972712 memory=18856 CPUtime=0.1 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 4448 13072 0 0 1 1 5 3 20 0 6 0 473639221 10212057088 4714 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2493178 4714 1934 1 0 2481616 0
[pid=21716/tid=21769] ppid=21713 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) R 21713 21716 19941 0 -1 4202560 2259 13072 0 0 1 0 5 3 20 0 6 0 473639230 10212057088 4714 33554432000 4194304 4196468 140736206202496 139891109388880 139891120728702 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 6 0 473639231 10212057088 4714 33554432000 4194304 4196468 140736206202496 139891141794448 139891137562325 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=9972712 memory=140311063869056 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 6 0 473639231 10212057088 4714 33554432000 4194304 4196468 140736206202496 139891045997072 139891137562325 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 6 0 473639231 10212057088 4714 33554432000 4194304 4196468 140736206202496 139890709551504 139891137562325 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 6 0 473639231 10212057088 4714 33554432000 4194304 4196468 140736206202496 139890708498704 139891137562325 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210799 s]*
/proc/loadavg: 1.68 1.45 1.42 3/228 21782
/proc/meminfo: memFree=3462116/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10819732 memory=46896 CPUtime=0.27 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 7162 13072 0 0 17 2 5 3 20 0 15 0 473639221 11079405568 11724 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2704933 11724 3162 1 0 2667149 0
[pid=21716/tid=21769] ppid=21713 vsize=10819840 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) R 21713 21716 19941 0 -1 4202560 3683 13072 0 0 10 1 5 3 20 0 15 0 473639230 11079516160 11724 33554432000 4194304 4196468 140736206202496 139891109363152 139891060629366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10819840 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079516160 11724 33554432000 4194304 4196468 140736206202496 139891141794448 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10819840 memory=140311063889730 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079516160 11724 33554432000 4194304 4196468 140736206202496 139891045997072 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10819840 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079516160 11724 33554432000 4194304 4196468 140736206202496 139890709551504 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10819840 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079516160 11724 33554432000 4194304 4196468 140736206202496 139890708498704 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10819840 memory=140311063869056 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639232 11079516160 11724 33554432000 4194304 4196468 140736206202496 139890664246128 139891137563266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10819840 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 13 13072 0 0 0 0 5 3 20 0 15 0 473639233 11079516160 11724 33554432000 4194304 4196468 140736206202496 139890574485024 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10819856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639233 11079532544 11724 33554432000 4194304 4196468 140736206202496 139890440267120 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10819856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079532544 11724 33554432000 4194304 4196468 140736206202496 139889836288336 139891137570715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10819856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 589 13072 0 0 1 0 5 3 20 0 15 0 473639236 11079532544 11724 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10819856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 60 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079532544 11724 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10819856 memory=140311063869056 CPUtime=0.11 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 628 13072 0 0 3 0 5 3 20 0 15 0 473639236 11079532544 11724 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10820000 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079680000 11724 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10820000 memory=140311063869056 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079680000 11724 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819732 KiB
Current children cumulated memory: 46896 KiB

[startup+0.310599 s]*
/proc/loadavg: 1.68 1.45 1.42 3/228 21782
/proc/meminfo: memFree=3448992/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10820196 memory=56064 CPUtime=0.4 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 10737 13072 0 0 28 4 5 3 20 0 15 0 473639221 11079880704 14016 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2705049 14016 3313 1 0 2667149 0
[pid=21716/tid=21769] ppid=21713 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) R 21713 21716 19941 0 -1 4202560 7203 13072 0 0 18 3 5 3 20 0 15 0 473639230 11079880704 14016 33554432000 4194304 4196468 140736206202496 139891109361040 139891121632636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079880704 14016 33554432000 4194304 4196468 140736206202496 139891141794448 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079880704 14016 33554432000 4194304 4196468 140736206202496 139891045997072 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890709551504 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639231 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890708498704 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639232 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890664246128 139891137563266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 13 13072 0 0 0 0 5 3 20 0 15 0 473639233 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890574485024 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639233 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890440267120 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139889836288336 139891137570715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 590 13072 0 0 2 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 69 13072 0 0 1 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10820196 memory=140311063869056 CPUtime=0.13 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 648 13072 0 0 5 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10820196 memory=140311063869056 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639236 11079880704 14016 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 56064 KiB

[startup+0.700695 s]
/proc/loadavg: 1.68 1.45 1.42 3/228 21782
/proc/meminfo: memFree=3434092/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10824364 memory=89600 CPUtime=1.14 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 15062 13072 0 0 100 6 5 3 20 0 15 0 473639221 11084148736 22400 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2706091 22400 3515 1 0 2668173 0
[pid=21716/tid=21769] ppid=21713 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) R 21713 21716 19941 0 -1 4202560 10405 13072 0 0 54 4 5 3 20 0 15 0 473639230 11084148736 22400 33554432000 4194304 4196468 140736206202496 139891109381664 139891121632606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11084148736 22400 33554432000 4194304 4196468 140736206202496 139891141794448 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11084148736 22400 33554432000 4194304 4196468 140736206202496 139891045997072 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10824364 memory=140310944559312 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639231 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890709551504 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10824364 memory=140312286593641 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639231 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890708498704 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 5 13072 0 0 0 0 5 3 20 0 15 0 473639232 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890664246128 139891137563266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 13 13072 0 0 0 0 5 3 20 0 15 0 473639233 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890574485024 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10824364 memory=7739528784169233259 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639233 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890440267120 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139889836288336 139891137570715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10824364 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 1038 13072 0 0 12 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10824364 memory=516 CPUtime=0.23 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) R 21713 21716 19941 0 -1 4202560 541 13072 0 0 15 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890662140144 139891117744946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 848 13072 0 0 17 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 22400 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 89600 KiB

[startup+1.50081 s]
/proc/loadavg: 1.68 1.45 1.42 3/228 21782
/proc/meminfo: memFree=3358576/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10824364 memory=413416 CPUtime=2.97 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 17325 13072 0 0 251 38 5 3 20 0 15 0 473639221 11084148736 103354 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2706091 103354 3548 1 0 2668173 0
[pid=21716/tid=21769] ppid=21713 vsize=10824364 memory=295616 CPUtime=1.29 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) S 21713 21716 19941 0 -1 1077944384 11098 13072 0 0 115 6 5 3 20 0 15 0 473639230 11084148736 103354 33554432000 4194304 4196468 140736206202496 139891109388352 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10824364 memory=2436 CPUtime=0.24 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) R 21713 21716 19941 0 -1 4202560 226 13072 0 0 9 7 5 3 20 0 15 0 473639231 11084148736 103354 33554432000 4194304 4196468 140736206202496 139891141794336 139891122579993 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10824364 memory=1760 CPUtime=0.24 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) R 21713 21716 19941 0 -1 4202560 195 13072 0 0 9 7 5 3 20 0 15 0 473639231 11084148736 103354 33554432000 4194304 4196468 140736206202496 139891045997272 139891122580002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) R 21713 21716 19941 0 -1 4202560 174 13072 0 0 9 7 5 3 20 0 15 0 473639231 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890709551704 139891122579993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10824364 memory=-7303279828959712342 CPUtime=0.24 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) R 21713 21716 19941 0 -1 4202560 164 13072 0 0 9 7 5 3 20 0 15 0 473639231 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890708498904 139891122579993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10824364 memory=3833724587141655611 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 85 13072 0 0 0 0 5 3 20 0 15 0 473639232 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890664244640 139891137562325 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10824364 memory=-7016161123436706971 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 13 13072 0 0 0 0 5 3 20 0 15 0 473639233 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890574485088 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10824364 memory=-6005673638262905286 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639233 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890440267136 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139889836288336 139891137570715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10824364 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 1154 13072 0 0 34 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10824364 memory=4580 CPUtime=0.45 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 988 13072 0 0 37 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10824364 memory=7158300437426230352 CPUtime=0.33 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 1017 13072 0 0 25 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10824364 memory=4640767367890560611 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10824364 memory=7668052853309006935 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 1 13072 0 0 0 0 5 3 20 0 15 0 473639236 11084148736 103354 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10824364 KiB

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

/proc/21716/statm: 2710211 2094251 3627 1 0 2672269 0
[pid=21716/tid=21769] ppid=21713 vsize=10840844 memory=1444 CPUtime=220.79 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) S 21713 21716 19941 0 -1 1077944384 1472043 13072 0 0 21959 112 5 3 20 0 15 0 473639230 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891109384640 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10840844 memory=1976 CPUtime=556.3 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) R 21713 21716 19941 0 -1 4202560 4981788 13072 0 0 54887 735 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891141794336 139891122249758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10840844 memory=2436 CPUtime=554.82 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) R 21713 21716 19941 0 -1 4202560 4264433 13072 0 0 54839 635 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891045997272 139891122537415 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10840844 memory=8377004 CPUtime=556.7 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) R 21713 21716 19941 0 -1 4202560 4675478 13072 0 0 54998 664 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890709551704 139891122503189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10840844 memory=6040 CPUtime=555.81 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) R 21713 21716 19941 0 -1 4202560 4384205 13072 0 0 54912 661 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890708498904 139891122249894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10840844 memory=784 CPUtime=68.06 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 439280 13072 0 0 6753 45 5 3 20 0 15 0 473639232 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890664244448 139891137562325 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10840844 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 34 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890574485088 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10840844 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 16 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890440267136 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10840844 memory=19360 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 2 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889836288336 139891137570715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10840844 memory=8377004 CPUtime=3.24 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 16498 13072 0 0 313 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10840844 memory=8377004 CPUtime=3 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 14758 13072 0 0 289 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10840844 memory=1072 CPUtime=1.41 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 24096 13072 0 0 130 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10840844 memory=6040 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10840844 memory=3624 CPUtime=0.75 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 950 13072 0 0 31 36 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8377004 KiB

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

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

[startup+851.247 s]
# the end of solver process 21716 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2499.29 s, system=29.2289 s

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

[startup+849.601 s]
/proc/loadavg: 4.43 3.88 2.77 6/226 21854
/proc/meminfo: memFree=405896/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10840844 memory=8377004 CPUtime=2523.39 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 20286642 13072 0 0 249457 2874 5 3 20 0 15 0 473639221 11101024256 2094251 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2710211 2094251 3627 1 0 2672269 0
[pid=21716/tid=21769] ppid=21713 vsize=10840844 memory=8377004 CPUtime=220.79 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) S 21713 21716 19941 0 -1 1077944384 1472043 13072 0 0 21959 112 5 3 20 0 15 0 473639230 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891109384640 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10840844 memory=6791534058613427641 CPUtime=557.08 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) R 21713 21716 19941 0 -1 4202560 4982043 13072 0 0 54965 735 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891141794648 139891122251909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10840844 memory=42980 CPUtime=555.57 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) R 21713 21716 19941 0 -1 4202560 4264685 13072 0 0 54914 635 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891045997272 139891122541762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10840844 memory=984 CPUtime=557.49 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) R 21713 21716 19941 0 -1 4202560 4675727 13072 0 0 55076 665 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890709551392 139891122541794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10840844 memory=2016 CPUtime=556.59 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) R 21713 21716 19941 0 -1 4202560 4384205 13072 0 0 54990 661 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890708498904 139891122252038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10840844 memory=6791534058613427641 CPUtime=68.09 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 449373 13072 0 0 6755 46 5 3 20 0 15 0 473639232 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890664244672 139891137562325 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10840844 memory=5256 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 34 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890574485088 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10840844 memory=2527108 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 16 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890440267136 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10840844 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 7 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889836287984 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10840844 memory=3272 CPUtime=3.24 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 16498 13072 0 0 313 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10840844 memory=8377004 CPUtime=3 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 14758 13072 0 0 289 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10840844 memory=7552 CPUtime=1.41 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 24096 13072 0 0 130 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10840844 memory=3608 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10840844 memory=616 CPUtime=0.75 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 950 13072 0 0 31 36 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 2523.39 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8377004 KiB

[startup+850.401 s]
/proc/loadavg: 4.43 3.88 2.77 6/226 21854
/proc/meminfo: memFree=405904/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10840844 memory=8377004 CPUtime=2526.58 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 20286768 13072 0 0 249776 2874 5 3 20 0 15 0 473639221 11101024256 2094251 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2710211 2094251 3627 1 0 2672269 0
[pid=21716/tid=21769] ppid=21713 vsize=10840844 memory=1136 CPUtime=220.79 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) S 21713 21716 19941 0 -1 1077944384 1472043 13072 0 0 21959 112 5 3 20 0 15 0 473639230 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891109384640 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10840844 memory=1072 CPUtime=557.88 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) R 21713 21716 19941 0 -1 4202560 4982167 13072 0 0 55045 735 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891141794648 139891122250899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10840844 memory=6040 CPUtime=556.36 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) R 21713 21716 19941 0 -1 4202560 4264685 13072 0 0 54993 635 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891045997272 139891122548781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10840844 memory=784 CPUtime=558.29 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) R 21713 21716 19941 0 -1 4202560 4675727 13072 0 0 55156 665 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890709551392 139891122548520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10840844 memory=6791534058613427641 CPUtime=557.39 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) R 21713 21716 19941 0 -1 4202560 4384205 13072 0 0 55070 661 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890708498904 139891122548520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10840844 memory=42980 CPUtime=68.09 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) S 21713 21716 19941 0 -1 1077944384 449373 13072 0 0 6755 46 5 3 20 0 15 0 473639232 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890664244672 139891137562325 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10840844 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 34 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890574485088 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10840844 memory=2016 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 16 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890440267136 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10840844 memory=1412 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 7 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889836287984 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10840844 memory=6791534058613427641 CPUtime=3.24 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 16498 13072 0 0 313 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10840844 memory=111632 CPUtime=3 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 14758 13072 0 0 289 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10840844 memory=804 CPUtime=1.41 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 24096 13072 0 0 130 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10840844 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10840844 memory=6791534058613427641 CPUtime=0.75 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 952 13072 0 0 31 36 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 2526.58 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8377004 KiB

[startup+850.801 s]
/proc/loadavg: 4.43 3.88 2.77 6/226 21854
/proc/meminfo: memFree=405904/32770624 swapFree=66955208/67108860
[pid=21716] ppid=21713 vsize=10840844 memory=8377004 CPUtime=2528.06 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 19941 0 -1 1077944320 20286768 13072 0 0 249923 2875 5 3 20 0 15 0 473639221 11101024256 2094251 33554432000 4194304 4196468 140736206202496 140736206185040 139891137552119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
/proc/21716/statm: 2710211 2094251 3627 1 0 2672269 0
[pid=21716/tid=21769] ppid=21713 vsize=10840844 memory=288230621803970871 CPUtime=220.79 cores=0,2,4,6
/proc/21716/task/21769/stat : 21769 (java) S 21713 21716 19941 0 -1 1077944384 1472043 13072 0 0 21959 112 5 3 20 0 15 0 473639230 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891109384640 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21770] ppid=21713 vsize=10840844 memory=13563791027735085 CPUtime=558.23 cores=0,2,4,6
/proc/21716/task/21770/stat : 21770 (java) S 21713 21716 19941 0 -1 1077944384 4982167 13072 0 0 55080 735 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891141794448 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21771] ppid=21713 vsize=10840844 memory=288230574492221466 CPUtime=556.72 cores=0,2,4,6
/proc/21716/task/21771/stat : 21771 (java) S 21713 21716 19941 0 -1 1077944384 4264685 13072 0 0 55029 635 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139891045997072 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21772] ppid=21713 vsize=10840844 memory=288230621803970871 CPUtime=558.65 cores=0,2,4,6
/proc/21716/task/21772/stat : 21772 (java) S 21713 21716 19941 0 -1 1077944384 4675727 13072 0 0 55192 665 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890709551504 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21773] ppid=21713 vsize=10840844 memory=13563791027735085 CPUtime=557.75 cores=0,2,4,6
/proc/21716/task/21773/stat : 21773 (java) S 21713 21716 19941 0 -1 1077944384 4384205 13072 0 0 55106 661 5 3 20 0 15 0 473639231 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890708498704 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21774] ppid=21713 vsize=10840844 memory=2632 CPUtime=68.12 cores=0,2,4,6
/proc/21716/task/21774/stat : 21774 (java) R 21713 21716 19941 0 -1 4202560 449373 13072 0 0 6758 46 5 3 20 0 15 0 473639232 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890664244672 139891122548486 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21775] ppid=21713 vsize=10840844 memory=2900 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21775/stat : 21775 (java) S 21713 21716 19941 0 -1 1077944384 34 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890574485088 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21776] ppid=21713 vsize=10840844 memory=4104 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21776/stat : 21776 (java) S 21713 21716 19941 0 -1 1077944384 16 13072 0 0 0 0 5 3 20 0 15 0 473639233 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890440267136 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21777] ppid=21713 vsize=10840844 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21777/stat : 21777 (java) S 21713 21716 19941 0 -1 1077944384 7 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889836287984 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21778] ppid=21713 vsize=10840844 memory=5256 CPUtime=3.24 cores=0,2,4,6
/proc/21716/task/21778/stat : 21778 (java) S 21713 21716 19941 0 -1 1077944384 16498 13072 0 0 313 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890663192944 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21779] ppid=21713 vsize=10840844 memory=2528648 CPUtime=3 cores=0,2,4,6
/proc/21716/task/21779/stat : 21779 (java) S 21713 21716 19941 0 -1 1077944384 14758 13072 0 0 289 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890662140144 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21780] ppid=21713 vsize=10840844 memory=1408 CPUtime=1.41 cores=0,2,4,6
/proc/21716/task/21780/stat : 21780 (java) S 21713 21716 19941 0 -1 1077944384 24096 13072 0 0 130 3 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890661087344 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21781] ppid=21713 vsize=10840844 memory=3272 CPUtime=0.08 cores=0,2,4,6
/proc/21716/task/21781/stat : 21781 (java) S 21713 21716 19941 0 -1 1077944384 3 13072 0 0 0 0 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139889366526176 139891137562325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
[pid=21716/tid=21782] ppid=21713 vsize=10840844 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/21716/task/21782/stat : 21782 (java) S 21713 21716 19941 0 -1 1077944384 952 13072 0 0 31 36 5 3 20 0 15 0 473639236 11101024256 2094251 33554432000 4194304 4196468 140736206202496 139890660035760 139891137563266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33267712 140736206203492 140736206206133 140736206206133 140736206208975 0
Current children cumulated CPU time: 2528.06 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8377004 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 851.247
CPU time (s): 2528.52
CPU user time (s): 2499.29
CPU system time (s): 29.2289
CPU usage (%): 297.037
Max. virtual memory (cumulated for all children) (KiB): 10840844
Max. memory (cumulated for all children) (KiB): 8385648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.29
system time used= 29.2289
maximum resident set size= 8385648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20299842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39803
involuntary context switches= 25241


# summary of solver processes directly reported to runsolver:
#   pid: 21716
#   total CPU time (s): 2528.52
#   total CPU user time (s): 2499.29
#   total CPU system time (s): 29.2289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.01255 second user time and 8.65244 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-20 11:01:53
IDJOB=4402594
IDBENCH=126912
IDSOLVER=2861
FILE ID=node105/4402594-1568973810
RUNJOBID= node105-1568963940-19972
PBS_JOBID= 21704633
Free space on /var/tmp= 13060 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000c-int.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402594-1568973810/watcher-4402594-1568973810 -o /var/tmp/evaluation-result-4402594-1568973810/solver-4402594-1568973810 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4402594-1568973810.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=799927705

node105.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.00
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.00
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.00
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.00
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:         3493616 kB
MemAvailable:   29226476 kB
Buffers:          133228 kB
Cached:         25488052 kB
SwapCached:        49576 kB
Active:         15404056 kB
Inactive:       12845556 kB
Active(anon):    2579552 kB
Inactive(anon):    94348 kB
Active(file):   12824504 kB
Inactive(file): 12751208 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       66955208 kB
Dirty:            118616 kB
Writeback:             0 kB
AnonPages:       2691700 kB
Mapped:            61840 kB
Shmem:             36560 kB
Slab:             614408 kB
SReclaimable:     585608 kB
SUnreclaim:        28800 kB
KernelStack:        3728 kB
PageTables:        11076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3713880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2365440 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 /var/tmp at the end= 13028 MiB
End job on node105 at 2019-09-20 11:16:05