Trace number 4284029

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
choco-solver 5a (2017-08-18)? (TO) 2520.04 2445.6101

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-14.xml
MD5SUM1e3f519c957d5cb55b89b746c42a86fa
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 benchmark111.493
Satisfiable
(Un)Satisfiability was proved
Number of variables287
Number of constraints147
Number of domains2
Minimum domain size14
Maximum domain size91
Distribution of domain sizes[{"size":14,"count":196},{"size":91,"count":91}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":98},{"degree":4,"count":189}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}]
Number of extensional constraints91
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284029-1503216562.xml"  -tl '2520s' -p 1 -x 3
0.06/0.40	c [HOME/instance-4284029-1503216562.xml, -tl, 2520s, -p, 1, -x, 3]
0.24/0.46	c simple solver
0.42/0.53	c parse instance...
1.14/0.80	c solve instance...
2520.02/2445.60	s UNKNOWN
2520.02/2445.60	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284029-1503216562/watcher-4284029-1503216562 -o /tmp/evaluation-result-4284029-1503216562/solver-4284029-1503216562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2019297851 HOME/instance-4284029-1503216562.xml 

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

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


[startup+0.100174 s]*
/proc/loadavg: 1.79 1.72 1.69 3/203 30548
/proc/meminfo: memFree=28152988/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13574484 memory=16676 CPUtime=0.02 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 3970 0 0 0 2 0 0 0 20 0 9 0 123851258 13900271616 4104 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3393621 4169 2083 1 0 3383118 0
[pid=30543/tid=30544] ppid=30541 vsize=13574484 memory=-8713483618642457695 CPUtime=0.01 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 2681 0 0 0 1 0 0 0 20 0 9 0 123851259 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139682082382024 139682058422055 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 123851259 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13574484 memory=140515637655168 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123851259 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123851260 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123851260 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13574484 memory=140515637655168 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123851261 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 123851261 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 123851262 13900271616 4169 18446744073709551615 4194304 4196468 140727159229120 139681193776688 139682078156501 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18056 KiB

[startup+0.210095 s]*
/proc/loadavg: 1.81 1.73 1.69 2/211 30556
/proc/meminfo: memFree=28147764/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13907304 memory=22144 CPUtime=0.06 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 4954 0 0 0 5 1 0 0 20 0 14 0 123851258 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3476826 5536 2558 1 0 3466323 0
[pid=30543/tid=30544] ppid=30541 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) D 30541 30541 8557 0 -1 4202560 3120 0 0 0 4 0 0 0 20 0 14 0 123851259 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139682082383776 139682078168317 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13907304 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123851259 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13907304 memory=3761827317042575008 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 123851259 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123851260 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123851260 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13907304 memory=140515637655168 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123851261 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 123851261 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 123851262 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123851264 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 123851264 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 123851264 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13907304 memory=140515637655168 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 123851264 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123851264 14241079296 5536 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23524 KiB

[startup+0.310095 s]*
/proc/loadavg: 1.81 1.73 1.69 2/211 30556
/proc/meminfo: memFree=28147764/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13973868 memory=22144 CPUtime=0.06 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 4985 0 0 0 5 1 0 0 20 0 15 0 123851258 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3493467 5536 2558 1 0 3482964 0
[pid=30543/tid=30544] ppid=30541 vsize=13973868 memory=-8774313645642428999 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 3147 0 0 0 4 0 0 0 20 0 15 0 123851259 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139682082376048 139682070824309 0 4 1 16800974 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851259 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123851259 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851261 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123851261 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123851262 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 123851264 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 123851264 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) R 30541 30541 8557 0 -1 4202560 225 0 0 0 0 0 0 0 20 0 15 0 123851264 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078158230 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123851283 14309240832 5536 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23524 KiB

[startup+0.700771 s]
/proc/loadavg: 1.81 1.73 1.69 4/212 30557
/proc/meminfo: memFree=28128492/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13978684 memory=54972 CPUtime=0.83 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 11566 0 0 0 78 5 0 0 20 0 15 0 123851258 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3494671 13743 3146 1 0 3482964 0
[pid=30543/tid=30544] ppid=30541 vsize=13978684 memory=281030984659416 CPUtime=0.42 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 7982 0 0 0 39 3 0 0 20 0 15 0 123851259 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139682082358864 139682070824309 0 4 1 16800974 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851259 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123851259 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851261 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123851261 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123851262 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13978684 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 592 0 0 0 8 0 0 0 20 0 15 0 123851264 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13978684 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 15 0 123851264 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 1165 0 0 0 22 0 0 0 20 0 15 0 123851264 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13978684 memory=28 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123851283 14314172416 13743 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 56352 KiB

[startup+1.5011 s]
/proc/loadavg: 1.81 1.73 1.69 6/212 30557
/proc/meminfo: memFree=28100416/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13980732 memory=109296 CPUtime=3.43 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 22207 0 0 0 335 8 0 0 20 0 15 0 123851258 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3495183 27324 3190 1 0 3483476 0
[pid=30543/tid=30544] ppid=30541 vsize=13980732 memory=281030984753952 CPUtime=1.22 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 9886 0 0 0 118 4 0 0 20 0 15 0 123851259 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 139682082382808 139681685442350 0 4 1 16800974 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851259 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123851259 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13980732 memory=281030984503696 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13980732 memory=3181476 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123851260 14316269568 27324 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6

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

/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 123851262 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13980732 memory=1380 CPUtime=5.24 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 21802 0 0 0 522 2 0 0 20 0 15 0 123851264 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13980732 memory=651108 CPUtime=5.76 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 28145 0 0 0 573 3 0 0 20 0 15 0 123851264 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 12422 0 0 0 88 3 0 0 20 0 15 0 123851264 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13980732 memory=651112 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13980732 memory=-8774313645642428999 CPUtime=1.25 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1531 0 0 0 60 65 0 0 20 0 15 0 123851283 14316269568 162777 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 2393.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 652488 KiB

[startup+2382.3 s]
/proc/loadavg: 1.69 1.72 1.75 3/211 30798
/proc/meminfo: memFree=30427104/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13980732 memory=598436 CPUtime=2455.2 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 320069 0 0 0 244790 730 0 0 20 0 15 0 123851258 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3495183 149609 3261 1 0 3483476 0
[pid=30543/tid=30544] ppid=30541 vsize=13980732 memory=596320 CPUtime=2359.83 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 93407 0 0 0 235963 20 0 0 20 0 15 0 123851259 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139682082385712 139681687216748 0 4 1 16800974 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13980732 memory=1380 CPUtime=20.18 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 20216 0 0 0 1861 157 0 0 20 0 15 0 123851259 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13980732 memory=598436 CPUtime=20.2 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 21459 0 0 0 1861 159 0 0 20 0 15 0 123851259 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13980732 memory=598436 CPUtime=20.18 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 19887 0 0 0 1861 157 0 0 20 0 15 0 123851260 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13980732 memory=1380 CPUtime=20.17 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 20268 0 0 0 1860 157 0 0 20 0 15 0 123851260 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13980732 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 79565 0 0 0 111 22 0 0 20 0 15 0 123851261 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 123851261 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13980732 memory=559408 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 123851262 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13980732 memory=1380 CPUtime=5.24 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 21803 0 0 0 522 2 0 0 20 0 15 0 123851264 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13980732 memory=1380 CPUtime=5.76 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 28145 0 0 0 573 3 0 0 20 0 15 0 123851264 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13980732 memory=535196 CPUtime=0.91 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 12422 0 0 0 88 3 0 0 20 0 15 0 123851264 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13980732 memory=598436 CPUtime=1.28 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1544 0 0 0 61 67 0 0 20 0 15 0 123851283 14316269568 149609 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 2455.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 599816 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.65 1.73 3/211 30800
/proc/meminfo: memFree=30373488/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13980732 memory=522448 CPUtime=2516.66 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 321855 0 0 0 250926 740 0 0 20 0 15 0 123851258 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3495183 130612 3261 1 0 3483476 0
[pid=30543/tid=30544] ppid=30541 vsize=13980732 memory=1380 CPUtime=2419.29 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 93828 0 0 0 241908 21 0 0 20 0 15 0 123851259 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139682082386048 139681689414049 0 4 1 16800974 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13980732 memory=526040 CPUtime=20.67 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 20301 0 0 0 1908 159 0 0 20 0 15 0 123851259 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13980732 memory=536816 CPUtime=20.68 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 21584 0 0 0 1906 162 0 0 20 0 15 0 123851259 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13980732 memory=535788 CPUtime=20.67 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 19973 0 0 0 1908 159 0 0 20 0 15 0 123851260 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13980732 memory=532708 CPUtime=20.65 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 20375 0 0 0 1906 159 0 0 20 0 15 0 123851260 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13980732 memory=532708 CPUtime=1.37 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 80499 0 0 0 115 22 0 0 20 0 15 0 123851261 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13980732 memory=528604 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 123851261 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13980732 memory=526040 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 123851262 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13980732 memory=608636 CPUtime=5.24 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 21805 0 0 0 522 2 0 0 20 0 15 0 123851264 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13980732 memory=1380 CPUtime=5.77 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 28147 0 0 0 574 3 0 0 20 0 15 0 123851264 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13980732 memory=528604 CPUtime=0.91 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 12424 0 0 0 88 3 0 0 20 0 15 0 123851264 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13980732 memory=526040 CPUtime=1.31 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1566 0 0 0 63 68 0 0 20 0 15 0 123851283 14316269568 130612 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 2516.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 523828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445.6 s]
/proc/loadavg: 1.47 1.65 1.73 3/211 30800
/proc/meminfo: memFree=30372864/32770624 swapFree=67105588/67108860
[pid=30541] ppid=30538 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30541/stat : 30541 (xcsp3-exec) S 30538 30541 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123851251 9740288 345 18446744073709551615 4194304 5098028 140726013674208 140726013672312 140300856824444 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30511104 140726013682040 140726013682245 140726013682245 140726013685739 0
/proc/30541/statm: 2378 345 289 221 0 87 0
[pid=30543] ppid=30541 vsize=13980732 memory=517832 CPUtime=2520.02 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30541 8557 0 -1 1077944320 321874 0 0 0 251262 740 0 0 20 0 15 0 123851258 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 140727159211664 139682078146295 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
/proc/30543/statm: 3495183 129458 3261 1 0 3483476 0
[pid=30543/tid=30544] ppid=30541 vsize=13980732 memory=-8774313645642428999 CPUtime=2422.57 cores=0,2,4,6
/proc/30543/task/30544/stat : 30544 (java) R 30541 30541 8557 0 -1 4202560 93830 0 0 0 242236 21 0 0 20 0 15 0 123851259 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139682082385776 139681687943649 0 4 1 16800974 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30545] ppid=30541 vsize=13980732 memory=5768 CPUtime=20.69 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30541 8557 0 -1 1077944384 20303 0 0 0 1910 159 0 0 20 0 15 0 123851259 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139682012580112 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30546] ppid=30541 vsize=13980732 memory=4584 CPUtime=20.7 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30541 8557 0 -1 1077944384 21587 0 0 0 1908 162 0 0 20 0 15 0 123851259 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139682011527568 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30547] ppid=30541 vsize=13980732 memory=872 CPUtime=20.69 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30541 8557 0 -1 1077944384 19975 0 0 0 1910 159 0 0 20 0 15 0 123851260 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139682010475024 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30548] ppid=30541 vsize=13980732 memory=1380 CPUtime=20.67 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30541 8557 0 -1 1077944384 20375 0 0 0 1908 159 0 0 20 0 15 0 123851260 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139682009422480 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30549] ppid=30541 vsize=13980732 memory=517832 CPUtime=1.37 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30541 8557 0 -1 1077944384 80509 0 0 0 115 22 0 0 20 0 15 0 123851261 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681263405552 139682078157442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30550] ppid=30541 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30541 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 123851261 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681194829216 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30551] ppid=30541 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30541 8557 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 123851262 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681193776624 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30552] ppid=30541 vsize=13980732 memory=1672 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681192725200 139682078164891 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30553] ppid=30541 vsize=13980732 memory=1992 CPUtime=5.24 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30541 8557 0 -1 1077944384 21805 0 0 0 522 2 0 0 20 0 15 0 123851264 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681191671792 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30554] ppid=30541 vsize=13980732 memory=1164 CPUtime=5.77 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30541 8557 0 -1 1077944384 28147 0 0 0 574 3 0 0 20 0 15 0 123851264 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681190619248 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30555] ppid=30541 vsize=13980732 memory=7352 CPUtime=0.91 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30541 8557 0 -1 1077944384 12424 0 0 0 88 3 0 0 20 0 15 0 123851264 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681189566704 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30556] ppid=30541 vsize=13980732 memory=1628 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30541 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123851264 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681188514400 139682078156501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
[pid=30543/tid=30557] ppid=30541 vsize=13980732 memory=14340 CPUtime=1.31 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30541 8557 0 -1 1077944384 1566 0 0 0 63 68 0 0 20 0 15 0 123851283 14316269568 129458 18446744073709551615 4194304 4196468 140727159229120 139681187461936 139682078157442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140727159230897 140727159231073 140727159231073 140727159234511 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 519212 KiB

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

[startup+2445.61 s]
# the end of solver process 30541 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001931 s, system=0 s

[startup+2445.61 s]
# the end of solver process 30543 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.63 s, system=7.41253 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2445.61
CPU time (s): 2520.04
CPU user time (s): 2512.63
CPU system time (s): 7.41253
CPU usage (%): 103.043
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 832816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.63
system time used= 7.41253
maximum resident set size= 840156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75279
involuntary context switches= 4706


# summary of solver processes directly reported to runsolver:
#   pid: 30541,30543
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2512.63
#   total CPU system time (s): 7.41253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0019 second user time and 20.3104 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-20 09:55:17
IDJOB=4284029
IDBENCH=133923
IDSOLVER=2679
FILE ID=node126/4284029-1503216562
RUNJOBID= node126-1503172173-21712
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.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-4284029-1503216562/watcher-4284029-1503216562 -o /tmp/evaluation-result-4284029-1503216562/solver-4284029-1503216562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2019297851 HOME/instance-4284029-1503216562.xml

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

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=2019297851

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.81
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.81
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.81
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.81
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:        28160128 kB
MemAvailable:   28777820 kB
Buffers:          320284 kB
Cached:           588172 kB
SwapCached:          524 kB
Active:          3750664 kB
Inactive:         382908 kB
Active(anon):    3181400 kB
Inactive(anon):    93904 kB
Active(file):     569264 kB
Inactive(file):   289004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              7976 kB
Writeback:             0 kB
AnonPages:       3365472 kB
Mapped:            73336 kB
Shmem:             49824 kB
Slab:             177344 kB
SReclaimable:     150516 kB
SUnreclaim:        26828 kB
KernelStack:        3776 kB
PageTables:        11844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4794112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3246080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node126 at 2017-08-20 10:36:03