Trace number 4283320

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)? (TO) 2527.9099 723.42102

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-25-a4.xml
MD5SUMa6ebb4642302e72810e9d3407e53c8ef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark661
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints42552
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":25}]
Minimum variable degree6625
Maximum variable degree6626
Distribution of variable degrees[{"degree":6625,"count":23},{"degree":6626,"count":2}]
Minimum constraint arity1
Maximum constraint arity25
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4600},{"arity":4,"count":37950},{"arity":25,"count":1}]
Number of extensional constraints0
Number of intensional constraints42551
Distribution of constraint types[{"type":"intension","count":42551},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283320-1503202946.xml"  -tl '2520s' -p 1 -x 3
0.13/0.25	c [HOME/instance-4283320-1503202946.xml, -tl, 2520s, -p, 1, -x, 3]
0.13/0.31	c simple solver
0.32/0.38	c parse instance...
7.82/2.98	c solve instance...

Verifier Data 

One s line expected

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283320-1503202946/watcher-4283320-1503202946 -o /tmp/evaluation-result-4283320-1503202946/solver-4283320-1503202946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 386872782 HOME/instance-4283320-1503202946.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=7444, runsolver pid=7441

[startup+0.10009 s]*
/proc/loadavg: 4.76 4.38 3.26 3/202 7451
/proc/meminfo: memFree=28923040/32770624 swapFree=67108860/67108860
[pid=7444] ppid=7441 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/7444/stat : 7444 (xcsp3-exec) S 7441 7444 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18701624 9740288 344 18446744073709551615 4194304 5098028 140724485573456 140724485571560 140011450274428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31518720 140724485579130 140724485579334 140724485579334 140724485582827 0
/proc/7444/statm: 2378 344 289 221 0 87 0
[pid=7446] ppid=7444 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7444 7444 18108 0 -1 1077944320 3730 0 0 0 1 0 0 0 20 0 7 0 18701633 13763948544 3922 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3360339 3922 2003 1 0 3349836 0
[pid=7446/tid=7447] ppid=7444 vsize=13441356 memory=8323069512539357860 CPUtime=0.01 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) R 7444 7444 18108 0 -1 4202560 2506 0 0 0 1 0 0 0 20 0 7 0 18701633 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139944475728656 139944455566686 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7444 vsize=13441356 memory=3461490896949683849 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18701634 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139944405920144 139944471496405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7444 vsize=13441356 memory=140292319999616 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18701634 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139944404867344 139944471496405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7444 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18701634 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139944403815056 139944471496405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7444 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18701634 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139944402762256 139944471496405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7444 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18701635 13763948544 3988 18446744073709551615 4194304 4196468 140728550541056 139943815375472 139944471497346 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17064 KiB

[startup+0.215594 s]*
/proc/loadavg: 4.76 4.38 3.26 3/211 7460
/proc/meminfo: memFree=28912004/32770624 swapFree=67108860/67108860
[pid=7444] ppid=7441 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/7444/stat : 7444 (xcsp3-exec) S 7441 7444 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18701624 9740288 344 18446744073709551615 4194304 5098028 140724485573456 140724485571560 140011450274428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31518720 140724485579130 140724485579334 140724485579334 140724485582827 0
/proc/7444/statm: 2378 344 289 221 0 87 0
[pid=7446] ppid=7444 vsize=13974352 memory=28712 CPUtime=0.13 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7444 7444 18108 0 -1 1077944320 5571 0 0 0 12 1 0 0 20 0 15 0 18701633 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3493588 7178 2879 1 0 3482964 0
[pid=7446/tid=7447] ppid=7444 vsize=13974352 memory=8323069512539357860 CPUtime=0.1 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) R 7444 7444 18108 0 -1 4202560 3513 0 0 0 9 1 0 0 20 0 15 0 18701633 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139944475712032 139944471498134 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7444 vsize=13974352 memory=3461490896949683849 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139944405920144 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7444 vsize=13974352 memory=140292319999616 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701634 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139944404867344 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139944403815056 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139944402762256 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701635 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943815375472 139944471497346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7444 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7444 7444 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18701635 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943814321440 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7444 7444 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18701636 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943813269104 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943812217424 139944471504795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7444 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7444 7444 18108 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 18701638 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7444 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7444 vsize=13974352 memory=140292319999616 CPUtime=0.02 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) R 7444 7444 18108 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 18701638 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944450186400 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7444 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7444 vsize=13974352 memory=140292319999616 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701642 14309736448 7178 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30088 KiB

[startup+0.310803 s]*
/proc/loadavg: 4.76 4.38 3.26 5/211 7460
/proc/meminfo: memFree=28897128/32770624 swapFree=67108860/67108860
[pid=7444] ppid=7441 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/7444/stat : 7444 (xcsp3-exec) S 7441 7444 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18701624 9740288 344 18446744073709551615 4194304 5098028 140724485573456 140724485571560 140011450274428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31518720 140724485579130 140724485579334 140724485579334 140724485582827 0
/proc/7444/statm: 2378 344 289 221 0 87 0
[pid=7446] ppid=7444 vsize=13974352 memory=39236 CPUtime=0.32 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7444 7444 18108 0 -1 1077944320 9101 0 0 0 29 3 0 0 20 0 15 0 18701633 14309736448 9809 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3493588 9809 2990 1 0 3482964 0
[pid=7446/tid=7447] ppid=7444 vsize=13974352 memory=-7677926825137650786 CPUtime=0.19 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) R 7444 7444 18108 0 -1 4202560 6346 0 0 0 17 2 0 0 20 0 15 0 18701633 14309736448 9864 18446744073709551615 4194304 4196468 140728550541056 139944475708344 139944473761364 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7444 vsize=13976468 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139944405920144 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7444 vsize=13976468 memory=7100839852556125036 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701634 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139944404867344 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7444 vsize=13976468 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139944403815056 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139944402762256 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7444 vsize=13976468 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701635 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943815375472 139944471497346 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7444 7444 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18701635 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943814321440 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7444 7444 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18701636 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943813269104 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943812217424 139944471504795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7444 vsize=13976468 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7444 7444 18108 0 -1 1077944384 711 0 0 0 3 0 0 0 20 0 15 0 18701638 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7444 vsize=13976468 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7444 7444 18108 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 18701638 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7444 vsize=13976468 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7444 7444 18108 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 18701638 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7444 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701642 14311903232 9864 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40612 KiB

[startup+0.703902 s]
/proc/loadavg: 4.76 4.38 3.26 5/211 7460
/proc/meminfo: memFree=28880392/32770624 swapFree=67108860/67108860
[pid=7444] ppid=7441 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/7444/stat : 7444 (xcsp3-exec) S 7441 7444 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18701624 9740288 344 18446744073709551615 4194304 5098028 140724485573456 140724485571560 140011450274428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31518720 140724485579130 140724485579334 140724485579334 140724485582827 0
/proc/7444/statm: 2378 344 289 221 0 87 0
[pid=7446] ppid=7444 vsize=13978684 memory=85592 CPUtime=1.35 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7444 7444 18108 0 -1 1077944320 13067 0 0 0 130 5 0 0 20 0 15 0 18701633 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3494671 21398 3158 1 0 3482964 0
[pid=7446/tid=7447] ppid=7444 vsize=13978684 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) R 7444 7444 18108 0 -1 4202560 7851 0 0 0 54 3 0 0 20 0 15 0 18701633 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139944475722912 139944080375207 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7444 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139944405920144 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7444 vsize=13978684 memory=8320808402719881013 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701634 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139944404867344 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7444 vsize=13978684 memory=6368748898559742033 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139944403815056 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7444 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) S 7444 7444 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18701634 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139944402762256 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7444 vsize=13978684 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7444 7444 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18701635 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943815375472 139944471497346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7444 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7444 7444 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18701635 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943814321440 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7444 vsize=13978684 memory=140292221051504 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7444 7444 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18701636 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943813269104 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7444 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943812217424 139944471504795 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7444 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) R 7444 7444 18108 0 -1 4202560 1631 0 0 0 25 0 0 0 20 0 15 0 18701638 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943811154064 139944453007362 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7444 vsize=13978684 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) R 7444 7444 18108 0 -1 4202560 715 0 0 0 24 0 0 0 20 0 15 0 18701638 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944449313153 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7444 vsize=13978684 memory=7809523229951467572 CPUtime=0.26 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7444 7444 18108 0 -1 1077944384 1561 0 0 0 26 0 0 0 20 0 15 0 18701638 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7444 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7444 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7444 vsize=13978684 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7444 7444 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18701642 14314172416 21398 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86968 KiB

[startup+1.50137 s]
/proc/loadavg: 4.76 4.38 3.26 5/211 7460
/proc/meminfo: memFree=28741816/32770624 swapFree=67108860/67108860
[pid=7444] ppid=7441 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/7444/stat : 7444 (xcsp3-exec) S 7441 7444 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18701624 9740288 344 18446744073709551615 4194304 5098028 140724485573456 140724485571560 140011450274428 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 31518720 140724485579130 140724485579334 140724485579334 140724485582827 0
/proc/7444/statm: 2378 344 289 221 0 87 0
[pid=7446] ppid=7444 vsize=13980732 memory=231412 CPUtime=3.97 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7444 7444 18108 0 -1 1077944320 16406 0 0 0 384 13 0 0 20 0 15 0 18701633 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3495183 57853 3210 1 0 3483476 0
[pid=7446/tid=7447] ppid=7444 vsize=13980732 memory=1376 CPUtime=1.32 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) R 7444 7444 18108 0 -1 4202560 8522 0 0 0 127 5 0 0 20 0 15 0 18701633 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139944475720976 139944471498134 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7444 vsize=13980732 memory=226352 CPUtime=0.03 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) S 7444 7444 18108 0 -1 1077944384 65 0 0 0 2 1 0 0 20 0 15 0 18701634 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139944405920144 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7444 vsize=13980732 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) S 7444 7444 18108 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 18701634 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139944404867344 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7444 vsize=13980732 memory=12731 CPUtime=0.03 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) S 7444 7444 18108 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 18701634 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139944403815056 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7444 vsize=13980732 memory=25959 CPUtime=0.04 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) S 7444 7444 18108 0 -1 1077944384 123 0 0 0 3 1 0 0 20 0 15 0 18701634 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139944402762256 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7444 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7444 7444 18108 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 18701635 14316269568 57853 18446744073709551615 4194304 4196468 140728550541056 139943815375472 139944471497346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7444 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6

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

Current children cumulated CPU time: 2521.17 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11309412 KiB

[startup+722.401 s]
/proc/loadavg: 4.84 4.71 3.98 6/214 7513
/proc/meminfo: memFree=17606328/32770624 swapFree=67108860/67108860
[pid=7446] ppid=7441 vsize=13980732 memory=11309412 CPUtime=2524.27 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7441 7444 18108 0 -1 1077944320 3391726 0 0 0 250818 1609 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3495183 2827353 3261 1 0 3483476 0
[pid=7446/tid=7447] ppid=7441 vsize=13980732 memory=11309412 CPUtime=93.33 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) S 7441 7444 18108 0 -1 1077944384 52828 0 0 0 9318 15 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944475724752 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7441 vsize=13980732 memory=1376 CPUtime=604.24 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) R 7441 7444 18108 0 -1 4202560 1001353 0 0 0 60029 395 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944405919728 139944464114407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7441 vsize=13980732 memory=11309412 CPUtime=604.34 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) R 7441 7444 18108 0 -1 4202560 630589 0 0 0 60053 381 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944404867232 139944456436896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7441 vsize=13980732 memory=1380 CPUtime=603.14 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) R 7441 7444 18108 0 -1 4202560 524861 0 0 0 59932 382 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944403814952 139944464114407 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7441 vsize=13980732 memory=11309412 CPUtime=603.11 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) R 7441 7444 18108 0 -1 4202560 1001089 0 0 0 59899 412 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944402762152 139944464114407 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7441 vsize=13980732 memory=1376 CPUtime=7.66 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7441 7444 18108 0 -1 1077944384 158136 0 0 0 759 7 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943815373792 139944471496405 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7441 7444 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943814321504 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7441 7444 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 18701636 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943813269120 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7441 vsize=13980732 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7441 7444 18108 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943812217072 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7441 vsize=13980732 memory=844 CPUtime=3.55 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7441 7444 18108 0 -1 1077944384 7401 0 0 0 353 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7441 vsize=13980732 memory=7680170660397595203 CPUtime=3.64 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7441 7444 18108 0 -1 1077944384 9145 0 0 0 362 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7441 vsize=13980732 memory=4616 CPUtime=0.84 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7441 7444 18108 0 -1 1077944384 4149 0 0 0 83 1 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7441 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7441 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7441 vsize=13980732 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7441 7444 18108 0 -1 1077944384 865 0 0 0 21 12 0 0 20 0 15 0 18701642 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current cumulated CPU time of completed processes: 0.002782 s
Current children cumulated CPU time: 2524.27 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11309412 KiB

[startup+722.801 s]
/proc/loadavg: 4.84 4.71 3.98 6/214 7513
/proc/meminfo: memFree=17606328/32770624 swapFree=67108860/67108860
[pid=7446] ppid=7441 vsize=13980732 memory=11309412 CPUtime=2525.82 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7441 7444 18108 0 -1 1077944320 3391726 0 0 0 250973 1609 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3495183 2827353 3261 1 0 3483476 0
[pid=7446/tid=7447] ppid=7441 vsize=13980732 memory=7680170660397595203 CPUtime=93.33 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) S 7441 7444 18108 0 -1 1077944384 52828 0 0 0 9318 15 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944475724752 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7441 vsize=13980732 memory=4584 CPUtime=604.62 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) R 7441 7444 18108 0 -1 4202560 1001353 0 0 0 60067 395 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944405919728 139944464114407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7441 vsize=13980732 memory=3908 CPUtime=604.74 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) R 7441 7444 18108 0 -1 4202560 630589 0 0 0 60093 381 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944404867232 139944456437365 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7441 vsize=13980732 memory=-7677926825137650786 CPUtime=603.54 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) R 7441 7444 18108 0 -1 4202560 524861 0 0 0 59971 383 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944403814640 139944464114407 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7441 vsize=13980732 memory=-7003737579269690708 CPUtime=603.49 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) R 7441 7444 18108 0 -1 4202560 1001089 0 0 0 59937 412 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944402762152 139944464114407 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7441 vsize=13980732 memory=1376 CPUtime=7.66 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7441 7444 18108 0 -1 1077944384 158136 0 0 0 759 7 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943815373792 139944471496405 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7441 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7441 7444 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943814321504 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7441 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7441 7444 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 18701636 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943813269120 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7441 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7441 7444 18108 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943812217072 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7441 vsize=13980732 memory=11309412 CPUtime=3.55 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7441 7444 18108 0 -1 1077944384 7401 0 0 0 353 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7441 vsize=13980732 memory=288230574492221466 CPUtime=3.64 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7441 7444 18108 0 -1 1077944384 9145 0 0 0 362 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7441 vsize=13980732 memory=288230604624101684 CPUtime=0.84 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7441 7444 18108 0 -1 1077944384 4149 0 0 0 83 1 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7441 vsize=13980732 memory=13855153002382685 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7441 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7441 vsize=13980732 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7441 7444 18108 0 -1 1077944384 865 0 0 0 21 12 0 0 20 0 15 0 18701642 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current cumulated CPU time of completed processes: 0.002782 s
Current children cumulated CPU time: 2525.82 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11309412 KiB

[startup+723.201 s]
/proc/loadavg: 4.84 4.71 3.98 5/214 7513
/proc/meminfo: memFree=17606604/32770624 swapFree=67108860/67108860
[pid=7446] ppid=7441 vsize=13980732 memory=11309412 CPUtime=2527.38 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7441 7444 18108 0 -1 1077944320 3391726 0 0 0 251128 1610 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3495183 2827353 3261 1 0 3483476 0
[pid=7446/tid=7447] ppid=7441 vsize=13980732 memory=11309412 CPUtime=93.33 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) S 7441 7444 18108 0 -1 1077944384 52828 0 0 0 9318 15 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944475724752 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7441 vsize=13980732 memory=11309412 CPUtime=605 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) R 7441 7444 18108 0 -1 4202560 1001353 0 0 0 60105 395 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944405919728 139944464114407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7441 vsize=13980732 memory=1376 CPUtime=605.14 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) R 7441 7444 18108 0 -1 4202560 630589 0 0 0 60133 381 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944404867232 139944453082747 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7441 vsize=13980732 memory=11309412 CPUtime=603.92 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) R 7441 7444 18108 0 -1 4202560 524861 0 0 0 60009 383 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944403814640 139944464114407 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7441 vsize=13980732 memory=1376 CPUtime=603.88 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) R 7441 7444 18108 0 -1 4202560 1001089 0 0 0 59975 413 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944402762152 139944464114407 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7441 vsize=13980732 memory=11309344 CPUtime=7.66 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7441 7444 18108 0 -1 1077944384 158136 0 0 0 759 7 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943815373792 139944471496405 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7441 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7441 7444 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943814321504 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7441 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7441 7444 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 18701636 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943813269120 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7441 vsize=13980732 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7441 7444 18108 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943812217072 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7441 vsize=13980732 memory=1732 CPUtime=3.55 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7441 7444 18108 0 -1 1077944384 7401 0 0 0 353 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7441 vsize=13980732 memory=11309412 CPUtime=3.64 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7441 7444 18108 0 -1 1077944384 9145 0 0 0 362 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7441 vsize=13980732 memory=1376 CPUtime=0.84 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7441 7444 18108 0 -1 1077944384 4149 0 0 0 83 1 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7441 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7441 vsize=13980732 memory=57939 CPUtime=0.33 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7441 7444 18108 0 -1 1077944384 865 0 0 0 21 12 0 0 20 0 15 0 18701642 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current cumulated CPU time of completed processes: 0.002782 s
Current children cumulated CPU time: 2527.38 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11309412 KiB

[startup+723.301 s]
/proc/loadavg: 4.84 4.71 3.98 5/214 7513
/proc/meminfo: memFree=17606604/32770624 swapFree=67108860/67108860
[pid=7446] ppid=7441 vsize=13980732 memory=11309412 CPUtime=2527.76 cores=0,2,4,6
/proc/7446/stat : 7446 (java) S 7441 7444 18108 0 -1 1077944320 3391726 0 0 0 251166 1610 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 140728550523600 139944471486199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
/proc/7446/statm: 3495183 2827353 3261 1 0 3483476 0
[pid=7446/tid=7447] ppid=7441 vsize=13980732 memory=11309412 CPUtime=93.33 cores=0,2,4,6
/proc/7446/task/7447/stat : 7447 (java) S 7441 7444 18108 0 -1 1077944384 52828 0 0 0 9318 15 0 0 20 0 15 0 18701633 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944475724752 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7448] ppid=7441 vsize=13980732 memory=11309412 CPUtime=605.1 cores=0,2,4,6
/proc/7446/task/7448/stat : 7448 (java) R 7441 7444 18108 0 -1 4202560 1001353 0 0 0 60115 395 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944405919728 139944464114407 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7449] ppid=7441 vsize=13980732 memory=11309412 CPUtime=605.24 cores=0,2,4,6
/proc/7446/task/7449/stat : 7449 (java) R 7441 7444 18108 0 -1 4202560 630589 0 0 0 60143 381 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944404867232 139944456436804 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7450] ppid=7441 vsize=13980732 memory=11309412 CPUtime=604.01 cores=0,2,4,6
/proc/7446/task/7450/stat : 7450 (java) R 7441 7444 18108 0 -1 4202560 524861 0 0 0 60018 383 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944403814640 139944464114407 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7451] ppid=7441 vsize=13980732 memory=1376 CPUtime=603.97 cores=0,2,4,6
/proc/7446/task/7451/stat : 7451 (java) R 7441 7444 18108 0 -1 4202560 1001089 0 0 0 59984 413 0 0 20 0 15 0 18701634 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139944402762152 139944464114407 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7452] ppid=7441 vsize=13980732 memory=11309412 CPUtime=7.66 cores=0,2,4,6
/proc/7446/task/7452/stat : 7452 (java) S 7441 7444 18108 0 -1 1077944384 158136 0 0 0 759 7 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943815373792 139944471496405 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7453] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7453/stat : 7453 (java) S 7441 7444 18108 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 18701635 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943814321504 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7454] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7454/stat : 7454 (java) S 7441 7444 18108 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 18701636 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943813269120 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7455] ppid=7441 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7455/stat : 7455 (java) S 7441 7444 18108 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943812217072 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7456] ppid=7441 vsize=13980732 memory=11309412 CPUtime=3.55 cores=0,2,4,6
/proc/7446/task/7456/stat : 7456 (java) S 7441 7444 18108 0 -1 1077944384 7401 0 0 0 353 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943811164272 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7457] ppid=7441 vsize=13980732 memory=11309412 CPUtime=3.64 cores=0,2,4,6
/proc/7446/task/7457/stat : 7457 (java) S 7441 7444 18108 0 -1 1077944384 9145 0 0 0 362 2 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943810111472 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7458] ppid=7441 vsize=13980732 memory=11309412 CPUtime=0.84 cores=0,2,4,6
/proc/7446/task/7458/stat : 7458 (java) S 7441 7444 18108 0 -1 1077944384 4149 0 0 0 83 1 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943809059184 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7459] ppid=7441 vsize=13980732 memory=280584443188704 CPUtime=0 cores=0,2,4,6
/proc/7446/task/7459/stat : 7459 (java) S 7441 7444 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18701638 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943808006624 139944471496405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
[pid=7446/tid=7460] ppid=7441 vsize=13980732 memory=4128 CPUtime=0.33 cores=0,2,4,6
/proc/7446/task/7460/stat : 7460 (java) S 7441 7444 18108 0 -1 1077944384 865 0 0 0 21 12 0 0 20 0 15 0 18701642 14316269568 2827353 18446744073709551615 4194304 4196468 140728550541056 139943806954416 139944471497346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9211904 140728550543794 140728550543970 140728550543970 140728550547407 0
Current cumulated CPU time of completed processes: 0.002782 s
Current children cumulated CPU time: 2527.76 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11309412 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 723.421
CPU time (s): 2527.91
CPU user time (s): 2511.69
CPU system time (s): 16.2184
CPU usage (%): 349.438
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11310788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.69
system time used= 16.2184
maximum resident set size= 11309732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3392244
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75624
involuntary context switches= 42049


# summary of solver processes directly reported to runsolver:
#   pid: 7444,7446
#   total CPU time (s): 2527.91
#   total CPU user time (s): 2511.69
#   total CPU system time (s): 16.2184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95191 second user time and 6.8251 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-20 06:08:46
IDJOB=4283320
IDBENCH=126239
IDSOLVER=2679
FILE ID=node131/4283320-1503202946
RUNJOBID= node131-1503171558-2270
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-25-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283320-1503202946/watcher-4283320-1503202946 -o /tmp/evaluation-result-4283320-1503202946/solver-4283320-1503202946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 386872782 HOME/instance-4283320-1503202946.xml

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

MD5SUM BENCH= a6ebb4642302e72810e9d3407e53c8ef
RANDOM SEED=386872782

node131.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.69
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.69
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.69
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.69
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:        28929536 kB
MemAvailable:   29330360 kB
Buffers:          202020 kB
Cached:           486000 kB
SwapCached:            0 kB
Active:          2945556 kB
Inactive:         480004 kB
Active(anon):    2738144 kB
Inactive(anon):    16748 kB
Active(file):     207412 kB
Inactive(file):   463256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9180 kB
Writeback:             0 kB
AnonPages:       2737612 kB
Mapped:            45744 kB
Shmem:             17060 kB
Slab:             116924 kB
SReclaimable:      91984 kB
SUnreclaim:        24940 kB
KernelStack:        3488 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4436592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2590720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62012 MiB
End job on node131 at 2017-08-20 06:20:49