Trace number 4298580

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
MiniCPFever 2018-04-29? (TO) 2520.04 2497.51

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K03-P03_c18.xml
MD5SUM48ac26f734f5e9f96f30a0090c6e98b4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008964
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints17
Number of domains2
Minimum domain size15
Maximum domain size16
Distribution of domain sizes[{"size":15,"count":15},{"size":16,"count":9}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":18},{"degree":2,"count":15},{"degree":4,"count":6},{"degree":5,"count":3}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":15},{"arity":9,"count":1},{"arity":15,"count":1}]
Number of extensional constraints0
Number of intensional constraints15
Distribution of constraint types[{"type":"intension","count":15},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.11/0.14	c version: 2018-04-11
0.11/0.14	c seed: 1811631
0.11/0.14	c timeout: -1
0.11/0.14	c memlimit: -1
0.11/0.14	c nbcore: -1
2520.02/2497.50	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298580-1532766557/watcher-4298580-1532766557 -o /tmp/evaluation-result-4298580-1532766557/solver-4298580-1532766557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298580-1532766557.xml 

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

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

solver pid=26770, runsolver pid=26767

[startup+0.100571 s]*
/proc/loadavg: 1.62 1.84 1.91 5/215 26785
/proc/meminfo: memFree=23720476/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10658972 memory=27492 CPUtime=0.11 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 5261 0 0 0 10 1 0 0 20 0 15 0 94218859 10914787328 6873 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664743 6873 2855 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10658972 memory=-8269626465541459071 CPUtime=0.09 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 3156 0 0 0 8 1 0 0 20 0 15 0 94218860 10914787328 6873 33554432000 4194304 4196468 140729876429312 139655071282384 139655059286846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 6873 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0.01 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) R 26767 26770 23247 0 -1 4202560 308 0 0 0 1 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654418393968 139655047016838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 6873 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27492 KiB

[startup+0.211221 s]*
/proc/loadavg: 1.62 1.84 1.91 3/215 26785
/proc/meminfo: memFree=23710136/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10658972 memory=39732 CPUtime=0.31 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 8026 0 0 0 29 2 0 0 20 0 15 0 94218859 10914787328 9933 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664743 9933 2959 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 5157 0 0 0 18 2 0 0 20 0 15 0 94218860 10914787328 9933 33554432000 4194304 4196468 140729876429312 139655071284112 139654703930404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10658972 memory=342 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 9933 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10658972 memory=3546223485183870624 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94218863 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10658972 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0.07 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) R 26767 26770 23247 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654418393968 139655067061654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10658972 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218866 10914787328 9933 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39732 KiB

[startup+0.311348 s]*
/proc/loadavg: 1.62 1.84 1.91 5/215 26785
/proc/meminfo: memFree=23705360/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=44716 CPUtime=0.53 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 8795 0 0 0 50 3 0 0 20 0 15 0 94218859 10914865152 11179 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 11179 3055 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 5690 0 0 0 27 2 0 0 20 0 15 0 94218860 10914865152 11179 33554432000 4194304 4196468 140729876429312 139655071285744 139655051093349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 11179 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=4050901521356310176 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 541 0 0 0 4 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 335 0 0 0 5 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=139936049415808 CPUtime=0.13 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) R 26767 26770 23247 0 -1 4202560 861 0 0 0 13 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654418391760 139655060149419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=139936049415808 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 11179 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 44716 KiB

[startup+0.700733 s]
/proc/loadavg: 1.62 1.84 1.91 5/215 26785
/proc/meminfo: memFree=23678752/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=92636 CPUtime=1.7 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 14157 0 0 0 164 6 0 0 20 0 15 0 94218859 10914865152 23159 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 23159 3098 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 5775 0 0 0 64 3 0 0 20 0 15 0 94218860 10914865152 23159 33554432000 4194304 4196468 140729876429312 139655071286872 139654706124385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 23159 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=4639098309541127013 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=7156895382296482920 CPUtime=0.39 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) R 26767 26770 23247 0 -1 4202560 2367 0 0 0 39 0 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654622523816 139655052652433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=6154282490091891024 CPUtime=0.41 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) R 26767 26770 23247 0 -1 4202560 2999 0 0 0 40 1 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654621471632 139655048594012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) S 26767 26770 23247 0 -1 1077944384 1643 0 0 0 20 0 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654418393968 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 23159 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 92636 KiB

[startup+1.50082 s]
/proc/loadavg: 1.62 1.84 1.91 4/215 26785
/proc/meminfo: memFree=23607144/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=193604 CPUtime=3.28 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 19323 0 0 0 320 8 0 0 20 0 15 0 94218859 10914865152 48401 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 48401 3114 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=6791534058613427641 CPUtime=1.46 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 6205 0 0 0 142 4 0 0 20 0 15 0 94218860 10914865152 48401 33554432000 4194304 4196468 140729876429312 139655071288800 139654706464848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 48401 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 48401 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 48401 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 94218861 10914865152 48401 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 48401 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0

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

/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 26334 0 0 0 236611 24 0 0 20 0 15 0 94218860 10914865152 94759 33554432000 4194304 4196468 140729876429312 139655071289120 139654706684777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=379036 CPUtime=6.88 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 5348 0 0 0 639 49 0 0 20 0 15 0 94218861 10914865152 94759 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=376988 CPUtime=6.85 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 5933 0 0 0 639 46 0 0 20 0 15 0 94218861 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=379036 CPUtime=6.81 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 5998 0 0 0 628 53 0 0 20 0 15 0 94218861 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=376988 CPUtime=6.82 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 6493 0 0 0 631 51 0 0 20 0 15 0 94218861 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=379036 CPUtime=6.64 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 5112 0 0 0 619 45 0 0 20 0 15 0 94218863 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=379036 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=379036 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=1728 CPUtime=0.77 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 4596 0 0 0 76 1 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=1704 CPUtime=0.83 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 4865 0 0 0 82 1 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) S 26767 26770 23247 0 -1 1077944384 1867 0 0 0 24 0 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654418393968 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=6153431502485415018 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=379036 CPUtime=1.22 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 978 0 0 0 64 58 0 0 20 0 15 0 94218866 10914865152 94759 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 2403.51 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 379036 KiB

[startup+2442.3 s]
/proc/loadavg: 1.63 1.38 1.42 3/215 26960
/proc/meminfo: memFree=23380820/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=383132 CPUtime=2464.19 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 70379 0 0 0 246156 263 0 0 20 0 15 0 94218859 10914865152 95783 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 95783 3129 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=383132 CPUtime=2425.88 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 26861 0 0 0 242563 25 0 0 20 0 15 0 94218860 10914865152 95783 33554432000 4194304 4196468 140729876429312 139655071289120 139654706889661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=379036 CPUtime=7.12 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 5692 0 0 0 661 51 0 0 20 0 15 0 94218861 10914865152 95783 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=381084 CPUtime=7.09 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 5972 0 0 0 662 47 0 0 20 0 15 0 94218861 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=381084 CPUtime=7.04 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 6191 0 0 0 650 54 0 0 20 0 15 0 94218861 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=381084 CPUtime=7.06 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 6716 0 0 0 654 52 0 0 20 0 15 0 94218861 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=383132 CPUtime=6.81 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 5196 0 0 0 635 46 0 0 20 0 15 0 94218863 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=383132 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=383132 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=383132 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=383132 CPUtime=0.77 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 4598 0 0 0 76 1 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=383132 CPUtime=0.83 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 4867 0 0 0 82 1 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=383132 CPUtime=0.24 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) S 26767 26770 23247 0 -1 1077944384 1869 0 0 0 24 0 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654418393968 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=383132 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 995 0 0 0 65 59 0 0 20 0 15 0 94218866 10914865152 95783 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 2464.19 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 383132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.5 s]
/proc/loadavg: 1.23 1.31 1.39 3/215 26968
/proc/meminfo: memFree=23372336/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=387228 CPUtime=2520.02 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 70876 0 0 0 251732 270 0 0 20 0 15 0 94218859 10914865152 96807 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 96807 3129 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=387228 CPUtime=2480.65 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 27147 0 0 0 248040 25 0 0 20 0 15 0 94218860 10914865152 96807 33554432000 4194304 4196468 140729876429312 139655071289120 139654706685982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.33 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 5729 0 0 0 681 52 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.31 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 6055 0 0 0 682 49 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.26 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 6194 0 0 0 671 55 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.27 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 6790 0 0 0 675 52 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=387228 CPUtime=6.97 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 5206 0 0 0 651 46 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=3040 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=385180 CPUtime=0.77 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 4598 0 0 0 76 1 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 4867 0 0 0 82 1 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=387228 CPUtime=0.24 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) S 26767 26770 23247 0 -1 1077944384 1869 0 0 0 24 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654418393968 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=1008 CPUtime=1.28 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 999 0 0 0 67 61 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 387228 KiB

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

[startup+2497.51 s]
# the end of solver process 26770 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.33 s, system=2.70434 s

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

[startup+2497.5 s]
/proc/loadavg: 1.23 1.31 1.39 3/215 26968
/proc/meminfo: memFree=23372336/32770624 swapFree=67108860/67108860
[pid=26770] ppid=26767 vsize=10659048 memory=387228 CPUtime=2520.02 cores=0,2,4,6
/proc/26770/stat : 26770 (java) S 26767 26770 23247 0 -1 1077944320 70876 0 0 0 251732 270 0 0 20 0 15 0 94218859 10914865152 96807 33554432000 4194304 4196468 140729876429312 140729876411856 139655067049719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
/proc/26770/statm: 2664762 96807 3129 1 0 2627263 0
[pid=26770/tid=26772] ppid=26767 vsize=10659048 memory=387228 CPUtime=2480.65 cores=0,2,4,6
/proc/26770/task/26772/stat : 26772 (java) R 26767 26770 23247 0 -1 4202560 27147 0 0 0 248040 25 0 0 20 0 15 0 94218860 10914865152 96807 33554432000 4194304 4196468 140729876429312 139655071289120 139654706685982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26773] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.33 cores=0,2,4,6
/proc/26770/task/26773/stat : 26773 (java) S 26767 26770 23247 0 -1 1077944384 5729 0 0 0 681 52 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139655023602576 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26774] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.31 cores=0,2,4,6
/proc/26770/task/26774/stat : 26774 (java) S 26767 26770 23247 0 -1 1077944384 6055 0 0 0 682 49 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654673128208 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26775] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.26 cores=0,2,4,6
/proc/26770/task/26775/stat : 26775 (java) S 26767 26770 23247 0 -1 1077944384 6194 0 0 0 671 55 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654672075920 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26776] ppid=26767 vsize=10659048 memory=387228 CPUtime=7.27 cores=0,2,4,6
/proc/26770/task/26776/stat : 26776 (java) S 26767 26770 23247 0 -1 1077944384 6790 0 0 0 675 52 0 0 20 0 15 0 94218861 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654671023120 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26777] ppid=26767 vsize=10659048 memory=387228 CPUtime=6.97 cores=0,2,4,6
/proc/26770/task/26777/stat : 26777 (java) S 26767 26770 23247 0 -1 1077944384 5206 0 0 0 651 46 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654626748528 139655067060866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26778] ppid=26767 vsize=10659048 memory=3040 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26778/stat : 26778 (java) S 26767 26770 23247 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654625694496 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26779] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26779/stat : 26779 (java) S 26767 26770 23247 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 94218863 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654624642160 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26780] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26780/stat : 26780 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654623590480 139655067068315 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26781] ppid=26767 vsize=10659048 memory=385180 CPUtime=0.77 cores=0,2,4,6
/proc/26770/task/26781/stat : 26781 (java) S 26767 26770 23247 0 -1 1077944384 4598 0 0 0 76 1 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654622538352 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26782] ppid=26767 vsize=10659048 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/26770/task/26782/stat : 26782 (java) S 26767 26770 23247 0 -1 1077944384 4867 0 0 0 82 1 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654621485552 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26783] ppid=26767 vsize=10659048 memory=387228 CPUtime=0.24 cores=0,2,4,6
/proc/26770/task/26783/stat : 26783 (java) S 26767 26770 23247 0 -1 1077944384 1869 0 0 0 24 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654418393968 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26784] ppid=26767 vsize=10659048 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/26770/task/26784/stat : 26784 (java) S 26767 26770 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654417341408 139655067059925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
[pid=26770/tid=26785] ppid=26767 vsize=10659048 memory=1008 CPUtime=1.28 cores=0,2,4,6
/proc/26770/task/26785/stat : 26785 (java) S 26767 26770 23247 0 -1 1077944384 999 0 0 0 67 61 0 0 20 0 15 0 94218866 10914865152 96807 33554432000 4194304 4196468 140729876429312 139654416288176 139655067060866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25874432 140729876436141 140729876436233 140729876436233 140729876438991 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 387228 KiB

Child status: 143
Real time (s): 2497.51
CPU time (s): 2520.04
CPU user time (s): 2517.33
CPU system time (s): 2.70434
CPU usage (%): 100.902
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 387228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 2.70434
maximum resident set size= 387728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254449
involuntary context switches= 6737


# summary of solver processes directly reported to runsolver:
#   pid: 26770
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2517.33
#   total CPU system time (s): 2.70434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0227 second user time and 23.6352 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 10:29:17
IDJOB=4298580
IDBENCH=141169
IDSOLVER=2763
FILE ID=node139/4298580-1532766557
RUNJOBID= node139-1532739282-23278
PBS_JOBID= 21022439
Free space on /tmp= 38716 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K03-P03_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298580-1532766557/watcher-4298580-1532766557 -o /tmp/evaluation-result-4298580-1532766557/solver-4298580-1532766557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298580-1532766557.xml

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

MD5SUM BENCH= 48ac26f734f5e9f96f30a0090c6e98b4
RANDOM SEED=286545637

node139.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.80
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.80
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.80
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.80
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:        23736600 kB
MemAvailable:   31746128 kB
Buffers:          234064 kB
Cached:          7903892 kB
SwapCached:            0 kB
Active:          3255256 kB
Inactive:        5121596 kB
Active(anon):     193016 kB
Inactive(anon):    73576 kB
Active(file):    3062240 kB
Inactive(file):  5048020 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:        398984 kB
Mapped:            54872 kB
Shmem:             25228 kB
Slab:             355416 kB
SReclaimable:     327728 kB
SUnreclaim:        27688 kB
KernelStack:        3840 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1130316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 11:10:55