Trace number 4282038

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 4.0.5 seq (2017-08-18)? (TO) 2520.0901 2513.3101

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-050-20-7.xml
MD5SUMecccf1fc77215d60d30343c091882466
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1050
Number of constraints1070
Number of domains1
Minimum domain size2884
Maximum domain size2884
Distribution of domain sizes[{"size":2884,"count":1050}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":1000}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":1000},{"arity":50,"count":20}]
Number of extensional constraints0
Number of intensional constraints1050
Distribution of constraint types[{"type":"intension","count":1050},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282038-1503099164.xml"  -tl '2520s' -p 1 -x 0
0.14/0.24	c [HOME/instance-4282038-1503099164.xml, -tl, 2520s, -p, 1, -x, 0]
0.14/0.30	c simple solver
0.34/0.37	c parse instance...
1.77/0.84	c solve instance...
2520.07/2513.30	s UNKNOWN
2520.07/2513.30	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 (14883 MiB free)
  memory of node 1: 16384 MiB (15449 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282038-1503099164/watcher-4282038-1503099164 -o /tmp/evaluation-result-4282038-1503099164/solver-4282038-1503099164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1673849183 HOME/instance-4282038-1503099164.xml 

running on 4 cores: 1,3,5,7

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

solver pid=29319, runsolver pid=29316

[startup+0.100089 s]*
/proc/loadavg: 1.78 1.92 1.82 5/205 29329
/proc/meminfo: memFree=31050208/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13574484 memory=18020 CPUtime=0.03 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 3883 0 0 0 3 0 0 0 20 0 9 0 112109450 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3393621 4505 2104 1 0 3383118 0
[pid=29321/tid=29322] ppid=29319 vsize=13574484 memory=-8713483618642459742 CPUtime=0.03 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 2588 0 0 0 3 0 0 0 20 0 9 0 112109451 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140399015337848 140398996178094 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112109451 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13574484 memory=139750136563328 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112109451 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112109451 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112109451 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13574484 memory=139750136563328 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112109453 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 112109453 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398488421536 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 112109453 13900271616 4505 18446744073709551615 4194304 4196468 140730782811232 140398487368432 140399011112661 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19396 KiB

[startup+0.209946 s]*
/proc/loadavg: 1.78 1.92 1.82 6/211 29335
/proc/meminfo: memFree=31041612/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13974352 memory=29772 CPUtime=0.14 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 5271 0 0 0 14 0 0 0 20 0 15 0 112109450 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3493588 7443 2941 1 0 3482964 0
[pid=29321/tid=29322] ppid=29319 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 3148 0 0 0 10 0 0 0 20 0 15 0 112109451 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140399015318608 140398606551387 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13974352 memory=3546505890939225760 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112109451 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13974352 memory=139750136563328 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112109453 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112109453 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398488421536 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112109453 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398487368432 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 112109456 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13974352 memory=139750136563328 CPUtime=0.02 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) R 29319 29319 28892 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 112109456 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399011114390 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13974352 memory=139750136563328 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109460 14309736448 7443 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31148 KiB

[startup+0.316724 s]*
/proc/loadavg: 1.78 1.92 1.82 7/211 29335
/proc/meminfo: memFree=31027128/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13978608 memory=40496 CPUtime=0.34 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 9338 0 0 0 32 2 0 0 20 0 15 0 112109450 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3494652 10124 3027 1 0 3482964 0
[pid=29321/tid=29322] ppid=29319 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 6460 0 0 0 19 2 0 0 20 0 15 0 112109451 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140399015313360 140398995182942 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112109451 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112109453 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112109453 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398488421536 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112109453 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398487368432 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 112109456 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 15 0 112109456 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) R 29319 29319 28892 0 -1 4202560 695 0 0 0 8 0 0 0 20 0 15 0 112109456 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399003339582 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109460 14314094592 10124 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41872 KiB

[startup+0.703158 s]
/proc/loadavg: 1.78 1.92 1.82 10/211 29335
/proc/meminfo: memFree=31013188/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13980732 memory=83048 CPUtime=1.4 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 13829 0 0 0 136 4 0 0 20 0 15 0 112109450 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3495183 20762 3168 1 0 3483476 0
[pid=29321/tid=29322] ppid=29319 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 7984 0 0 0 54 3 0 0 20 0 15 0 112109451 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140399015339456 140399011123802 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398488421536 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398487368432 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) R 29319 29319 28892 0 -1 4202560 1546 0 0 0 23 0 0 0 20 0 15 0 112109456 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398485254848 140398994458533 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13980732 memory=25 CPUtime=0.23 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) R 29319 29319 28892 0 -1 4202560 1211 0 0 0 23 0 0 0 20 0 15 0 112109456 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398484193608 140398989518616 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13980732 memory=79 CPUtime=0.34 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) R 29319 29319 28892 0 -1 1077944384 1781 0 0 0 34 0 0 0 20 0 15 0 112109456 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398483155264 140399011112661 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109460 14316269568 20762 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84424 KiB

[startup+1.50085 s]
/proc/loadavg: 1.78 1.92 1.82 8/211 29335
/proc/meminfo: memFree=30934848/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13980732 memory=134456 CPUtime=3.96 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 33708 0 0 0 389 7 0 0 20 0 15 0 112109450 14316269568 33614 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3495183 33614 3196 1 0 3483476 0
[pid=29321/tid=29322] ppid=29319 vsize=13980732 memory=7679927811743456362 CPUtime=1.36 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 9121 0 0 0 132 4 0 0 20 0 15 0 112109451 14316269568 33614 18446744073709551615 4194304 4196468 140730782811232 140399015339088 140398611510098 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13980732 memory=-7101718590825193272 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 33614 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13980732 memory=279499963099648 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 33614 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112109451 14316269568 33614 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7

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

[pid=29321/tid=29327] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.07 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 3167 0 0 0 4 3 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398488421600 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398487368448 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13980732 memory=244948 CPUtime=2.64 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 22038 0 0 0 262 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13980732 memory=1376 CPUtime=2.88 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 21162 0 0 0 286 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13980732 memory=248028 CPUtime=0.76 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) S 29319 29319 28892 0 -1 1077944384 10688 0 0 0 75 1 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13980732 memory=1000 CPUtime=0.47 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1790 0 0 0 18 29 0 0 20 0 15 0 112109460 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 2449.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246324 KiB

[startup+2502.3 s]
/proc/loadavg: 1.77 1.86 1.86 3/215 29495
/proc/meminfo: memFree=30739208/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13980732 memory=244948 CPUtime=2509.07 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 89134 0 0 0 250863 44 0 0 20 0 15 0 112109450 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3495183 61237 3248 1 0 3483476 0
[pid=29321/tid=29322] ppid=29319 vsize=13980732 memory=244948 CPUtime=2501.95 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 20794 0 0 0 250189 6 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140399015341504 140398612957018 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 2209 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 2476 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 2628 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 771 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.07 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 3169 0 0 0 4 3 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398488421600 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398487368448 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13980732 memory=11152 CPUtime=2.64 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 22038 0 0 0 262 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13980732 memory=1376 CPUtime=2.88 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 21162 0 0 0 286 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13980732 memory=1376 CPUtime=0.76 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) S 29319 29319 28892 0 -1 1077944384 10688 0 0 0 75 1 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.48 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1811 0 0 0 18 30 0 0 20 0 15 0 112109460 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 2509.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.3 s]
/proc/loadavg: 1.72 1.85 1.86 5/215 29573
/proc/meminfo: memFree=30819296/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13980732 memory=244948 CPUtime=2520.07 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 89173 0 0 0 251963 44 0 0 20 0 15 0 112109450 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3495183 61237 3248 1 0 3483476 0
[pid=29321/tid=29322] ppid=29319 vsize=13980732 memory=244948 CPUtime=2512.95 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 20822 0 0 0 251289 6 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140399015341504 140398612957678 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 2209 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 2476 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 2628 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 771 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.07 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 3169 0 0 0 4 3 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398488421600 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398487368448 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13980732 memory=1296 CPUtime=2.64 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 22041 0 0 0 262 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13980732 memory=796 CPUtime=2.88 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 21164 0 0 0 286 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13980732 memory=11152 CPUtime=0.76 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) S 29319 29319 28892 0 -1 1077944384 10690 0 0 0 75 1 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13980732 memory=1376 CPUtime=0.48 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1815 0 0 0 18 30 0 0 20 0 15 0 112109460 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246324 KiB

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

[startup+2513.31 s]
# the end of solver process 29319 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.65 s, system=0.44602 s

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

[startup+2513.3 s]
/proc/loadavg: 1.72 1.85 1.86 5/215 29573
/proc/meminfo: memFree=30819296/32770624 swapFree=67108860/67108860
[pid=29319] ppid=29316 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (xcsp3-exec) S 29316 29319 28892 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 112109444 9740288 344 18446744073709551615 4194304 5098028 140722206997984 140722206996088 140478127923836 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 22708224 140722206998904 140722206999109 140722206999109 140722207002603 0
/proc/29319/statm: 2378 344 289 221 0 87 0
[pid=29321] ppid=29319 vsize=13980732 memory=244948 CPUtime=2520.07 cores=1,3,5,7
/proc/29321/stat : 29321 (java) S 29319 29319 28892 0 -1 1077944320 89173 0 0 0 251963 44 0 0 20 0 15 0 112109450 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140730782793776 140399011102455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
/proc/29321/statm: 3495183 61237 3248 1 0 3483476 0
[pid=29321/tid=29322] ppid=29319 vsize=13980732 memory=244948 CPUtime=2512.95 cores=1,3,5,7
/proc/29321/task/29322/stat : 29322 (java) R 29319 29319 28892 0 -1 4202560 20822 0 0 0 251289 6 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140399015341504 140398612957678 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29323] ppid=29319 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29323/stat : 29323 (java) S 29319 29319 28892 0 -1 1077944384 2209 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398930517008 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29324] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.06 cores=1,3,5,7
/proc/29321/task/29324/stat : 29324 (java) S 29319 29319 28892 0 -1 1077944384 2476 0 0 0 5 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398929464464 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29325] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29325/stat : 29325 (java) S 29319 29319 28892 0 -1 1077944384 2628 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398928411408 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29326] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.05 cores=1,3,5,7
/proc/29321/task/29326/stat : 29326 (java) S 29319 29319 28892 0 -1 1077944384 771 0 0 0 4 1 0 0 20 0 15 0 112109451 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398927358864 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29327] ppid=29319 vsize=13980732 memory=244948 CPUtime=0.07 cores=1,3,5,7
/proc/29321/task/29327/stat : 29327 (java) S 29319 29319 28892 0 -1 1077944384 3169 0 0 0 4 3 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398489475312 140399011113602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29328] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29328/stat : 29328 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398488421600 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29329] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29329/stat : 29329 (java) S 29319 29319 28892 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 112109453 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398487368448 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29330] ppid=29319 vsize=13980732 memory=244948 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29330/stat : 29330 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398486317008 140399011121051 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29331] ppid=29319 vsize=13980732 memory=1296 CPUtime=2.64 cores=1,3,5,7
/proc/29321/task/29331/stat : 29331 (java) S 29319 29319 28892 0 -1 1077944384 22041 0 0 0 262 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398485265136 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29332] ppid=29319 vsize=13980732 memory=796 CPUtime=2.88 cores=1,3,5,7
/proc/29321/task/29332/stat : 29332 (java) S 29319 29319 28892 0 -1 1077944384 21164 0 0 0 286 2 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398484212592 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29333] ppid=29319 vsize=13980732 memory=11152 CPUtime=0.76 cores=1,3,5,7
/proc/29321/task/29333/stat : 29333 (java) S 29319 29319 28892 0 -1 1077944384 10690 0 0 0 75 1 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398483159536 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29334] ppid=29319 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29321/task/29334/stat : 29334 (java) S 29319 29319 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112109456 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398482107232 140399011112661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
[pid=29321/tid=29335] ppid=29319 vsize=13980732 memory=1376 CPUtime=0.48 cores=1,3,5,7
/proc/29321/task/29335/stat : 29335 (java) S 29319 29319 28892 0 -1 1077944384 1815 0 0 0 18 30 0 0 20 0 15 0 112109460 14316269568 61237 18446744073709551615 4194304 4196468 140730782811232 140398481054256 140399011113602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 38658048 140730782818737 140730782818913 140730782818913 140730782822351 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246324 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2513.31
CPU time (s): 2520.09
CPU user time (s): 2519.65
CPU system time (s): 0.44602
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 13991924
Max. memory (cumulated for all children) (KiB): 265816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.44602
maximum resident set size= 264440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57739
involuntary context switches= 738


# summary of solver processes directly reported to runsolver:
#   pid: 29319
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.65
#   total CPU system time (s): 0.44602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3941 second user time and 21.7157 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-19 01:18:33
IDJOB=4282038
IDBENCH=115738
IDSOLVER=2677
FILE ID=node127/4282038-1503099164
RUNJOBID= node127-1503095799-28951
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-20-7.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282038-1503099164/watcher-4282038-1503099164 -o /tmp/evaluation-result-4282038-1503099164/solver-4282038-1503099164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1673849183 HOME/instance-4282038-1503099164.xml

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

MD5SUM BENCH= ecccf1fc77215d60d30343c091882466
RANDOM SEED=1673849183

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
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:        31059840 kB
MemAvailable:   31871552 kB
Buffers:          292816 kB
Cached:           820888 kB
SwapCached:            0 kB
Active:           889036 kB
Inactive:         374176 kB
Active(anon):     100012 kB
Inactive(anon):    99192 kB
Active(file):     789024 kB
Inactive(file):   274984 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15776 kB
Writeback:             4 kB
AnonPages:        143536 kB
Mapped:            71952 kB
Shmem:             49828 kB
Slab:             152984 kB
SReclaimable:     127080 kB
SUnreclaim:        25904 kB
KernelStack:        3488 kB
PageTables:         5724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1289040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node127 at 2017-08-19 02:00:26