Trace number 4387179

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.10? (TO) 2528.05 874.951

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000b-int.xml
MD5SUMfdcb353b2918313db809b139313e7b9f
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 benchmark492.922
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.70/0.60	c Concrete v3.10.1560635388952 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: 16375 MiB (9503 MiB free)
  memory of node 1: 16384 MiB (13479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387179-1568293116/watcher-4387179-1568293116 -o /tmp/evaluation-result-4387179-1568293116/solver-4387179-1568293116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1332808768 HOME/instance-4387179-1568293116.xml 

running on 4 cores: 4-7

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

solver pid=1469, runsolver pid=1466

[startup+0.100149 s]*
/proc/loadavg: 1.21 1.26 1.31 2/214 1522
/proc/meminfo: memFree=23530572/32770688 swapFree=66960404/67108860
[pid=1469] ppid=1466 vsize=9972712 memory=14972 CPUtime=0.09 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 3972 13167 0 0 1 0 5 3 20 0 6 0 405253471 10212057088 3743 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2493178 3743 1665 1 0 2481616 0
[pid=1469/tid=1522] ppid=1466 vsize=9972712 memory=576460756329955604 CPUtime=0.09 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) R 1466 1469 31157 0 -1 4202560 2115 13167 0 0 1 0 5 3 20 0 6 0 405253481 10212057088 4073 33554432000 4194304 4196468 140733820939600 140169997607504 140170009851230 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 6 0 405253481 10212057088 4073 33554432000 4194304 4196468 140733820939600 140170030012944 140170025780949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=9972712 memory=1920279 CPUtime=0.08 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 405253481 10212057088 4073 33554432000 4194304 4196468 140733820939600 140169599441552 140170025780949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 405253481 10212057088 4073 33554432000 4194304 4196468 140733820939600 140169598388496 140170025780949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 405253481 10212057088 4073 33554432000 4194304 4196468 140733820939600 140169597335952 140170025780949 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14972 KiB

[startup+0.211174 s]*
/proc/loadavg: 1.21 1.26 1.31 4/227 1535
/proc/meminfo: memFree=23509592/32770688 swapFree=66960404/67108860
[pid=1469] ppid=1466 vsize=10818900 memory=38560 CPUtime=0.25 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 6940 13167 0 0 16 1 5 3 20 0 15 0 405253471 11078553600 9640 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2704725 9640 2973 1 0 2667149 0
[pid=1469/tid=1522] ppid=1466 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) R 1466 1469 31157 0 -1 4202560 3446 13167 0 0 11 0 5 3 20 0 15 0 405253481 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169997566928 140170025782678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078553600 9640 33554432000 4194304 4196468 140733820939600 140170030012944 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10818900 memory=3762113764357732000 CPUtime=0.08 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169599441552 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169598388496 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169597335952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10818900 memory=139981828028032 CPUtime=0.08 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 405253483 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169552386800 140170025781890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 405253483 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169009161888 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253484 11078553600 9640 33554432000 4194304 4196468 140733820939600 140168807834864 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140168567544272 140170025789339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 340 13167 0 0 1 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169551333616 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10818900 memory=-1 CPUtime=0.09 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 283 13167 0 0 1 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169550281072 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10818900 memory=139981828028032 CPUtime=0.11 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) R 1466 1469 31157 0 -1 4202560 642 13167 0 0 3 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169549228016 140170025792090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10818900 memory=139981828028032 CPUtime=0.08 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078553600 9640 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 38560 KiB

[startup+0.311572 s]*
/proc/loadavg: 1.21 1.26 1.31 3/227 1535
/proc/meminfo: memFree=23496208/32770688 swapFree=66960404/67108860
[pid=1469] ppid=1466 vsize=10819084 memory=48244 CPUtime=0.4 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 10124 13167 0 0 29 3 5 3 20 0 15 0 405253471 11078742016 12061 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2704771 12061 3027 1 0 2667149 0
[pid=1469/tid=1522] ppid=1466 vsize=10819084 memory=0 CPUtime=0.29 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) R 1466 1469 31157 0 -1 4202560 6623 13167 0 0 19 2 5 3 20 0 15 0 405253481 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169997552640 140170009851230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10819084 memory=4294969536 CPUtime=0.08 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078742016 12061 33554432000 4194304 4196468 140733820939600 140170030012944 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10819084 memory=139981828028032 CPUtime=0.08 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169599441552 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169598388496 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169597335952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10819084 memory=139981828028031 CPUtime=0.08 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 405253483 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169552386800 140170025781890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 405253483 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169009161888 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253484 11078742016 12061 33554432000 4194304 4196468 140733820939600 140168807834864 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140168567544272 140170025789339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 340 13167 0 0 1 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169551333616 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10819084 memory=-1 CPUtime=0.1 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 284 13167 0 0 2 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169550281072 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10819084 memory=139981828028032 CPUtime=0.13 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 652 13167 0 0 5 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169549228016 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10819084 memory=139981828028032 CPUtime=0.08 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253487 11078742016 12061 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 48244 KiB

[startup+0.701592 s]
/proc/loadavg: 1.21 1.26 1.31 3/227 1535
/proc/meminfo: memFree=23485412/32770688 swapFree=66960404/67108860
[pid=1469] ppid=1466 vsize=10822292 memory=78056 CPUtime=1.12 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 14218 13167 0 0 99 5 5 3 20 0 15 0 405253471 11082027008 19514 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2705573 19514 3494 1 0 2667661 0
[pid=1469/tid=1522] ppid=1466 vsize=10822292 memory=3612 CPUtime=0.67 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) R 1466 1469 31157 0 -1 4202560 9946 13167 0 0 55 4 5 3 20 0 15 0 405253481 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169997599104 140170009851230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) S 1466 1469 31157 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 405253481 11082027008 19514 33554432000 4194304 4196468 140733820939600 140170030012944 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10822292 memory=35772 CPUtime=0.08 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169599441552 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10822292 memory=984 CPUtime=0.08 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169598388496 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10822292 memory=2044 CPUtime=0.08 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253481 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169597335952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 405253483 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169552386800 140170025781890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10822292 memory=139985869079104 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 405253483 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169009161888 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10822292 memory=139985869079105 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253484 11082027008 19514 33554432000 4194304 4196468 140733820939600 140168807834864 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10822292 memory=139985869079106 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140168567544272 140170025789339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10822292 memory=139985869079107 CPUtime=0.21 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) R 1466 1469 31157 0 -1 4202560 676 13167 0 0 13 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169551320224 140170007314902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10822292 memory=139985869079108 CPUtime=0.19 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) R 1466 1469 31157 0 -1 4202560 542 13167 0 0 11 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169550269664 140170007292080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10822292 memory=139985869079119 CPUtime=0.25 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 817 13167 0 0 17 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169549228016 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10822292 memory=139985869079124 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10822292 memory=139985869079129 CPUtime=0.08 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253487 11082027008 19514 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 78056 KiB

[startup+1.50085 s]
/proc/loadavg: 1.27 1.28 1.31 6/227 1535
/proc/meminfo: memFree=23433380/32770688 swapFree=66960404/67108860
[pid=1469] ppid=1466 vsize=10824340 memory=294540 CPUtime=2.81 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 18191 13167 0 0 250 23 5 3 20 0 15 0 405253471 11084124160 73635 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2706085 73635 3539 1 0 2668173 0
[pid=1469/tid=1522] ppid=1466 vsize=10824340 memory=7307184289356141162 CPUtime=1.37 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) R 1466 1469 31157 0 -1 4202560 10932 13167 0 0 123 6 5 3 20 0 15 0 405253481 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169997599168 140170025792669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10824340 memory=35772 CPUtime=0.16 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) S 1466 1469 31157 0 -1 1077944384 364 13167 0 0 5 3 5 3 20 0 15 0 405253481 11084124160 73635 33554432000 4194304 4196468 140733820939600 140170030012944 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10824340 memory=984 CPUtime=0.16 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) S 1466 1469 31157 0 -1 1077944384 64 13167 0 0 5 3 5 3 20 0 15 0 405253481 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169599441552 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10824340 memory=2044 CPUtime=0.16 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) S 1466 1469 31157 0 -1 1077944384 173 13167 0 0 5 3 5 3 20 0 15 0 405253481 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169598388496 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10824340 memory=33 CPUtime=0.16 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) S 1466 1469 31157 0 -1 1077944384 102 13167 0 0 5 3 5 3 20 0 15 0 405253481 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169597335952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 97 13167 0 0 0 0 5 3 20 0 15 0 405253483 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169552386800 140170025781890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 16 13167 0 0 0 0 5 3 20 0 15 0 405253483 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169009161952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253484 11084124160 73635 33554432000 4194304 4196468 140733820939600 140168807834864 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140168567544272 140170025789339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10824340 memory=0 CPUtime=0.45 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 1274 13167 0 0 37 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169551333616 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10824340 memory=0 CPUtime=0.45 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 1276 13167 0 0 37 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169550281072 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10824340 memory=0 CPUtime=0.37 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 1673 13167 0 0 29 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169549228016 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10824340 memory=0 CPUtime=0.08 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 405253487 11084124160 73635 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10824340 KiB

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


[startup+874.951 s]
# the end of solver process 1469 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2521.54 s, system=6.51428 s

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

[startup+873.602 s]
/proc/loadavg: 6.39 5.34 3.42 9/228 1771
/proc/meminfo: memFree=7435424/32770688 swapFree=66960416/67108860
[pid=1469] ppid=1466 vsize=10840820 memory=8372440 CPUtime=2522.84 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 458514 13167 0 0 251632 644 5 3 20 0 15 0 405253471 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2710205 2093110 3620 1 0 2672269 0
[pid=1469/tid=1522] ppid=1466 vsize=10840820 memory=35812 CPUtime=250.62 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) S 1466 1469 31157 0 -1 1077944384 55883 13167 0 0 25031 23 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169997603792 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10840820 memory=8372412 CPUtime=547.26 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) R 1466 1469 31157 0 -1 4202560 40150 13167 0 0 54569 149 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140170030013144 140170005796901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10840820 memory=3612 CPUtime=547.61 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) R 1466 1469 31157 0 -1 4202560 34992 13167 0 0 54609 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169599441752 140170010721348 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10840820 memory=35812 CPUtime=548 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) R 1466 1469 31157 0 -1 4202560 35968 13167 0 0 54640 152 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169598388384 140170010468382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10840820 memory=8372440 CPUtime=548.64 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) R 1466 1469 31157 0 -1 4202560 37264 13167 0 0 54712 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169597336152 140170010468518 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10840820 memory=1380 CPUtime=71.04 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 193902 13167 0 0 7083 13 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169552385120 140170025780949 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10840820 memory=1056 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 24 13167 0 0 0 0 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169009161952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10840820 memory=8372440 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253484 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168807834880 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10840820 memory=780 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168567543920 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10840820 memory=3380 CPUtime=4.44 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 20236 13167 0 0 433 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169551333616 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10840820 memory=279963418351728 CPUtime=3.72 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 15140 13167 0 0 362 2 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169550281072 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10840820 memory=3904815972535651281 CPUtime=1.53 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 21809 13167 0 0 142 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169549228016 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10840820 memory=3467965709100729330 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10840820 memory=8372440 CPUtime=0.6 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 920 13167 0 0 23 29 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 2522.84 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8372440 KiB

[startup+874.402 s]
/proc/loadavg: 6.39 5.34 3.42 9/228 1771
/proc/meminfo: memFree=7435424/32770688 swapFree=66960416/67108860
[pid=1469] ppid=1466 vsize=10840820 memory=8372440 CPUtime=2526.01 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 458542 13167 0 0 251949 644 5 3 20 0 15 0 405253471 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2710205 2093110 3620 1 0 2672269 0
[pid=1469/tid=1522] ppid=1466 vsize=10840820 memory=8372440 CPUtime=250.62 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) S 1466 1469 31157 0 -1 1077944384 55883 13167 0 0 25031 23 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169997603792 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10840820 memory=2120 CPUtime=548.06 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) R 1466 1469 31157 0 -1 4202560 40150 13167 0 0 54649 149 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140170030012528 140170018398951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10840820 memory=496 CPUtime=548.4 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) R 1466 1469 31157 0 -1 4202560 34995 13167 0 0 54688 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169599441136 140170018398951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10840820 memory=8372440 CPUtime=548.8 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) R 1466 1469 31157 0 -1 4202560 35980 13167 0 0 54720 152 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169598388384 140170010721854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10840820 memory=8372440 CPUtime=549.42 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) R 1466 1469 31157 0 -1 4202560 37277 13167 0 0 54790 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169597336152 140170010756039 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10840820 memory=3380 CPUtime=71.04 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 193902 13167 0 0 7083 13 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169552385120 140170025780949 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10840820 memory=1088 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 24 13167 0 0 0 0 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169009161952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10840820 memory=8112282956445269571 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253484 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168807834880 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10840820 memory=8372440 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168567543920 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10840820 memory=1412 CPUtime=4.44 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 20236 13167 0 0 433 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169551333664 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10840820 memory=8372440 CPUtime=3.72 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 15140 13167 0 0 362 2 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169550281120 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10840820 memory=8112282956445269571 CPUtime=1.53 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 21809 13167 0 0 142 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169549227776 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10840820 memory=1628 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10840820 memory=1408 CPUtime=0.6 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 920 13167 0 0 23 29 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 2526.01 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8372440 KiB

[startup+874.802 s]
/proc/loadavg: 6.39 5.34 3.42 9/228 1771
/proc/meminfo: memFree=7435424/32770688 swapFree=66960416/67108860
[pid=1469] ppid=1466 vsize=10840820 memory=8372440 CPUtime=2527.55 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 458552 13167 0 0 252103 644 5 3 20 0 15 0 405253471 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2710205 2093110 3620 1 0 2672269 0
[pid=1469/tid=1522] ppid=1466 vsize=10840820 memory=288230596050944315 CPUtime=250.62 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) S 1466 1469 31157 0 -1 1077944384 55883 13167 0 0 25031 23 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169997603792 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10840820 memory=15540717212665554 CPUtime=548.43 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) R 1466 1469 31157 0 -1 4202560 40150 13167 0 0 54686 149 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140170030012944 140170010760208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10840820 memory=1380 CPUtime=548.77 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) R 1466 1469 31157 0 -1 4202560 34995 13167 0 0 54725 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169599441752 140170010470621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10840820 memory=1056 CPUtime=549.18 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) R 1466 1469 31157 0 -1 4202560 35984 13167 0 0 54758 152 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169598388696 140170010760396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10840820 memory=764 CPUtime=549.81 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) R 1466 1469 31157 0 -1 4202560 37283 13167 0 0 54829 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169597335952 140170010470533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10840820 memory=1708 CPUtime=71.05 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 193902 13167 0 0 7084 13 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169552385344 140170025780949 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10840820 memory=1224 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 24 13167 0 0 0 0 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169009161952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10840820 memory=5912 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253484 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168807834880 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10840820 memory=780 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168567543920 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10840820 memory=3380 CPUtime=4.44 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 20236 13167 0 0 433 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169551333664 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10840820 memory=1088 CPUtime=3.72 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 15140 13167 0 0 362 2 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169550281120 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10840820 memory=2832 CPUtime=1.53 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 21809 13167 0 0 142 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169549227776 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10840820 memory=1564 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10840820 memory=2880 CPUtime=0.6 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 920 13167 0 0 23 29 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 2527.55 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8372440 KiB

[startup+874.902 s]
/proc/loadavg: 6.39 5.34 3.42 9/228 1771
/proc/meminfo: memFree=7435424/32770688 swapFree=66960416/67108860
[pid=1469] ppid=1466 vsize=10840820 memory=8372440 CPUtime=2527.95 cores=4-7
/proc/1469/stat : 1469 (java) S 1466 1469 31157 0 -1 1077944320 458593 13167 0 0 252143 644 5 3 20 0 15 0 405253471 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140733820922144 140170025770743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
/proc/1469/statm: 2710205 2093110 3620 1 0 2672269 0
[pid=1469/tid=1522] ppid=1466 vsize=10840820 memory=8372440 CPUtime=250.62 cores=4-7
/proc/1469/task/1522/stat : 1522 (java) S 1466 1469 31157 0 -1 1077944384 55883 13167 0 0 25031 23 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169997603792 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1523] ppid=1466 vsize=10840820 memory=52 CPUtime=548.53 cores=4-7
/proc/1469/task/1523/stat : 1523 (java) R 1466 1469 31157 0 -1 4202560 40181 13167 0 0 54696 149 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140170030012944 140170010760386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1524] ppid=1466 vsize=10840820 memory=8372440 CPUtime=548.87 cores=4-7
/proc/1469/task/1524/stat : 1524 (java) R 1466 1469 31157 0 -1 4202560 35003 13167 0 0 54735 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169599441752 140170010760373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1525] ppid=1466 vsize=10840820 memory=8372436 CPUtime=549.28 cores=4-7
/proc/1469/task/1525/stat : 1525 (java) R 1466 1469 31157 0 -1 4202560 35986 13167 0 0 54768 152 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169598388696 140170010760386 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1526] ppid=1466 vsize=10840820 memory=8372440 CPUtime=549.91 cores=4-7
/proc/1469/task/1526/stat : 1526 (java) R 1466 1469 31157 0 -1 4202560 37283 13167 0 0 54839 144 5 3 20 0 15 0 405253481 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169597335952 140170010760386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1527] ppid=1466 vsize=10840820 memory=8372440 CPUtime=71.05 cores=4-7
/proc/1469/task/1527/stat : 1527 (java) S 1466 1469 31157 0 -1 1077944384 193902 13167 0 0 7084 13 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169552385344 140170025780949 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1528] ppid=1466 vsize=10840820 memory=8372432 CPUtime=0.08 cores=4-7
/proc/1469/task/1528/stat : 1528 (java) S 1466 1469 31157 0 -1 1077944384 24 13167 0 0 0 0 5 3 20 0 15 0 405253483 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169009161952 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1529] ppid=1466 vsize=10840820 memory=2257 CPUtime=0.08 cores=4-7
/proc/1469/task/1529/stat : 1529 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253484 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168807834880 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1530] ppid=1466 vsize=10840820 memory=8372428 CPUtime=0.08 cores=4-7
/proc/1469/task/1530/stat : 1530 (java) S 1466 1469 31157 0 -1 1077944384 6 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168567543920 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1531] ppid=1466 vsize=10840820 memory=8372440 CPUtime=4.44 cores=4-7
/proc/1469/task/1531/stat : 1531 (java) S 1466 1469 31157 0 -1 1077944384 20236 13167 0 0 433 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169551333664 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1532] ppid=1466 vsize=10840820 memory=3612 CPUtime=3.72 cores=4-7
/proc/1469/task/1532/stat : 1532 (java) S 1466 1469 31157 0 -1 1077944384 15140 13167 0 0 362 2 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169550281120 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1533] ppid=1466 vsize=10840820 memory=8372440 CPUtime=1.53 cores=4-7
/proc/1469/task/1533/stat : 1533 (java) S 1466 1469 31157 0 -1 1077944384 21809 13167 0 0 142 3 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169549227776 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1534] ppid=1466 vsize=10840820 memory=8372440 CPUtime=0.08 cores=4-7
/proc/1469/task/1534/stat : 1534 (java) S 1466 1469 31157 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140168533985632 140170025780949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
[pid=1469/tid=1535] ppid=1466 vsize=10840820 memory=8372440 CPUtime=0.6 cores=4-7
/proc/1469/task/1535/stat : 1535 (java) S 1466 1469 31157 0 -1 1077944384 920 13167 0 0 23 29 5 3 20 0 15 0 405253487 11100999680 2093110 33554432000 4194304 4196468 140733820939600 140169548176432 140170025781890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28725248 140733820947189 140733820949701 140733820949701 140733820952527 0
Current children cumulated CPU time: 2527.95 s
Current children cumulated vsize: 10840820 KiB
Current children cumulated memory: 8372440 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 874.951
CPU time (s): 2528.05
CPU user time (s): 2521.54
CPU system time (s): 6.51428
CPU usage (%): 288.936
Max. virtual memory (cumulated for all children) (KiB): 10840820
Max. memory (cumulated for all children) (KiB): 8380764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.54
system time used= 6.51428
maximum resident set size= 8380764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34228
involuntary context switches= 30606


# summary of solver processes directly reported to runsolver:
#   pid: 1469
#   total CPU time (s): 2528.05
#   total CPU user time (s): 2521.54
#   total CPU system time (s): 6.51428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39268 second user time and 9.62529 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-12 14:57:57
IDJOB=4387179
IDBENCH=126900
IDSOLVER=2823
FILE ID=node116/4387179-1568293116
RUNJOBID= node116-1568285921-31917
PBS_JOBID= 21701086
Free space on /tmp= 54212 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387179-1568293116/watcher-4387179-1568293116 -o /tmp/evaluation-result-4387179-1568293116/solver-4387179-1568293116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1332808768 HOME/instance-4387179-1568293116.xml

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

MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=1332808768

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        23534680 kB
MemAvailable:   31149200 kB
Buffers:           99256 kB
Cached:          7725504 kB
SwapCached:        46380 kB
Active:          2178456 kB
Inactive:        6360324 kB
Active(anon):     677752 kB
Inactive(anon):    76696 kB
Active(file):    1500704 kB
Inactive(file):  6283628 kB
Unevictable:      110104 kB
Mlocked:          110104 kB
SwapTotal:      67108860 kB
SwapFree:       66960404 kB
Dirty:            118264 kB
Writeback:             0 kB
AnonPages:        778820 kB
Mapped:            55032 kB
Shmem:             31788 kB
Slab:             286952 kB
SReclaimable:     258648 kB
SUnreclaim:        28304 kB
KernelStack:        3680 kB
PageTables:         9196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1824360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    694272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 54148 MiB
End job on node116 at 2019-09-12 15:12:32