Trace number 4271091

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 4.0.5 par (2017-08-09)UNSAT 3.8497 1.09551

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-07-05.xml
MD5SUMa282a8fb153ed79554c4eff8d77ac5b6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.23328599
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints35
Number of domains2
Minimum domain size6
Maximum domain size7
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":35}]
Minimum variable degree1
Maximum variable degree7
Distribution of variable degrees[{"degree":1,"count":28},{"degree":2,"count":7},{"degree":7,"count":7}]
Minimum constraint arity2
Maximum constraint arity5
Distribution of constraint arities[{"arity":2,"count":28},{"arity":5,"count":7}]
Number of extensional constraints35
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":35}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271091-1502767967.xml"  -tl '20160s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4271091-1502767967.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.22/0.88	c solve instance...
3.32/1.07	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271091-1502767967/watcher-4271091-1502767967 -o /tmp/evaluation-result-4271091-1502767967/solver-4271091-1502767967 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2066452644 HOME/instance-4271091-1502767967.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=13611, runsolver pid=13608

[startup+0.100112 s]*
/proc/loadavg: 8.34 8.90 8.83 2/198 13632
/proc/meminfo: memFree=26923444/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=25999808 memory=26204 CPUtime=0.12 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 5467 0 0 0 11 1 0 0 20 0 20 0 109884447 26623803392 6551 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6499952 6551 2848 1 0 6488269 0
[pid=13613/tid=13614] ppid=13611 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 13022 0 -1 4202560 3474 0 0 0 8 0 0 0 20 0 20 0 109884447 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490691712816 140490671523173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=25999808 memory=139899129677440 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884448 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884449 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109884450 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109884450 26623803392 6551 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884452 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 13022 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 109884452 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489944750832 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884452 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489943698288 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) S 13611 13611 13022 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 109884452 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489942645232 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) R 13611 13611 13022 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 109884452 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489941592688 140490687491478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884453 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884453 26623803392 6551 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB

[startup+0.209939 s]*
/proc/loadavg: 8.34 8.90 8.83 3/198 13632
/proc/meminfo: memFree=26913352/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=26004064 memory=38812 CPUtime=0.33 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 8269 0 0 0 31 2 0 0 20 0 20 0 109884447 26628161536 9703 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6501016 9703 3062 1 0 6488269 0
[pid=13613/tid=13614] ppid=13611 vsize=26004064 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 13022 0 -1 4202560 5381 0 0 0 18 1 0 0 20 0 20 0 109884447 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490691684816 140490671560030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=26004064 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=26004064 memory=139899130157711 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884449 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109884450 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109884450 26628161536 9703 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884452 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 13022 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 20 0 109884452 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489944750832 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=26004064 memory=0 CPUtime=0.03 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) S 13611 13611 13022 0 -1 1077944384 269 0 0 0 3 0 0 0 20 0 20 0 109884452 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489943698288 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) S 13611 13611 13022 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 109884452 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489942645232 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) S 13611 13611 13022 0 -1 1077944384 783 0 0 0 7 0 0 0 20 0 20 0 109884452 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489941592688 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884453 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884453 26628161536 9703 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40192 KiB

[startup+0.309294 s]*
/proc/loadavg: 7.83 8.78 8.79 4/198 13632
/proc/meminfo: memFree=26905332/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=26004064 memory=46100 CPUtime=0.5 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 9234 0 0 0 47 3 0 0 20 0 20 0 109884447 26628161536 11525 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6501016 11525 3111 1 0 6488269 0
[pid=13613/tid=13614] ppid=13611 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 13022 0 -1 4202560 6083 0 0 0 27 2 0 0 20 0 20 0 109884447 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490691705776 140490687501469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=26004064 memory=139899030301359 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=26004064 memory=139899030303664 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=26004064 memory=139899030305968 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884448 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884449 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=26004064 memory=279798060625808 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109884450 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=26004064 memory=279798060623504 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109884450 26628161536 11525 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=26004064 memory=279798060630416 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884452 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=26004064 memory=279798060571696 CPUtime=0.01 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 13022 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 20 0 109884452 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489944750832 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=26004064 memory=279798060644240 CPUtime=0.04 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) S 13611 13611 13022 0 -1 1077944384 313 0 0 0 4 0 0 0 20 0 20 0 109884452 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489943698288 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=26004064 memory=279798060651152 CPUtime=0.01 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) S 13611 13611 13022 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 109884452 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489942645232 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=26004064 memory=279798060648848 CPUtime=0.12 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) S 13611 13611 13022 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 109884452 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489941592688 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884453 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884453 26628161536 11525 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47480 KiB

[startup+0.700866 s]
/proc/loadavg: 7.83 8.78 8.79 5/198 13632
/proc/meminfo: memFree=26880456/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=26006188 memory=120072 CPUtime=1.99 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 13450 0 0 0 194 5 0 0 20 0 20 0 109884447 26630336512 30018 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6501547 30018 3201 1 0 6488781 0
[pid=13613/tid=13614] ppid=13611 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 13022 0 -1 4202560 6653 0 0 0 64 3 0 0 20 0 20 0 109884447 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490691718048 140490687491478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=26006188 memory=2353 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=26006188 memory=1732 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=26006188 memory=1944 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=26006188 memory=1700 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=26006188 memory=5428 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=26006188 memory=4624 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=26006188 memory=1424 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109884449 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=26006188 memory=13056 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109884450 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=26006188 memory=792 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109884450 26630336512 30018 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884452 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=26006188 memory=10652 CPUtime=0.31 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) R 13611 13611 13022 0 -1 4202560 1436 0 0 0 31 0 0 0 20 0 20 0 109884452 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489944736856 140490672587221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=26006188 memory=1204 CPUtime=0.34 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) R 13611 13611 13022 0 -1 4202560 1362 0 0 0 34 0 0 0 20 0 20 0 109884452 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489943689616 140490665455058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=26006188 memory=15872 CPUtime=0.31 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) R 13611 13611 13022 0 -1 4202560 1024 0 0 0 31 0 0 0 20 0 20 0 109884452 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489942631152 140490670866031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=26006188 memory=16444 CPUtime=0.31 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) R 13611 13611 13022 0 -1 4202560 1663 0 0 0 31 0 0 0 20 0 20 0 109884452 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489941592688 140490671560030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=26006188 memory=4052 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884453 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=26006188 memory=17488 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884453 26630336512 30018 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 121452 KiB

[startup+1.09546 s]
# the end of solver process 13611 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.72488 s, system=0.124822 s

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

[startup+0.801093 s]
/proc/loadavg: 7.83 8.78 8.79 5/198 13632
/proc/meminfo: memFree=26880456/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=26006188 memory=155440 CPUtime=2.22 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 13591 0 0 0 216 6 0 0 20 0 20 0 109884447 26630336512 38860 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6501547 38860 3201 1 0 6488781 0
[pid=13613/tid=13614] ppid=13611 vsize=26006188 memory=0 CPUtime=0.77 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) R 13611 13611 13022 0 -1 4202560 6676 0 0 0 73 4 0 0 20 0 20 0 109884447 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490691715328 140490279838802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=26006188 memory=279798060662592 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=26006188 memory=1700 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=26006188 memory=5428 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=26006188 memory=4624 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=26006188 memory=1424 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=26006188 memory=7518026621751088995 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=26006188 memory=7881696724453321575 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884448 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=26006188 memory=5787213835721533265 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109884449 26630336512 38860 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=26006188 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109884450 26630336512 39372 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=26006188 memory=-9101905003917188469 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109884450 26630336512 39372 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=26006188 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884452 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=26006188 memory=4137293581110450563 CPUtime=0.33 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) R 13611 13611 13022 0 -1 4202560 1446 0 0 0 33 0 0 0 20 0 20 0 109884452 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489944739824 140490669000825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=26006188 memory=279798060476384 CPUtime=0.37 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) S 13611 13611 13022 0 -1 1077944384 1376 0 0 0 37 0 0 0 20 0 20 0 109884452 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489943698288 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=26006188 memory=0 CPUtime=0.35 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) S 13611 13611 13022 0 -1 1077944384 1042 0 0 0 35 0 0 0 20 0 20 0 109884452 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489942645232 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=26006188 memory=31716 CPUtime=0.35 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) R 13611 13611 13022 0 -1 4202560 1740 0 0 0 35 0 0 0 20 0 20 0 109884452 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489941589624 140490679716670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=26006188 memory=-7361174377247368086 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109884453 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109884453 26630336512 39372 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 156820 KiB

[startup+1.00523 s]*
/proc/loadavg: 7.83 8.78 8.79 12/206 13640
/proc/meminfo: memFree=26752120/32770624 swapFree=67108860/67108860
[pid=13611] ppid=13608 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/13611/stat : 13611 (xcsp3-exec) S 13608 13611 13022 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109884446 9740288 345 33554432000 4194304 5098028 140731557604208 140731557602312 140529668256380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18624512 140731557610596 140731557610807 140731557610807 140731557613547 0
/proc/13611/statm: 2378 345 289 221 0 87 0
[pid=13613] ppid=13611 vsize=26538700 memory=198952 CPUtime=3.32 cores=0-7
/proc/13613/stat : 13613 (java) S 13611 13611 13022 0 -1 1077944320 14686 0 0 0 321 11 0 0 20 0 28 0 109884447 27175628800 49738 33554432000 4194304 4196468 140728675358528 140728675341072 140490687479543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
/proc/13613/statm: 6634675 49738 3228 1 0 6621909 0
[pid=13613/tid=13614] ppid=13611 vsize=26538700 memory=0 CPUtime=0.85 cores=0-7
/proc/13613/task/13614/stat : 13614 (java) S 13611 13611 13022 0 -1 1077944384 6756 0 0 0 81 4 0 0 20 0 28 0 109884447 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490691720320 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13615] ppid=13611 vsize=26538700 memory=6055754100375565022 CPUtime=0 cores=0-7
/proc/13613/task/13615/stat : 13615 (java) S 13611 13611 13022 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490246031888 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13616] ppid=13611 vsize=26538700 memory=3473313651113326259 CPUtime=0 cores=0-7
/proc/13613/task/13616/stat : 13616 (java) S 13611 13611 13022 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490244979344 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13617] ppid=13611 vsize=26538700 memory=3472328304868209716 CPUtime=0 cores=0-7
/proc/13613/task/13617/stat : 13617 (java) S 13611 13611 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490243926288 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13618] ppid=13611 vsize=26538700 memory=7956567955459234152 CPUtime=0 cores=0-7
/proc/13613/task/13618/stat : 13618 (java) S 13611 13611 13022 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490242873744 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13619] ppid=13611 vsize=26538700 memory=7019537685310172007 CPUtime=0 cores=0-7
/proc/13613/task/13619/stat : 13619 (java) S 13611 13611 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490241821712 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13620] ppid=13611 vsize=26538700 memory=8318255677412212789 CPUtime=0 cores=0-7
/proc/13613/task/13620/stat : 13620 (java) S 13611 13611 13022 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490240769168 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13621] ppid=13611 vsize=26538700 memory=301741386410230113 CPUtime=0 cores=0-7
/proc/13613/task/13621/stat : 13621 (java) S 13611 13611 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490239716112 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13622] ppid=13611 vsize=26538700 memory=3929742966909318432 CPUtime=0 cores=0-7
/proc/13613/task/13622/stat : 13622 (java) S 13611 13611 13022 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 109884448 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490238663568 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13623] ppid=13611 vsize=26538700 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/13613/task/13623/stat : 13623 (java) S 13611 13611 13022 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 109884449 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490195536112 140490687490690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13624] ppid=13611 vsize=26538700 memory=-7531822216213012384 CPUtime=0 cores=0-7
/proc/13613/task/13624/stat : 13624 (java) S 13611 13611 13022 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 109884450 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490194482336 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13625] ppid=13611 vsize=26538700 memory=6944656592455360608 CPUtime=0 cores=0-7
/proc/13613/task/13625/stat : 13625 (java) S 13611 13611 13022 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109884450 27175628800 49738 33554432000 4194304 4196468 140728675358528 140490193429232 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13626] ppid=13611 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/13613/task/13626/stat : 13626 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109884452 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489945802704 140490687498139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13627] ppid=13611 vsize=26538700 memory=0 CPUtime=0.41 cores=0-7
/proc/13613/task/13627/stat : 13627 (java) S 13611 13611 13022 0 -1 1077944384 1492 0 0 0 41 0 0 0 20 0 28 0 109884452 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489944738944 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13628] ppid=13611 vsize=26538700 memory=0 CPUtime=0.5 cores=0-7
/proc/13613/task/13628/stat : 13628 (java) R 13611 13611 13022 0 -1 4202560 1524 0 0 0 50 0 0 0 20 0 28 0 109884452 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489943685136 140490671390072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13629] ppid=13611 vsize=26538700 memory=0 CPUtime=0.43 cores=0-7
/proc/13613/task/13629/stat : 13629 (java) R 13611 13611 13022 0 -1 1077944384 1060 0 0 0 43 0 0 0 20 0 28 0 109884452 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489942632864 140490687489749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13630] ppid=13611 vsize=26538700 memory=279798060538984 CPUtime=0.44 cores=0-7
/proc/13613/task/13630/stat : 13630 (java) S 13611 13611 13022 0 -1 1077944384 2064 0 0 0 44 0 0 0 20 0 28 0 109884452 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489941591872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13631] ppid=13611 vsize=26538700 memory=-9110635228796802480 CPUtime=0 cores=0-7
/proc/13613/task/13631/stat : 13631 (java) S 13611 13611 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109884453 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489940539872 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13632] ppid=13611 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13613/task/13632/stat : 13632 (java) S 13611 13611 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109884453 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489939487408 140490687490690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13633] ppid=13611 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/13613/task/13633/stat : 13633 (java) R 13611 13611 13022 0 -1 4202560 45 0 0 0 6 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489931478192 140490280857721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13634] ppid=13611 vsize=26538700 memory=139903424644735 CPUtime=0.08 cores=0-7
/proc/13613/task/13634/stat : 13634 (java) R 13611 13611 13022 0 -1 4202560 63 0 0 0 8 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489930423616 140490280847572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13635] ppid=13611 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/13613/task/13635/stat : 13635 (java) S 13611 13611 13022 0 -1 1077944384 66 0 0 0 5 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489929372048 140490687489749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13636] ppid=13611 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/13613/task/13636/stat : 13636 (java) R 13611 13611 13022 0 -1 4202560 41 0 0 0 8 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489928318424 140490280858774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13637] ppid=13611 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/13613/task/13637/stat : 13637 (java) R 13611 13611 13022 0 -1 1077944384 34 0 0 0 6 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489927266944 140490687489749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13638] ppid=13611 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/13613/task/13638/stat : 13638 (java) R 13611 13611 13022 0 -1 4202560 42 0 0 0 5 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489926216232 140490280858774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13639] ppid=13611 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/13613/task/13639/stat : 13639 (java) R 13611 13611 13022 0 -1 4202560 29 0 0 0 7 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140489925160368 140490280849197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
[pid=13613/tid=13640] ppid=13611 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/13613/task/13640/stat : 13640 (java) R 13611 13611 13022 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 28 0 109884536 27175628800 49738 33554432000 4194304 4196468 140728675358528 140488867300784 140490280849855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728675366034 140728675366211 140728675366211 140728675368911 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 200332 KiB

Child status: 0
Real time (s): 1.09551
CPU time (s): 3.8497
CPU user time (s): 3.72488
CPU system time (s): 0.124822
CPU usage (%): 351.407
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 200332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.72488
system time used= 0.124822
maximum resident set size= 204876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2596
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 13611
#   total CPU time (s): 3.8497
#   total CPU user time (s): 3.72488
#   total CPU system time (s): 0.124822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025146 second user time and 0.0573 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-15 05:18:28
IDJOB=4271091
IDBENCH=134315
IDSOLVER=2662
FILE ID=node114/4271091-1502767967
RUNJOBID= node114-1502762059-13049
PBS_JOBID= 20629089
Free space on /tmp= 61700 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-07-05.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271091-1502767967/watcher-4271091-1502767967 -o /tmp/evaluation-result-4271091-1502767967/solver-4271091-1502767967 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2066452644 HOME/instance-4271091-1502767967.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= a282a8fb153ed79554c4eff8d77ac5b6
RANDOM SEED=2066452644

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        26939724 kB
MemAvailable:   31987032 kB
Buffers:          209008 kB
Cached:          5125940 kB
SwapCached:            0 kB
Active:           472000 kB
Inactive:        4917184 kB
Active(anon):      57024 kB
Inactive(anon):    25124 kB
Active(file):     414976 kB
Inactive(file):  4892060 kB
Unevictable:        6432 kB
Mlocked:            6432 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7940 kB
Writeback:             0 kB
AnonPages:        151924 kB
Mapped:            45716 kB
Shmem:             25224 kB
Slab:             137820 kB
SReclaimable:     112216 kB
SUnreclaim:        25604 kB
KernelStack:        3664 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     321968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61692 MiB
End job on node114 at 2017-08-15 05:18:29