Trace number 4283840

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 5a (2017-08-18)? (TO) 2520.1001 2463.8301

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-028.xml
MD5SUM0d73506f0318cc77856f25ccca7d4c63
Bench CategoryCSP (decision 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 variables2352
Number of constraints789
Number of domains2
Minimum domain size28
Maximum domain size784
Distribution of domain sizes[{"size":28,"count":1568},{"size":784,"count":784}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":2296},{"degree":3,"count":56}]
Minimum constraint arity3
Maximum constraint arity784
Distribution of constraint arities[{"arity":3,"count":784},{"arity":28,"count":2},{"arity":784,"count":3}]
Number of extensional constraints784
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":784},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283840-1503213743.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4283840-1503213743.xml, -tl, 2520s, -p, 1, -x, 3]
0.26/0.35	c simple solver
0.26/0.41	c parse instance...
1.84/1.00	c solve instance...
2520.05/2463.80	s UNKNOWN
2520.05/2463.80	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 (14945 MiB free)
  memory of node 1: 16384 MiB (15726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283840-1503213743/watcher-4283840-1503213743 -o /tmp/evaluation-result-4283840-1503213743/solver-4283840-1503213743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1204299429 HOME/instance-4283840-1503213743.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=5507, runsolver pid=5504

[startup+0.100108 s]*
/proc/loadavg: 1.39 1.35 1.39 4/196 5508
/proc/meminfo: memFree=31407256/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=356952 memory=7520 CPUtime=0 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 1674 0 0 0 0 0 0 0 20 0 2 0 19782297 365518848 1880 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 89238 1880 1035 1 0 79208 0
[pid=5509/tid=5510] ppid=5507 vsize=11657624 memory=1404226546353086858 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 933 0 0 0 0 0 0 0 20 0 2 0 19782298 11937406976 2406 18446744073709551615 4194304 4196468 140735568346720 140189928143264 140189916142565 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 8900 KiB

[startup+0.214264 s]*
/proc/loadavg: 1.39 1.35 1.39 8/211 5523
/proc/meminfo: memFree=31395384/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13974352 memory=22788 CPUtime=0.07 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 5165 0 0 0 6 1 0 0 20 0 15 0 19782297 14309736448 5697 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3493588 5697 2713 1 0 3482964 0
[pid=5509/tid=5510] ppid=5507 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 3318 0 0 0 5 1 0 0 20 0 15 0 19782298 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189928126864 140189923923101 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13974352 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13974352 memory=140141079545461 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13974352 memory=140141079332480 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189401429664 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189400376560 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13974352 memory=140141079332480 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13974352 memory=140141079332480 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782308 14309736448 6209 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24168 KiB

[startup+0.312092 s]*
/proc/loadavg: 1.39 1.35 1.39 4/211 5523
/proc/meminfo: memFree=31381248/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13974352 memory=36912 CPUtime=0.26 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 8812 0 0 0 23 3 0 0 20 0 15 0 19782297 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3493588 9228 2981 1 0 3482964 0
[pid=5509/tid=5510] ppid=5507 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 6029 0 0 0 14 2 0 0 20 0 15 0 19782298 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189928134096 140189907981662 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189401429664 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13974352 memory=140141079332480 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19782300 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189400376560 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 15 0 19782303 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 19782303 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 691 0 0 0 5 0 0 0 20 0 15 0 19782303 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782308 14309736448 9228 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38292 KiB

[startup+0.700798 s]
/proc/loadavg: 1.39 1.35 1.39 5/211 5523
/proc/meminfo: memFree=31370308/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13978684 memory=65980 CPUtime=1.17 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 12838 0 0 0 113 4 0 0 20 0 15 0 19782297 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3494671 16495 3165 1 0 3482964 0
[pid=5509/tid=5510] ppid=5507 vsize=13978684 memory=8751464017575818805 CPUtime=0.53 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 7946 0 0 0 50 3 0 0 20 0 15 0 19782298 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189928139656 140189923923101 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13978684 memory=8174711894691100213 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13978684 memory=5789771299767533664 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19782300 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19782300 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189401429664 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13978684 memory=8996 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19782300 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189400376560 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13978684 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) R 5507 5507 15523 0 -1 4202560 1286 0 0 0 17 0 0 0 20 0 15 0 19782303 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189398252240 140189904602839 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13978684 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) R 5507 5507 15523 0 -1 4202560 858 0 0 0 15 0 0 0 20 0 15 0 19782303 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923922522 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13978684 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 1439 0 0 0 29 0 0 0 20 0 15 0 19782303 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782308 14314172416 16495 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 67360 KiB

[startup+1.50172 s]
/proc/loadavg: 1.39 1.35 1.39 4/211 5523
/proc/meminfo: memFree=31319308/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13980732 memory=136788 CPUtime=3.52 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 20428 0 0 0 346 6 0 0 20 0 15 0 19782297 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3495183 34197 3193 1 0 3483476 0
[pid=5509/tid=5510] ppid=5507 vsize=13980732 memory=140141079332479 CPUtime=1.33 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 8911 0 0 0 129 4 0 0 20 0 15 0 19782298 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189928136272 140189908216412 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13980732 memory=7670029710674191442 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13980732 memory=5938682682469870948 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19782298 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13980732 memory=5796537797622457961 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13980732 memory=5796532330229425508 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19782298 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13980732 memory=7813583056947995984 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189401429664 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13980732 memory=-6421031960926448530 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189400376560 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13980732 memory=6655300316396806240 CPUtime=0.83 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) R 5507 5507 15523 0 -1 4202560 4038 0 0 0 83 0 0 0 20 0 15 0 19782303 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189398272368 140189904286347 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13980732 memory=6944656592455097440 CPUtime=0.83 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) R 5507 5507 15523 0 -1 4202560 3823 0 0 0 83 0 0 0 20 0 15 0 19782303 14316269568 34197 18446744073709551615 4194304 4196468 140735568346720 140189397200992 140189905422630 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13980732 memory=6944656425122700657 CPUtime=0.49 cores=1,3,5,7

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

/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189400376576 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13980732 memory=15872 CPUtime=5.58 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 30956 0 0 0 554 4 0 0 20 0 15 0 19782303 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13980732 memory=4946944 CPUtime=5.65 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 29108 0 0 0 563 2 0 0 20 0 15 0 19782303 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 12367 0 0 0 92 2 0 0 20 0 15 0 19782303 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13980732 memory=4946944 CPUtime=1.3 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 2065 0 0 0 62 68 0 0 20 0 15 0 19782308 14316269568 1236736 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 2376.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4948324 KiB

[startup+2382.3 s]
/proc/loadavg: 1.89 2.04 1.93 3/212 6054
/proc/meminfo: memFree=22270208/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13980732 memory=4946980 CPUtime=2437.38 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 494198 0 0 0 243123 615 0 0 20 0 15 0 19782297 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3495183 1236745 3260 1 0 3483476 0
[pid=5509/tid=5510] ppid=5507 vsize=13980732 memory=4947000 CPUtime=2367.22 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 266372 0 0 0 236658 64 0 0 20 0 15 0 19782298 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189928140576 140189568666796 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13980732 memory=4947000 CPUtime=14.03 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 34724 0 0 0 1283 120 0 0 20 0 15 0 19782298 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13980732 memory=4947000 CPUtime=14.01 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 36572 0 0 0 1284 117 0 0 20 0 15 0 19782298 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13980732 memory=94 CPUtime=14.03 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 32082 0 0 0 1280 123 0 0 20 0 15 0 19782298 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13980732 memory=4947000 CPUtime=13.94 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 26481 0 0 0 1274 120 0 0 20 0 15 0 19782298 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13980732 memory=4947000 CPUtime=0.55 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 22046 0 0 0 49 6 0 0 20 0 15 0 19782300 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13980732 memory=4946980 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189401429728 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189400376576 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13980732 memory=4946980 CPUtime=5.58 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 30959 0 0 0 554 4 0 0 20 0 15 0 19782303 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13980732 memory=1380 CPUtime=5.65 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 29116 0 0 0 563 2 0 0 20 0 15 0 19782303 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13980732 memory=4124 CPUtime=0.94 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 12370 0 0 0 92 2 0 0 20 0 15 0 19782303 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13980732 memory=14044 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13980732 memory=1380 CPUtime=1.33 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 2093 0 0 0 63 70 0 0 20 0 15 0 19782308 14316269568 1236745 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 2437.38 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4948360 KiB

[startup+2442.3 s]
/proc/loadavg: 1.89 2.02 1.93 3/212 6056
/proc/meminfo: memFree=22431900/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13980732 memory=4946984 CPUtime=2498.18 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 499153 0 0 0 249201 617 0 0 20 0 15 0 19782297 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3495183 1236746 3260 1 0 3483476 0
[pid=5509/tid=5510] ppid=5507 vsize=13980732 memory=4946984 CPUtime=2426.96 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 271073 0 0 0 242631 65 0 0 20 0 15 0 19782298 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189928140464 140189568227956 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13980732 memory=4946980 CPUtime=14.29 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 34767 0 0 0 1309 120 0 0 20 0 15 0 19782298 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13980732 memory=4946980 CPUtime=14.26 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 36628 0 0 0 1309 117 0 0 20 0 15 0 19782298 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13980732 memory=4946980 CPUtime=14.29 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 32135 0 0 0 1306 123 0 0 20 0 15 0 19782298 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13980732 memory=4946984 CPUtime=14.2 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 26517 0 0 0 1300 120 0 0 20 0 15 0 19782298 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 22063 0 0 0 49 6 0 0 20 0 15 0 19782300 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189401429728 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13980732 memory=4946984 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189400376576 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13980732 memory=4124 CPUtime=5.58 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 30964 0 0 0 554 4 0 0 20 0 15 0 19782303 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13980732 memory=4946984 CPUtime=5.65 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 29119 0 0 0 563 2 0 0 20 0 15 0 19782303 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13980732 memory=1576 CPUtime=0.94 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 12376 0 0 0 92 2 0 0 20 0 15 0 19782303 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13980732 memory=4946984 CPUtime=1.35 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 2128 0 0 0 64 71 0 0 20 0 15 0 19782308 14316269568 1236746 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 2498.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4948364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463.8 s]
/proc/loadavg: 1.86 2.00 1.93 3/212 6057
/proc/meminfo: memFree=22469756/32770624 swapFree=67108860/67108860
[pid=5507] ppid=5504 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15523 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19782287 9740288 345 18446744073709551615 4194304 5098028 140726158252208 140726158250312 140130614624892 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 31051776 140726158258553 140726158258758 140726158258758 140726158262251 0
/proc/5507/statm: 2378 345 289 221 0 87 0
[pid=5509] ppid=5507 vsize=13980732 memory=4947048 CPUtime=2520.05 cores=1,3,5,7
/proc/5509/stat : 5509 (java) S 5507 5507 15523 0 -1 1077944320 502942 0 0 0 251387 618 0 0 20 0 15 0 19782297 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140735568329264 140189923901175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
/proc/5509/statm: 3495183 1236762 3260 1 0 3483476 0
[pid=5509/tid=5510] ppid=5507 vsize=13980732 memory=7680170660397595203 CPUtime=2448.34 cores=1,3,5,7
/proc/5509/task/5510/stat : 5510 (java) R 5507 5507 15523 0 -1 4202560 272584 0 0 0 244768 66 0 0 20 0 15 0 19782298 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189928140192 140189568666726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5511] ppid=5507 vsize=13980732 memory=15872 CPUtime=14.41 cores=1,3,5,7
/proc/5509/task/5511/stat : 5511 (java) S 5507 5507 15523 0 -1 1077944384 36138 0 0 0 1321 120 0 0 20 0 15 0 19782298 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189523700240 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5512] ppid=5507 vsize=13980732 memory=18448 CPUtime=14.38 cores=1,3,5,7
/proc/5509/task/5512/stat : 5512 (java) S 5507 5507 15523 0 -1 1077944384 36881 0 0 0 1321 117 0 0 20 0 15 0 19782298 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189522647696 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5513] ppid=5507 vsize=13980732 memory=4012 CPUtime=14.41 cores=1,3,5,7
/proc/5509/task/5513/stat : 5513 (java) S 5507 5507 15523 0 -1 1077944384 32338 0 0 0 1318 123 0 0 20 0 15 0 19782298 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189521594640 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5514] ppid=5507 vsize=13980732 memory=9584 CPUtime=14.32 cores=1,3,5,7
/proc/5509/task/5514/stat : 5514 (java) S 5507 5507 15523 0 -1 1077944384 26735 0 0 0 1312 120 0 0 20 0 15 0 19782298 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189520542096 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5515] ppid=5507 vsize=13980732 memory=1244 CPUtime=0.55 cores=1,3,5,7
/proc/5509/task/5515/stat : 5515 (java) S 5507 5507 15523 0 -1 1077944384 22294 0 0 0 49 6 0 0 20 0 15 0 19782300 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189402483440 140189923912322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5516] ppid=5507 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5516/stat : 5516 (java) S 5507 5507 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189401429728 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5517] ppid=5507 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5517/stat : 5517 (java) S 5507 5507 15523 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 19782300 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189400376576 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5518] ppid=5507 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5518/stat : 5518 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189399325136 140189923919771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5519] ppid=5507 vsize=13980732 memory=2240 CPUtime=5.58 cores=1,3,5,7
/proc/5509/task/5519/stat : 5519 (java) S 5507 5507 15523 0 -1 1077944384 30964 0 0 0 554 4 0 0 20 0 15 0 19782303 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189398272240 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5520] ppid=5507 vsize=13980732 memory=4300 CPUtime=5.65 cores=1,3,5,7
/proc/5509/task/5520/stat : 5520 (java) S 5507 5507 15523 0 -1 1077944384 29119 0 0 0 563 2 0 0 20 0 15 0 19782303 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189397219696 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5521] ppid=5507 vsize=13980732 memory=1576 CPUtime=0.94 cores=1,3,5,7
/proc/5509/task/5521/stat : 5521 (java) S 5507 5507 15523 0 -1 1077944384 12376 0 0 0 92 2 0 0 20 0 15 0 19782303 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189396166640 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5522] ppid=5507 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5509/task/5522/stat : 5522 (java) S 5507 5507 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19782303 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189395114336 140189923911381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
[pid=5509/tid=5523] ppid=5507 vsize=13980732 memory=14 CPUtime=1.37 cores=1,3,5,7
/proc/5509/task/5523/stat : 5523 (java) S 5507 5507 15523 0 -1 1077944384 2130 0 0 0 65 72 0 0 20 0 15 0 19782308 14316269568 1236762 18446744073709551615 4194304 4196468 140735568346720 140189394062384 140189923912322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140735568347570 140735568347746 140735568347746 140735568351183 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4948428 KiB

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

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

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

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

Child status: 143
Real time (s): 2463.83
CPU time (s): 2520.1
CPU user time (s): 2513.88
CPU system time (s): 6.21345
CPU usage (%): 102.284
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 5012888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.88
system time used= 6.21345
maximum resident set size= 5013564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59717
involuntary context switches= 1948


# summary of solver processes directly reported to runsolver:
#   pid: 5507,5509
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2513.88
#   total CPU system time (s): 6.21345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5511 second user time and 25.0702 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-20 09:08:53
IDJOB=4283840
IDBENCH=133176
IDSOLVER=2679
FILE ID=node130/4283840-1503213743
RUNJOBID= node130-1503172050-30420
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-028.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-4283840-1503213743/watcher-4283840-1503213743 -o /tmp/evaluation-result-4283840-1503213743/solver-4283840-1503213743 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30420 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1204299429 HOME/instance-4283840-1503213743.xml

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

MD5SUM BENCH= 0d73506f0318cc77856f25ccca7d4c63
RANDOM SEED=1204299429

node130.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.77
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.77
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.77
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.77
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:        31407636 kB
MemAvailable:   31656444 kB
Buffers:          202032 kB
Cached:           335860 kB
SwapCached:            0 kB
Active:           623568 kB
Inactive:         333880 kB
Active(anon):     419820 kB
Inactive(anon):    16748 kB
Active(file):     203748 kB
Inactive(file):   317132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:        419304 kB
Mapped:            46044 kB
Shmem:             17060 kB
Slab:             112200 kB
SReclaimable:      87524 kB
SUnreclaim:        24676 kB
KernelStack:        3440 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     982972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61896 MiB
End job on node130 at 2017-08-20 09:49:57