Trace number 4405047

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallel? (TO) 731.706 252.182

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763735
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405047-1569014290.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405047-1569014290.xml, -tl, 2016s, -p, 8]
0.33/0.23	c 8 solvers in parallel
0.33/0.29	c parse instance...
731.51/252.01	s UNKNOWN
731.51/252.01	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 (12114 MiB free)
  memory of node 1: 16384 MiB (11646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405047-1569014290/watcher-4405047-1569014290 -o /tmp/evaluation-result-4405047-1569014290/solver-4405047-1569014290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569005959-11159 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2016973486 HOME/instance-4405047-1569014290.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13687, runsolver pid=13684

[startup+0.100115 s]*
/proc/loadavg: 7.54 7.93 8.10 3/211 13708
/proc/meminfo: memFree=24317520/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28227396 memory=27580 CPUtime=0.12 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 5921 0 0 0 11 1 0 0 20 0 20 0 477700603 28904853504 6895 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7056849 6895 3114 1 0 7019032 0
[pid=13689/tid=13690] ppid=13687 vsize=28227396 memory=8113123061847204511 CPUtime=0.08 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) R 13687 13687 11132 0 -1 4202560 3796 0 0 0 8 0 0 0 20 0 20 0 477700603 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339501897040 140339497676182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28227396 memory=732370029616036837 CPUtime=0 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28227396 memory=139891278583424 CPUtime=0 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13694] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13694/stat : 13694 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339045788560 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13695] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13695/stat : 13695 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339044735504 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13696] ppid=13687 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 6895 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700605 28904853504 6895 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477700606 28904853504 6895 33554432000 4194304 4196468 140724098744256 140338997720736 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477700606 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337739719920 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 477700608 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 477700608 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700608 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) R 13687 13687 11132 0 -1 4202560 389 0 0 0 1 0 0 0 20 0 20 0 477700608 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337734457456 140339489901374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700609 28904853504 6895 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29028 KiB

[startup+0.210432 s]*
/proc/loadavg: 7.54 7.93 8.10 3/211 13708
/proc/meminfo: memFree=24303900/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28227396 memory=39852 CPUtime=0.33 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 9730 0 0 0 30 3 0 0 20 0 20 0 477700603 28904853504 9963 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7056849 9963 3288 1 0 7019032 0
[pid=13689/tid=13690] ppid=13687 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) S 13687 13687 11132 0 -1 1077944384 6723 0 0 0 18 2 0 0 20 0 20 0 477700603 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339501893968 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28227396 memory=732370029616036837 CPUtime=0 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28227396 memory=139891278583424 CPUtime=0 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13694] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13694/stat : 13694 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339045788560 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13695] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13695/stat : 13695 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339044735504 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13696] ppid=13687 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28904853504 9963 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477700605 28904853504 9963 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477700606 28904853504 9963 33554432000 4194304 4196468 140724098744256 140338997720736 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477700606 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337739719920 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 477700608 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 477700608 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 477700608 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) S 13687 13687 11132 0 -1 1077944384 879 0 0 0 7 0 0 0 20 0 20 0 477700608 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337734457456 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700609 28904853504 9963 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41300 KiB

[startup+0.310174 s]*
/proc/loadavg: 7.54 7.93 8.10 4/211 13708
/proc/meminfo: memFree=24297820/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28231652 memory=48940 CPUtime=0.51 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 11032 0 0 0 47 4 0 0 20 0 20 0 477700603 28909211648 12235 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7057913 12235 3364 1 0 7019032 0
[pid=13689/tid=13690] ppid=13687 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) R 13687 13687 11132 0 -1 4202560 7779 0 0 0 27 2 0 0 20 0 20 0 477700603 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339501900496 140339481744734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13694] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13694/stat : 13694 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339045788560 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13695] ppid=13687 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13689/task/13695/stat : 13695 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339044735504 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13696] ppid=13687 vsize=28231652 memory=139891178566575 CPUtime=0 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28231652 memory=139891178568880 CPUtime=0 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28231652 memory=139891178571184 CPUtime=0 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477700604 28909211648 12235 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477700605 28909211648 12235 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28231652 memory=279782357149328 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477700606 28909211648 12235 33554432000 4194304 4196468 140724098744256 140338997720736 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28231652 memory=279782357156240 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477700606 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337739719920 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28231652 memory=279782357097520 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28231652 memory=279782357170064 CPUtime=0.02 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 20 0 477700608 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28231652 memory=279782357176976 CPUtime=0.02 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 477700608 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28231652 memory=279782357174672 CPUtime=0.01 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 477700608 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28231652 memory=279782357190832 CPUtime=0.12 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) S 13687 13687 11132 0 -1 1077944384 1066 0 0 0 12 0 0 0 20 0 20 0 477700608 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337734457456 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700609 28909211648 12235 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50388 KiB

[startup+0.701049 s]
/proc/loadavg: 7.54 7.93 8.10 3/211 13708
/proc/meminfo: memFree=24181456/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28231652 memory=292892 CPUtime=1.63 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 14230 0 0 0 127 36 0 0 20 0 20 0 477700603 28909211648 73223 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7057913 73223 3412 1 0 7019032 0
[pid=13689/tid=13690] ppid=13687 vsize=28231652 memory=279782357485760 CPUtime=0.62 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) R 13687 13687 11132 0 -1 4202560 8140 0 0 0 55 7 0 0 20 0 20 0 477700603 28909211648 73223 33554432000 4194304 4196468 140724098744256 140339501895984 140339497686173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28231652 memory=1560 CPUtime=0.05 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 20 0 477700604 28909211648 73223 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28231652 memory=976 CPUtime=0.02 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 34 0 0 0 0 2 0 0 20 0 20 0 477700604 28909211648 73223 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28231652 memory=772 CPUtime=0.04 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 65 0 0 0 1 3 0 0 20 0 20 0 477700604 28909211648 73223 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0

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

[pid=13689/tid=13696] ppid=13687 vsize=28233776 memory=1448 CPUtime=43.07 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 92344 0 0 0 3866 441 0 0 20 0 20 0 477700604 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28233776 memory=16399224 CPUtime=43.18 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 159084 0 0 0 3869 449 0 0 20 0 20 0 477700604 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28233776 memory=279782357153280 CPUtime=43.22 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 146792 0 0 0 3872 450 0 0 20 0 20 0 477700604 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28233776 memory=1448 CPUtime=4.7 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 49484 0 0 0 465 5 0 0 20 0 20 0 477700605 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28233776 memory=3620 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140338997720800 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28233776 memory=16399224 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337739719936 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28233776 memory=1448 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28233776 memory=7014444725874026851 CPUtime=1.45 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 8785 0 0 0 143 2 0 0 20 0 20 0 477700608 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28233776 memory=16302960 CPUtime=2.27 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 13684 0 0 0 225 2 0 0 20 0 20 0 477700608 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28233776 memory=1448 CPUtime=1.42 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 10961 0 0 0 141 1 0 0 20 0 20 0 477700608 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28233776 memory=11171700 CPUtime=0.65 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) S 13687 13687 11132 0 -1 1077944384 6988 0 0 0 63 2 0 0 20 0 20 0 477700608 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337734457456 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28233776 memory=1448 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28233776 memory=16403360 CPUtime=0.08 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 862 0 0 0 3 5 0 0 20 0 20 0 477700609 28911386624 4100840 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 469.66 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 16404808 KiB

[startup+222.301 s]
/proc/loadavg: 3.62 5.42 7.03 2/212 13730
/proc/meminfo: memFree=5626664/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28233776 memory=18686272 CPUtime=679.41 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 1563627 0 0 0 63400 4541 0 0 20 0 20 0 477700603 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7058444 4671568 3532 1 0 7019544 0
[pid=13689/tid=13690] ppid=13687 vsize=28233776 memory=19271092 CPUtime=149.76 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) R 13687 13687 11132 0 -1 4202560 117295 0 0 0 14854 122 0 0 20 0 20 0 477700603 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339501902304 140339137414534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28233776 memory=1448 CPUtime=64.4 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 131634 0 0 0 5880 560 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28233776 memory=18686272 CPUtime=64.37 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 179848 0 0 0 5885 552 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28233776 memory=1448 CPUtime=64.62 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 161567 0 0 0 5887 575 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13694] ppid=13687 vsize=28233776 memory=18686272 CPUtime=64.4 cores=0-7
/proc/13689/task/13694/stat : 13694 (java) S 13687 13687 11132 0 -1 1077944384 147961 0 0 0 5897 543 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339045788560 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13695] ppid=13687 vsize=28233776 memory=18890444 CPUtime=64.77 cores=0-7
/proc/13689/task/13695/stat : 13695 (java) S 13687 13687 11132 0 -1 1077944384 174808 0 0 0 5946 531 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339044735504 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13696] ppid=13687 vsize=28233776 memory=1448 CPUtime=64.17 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 126578 0 0 0 5876 541 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28233776 memory=19292176 CPUtime=64.47 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 207536 0 0 0 5911 536 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28233776 memory=3620 CPUtime=64.32 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 181418 0 0 0 5879 553 0 0 20 0 20 0 477700604 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28233776 memory=19290080 CPUtime=6.97 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 80352 0 0 0 688 9 0 0 20 0 20 0 477700605 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28233776 memory=1448 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140338997720800 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28233776 memory=1548 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337739719936 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28233776 memory=18686272 CPUtime=1.96 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 13191 0 0 0 194 2 0 0 20 0 20 0 477700608 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28233776 memory=1448 CPUtime=2.42 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 15219 0 0 0 240 2 0 0 20 0 20 0 477700608 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28233776 memory=42724 CPUtime=1.86 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 16327 0 0 0 184 2 0 0 20 0 20 0 477700608 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28233776 memory=984 CPUtime=0.68 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) S 13687 13687 11132 0 -1 1077944384 7507 0 0 0 66 2 0 0 20 0 20 0 477700608 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337734457456 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28233776 memory=1448 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28233776 memory=1448 CPUtime=0.1 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 935 0 0 0 4 6 0 0 20 0 20 0 477700609 28911386624 4671568 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 679.41 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 18687720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 2.81 5.06 6.86 2/213 13732
/proc/meminfo: memFree=5386276/32770624 swapFree=66955504/67108860
[pid=13687] ppid=13684 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/13687/stat : 13687 (xcsp3-exec) S 13684 13687 11132 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477700602 115843072 362 33554432000 4194304 5098028 140722252587328 140722252585432 140002163028604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9203712 140722252591995 140722252592238 140722252592238 140722252595146 0
/proc/13687/statm: 28282 362 304 221 0 87 0
[pid=13689] ppid=13687 vsize=28233776 memory=18924564 CPUtime=731.51 cores=0-7
/proc/13689/stat : 13689 (java) S 13687 13687 11132 0 -1 1077944320 1606295 0 0 0 68520 4631 0 0 20 0 20 0 477700603 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140724098726800 140339497664247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
/proc/13689/statm: 7058444 4731141 3532 1 0 7019544 0
[pid=13689/tid=13690] ppid=13687 vsize=28233776 memory=6791534058613427641 CPUtime=176.2 cores=0-7
/proc/13689/task/13690/stat : 13690 (java) R 13687 13687 11132 0 -1 4202560 120966 0 0 0 17489 131 0 0 20 0 20 0 477700603 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339501902176 140339137074865 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13691] ppid=13687 vsize=28233776 memory=-7003737579269690708 CPUtime=67.61 cores=0-7
/proc/13689/task/13691/stat : 13691 (java) S 13687 13687 11132 0 -1 1077944384 136491 0 0 0 6190 571 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339467377680 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13692] ppid=13687 vsize=28233776 memory=1124 CPUtime=67.59 cores=0-7
/proc/13689/task/13692/stat : 13692 (java) S 13687 13687 11132 0 -1 1077944384 185649 0 0 0 6196 563 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339047894160 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13693] ppid=13687 vsize=28233776 memory=14004 CPUtime=67.81 cores=0-7
/proc/13689/task/13693/stat : 13693 (java) S 13687 13687 11132 0 -1 1077944384 165423 0 0 0 6196 585 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339046841104 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13694] ppid=13687 vsize=28233776 memory=12024 CPUtime=67.59 cores=0-7
/proc/13689/task/13694/stat : 13694 (java) S 13687 13687 11132 0 -1 1077944384 151662 0 0 0 6206 553 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339045788560 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13695] ppid=13687 vsize=28233776 memory=6791534058613427641 CPUtime=67.98 cores=0-7
/proc/13689/task/13695/stat : 13695 (java) S 13687 13687 11132 0 -1 1077944384 178721 0 0 0 6257 541 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339044735504 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13696] ppid=13687 vsize=28233776 memory=42724 CPUtime=67.38 cores=0-7
/proc/13689/task/13696/stat : 13696 (java) S 13687 13687 11132 0 -1 1077944384 131493 0 0 0 6188 550 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339043682960 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13697] ppid=13687 vsize=28233776 memory=984 CPUtime=67.66 cores=0-7
/proc/13689/task/13697/stat : 13697 (java) S 13687 13687 11132 0 -1 1077944384 212547 0 0 0 6220 546 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339042629904 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13698] ppid=13687 vsize=28233776 memory=2032 CPUtime=67.52 cores=0-7
/proc/13689/task/13698/stat : 13698 (java) S 13687 13687 11132 0 -1 1077944384 187332 0 0 0 6190 562 0 0 20 0 20 0 477700604 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140339041577360 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13699] ppid=13687 vsize=28233776 memory=1328 CPUtime=6.98 cores=0-7
/proc/13689/task/13699/stat : 13699 (java) S 13687 13687 11132 0 -1 1077944384 81034 0 0 0 689 9 0 0 20 0 20 0 477700605 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140338998774512 140339497675394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13700] ppid=13687 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/13689/task/13700/stat : 13700 (java) S 13687 13687 11132 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140338997720800 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13701] ppid=13687 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/13689/task/13701/stat : 13701 (java) S 13687 13687 11132 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 477700606 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337739719936 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13702] ppid=13687 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/13689/task/13702/stat : 13702 (java) S 13687 13687 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477700608 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337738668496 140339497682843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13703] ppid=13687 vsize=28233776 memory=3616 CPUtime=1.96 cores=0-7
/proc/13689/task/13703/stat : 13703 (java) S 13687 13687 11132 0 -1 1077944384 13502 0 0 0 194 2 0 0 20 0 20 0 477700608 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337737615600 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13704] ppid=13687 vsize=28233776 memory=2832 CPUtime=2.42 cores=0-7
/proc/13689/task/13704/stat : 13704 (java) S 13687 13687 11132 0 -1 1077944384 15221 0 0 0 240 2 0 0 20 0 20 0 477700608 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337736563056 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13705] ppid=13687 vsize=28233776 memory=1548 CPUtime=1.86 cores=0-7
/proc/13689/task/13705/stat : 13705 (java) S 13687 13687 11132 0 -1 1077944384 16329 0 0 0 184 2 0 0 20 0 20 0 477700608 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337735510000 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13706] ppid=13687 vsize=28233776 memory=1056 CPUtime=0.68 cores=0-7
/proc/13689/task/13706/stat : 13706 (java) S 13687 13687 11132 0 -1 1077944384 7509 0 0 0 66 2 0 0 20 0 20 0 477700608 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337734457456 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13707] ppid=13687 vsize=28233776 memory=744 CPUtime=0 cores=0-7
/proc/13689/task/13707/stat : 13707 (java) S 13687 13687 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477700609 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337733405664 140339497674453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
[pid=13689/tid=13708] ppid=13687 vsize=28233776 memory=8444 CPUtime=0.13 cores=0-7
/proc/13689/task/13708/stat : 13708 (java) S 13687 13687 11132 0 -1 1077944384 965 0 0 0 5 8 0 0 20 0 20 0 477700609 28911386624 4731141 33554432000 4194304 4196468 140724098744256 140337732353200 140339497675394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26251264 140724098745328 140724098745499 140724098745499 140724098748367 0
Current children cumulated CPU time: 731.51 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 18926012 KiB

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

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

[startup+252.182 s]
# the end of solver process 13689 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=685.218 s, system=46.4881 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

[startup+252.119 s]*
/proc/loadavg: 2.81 5.06 6.86 2/193 13734
/proc/meminfo: memFree=12653320/32770624 swapFree=66955504/67108860
Current cumulated CPU time of completed processes: 0.002356 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.182
CPU time (s): 731.706
CPU user time (s): 685.218
CPU system time (s): 46.4881
CPU usage (%): 290.149
Max. virtual memory (cumulated for all children) (KiB): 28346904
Max. memory (cumulated for all children) (KiB): 19297624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 685.218
system time used= 46.4881
maximum resident set size= 19296176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1607432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25941
involuntary context switches= 19101


# summary of solver processes directly reported to runsolver:
#   pid: 13687,13689
#   total CPU time (s): 731.706
#   total CPU user time (s): 685.218
#   total CPU system time (s): 46.4881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12113 second user time and 2.3819 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-20 23:17:32
IDJOB=4405047
IDBENCH=141284
IDSOLVER=2866
FILE ID=node151/4405047-1569014290
RUNJOBID= node151-1569005959-11159
PBS_JOBID= 21704761
Free space on /tmp= 11840 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405047-1569014290/watcher-4405047-1569014290 -o /tmp/evaluation-result-4405047-1569014290/solver-4405047-1569014290 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569005959-11159 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2016973486 HOME/instance-4405047-1569014290.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=2016973486

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24331992 kB
MemAvailable:   31804548 kB
Buffers:           55776 kB
Cached:          7588196 kB
SwapCached:        51708 kB
Active:          4073088 kB
Inactive:        3626100 kB
Active(anon):       2844 kB
Inactive(anon):    97960 kB
Active(file):    4070244 kB
Inactive(file):  3528140 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66955504 kB
Dirty:            609640 kB
Writeback:             0 kB
AnonPages:        112728 kB
Mapped:            49020 kB
Shmem:             36972 kB
Slab:             330996 kB
SReclaimable:     302632 kB
SUnreclaim:        28364 kB
KernelStack:        3344 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 11816 MiB
End job on node151 at 2019-09-20 23:21:45