Trace number 4297727

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)UNSAT 12.2183 2.47659

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-07_c18.xml
MD5SUM950a11acbe9bee1dbcb0d00f57370eba
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.73223
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints86
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":91}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":7},{"degree":2,"count":42},{"degree":14,"count":7},{"degree":15,"count":42}]
Minimum constraint arity7
Maximum constraint arity49
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":84},{"arity":49,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":84}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297727-1532730899.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297727-1532730899.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.39/0.62	c solve instance...
11.30/2.01	s UNSATISFIABLE

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297727-1532730899/watcher-4297727-1532730899 -o /tmp/evaluation-result-4297727-1532730899/solver-4297727-1532730899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532728371-6105 --watchdog 2580 HOME/xcsp3-exec -seed 883222517 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297727-1532730899.xml 

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

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

solver pid=6508, runsolver pid=6505

[startup+0.10014 s]*
/proc/loadavg: 8.05 8.19 8.22 2/200 6529
/proc/meminfo: memFree=20474388/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26104152 memory=26808 CPUtime=0.11 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 5658 0 0 0 10 1 0 0 20 0 20 0 90653068 26730651648 6702 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6526038 6702 3004 1 0 6488315 0
[pid=6510/tid=6511] ppid=6508 vsize=26104152 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) R 6508 6508 6078 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 20 0 90653068 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475921422768 140475901240677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26104152 memory=140458417534592 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6515] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6515/stat : 6515 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475836619280 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6516] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6516/stat : 6516 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475835566992 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6517] ppid=6508 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6517/stat : 6517 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475834514192 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6518] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6518/stat : 6518 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475833461904 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6519] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6519/stat : 6519 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475832409104 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6520] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6520/stat : 6520 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653070 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475312912496 140475917208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6521] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6521/stat : 6521 (java) S 6508 6508 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90653071 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475311858464 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6522] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6522/stat : 6522 (java) S 6508 6508 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90653071 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475310806128 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6523] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6523/stat : 6523 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475309754448 140475917215643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6524] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6524/stat : 6524 (java) S 6508 6508 6078 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475308702320 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6525] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6525/stat : 6525 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475307649520 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6526] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6526/stat : 6526 (java) S 6508 6508 6078 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475306597232 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6527] ppid=6508 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) R 6508 6508 6078 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 90653073 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475305544432 140475917218394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653074 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6529] ppid=6508 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6529/stat : 6529 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653074 26730651648 6768 33554432000 4194304 4196468 140729827154176 140475303438640 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28264 KiB

[startup+0.210636 s]*
/proc/loadavg: 8.05 8.19 8.22 3/200 6529
/proc/meminfo: memFree=20462728/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26104152 memory=38880 CPUtime=0.33 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 8356 0 0 0 31 2 0 0 20 0 20 0 90653068 26730651648 9720 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6526038 9720 3177 1 0 6488315 0
[pid=6510/tid=6511] ppid=6508 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) R 6508 6508 6078 0 -1 4202560 5552 0 0 0 18 1 0 0 20 0 20 0 90653068 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475921431088 140475901277534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26104152 memory=140458417541359 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6515] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6515/stat : 6515 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475836619280 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6516] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6516/stat : 6516 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475835566992 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6517] ppid=6508 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6517/stat : 6517 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475834514192 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6518] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6518/stat : 6518 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475833461904 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6519] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6519/stat : 6519 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475832409104 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6520] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6520/stat : 6520 (java) S 6508 6508 6078 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90653070 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475312912496 140475917208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6521] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6521/stat : 6521 (java) S 6508 6508 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90653071 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475311858464 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6522] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6522/stat : 6522 (java) S 6508 6508 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90653071 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475310806128 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6523] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6523/stat : 6523 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475309754448 140475917215643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6524] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6524/stat : 6524 (java) S 6508 6508 6078 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 90653073 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475308702320 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6525] ppid=6508 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/6510/task/6525/stat : 6525 (java) S 6508 6508 6078 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 20 0 90653073 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475307649520 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6526] ppid=6508 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/6510/task/6526/stat : 6526 (java) S 6508 6508 6078 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 90653073 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475306597232 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6527] ppid=6508 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) S 6508 6508 6078 0 -1 1077944384 813 0 0 0 7 0 0 0 20 0 20 0 90653073 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475305544432 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653074 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6529] ppid=6508 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6529/stat : 6529 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653074 26730651648 9720 33554432000 4194304 4196468 140729827154176 140475303438640 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40336 KiB

[startup+0.318922 s]*
/proc/loadavg: 8.05 8.19 8.22 3/200 6529
/proc/meminfo: memFree=20455904/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26108408 memory=46660 CPUtime=0.53 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 9422 0 0 0 50 3 0 0 20 0 20 0 90653068 26735009792 11665 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6527102 11665 3257 1 0 6488315 0
[pid=6510/tid=6511] ppid=6508 vsize=26108408 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) R 6508 6508 6078 0 -1 4202560 6365 0 0 0 28 2 0 0 20 0 20 0 90653068 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475921433824 140475901277534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6515] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6515/stat : 6515 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475836619280 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6516] ppid=6508 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/6510/task/6516/stat : 6516 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475835566992 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6517] ppid=6508 vsize=26108408 memory=140458315576239 CPUtime=0 cores=0-7
/proc/6510/task/6517/stat : 6517 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475834514192 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6518] ppid=6508 vsize=26108408 memory=140458315578544 CPUtime=0 cores=0-7
/proc/6510/task/6518/stat : 6518 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475833461904 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6519] ppid=6508 vsize=26108408 memory=140458315580848 CPUtime=0 cores=0-7
/proc/6510/task/6519/stat : 6519 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653069 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475832409104 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6520] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6520/stat : 6520 (java) S 6508 6508 6078 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90653070 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475312912496 140475917208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6521] ppid=6508 vsize=26108408 memory=280916631168656 CPUtime=0 cores=0-7
/proc/6510/task/6521/stat : 6521 (java) S 6508 6508 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90653071 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475311858464 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6522] ppid=6508 vsize=26108408 memory=280916631175568 CPUtime=0 cores=0-7
/proc/6510/task/6522/stat : 6522 (java) S 6508 6508 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90653071 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475310806128 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6523] ppid=6508 vsize=26108408 memory=280916631116848 CPUtime=0 cores=0-7
/proc/6510/task/6523/stat : 6523 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653073 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475309754448 140475917215643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6524] ppid=6508 vsize=26108408 memory=280916631189392 CPUtime=0 cores=0-7
/proc/6510/task/6524/stat : 6524 (java) S 6508 6508 6078 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 90653073 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475308702320 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6525] ppid=6508 vsize=26108408 memory=280916631196304 CPUtime=0.05 cores=0-7
/proc/6510/task/6525/stat : 6525 (java) S 6508 6508 6078 0 -1 1077944384 275 0 0 0 5 0 0 0 20 0 20 0 90653073 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475307649520 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6526] ppid=6508 vsize=26108408 memory=280916631194000 CPUtime=0.03 cores=0-7
/proc/6510/task/6526/stat : 6526 (java) S 6508 6508 6078 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 20 0 90653073 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475306597232 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6527] ppid=6508 vsize=26108408 memory=280916631210160 CPUtime=0.12 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) S 6508 6508 6078 0 -1 1077944384 974 0 0 0 12 0 0 0 20 0 20 0 90653073 26735009792 11665 33554432000 4194304 4196468 140729827154176 140475305544432 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90653074 26735009792 11730 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6529] ppid=6508 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/6510/task/6529/stat : 6529 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90653074 26735009792 11730 33554432000 4194304 4196468 140729827154176 140475303438640 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48116 KiB

[startup+0.705166 s]
/proc/loadavg: 8.05 8.19 8.22 4/200 6529
/proc/meminfo: memFree=20437856/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26643044 memory=102176 CPUtime=2.01 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 14918 0 0 0 195 6 0 0 20 0 28 0 90653068 27282477056 25544 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6660761 25544 3362 1 0 6621955 0
[pid=6510/tid=6511] ppid=6508 vsize=26643044 memory=280916631568048 CPUtime=0.6 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) S 6508 6508 6078 0 -1 1077944384 7122 0 0 0 58 2 0 0 20 0 28 0 90653068 27282477056 25544 33554432000 4194304 4196468 140729827154176 140475921437824 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26643044 memory=140458315785072 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 25544 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 25544 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26643044 memory=8540 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 25544 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0

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

[pid=6510/tid=6527] ppid=6508 vsize=26643044 memory=796 CPUtime=0.51 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) S 6508 6508 6078 0 -1 1077944384 3127 0 0 0 51 0 0 0 20 0 28 0 90653073 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475305544432 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26643044 memory=1012 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90653074 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6529] ppid=6508 vsize=26643044 memory=1228 CPUtime=0 cores=0-7
/proc/6510/task/6529/stat : 6529 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653074 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475303438640 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6530] ppid=6508 vsize=26643044 memory=1712 CPUtime=0.67 cores=0-7
/proc/6510/task/6530/stat : 6530 (java) R 6508 6508 6078 0 -1 4202560 103 0 0 0 67 0 0 0 20 0 28 0 90653131 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475226897176 140475517185779 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6531] ppid=6508 vsize=26643044 memory=9996 CPUtime=0.68 cores=0-7
/proc/6510/task/6531/stat : 6531 (java) R 6508 6508 6078 0 -1 4202560 94 0 0 0 68 0 0 0 20 0 28 0 90653131 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475225845872 140475517185014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6532] ppid=6508 vsize=26643044 memory=0 CPUtime=0.67 cores=0-7
/proc/6510/task/6532/stat : 6532 (java) R 6508 6508 6078 0 -1 4202560 68 0 0 0 67 0 0 0 20 0 28 0 90653131 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475224796408 140475517186392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6533] ppid=6508 vsize=26643044 memory=0 CPUtime=0.58 cores=0-7
/proc/6510/task/6533/stat : 6533 (java) R 6508 6508 6078 0 -1 4202560 90 0 0 0 58 0 0 0 20 0 28 0 90653131 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475223740488 140475517674496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6534] ppid=6508 vsize=26643044 memory=280916631841808 CPUtime=0.73 cores=0-7
/proc/6510/task/6534/stat : 6534 (java) R 6508 6508 6078 0 -1 4202560 57 0 0 0 73 0 0 0 20 0 28 0 90653131 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475222691464 140475517281332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6535] ppid=6508 vsize=26643044 memory=140458315921952 CPUtime=0.67 cores=0-7
/proc/6510/task/6535/stat : 6535 (java) R 6508 6508 6078 0 -1 4202560 65 0 0 0 67 0 0 0 20 0 28 0 90653132 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475221635704 140475517184376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6536] ppid=6508 vsize=26643044 memory=0 CPUtime=0.71 cores=0-7
/proc/6510/task/6536/stat : 6536 (java) R 6508 6508 6078 0 -1 4202560 46 0 0 0 71 0 0 0 20 0 28 0 90653132 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475220586536 140475517184187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6537] ppid=6508 vsize=26643044 memory=0 CPUtime=0.68 cores=0-7
/proc/6510/task/6537/stat : 6537 (java) R 6508 6508 6078 0 -1 4202560 64 0 0 0 68 0 0 0 20 0 28 0 90653132 27282477056 32480 33554432000 4194304 4196468 140729827154176 140475219529592 140475516995724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 8.16 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 131376 KiB

[startup+2.47653 s]
# the end of solver process 6508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.066 s, system=0.152252 s

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

[startup+1.60189 s]
/proc/loadavg: 7.80 8.13 8.21 12/208 6537
/proc/meminfo: memFree=20390536/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26643044 memory=131748 CPUtime=8.96 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 21786 0 0 0 889 7 0 0 20 0 28 0 90653068 27282477056 32937 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6660761 32937 3369 1 0 6621955 0
[pid=6510/tid=6511] ppid=6508 vsize=26643044 memory=0 CPUtime=0.6 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) S 6508 6508 6078 0 -1 1077944384 7122 0 0 0 58 2 0 0 20 0 28 0 90653068 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475921437824 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6515] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6515/stat : 6515 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475836619280 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6516] ppid=6508 vsize=26643044 memory=-2990783225064662560 CPUtime=0 cores=0-7
/proc/6510/task/6516/stat : 6516 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475835566992 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6517] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6517/stat : 6517 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475834514192 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6518] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6518/stat : 6518 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475833461904 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6519] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6519/stat : 6519 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653069 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475832409104 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6520] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6520/stat : 6520 (java) S 6508 6508 6078 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 90653070 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475312912496 140475917208194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6521] ppid=6508 vsize=26643044 memory=5792 CPUtime=0 cores=0-7
/proc/6510/task/6521/stat : 6521 (java) S 6508 6508 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 90653071 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475311858464 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6522] ppid=6508 vsize=26643044 memory=1936 CPUtime=0 cores=0-7
/proc/6510/task/6522/stat : 6522 (java) S 6508 6508 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 90653071 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475310806128 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6523] ppid=6508 vsize=26643044 memory=1196 CPUtime=0 cores=0-7
/proc/6510/task/6523/stat : 6523 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653073 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475309754448 140475917215643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6524] ppid=6508 vsize=26643044 memory=8540 CPUtime=0.51 cores=0-7
/proc/6510/task/6524/stat : 6524 (java) R 6508 6508 6078 0 -1 4202560 2963 0 0 0 50 1 0 0 20 0 28 0 90653073 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475308688864 140475898742008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6525] ppid=6508 vsize=26643044 memory=4616 CPUtime=0.64 cores=0-7
/proc/6510/task/6525/stat : 6525 (java) R 6508 6508 6078 0 -1 4202560 3498 0 0 0 64 0 0 0 20 0 28 0 90653073 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475307634480 140475901586901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6526] ppid=6508 vsize=26643044 memory=1424 CPUtime=0.61 cores=0-7
/proc/6510/task/6526/stat : 6526 (java) R 6508 6508 6078 0 -1 4202560 3081 0 0 0 61 0 0 0 20 0 28 0 90653073 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475306583256 140475898741487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6527] ppid=6508 vsize=26643044 memory=15868 CPUtime=0.52 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) R 6508 6508 6078 0 -1 1077944384 3208 0 0 0 52 0 0 0 20 0 28 0 90653073 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475305544432 140475917208194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26643044 memory=4052 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90653074 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6529] ppid=6508 vsize=26643044 memory=18252 CPUtime=0 cores=0-7
/proc/6510/task/6529/stat : 6529 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90653074 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475303438640 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6530] ppid=6508 vsize=26643044 memory=15184 CPUtime=0.77 cores=0-7
/proc/6510/task/6530/stat : 6530 (java) R 6508 6508 6078 0 -1 4202560 104 0 0 0 77 0 0 0 20 0 28 0 90653131 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475226900440 140475517184431 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6531] ppid=6508 vsize=26643044 memory=644 CPUtime=0.73 cores=0-7
/proc/6510/task/6531/stat : 6531 (java) R 6508 6508 6078 0 -1 4202560 96 0 0 0 73 0 0 0 20 0 28 0 90653131 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475225845880 140475512204608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6532] ppid=6508 vsize=26643044 memory=6442450945227 CPUtime=0.7 cores=0-7
/proc/6510/task/6532/stat : 6532 (java) R 6508 6508 6078 0 -1 4202560 68 0 0 0 70 0 0 0 20 0 28 0 90653131 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475224796336 140475516889034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6533] ppid=6508 vsize=26643044 memory=288230583166042425 CPUtime=0.64 cores=0-7
/proc/6510/task/6533/stat : 6533 (java) R 6508 6508 6078 0 -1 4202560 90 0 0 0 64 0 0 0 20 0 28 0 90653131 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475223746408 140475517184597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6534] ppid=6508 vsize=26643044 memory=15824378344507954 CPUtime=0.81 cores=0-7
/proc/6510/task/6534/stat : 6534 (java) R 6508 6508 6078 0 -1 4202560 59 0 0 0 81 0 0 0 20 0 28 0 90653131 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475222691320 140475512266521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6535] ppid=6508 vsize=26643044 memory=0 CPUtime=0.75 cores=0-7
/proc/6510/task/6535/stat : 6535 (java) R 6508 6508 6078 0 -1 4202560 68 0 0 0 75 0 0 0 20 0 28 0 90653132 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475221635400 140475512230573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6536] ppid=6508 vsize=26643044 memory=0 CPUtime=0.8 cores=0-7
/proc/6510/task/6536/stat : 6536 (java) R 6508 6508 6078 0 -1 4202560 46 0 0 0 80 0 0 0 20 0 28 0 90653132 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475220585232 140475516949266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6537] ppid=6508 vsize=26643044 memory=6944656592455360604 CPUtime=0.78 cores=0-7
/proc/6510/task/6537/stat : 6537 (java) R 6508 6508 6078 0 -1 4202560 67 0 0 0 78 0 0 0 20 0 28 0 90653132 27282477056 32937 33554432000 4194304 4196468 140729827154176 140475219529592 140475516949296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 133204 KiB

[startup+2.00847 s]*
/proc/loadavg: 7.80 8.13 8.21 8/208 6537
/proc/meminfo: memFree=20357128/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
[pid=6510] ppid=6508 vsize=26643044 memory=142072 CPUtime=12.17 cores=0-7
/proc/6510/stat : 6510 (java) S 6508 6508 6078 0 -1 1077944320 34981 0 0 0 1203 14 0 0 20 0 19 0 90653068 27282477056 35518 33554432000 4194304 4196468 140729827154176 140729827136720 140475917197047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
/proc/6510/statm: 6660761 35518 3380 1 0 6621955 0
[pid=6510/tid=6511] ppid=6508 vsize=26643044 memory=8112282956445269571 CPUtime=0.6 cores=0-7
/proc/6510/task/6511/stat : 6511 (java) S 6508 6508 6078 0 -1 1077944384 7226 0 0 0 58 2 0 0 20 0 19 0 90653068 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475921439888 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6512] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6512/stat : 6512 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475839777168 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6513] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6513/stat : 6513 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475838724368 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6514] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6514/stat : 6514 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475837672080 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6515] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6515/stat : 6515 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475836619280 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6516] ppid=6508 vsize=26643044 memory=3544385890265608239 CPUtime=0 cores=0-7
/proc/6510/task/6516/stat : 6516 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475835566992 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6517] ppid=6508 vsize=26643044 memory=7378661388463573605 CPUtime=0 cores=0-7
/proc/6510/task/6517/stat : 6517 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475834514192 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6518] ppid=6508 vsize=26643044 memory=-2605811476043407915 CPUtime=0 cores=0-7
/proc/6510/task/6518/stat : 6518 (java) S 6508 6508 6078 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475833461904 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6519] ppid=6508 vsize=26643044 memory=-8686725192589007501 CPUtime=0 cores=0-7
/proc/6510/task/6519/stat : 6519 (java) S 6508 6508 6078 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 90653069 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475832409104 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6520] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6520/stat : 6520 (java) S 6508 6508 6078 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 90653070 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475312912704 140475917208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6521] ppid=6508 vsize=26643044 memory=3472328296227680303 CPUtime=0 cores=0-7
/proc/6510/task/6521/stat : 6521 (java) S 6508 6508 6078 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 90653071 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475311858464 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6522] ppid=6508 vsize=26643044 memory=7084820200048181347 CPUtime=0 cores=0-7
/proc/6510/task/6522/stat : 6522 (java) S 6508 6508 6078 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 90653071 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475310806128 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6523] ppid=6508 vsize=26643044 memory=-7029379521810568556 CPUtime=0 cores=0-7
/proc/6510/task/6523/stat : 6523 (java) S 6508 6508 6078 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 90653073 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475309754096 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6524] ppid=6508 vsize=26643044 memory=-7246659158121525826 CPUtime=0.74 cores=0-7
/proc/6510/task/6524/stat : 6524 (java) S 6508 6508 6078 0 -1 1077944384 3951 0 0 0 72 2 0 0 20 0 19 0 90653073 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475308686832 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6525] ppid=6508 vsize=26643044 memory=1456 CPUtime=0.86 cores=0-7
/proc/6510/task/6525/stat : 6525 (java) R 6508 6508 6078 0 -1 4202560 12111 0 0 0 83 3 0 0 20 0 19 0 90653073 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475307635968 140475898742269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6526] ppid=6508 vsize=26643044 memory=127104 CPUtime=0.82 cores=0-7
/proc/6510/task/6526/stat : 6526 (java) S 6508 6508 6078 0 -1 1077944384 5394 0 0 0 81 1 0 0 20 0 19 0 90653073 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475306577648 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6527] ppid=6508 vsize=26643044 memory=0 CPUtime=0.55 cores=0-7
/proc/6510/task/6527/stat : 6527 (java) S 6508 6508 6078 0 -1 1077944384 3742 0 0 0 54 1 0 0 20 0 19 0 90653073 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475305544432 140475917208194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
[pid=6510/tid=6528] ppid=6508 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/6510/task/6528/stat : 6528 (java) S 6508 6508 6078 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 90653074 27282477056 35518 33554432000 4194304 4196468 140729827154176 140475304491360 140475917207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18063360 140729827157121 140729827157293 140729827157293 140729827160015 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 143528 KiB

[startup+2.40036 s]
/proc/loadavg: 7.80 8.13 8.21 8/208 6537
/proc/meminfo: memFree=20357128/32770624 swapFree=67108860/67108860
[pid=6508] ppid=6505 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6508/stat : 6508 (xcsp3-exec) S 6505 6508 6078 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90653067 115843072 364 33554432000 4194304 5098028 140726622447568 140726622445672 139623063499388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9236480 140726622454838 140726622455040 140726622455040 140726622457802 0
/proc/6508/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 2.47659
CPU time (s): 12.2183
CPU user time (s): 12.066
CPU system time (s): 0.152252
CPU usage (%): 493.351
Max. virtual memory (cumulated for all children) (KiB): 26758568
Max. memory (cumulated for all children) (KiB): 143548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.066
system time used= 0.152252
maximum resident set size= 142484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3628
involuntary context switches= 265


# summary of solver processes directly reported to runsolver:
#   pid: 6508
#   total CPU time (s): 12.2183
#   total CPU user time (s): 12.066
#   total CPU system time (s): 0.152252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043196 second user time and 0.066852 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 00:34:59
IDJOB=4297727
IDBENCH=141610
IDSOLVER=2760
FILE ID=node105/4297727-1532730899
RUNJOBID= node105-1532728371-6105
PBS_JOBID= 21022347
Free space on /tmp= 44624 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-07_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297727-1532730899/watcher-4297727-1532730899 -o /tmp/evaluation-result-4297727-1532730899/solver-4297727-1532730899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532728371-6105 --watchdog 2580  HOME/xcsp3-exec -seed 883222517 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297727-1532730899.xml

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

MD5SUM BENCH= 950a11acbe9bee1dbcb0d00f57370eba
RANDOM SEED=883222517

node105.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.32
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.32
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.32
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.32
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:        20489676 kB
MemAvailable:   31931776 kB
Buffers:          262840 kB
Cached:         11319832 kB
SwapCached:            0 kB
Active:          2388632 kB
Inactive:        9246188 kB
Active(anon):       6936 kB
Inactive(anon):    73352 kB
Active(file):    2381696 kB
Inactive(file):  9172836 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22152 kB
Writeback:             0 kB
AnonPages:        118348 kB
Mapped:            41760 kB
Shmem:             25228 kB
Slab:             343660 kB
SReclaimable:     316028 kB
SUnreclaim:        27632 kB
KernelStack:        3696 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44604 MiB
End job on node105 at 2018-07-28 00:35:02