Trace number 4402499

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.3SAT 10.7931 5.07576

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K03-P07.xml
MD5SUMda29a6dd83857351367aad9031227a75
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 benchmark5.04114
Satisfiable
(Un)Satisfiability was proved
Number of variables102
Number of constraints41
Number of domains2
Minimum domain size39
Maximum domain size40
Distribution of domain sizes[{"size":39,"count":39},{"size":40,"count":21}]
Minimum variable degree0
Maximum variable degree5
Distribution of variable degrees[{"degree":0,"count":42},{"degree":2,"count":39},{"degree":4,"count":6},{"degree":5,"count":15}]
Minimum constraint arity3
Maximum constraint arity39
Distribution of constraint arities[{"arity":3,"count":39},{"arity":21,"count":1},{"arity":39,"count":1}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.55	c Concrete v3.12.3.1568965526260 running
10.61/4.48	v <instantiation
10.61/4.48	v         >
10.61/4.48	v       <list>
10.61/4.48	v         cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] cn[3][0] cn[3][1] cn[3][2] cn[4][0] cn[4][1] cn[4][2] cn[5][0] cn[5][1] cn[5][2] cn[6][0] cn[6][1] cn[6][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] ce[3][0][1] ce[3][0][2] ce[3][1][2] ce[4][0][1] ce[4][0][2] ce[4][1][2] ce[5][0][1] ce[5][0][2] ce[5][1][2] ce[6][0][1] ce[6][0][2] ce[6][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2] cie[2][0] cie[2][1] cie[2][2] cie[3][0] cie[3][1] cie[3][2] cie[4][0] cie[4][1] cie[4][2] cie[5][0] cie[5][1] cie[5][2]
10.61/4.48	v       </list>
10.61/4.48	v       <values>
10.61/4.48	v         12 27 34 26 8 2 35 4 38 0 37 39 28 17 1 36 7 24 6 32 11 15 22 7 18 24 6 31 3 34 37 39 2 11 27 16 29 12 17 26 5 21 14 19 32 9 4 36 35 33 1 28 20 38 8 10 23 30 25 13
10.61/4.48	v       </values>
10.61/4.48	v     </instantiation>
10.61/4.48	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402499-1568968287/watcher-4402499-1568968287 -o /var/tmp/evaluation-result-4402499-1568968287/solver-4402499-1568968287 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16259 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1550022693 HOME/instance-4402499-1568968287.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=16812, runsolver pid=16809

[startup+0.100168 s]*
/proc/loadavg: 1.32 1.14 0.67 3/222 16869
/proc/meminfo: memFree=1859456/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=9972712 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 4337 12971 0 0 1 0 5 3 20 0 6 0 473096494 10212057088 4582 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2493178 4582 1930 1 0 2481616 0
[pid=16812/tid=16865] ppid=16809 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 2129 12971 0 0 1 0 5 3 20 0 6 0 473096503 10212057088 4582 33554432000 4194304 4196468 140735298047456 139999494607440 139999508464088 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 6 0 473096504 10212057088 4582 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=9972712 memory=288370367396816512 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 6 0 473096504 10212057088 4582 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 6 0 473096504 10212057088 4582 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 6 0 473096504 10212057088 4582 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB

[startup+0.21053 s]*
/proc/loadavg: 1.32 1.14 0.67 4/231 16878
/proc/meminfo: memFree=1840604/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10820176 memory=41172 CPUtime=0.27 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 7227 12971 0 0 17 2 5 3 20 0 15 0 473096494 11079860224 10293 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2705044 10293 3291 1 0 2667149 0
[pid=16812/tid=16865] ppid=16809 vsize=10820196 memory=753035770744996145 CPUtime=0.19 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 3728 12971 0 0 10 1 5 3 20 0 15 0 473096503 11079880704 10293 33554432000 4194304 4196468 140735298047456 139999494581712 139999522792605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 10293 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10820196 memory=288370367396816512 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 10293 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 10293 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 10293 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096505 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 33 12971 0 0 0 0 5 3 20 0 15 0 473096506 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998726399520 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998619755888 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) S 16809 16812 16228 0 -1 1077944384 466 12971 0 0 1 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998692841840 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) R 16809 16812 16228 0 -1 4202560 174 12971 0 0 1 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998691789040 139999502942765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10820196 memory=139991245104768 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) R 16809 16812 16228 0 -1 1077944384 617 12971 0 0 3 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10820196 memory=139991245104768 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 10293 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820176 KiB
Current children cumulated memory: 41172 KiB

[startup+0.310798 s]*
/proc/loadavg: 1.32 1.14 0.67 3/231 16878
/proc/meminfo: memFree=1827980/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10820196 memory=49368 CPUtime=0.4 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 10233 12971 0 0 29 3 5 3 20 0 15 0 473096494 11079880704 12342 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2705049 12342 3316 1 0 2667149 0
[pid=16812/tid=16865] ppid=16809 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 6703 12971 0 0 19 2 5 3 20 0 15 0 473096503 11079880704 12342 33554432000 4194304 4196468 140735298047456 139999494579600 139999506851166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 12342 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 12342 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 12342 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11079880704 12342 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10820196 memory=139991245104767 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096505 11079880704 12342 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 33 12971 0 0 0 0 5 3 20 0 15 0 473096506 11079880704 12342 33554432000 4194304 4196468 140735298047456 139998726399520 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998619755888 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) S 16809 16812 16228 0 -1 1077944384 467 12971 0 0 2 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998692841840 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) S 16809 16812 16228 0 -1 1077944384 183 12971 0 0 1 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998691789040 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10820196 memory=139991245104768 CPUtime=0.13 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) S 16809 16812 16228 0 -1 1077944384 626 12971 0 0 5 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10820196 memory=139991245104768 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096509 11079880704 12407 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49368 KiB

[startup+0.700753 s]
/proc/loadavg: 1.32 1.14 0.67 3/231 16878
/proc/meminfo: memFree=1814064/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10824364 memory=81080 CPUtime=1.15 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 14532 12971 0 0 102 5 5 3 20 0 15 0 473096494 11084148736 20270 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2706091 20270 3505 1 0 2668173 0
[pid=16812/tid=16865] ppid=16809 vsize=10824364 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 9894 12971 0 0 55 4 5 3 20 0 15 0 473096503 11084148736 20270 33554432000 4194304 4196468 140735298047456 139999494592976 139999522792605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10824364 memory=1212 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11084148736 20321 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11084148736 20321 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10824364 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096504 11084148736 20321 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 2 12971 0 0 0 0 5 3 20 0 15 0 473096504 11084148736 20321 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 5 12971 0 0 0 0 5 3 20 0 15 0 473096505 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 33 12971 0 0 0 0 5 3 20 0 15 0 473096506 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998726399520 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998619755888 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) R 16809 16812 16228 0 -1 4202560 1014 12971 0 0 16 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998692831952 139999507896544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) S 16809 16812 16228 0 -1 1077944384 592 12971 0 0 12 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998691789040 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) S 16809 16812 16228 0 -1 1077944384 778 12971 0 0 17 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096509 11084148736 20321 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81080 KiB

[startup+1.50067 s]
/proc/loadavg: 1.32 1.14 0.67 3/231 16878
/proc/meminfo: memFree=1771692/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10834680 memory=167208 CPUtime=2.47 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 23973 12971 0 0 230 9 5 3 20 0 15 0 473096494 11094712320 41802 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2708670 41802 3586 1 0 2670733 0
[pid=16812/tid=16865] ppid=16809 vsize=10834680 memory=139991103574616 CPUtime=1.44 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 15119 12971 0 0 130 6 5 3 20 0 15 0 473096503 11094712320 41802 33554432000 4194304 4196468 140735298047456 139999494570464 139999522782614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 29 12971 0 0 1 0 5 3 20 0 15 0 473096504 11094712320 41802 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10834680 memory=6628 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 104 12971 0 0 1 0 5 3 20 0 15 0 473096504 11094712320 41802 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10834680 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 386 12971 0 0 1 0 5 3 20 0 15 0 473096504 11094712320 41802 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10834680 memory=279982207556000 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 77 12971 0 0 1 0 5 3 20 0 15 0 473096504 11094712320 41802 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10834680 memory=212184269357966 CPUtime=0.09 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2185 12971 0 0 1 0 5 3 20 0 15 0 473096505 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 34 12971 0 0 0 0 5 3 20 0 15 0 473096506 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998726399584 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10834680 memory=7517784949473380152 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998619755888 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10834680 memory=-8412658770403813517 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10834680 memory=-7668917182949848256 CPUtime=0.35 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) S 16809 16812 16228 0 -1 1077944384 1170 12971 0 0 27 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998692841840 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10834680 memory=8514726395714956677 CPUtime=0.31 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) S 16809 16812 16228 0 -1 1077944384 716 12971 0 0 23 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998691789040 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10834680 memory=-5703089342203525590 CPUtime=0.49 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) R 16809 16812 16228 0 -1 4202560 1937 12971 0 0 41 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998690731280 139999501725402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10834680 memory=8325818960211581590 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11094712320 41802 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 167208 KiB

[startup+3.11073 s]
/proc/loadavg: 1.29 1.14 0.68 6/232 16880
/proc/meminfo: memFree=1618432/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10852020 memory=274856 CPUtime=6.54 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 41222 12971 1 0 630 16 5 3 20 0 15 0 473096494 11112468480 68714 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2713005 68714 3607 1 0 2675060 0
[pid=16812/tid=16865] ppid=16809 vsize=10852020 memory=2116 CPUtime=2.99 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 21221 12971 1 0 282 9 5 3 20 0 15 0 473096503 11112468480 68714 33554432000 4194304 4196468 140735298047456 139999494604592 139999112849799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10852020 memory=12028 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 48 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112468480 68714 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10852020 memory=496 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 117 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112468480 68714 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10852020 memory=174756 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 399 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112468480 68714 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10852020 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 105 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112468480 68714 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10852020 memory=279982207334480 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2638 12971 0 0 3 0 5 3 20 0 15 0 473096505 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10852020 memory=279982207334544 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 37 12971 0 0 0 0 5 3 20 0 15 0 473096506 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998726399584 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10852020 memory=279982207334608 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998619755904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10852020 memory=5444 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10852020 memory=2238 CPUtime=1.13 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) R 16809 16812 16228 0 -1 4202560 2894 12971 0 0 104 1 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998692832816 139999506267459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10852020 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) R 16809 16812 16228 0 -1 4202560 5824 12971 0 0 110 1 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998691773704 139999507896725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10852020 memory=97 CPUtime=1.24 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) S 16809 16812 16228 0 -1 1077944384 5723 12971 0 0 115 1 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10852020 memory=623 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10852020 memory=17360 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112468480 68714 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 6.54 s
Current children cumulated vsize: 10852020 KiB
Current children cumulated memory: 274856 KiB

[startup+4.49791 s]
# the end of solver process 16812 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.5587 s, system=0.234442 s

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

[startup+3.20093 s]
/proc/loadavg: 1.29 1.14 0.68 6/232 16880
/proc/meminfo: memFree=1618432/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10852020 memory=277848 CPUtime=6.85 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 44661 12971 1 0 661 16 5 3 20 0 15 0 473096494 11112468480 69462 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2713005 69462 3608 1 0 2675060 0
[pid=16812/tid=16865] ppid=16809 vsize=10849048 memory=430 CPUtime=3.08 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 21787 12971 1 0 291 9 5 3 20 0 15 0 473096503 11109425152 69462 33554432000 4194304 4196468 140735298047456 139999494604648 139999117549480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10849048 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 48 12971 0 0 3 0 5 3 20 0 15 0 473096504 11109425152 69462 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10852032 memory=6944656592455360604 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 117 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112480768 69462 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10852032 memory=825241649 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 399 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112480768 69489 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10852032 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 105 12971 0 0 3 0 5 3 20 0 15 0 473096504 11112480768 69489 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10852032 memory=279982207616384 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2638 12971 0 0 3 0 5 3 20 0 15 0 473096505 11112480768 69489 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10852032 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 37 12971 0 0 0 0 5 3 20 0 15 0 473096506 11112480768 69489 33554432000 4194304 4196468 140735298047456 139998726399584 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10852032 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 1 12971 0 0 0 0 5 3 20 0 15 0 473096506 11112480768 69555 33554432000 4194304 4196468 140735298047456 139998619755904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10852032 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112480768 69555 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10852032 memory=7681421203011431829 CPUtime=1.21 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) R 16809 16812 16228 0 -1 4202560 3760 12971 0 0 112 1 5 3 20 0 15 0 473096509 11112480768 69555 33554432000 4194304 4196468 140735298047456 139998692835032 139999508793133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10852032 memory=9520 CPUtime=1.28 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) R 16809 16812 16228 0 -1 4202560 7615 12971 0 0 119 1 5 3 20 0 15 0 473096509 11112480768 69621 33554432000 4194304 4196468 140735298047456 139998691773816 139999515060128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10852032 memory=4076 CPUtime=1.27 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) R 16809 16812 16228 0 -1 1077944384 6141 12971 0 0 118 1 5 3 20 0 15 0 473096509 11112480768 69621 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10852032 memory=2836 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112480768 69621 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10852032 memory=1540 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11112480768 69621 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 10852020 KiB
Current children cumulated memory: 277848 KiB

[startup+4.00099 s]*
/proc/loadavg: 1.29 1.14 0.68 5/232 16880
/proc/meminfo: memFree=1552052/32770624 swapFree=66992772/67108860
[pid=16812] ppid=16809 vsize=10849048 memory=334672 CPUtime=9.53 cores=0,2,4,6
/proc/16812/stat : 16812 (java) S 16809 16812 16228 0 -1 1077944320 51691 12971 1 0 927 18 5 3 20 0 15 0 473096494 11109425152 83668 33554432000 4194304 4196468 140735298047456 140735298030000 139999522770679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
/proc/16812/statm: 2712262 83668 3622 1 0 2674317 0
[pid=16812/tid=16865] ppid=16809 vsize=10849048 memory=1398722017469774279 CPUtime=3.88 cores=0,2,4,6
/proc/16812/task/16865/stat : 16865 (java) R 16809 16812 16228 0 -1 4202560 22663 12971 1 0 370 10 5 3 20 0 15 0 473096503 11109425152 83668 33554432000 4194304 4196468 140735298047456 139999494601520 139999117240646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16866] ppid=16809 vsize=10849048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16866/stat : 16866 (java) S 16809 16812 16228 0 -1 1077944384 69 12971 0 0 3 0 5 3 20 0 15 0 473096504 11109425152 83668 33554432000 4194304 4196468 140735298047456 139999527013008 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16867] ppid=16809 vsize=10849048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16867/stat : 16867 (java) S 16809 16812 16228 0 -1 1077944384 359 12971 0 0 3 0 5 3 20 0 15 0 473096504 11109425152 83668 33554432000 4194304 4196468 140735298047456 139999095679504 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16868] ppid=16809 vsize=10849048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16868/stat : 16868 (java) S 16809 16812 16228 0 -1 1077944384 419 12971 0 0 3 0 5 3 20 0 15 0 473096504 11109425152 83668 33554432000 4194304 4196468 140735298047456 139999094626704 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16869] ppid=16809 vsize=10849048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16869/stat : 16869 (java) S 16809 16812 16228 0 -1 1077944384 178 12971 0 0 3 0 5 3 20 0 15 0 473096504 11109425152 83668 33554432000 4194304 4196468 140735298047456 139999093573904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16870] ppid=16809 vsize=10849048 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/16812/task/16870/stat : 16870 (java) S 16809 16812 16228 0 -1 1077944384 2704 12971 0 0 3 0 5 3 20 0 15 0 473096505 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998727453552 139999522781826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16871] ppid=16809 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16871/stat : 16871 (java) S 16809 16812 16228 0 -1 1077944384 40 12971 0 0 0 0 5 3 20 0 15 0 473096506 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998726399584 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16872] ppid=16809 vsize=10849048 memory=-7385037593950859151 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16872/stat : 16872 (java) S 16809 16812 16228 0 -1 1077944384 4 12971 0 0 0 0 5 3 20 0 15 0 473096506 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998619755904 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16873] ppid=16809 vsize=10849048 memory=-8458152057954563772 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16873/stat : 16873 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998111029584 139999522789275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16874] ppid=16809 vsize=10849048 memory=0 CPUtime=2.01 cores=0,2,4,6
/proc/16812/task/16874/stat : 16874 (java) R 16809 16812 16228 0 -1 4202560 4897 12971 0 0 192 1 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998692831952 139999506240000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16875] ppid=16809 vsize=10849048 memory=3472328296227670329 CPUtime=2.07 cores=0,2,4,6
/proc/16812/task/16875/stat : 16875 (java) R 16809 16812 16228 0 -1 4202560 9935 12971 0 0 198 1 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998691778752 139999522792026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16876] ppid=16809 vsize=10849048 memory=5983788029685257904 CPUtime=1.56 cores=0,2,4,6
/proc/16812/task/16876/stat : 16876 (java) R 16809 16812 16228 0 -1 1077944384 8202 12971 0 0 147 1 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998690736240 139999522781826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16877] ppid=16809 vsize=10849048 memory=4209577309166457609 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16877/stat : 16877 (java) S 16809 16812 16228 0 -1 1077944384 3 12971 0 0 0 0 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998077470944 139999522780885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
[pid=16812/tid=16878] ppid=16809 vsize=10849048 memory=3472425450512773095 CPUtime=0.08 cores=0,2,4,6
/proc/16812/task/16878/stat : 16878 (java) S 16809 16812 16228 0 -1 1077944384 9 12971 0 0 0 0 5 3 20 0 15 0 473096509 11109425152 83668 33554432000 4194304 4196468 140735298047456 139998689684656 139999522781826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29196288 140735298054755 140735298057397 140735298057397 140735298060239 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 334672 KiB

[startup+4.80014 s]
/proc/loadavg: 1.29 1.14 0.68 2/216 16881
/proc/meminfo: memFree=1852724/32770624 swapFree=66992772/67108860
Current cumulated CPU time of completed processes: 10.7931 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+5.00017 s]*
/proc/loadavg: 1.29 1.14 0.68 2/216 16881
/proc/meminfo: memFree=1865900/32770624 swapFree=66992772/67108860
Current cumulated CPU time of completed processes: 10.7931 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.07576
CPU time (s): 10.7931
CPU user time (s): 10.5587
CPU system time (s): 0.234442
CPU usage (%): 212.641
Max. virtual memory (cumulated for all children) (KiB): 10852020
Max. memory (cumulated for all children) (KiB): 338444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5587
system time used= 0.234442
maximum resident set size= 347300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65646
page faults= 1
swaps= 0
block input operations= 616
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6730
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 16812
#   total CPU time (s): 10.7931
#   total CPU user time (s): 10.5587
#   total CPU system time (s): 0.234442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05783 second user time and 0.090296 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-20 10:30:49
IDJOB=4402499
IDBENCH=120691
IDSOLVER=2861
FILE ID=node126/4402499-1568968287
RUNJOBID= node126-1568967600-16259
PBS_JOBID= 21704622
Free space on /var/tmp= 13476 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K03-P07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402499-1568968287/watcher-4402499-1568968287 -o /var/tmp/evaluation-result-4402499-1568968287/solver-4402499-1568968287 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1568967600-16259 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1550022693 HOME/instance-4402499-1568968287.xml

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

MD5SUM BENCH= da29a6dd83857351367aad9031227a75
RANDOM SEED=1550022693

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         1867592 kB
MemAvailable:   30480448 kB
Buffers:          114676 kB
Cached:         28507180 kB
SwapCached:         6692 kB
Active:         15668356 kB
Inactive:       14340540 kB
Active(anon):    1379300 kB
Inactive(anon):    45880 kB
Active(file):   14289056 kB
Inactive(file): 14294660 kB
Unevictable:      109576 kB
Mlocked:          109576 kB
SwapTotal:      67108860 kB
SwapFree:       66992772 kB
Dirty:             34892 kB
Writeback:             4 kB
AnonPages:       1491576 kB
Mapped:            60584 kB
Shmem:             29164 kB
Slab:             486476 kB
SReclaimable:     457600 kB
SUnreclaim:        28876 kB
KernelStack:        3760 kB
PageTables:         8628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2627368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    995328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13440 MiB
End job on node126 at 2019-09-20 10:30:54