Trace number 4292560

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.7 seq (493a269)UNSAT 13.1899 10.2481

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-08_c18.xml
MD5SUMf8c10a8313da5da6e599be620e9e581f
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 benchmark1.55614
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints114
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":120}]
Minimum variable degree0
Maximum variable degree17
Distribution of variable degrees[{"degree":0,"count":8},{"degree":2,"count":56},{"degree":16,"count":8},{"degree":17,"count":56}]
Minimum constraint arity8
Maximum constraint arity64
Distribution of constraint arities[{"arity":8,"count":1},{"arity":10,"count":112},{"arity":64,"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":112}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292560-1532585043.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292560-1532585043.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
0.73/0.48	c solve instance...
13.13/10.24	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 (4894 MiB free)
  memory of node 1: 16384 MiB (7792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292560-1532585043/watcher-4292560-1532585043 -o /tmp/evaluation-result-4292560-1532585043/solver-4292560-1532585043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532582652-6189 --watchdog 2560 HOME/xcsp3-exec -seed 760014053 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292560-1532585043.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=6484, runsolver pid=6476
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.90 1.68 1.54 3/219 6500
/proc/meminfo: memFree=12962656/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14082840 memory=28980 CPUtime=0.12 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 5548 0 0 0 11 1 0 0 20 0 15 0 76067457 14420828160 7245 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3520710 7245 3027 1 0 3483008 0
[pid=6486/tid=6487] ppid=6484 vsize=14082840 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 3552 0 0 0 8 1 0 0 20 0 15 0 76067457 14420828160 7245 33554432000 4194304 4196468 140722906942528 139785471534976 139785452997359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14082840 memory=3472468226257790160 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14420828160 7245 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14082840 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14420828160 7245 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14420828160 7245 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14420828160 7245 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067459 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 76067462 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14082840 memory=140097362638464 CPUtime=0.01 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) R 6484 6484 6157 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 76067462 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784934607216 139785460398459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14082840 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067463 14420828160 7245 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30432 KiB

[startup+0.212899 s]*
/proc/loadavg: 1.90 1.68 1.54 5/219 6500
/proc/meminfo: memFree=12944364/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14087096 memory=40796 CPUtime=0.34 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 8225 0 0 0 32 2 0 0 20 0 15 0 76067457 14425186304 10199 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3521774 10199 3166 1 0 3483008 0
[pid=6486/tid=6487] ppid=6484 vsize=14087096 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 5464 0 0 0 18 1 0 0 20 0 15 0 76067457 14425186304 10199 33554432000 4194304 4196468 140722906942528 139785471524928 139785467322970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14087096 memory=3472468226257790160 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 10199 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14087096 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 10199 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 10199 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 10199 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14087096 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76067459 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 76067462 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 76067462 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14087096 memory=140097362638464 CPUtime=0.08 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) R 6484 6484 6157 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 76067462 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784934607216 139785467313558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14087096 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067463 14425186304 10199 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42248 KiB

[startup+0.310449 s]*
/proc/loadavg: 1.90 1.68 1.54 5/219 6500
/proc/meminfo: memFree=12929740/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14087096 memory=47644 CPUtime=0.51 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 9060 0 0 0 48 3 0 0 20 0 15 0 76067457 14425186304 11911 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3521774 11911 3197 1 0 3483008 0
[pid=6486/tid=6487] ppid=6484 vsize=14087096 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 6147 0 0 0 27 2 0 0 20 0 15 0 76067457 14425186304 11911 33554432000 4194304 4196468 140722906942528 139785471536752 139785467323549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14087096 memory=3472468226257790160 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 11911 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14087096 memory=140097362638464 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 11911 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 11911 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14087096 memory=140097202825247 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14425186304 11911 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14087096 memory=280194405629728 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76067459 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14087096 memory=140097202802191 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14087096 memory=280194565449824 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14087096 memory=140097202806799 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 76067462 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14087096 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 189 0 0 0 4 0 0 0 20 0 15 0 76067462 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 76067462 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067463 14425186304 11911 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49096 KiB

[startup+0.700801 s]
/proc/loadavg: 1.90 1.68 1.54 10/219 6500
/proc/meminfo: memFree=12895984/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14089220 memory=74544 CPUtime=1.62 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 14376 0 0 0 157 5 0 0 20 0 15 0 76067457 14427361280 18636 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3522305 18636 3339 1 0 3483520 0
[pid=6486/tid=6487] ppid=6484 vsize=14089220 memory=280194405437488 CPUtime=0.67 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 6854 0 0 0 64 3 0 0 20 0 15 0 76067457 14427361280 18636 33554432000 4194304 4196468 140722906942528 139785471540944 139785096285488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 18636 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 18636 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 18636 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14089220 memory=8540 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 18636 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14089220 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76067459 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14089220 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14089220 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14089220 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14089220 memory=5787213827130353767 CPUtime=0.31 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) R 6484 6484 6157 0 -1 4202560 1840 0 0 0 31 0 0 0 20 0 15 0 76067462 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784936700176 139785446540107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14089220 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) R 6484 6484 6157 0 -1 4202560 2434 0 0 0 28 0 0 0 20 0 15 0 76067462 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784935645560 139785467322970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14089220 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 1940 0 0 0 33 0 0 0 20 0 15 0 76067462 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14089220 memory=22732 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067463 14427361280 18636 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 75996 KiB

[startup+1.50084 s]
/proc/loadavg: 1.90 1.68 1.54 8/219 6500
/proc/meminfo: memFree=12844716/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0

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

/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14089220 memory=108912 CPUtime=10.93 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 27355 0 0 0 1086 7 0 0 20 0 15 0 76067457 14427361280 27228 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3522305 27228 3366 1 0 3483520 0
[pid=6486/tid=6487] ppid=6484 vsize=14089220 memory=0 CPUtime=7.98 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 8476 0 0 0 794 4 0 0 20 0 15 0 76067457 14427361280 27228 33554432000 4194304 4196468 140722906942528 139785471540488 139785100234952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14089220 memory=22244 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 27228 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 27228 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14089220 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 27228 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14089220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 27228 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14089220 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 76067459 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14089220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14089220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14089220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14089220 memory=2544 CPUtime=1.23 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 5938 0 0 0 122 1 0 0 20 0 15 0 76067462 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14089220 memory=1456 CPUtime=1.26 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 6749 0 0 0 126 0 0 0 20 0 15 0 76067462 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14089220 memory=126812 CPUtime=0.43 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 4204 0 0 0 43 0 0 0 20 0 15 0 76067462 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14089220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14089220 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 76067463 14427361280 27228 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 10.93 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 110364 KiB

[startup+9.60065 s]
/proc/loadavg: 1.92 1.69 1.55 3/219 6500
/proc/meminfo: memFree=12787256/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14089220 memory=117112 CPUtime=12.53 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 27698 0 0 0 1246 7 0 0 20 0 15 0 76067457 14427361280 29278 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3522305 29278 3366 1 0 3483520 0
[pid=6486/tid=6487] ppid=6484 vsize=14089220 memory=6443339767405176933 CPUtime=9.57 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 8495 0 0 0 953 4 0 0 20 0 15 0 76067457 14427361280 29278 33554432000 4194304 4196468 140722906942528 139785471538984 139785100072163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14089220 memory=7812457169590905186 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29278 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29278 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29278 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14089220 memory=122 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29278 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14089220 memory=126 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 76067459 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14089220 memory=42 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14089220 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 5938 0 0 0 122 1 0 0 20 0 15 0 76067462 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14089220 memory=1452 CPUtime=1.26 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 7061 0 0 0 126 0 0 0 20 0 15 0 76067462 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14089220 memory=94540 CPUtime=0.43 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 4216 0 0 0 43 0 0 0 20 0 15 0 76067462 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14089220 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14089220 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 76067463 14427361280 29278 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 118564 KiB

[startup+10.0006 s]*
/proc/loadavg: 1.92 1.69 1.55 3/219 6500
/proc/meminfo: memFree=12783036/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14089220 memory=119160 CPUtime=12.94 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 27700 0 0 0 1287 7 0 0 20 0 15 0 76067457 14427361280 29790 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3522305 29790 3366 1 0 3483520 0
[pid=6486/tid=6487] ppid=6484 vsize=14089220 memory=32213995742560408 CPUtime=9.98 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 8497 0 0 0 994 4 0 0 20 0 15 0 76067457 14427361280 29790 33554432000 4194304 4196468 140722906942528 139785471538984 139785100299295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29790 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14089220 memory=140097363074190 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29790 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14089220 memory=8475934422147845324 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29790 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14089220 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 29790 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 76067459 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14089220 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14089220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14089220 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14089220 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 5938 0 0 0 122 1 0 0 20 0 15 0 76067462 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14089220 memory=664971934029340515 CPUtime=1.26 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 7061 0 0 0 126 0 0 0 20 0 15 0 76067462 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14089220 memory=3821785436839341232 CPUtime=0.43 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 4216 0 0 0 43 0 0 0 20 0 15 0 76067462 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14089220 memory=4785954454810669365 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14089220 memory=7811992587683414210 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 76067463 14427361280 29790 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 12.94 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 120612 KiB

[startup+10.2006 s]
/proc/loadavg: 1.92 1.69 1.55 3/219 6500
/proc/meminfo: memFree=12783036/32770624 swapFree=67108860/67108860
[pid=6484] ppid=6476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6484/stat : 6484 (xcsp3-exec) S 6476 6484 6157 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 76067456 115843072 363 33554432000 4194304 5098028 140732124230288 140732124228392 140422105776764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33132544 140732124234811 140732124235012 140732124235012 140732124237770 0
/proc/6484/statm: 28282 363 305 221 0 87 0
[pid=6486] ppid=6484 vsize=14089220 memory=121208 CPUtime=13.13 cores=1,3,5,7
/proc/6486/stat : 6486 (java) S 6484 6484 6157 0 -1 1077944320 27712 0 0 0 1306 7 0 0 20 0 15 0 76067457 14427361280 30302 33554432000 4194304 4196468 140722906942528 140722906925072 139785467301623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
/proc/6486/statm: 3522305 30302 3366 1 0 3483520 0
[pid=6486/tid=6487] ppid=6484 vsize=14089220 memory=7597616690120175926 CPUtime=10.17 cores=1,3,5,7
/proc/6486/task/6487/stat : 6487 (java) R 6484 6484 6157 0 -1 4202560 8499 0 0 0 1013 4 0 0 20 0 15 0 76067457 14427361280 30302 33554432000 4194304 4196468 140722906942528 139785471538984 139785100235352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6488] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6488/stat : 6488 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 30302 33554432000 4194304 4196468 140722906942528 139785419921808 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6489] ppid=6484 vsize=14089220 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6489/stat : 6489 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 30302 33554432000 4194304 4196468 140722906942528 139785418869008 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6490] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6490/stat : 6490 (java) S 6484 6484 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 30302 33554432000 4194304 4196468 140722906942528 139785417816720 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6491] ppid=6484 vsize=14089220 memory=45236 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6491/stat : 6491 (java) S 6484 6484 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067458 14427361280 30302 33554432000 4194304 4196468 140722906942528 139785416763920 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6492] ppid=6484 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6492/stat : 6492 (java) S 6484 6484 6157 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 76067459 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784940923504 139785467312770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6493] ppid=6484 vsize=14089220 memory=140097203241920 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6493/stat : 6493 (java) S 6484 6484 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784939869472 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6494] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6494/stat : 6494 (java) S 6484 6484 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067460 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784938817136 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6495] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6495/stat : 6495 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784937765456 139785467320219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6496] ppid=6484 vsize=14089220 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/6486/task/6496/stat : 6496 (java) S 6484 6484 6157 0 -1 1077944384 5938 0 0 0 122 1 0 0 20 0 15 0 76067462 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784936712304 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6497] ppid=6484 vsize=14089220 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/6486/task/6497/stat : 6497 (java) S 6484 6484 6157 0 -1 1077944384 7061 0 0 0 126 0 0 0 20 0 15 0 76067462 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784935659504 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6498] ppid=6484 vsize=14089220 memory=6944656592455097440 CPUtime=0.43 cores=1,3,5,7
/proc/6486/task/6498/stat : 6498 (java) S 6484 6484 6157 0 -1 1077944384 4216 0 0 0 43 0 0 0 20 0 15 0 76067462 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784934607216 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6499] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6499/stat : 6499 (java) S 6484 6484 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067462 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784933554656 139785467311829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
[pid=6486/tid=6500] ppid=6484 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6486/task/6500/stat : 6500 (java) S 6484 6484 6157 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 76067463 14427361280 30302 33554432000 4194304 4196468 140722906942528 139784932502448 139785467312770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28602368 140722906944641 140722906944817 140722906944817 140722906947535 0
Current children cumulated CPU time: 13.13 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 122660 KiB

Child status: 0
Real time (s): 10.2481
CPU time (s): 13.1899
CPU user time (s): 13.1095
CPU system time (s): 0.080448
CPU usage (%): 128.707
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 122660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1095
system time used= 0.080448
maximum resident set size= 121524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2223
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 6484
#   total CPU time (s): 13.1899
#   total CPU user time (s): 13.1095
#   total CPU system time (s): 0.080448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080043 second user time and 0.140787 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-26 08:04:03
IDJOB=4292560
IDBENCH=141618
IDSOLVER=2747
FILE ID=node107/4292560-1532585043
RUNJOBID= node107-1532582652-6189
PBS_JOBID= 21021966
Free space on /tmp= 54504 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-08_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292560-1532585043/watcher-4292560-1532585043 -o /tmp/evaluation-result-4292560-1532585043/solver-4292560-1532585043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532582652-6189 --watchdog 2560  HOME/xcsp3-exec -seed 760014053 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292560-1532585043.xml

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

MD5SUM BENCH= f8c10a8313da5da6e599be620e9e581f
RANDOM SEED=760014053

node107.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.40
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.40
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.40
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.40
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:        12993340 kB
MemAvailable:   31921492 kB
Buffers:          293212 kB
Cached:         18754548 kB
SwapCached:            0 kB
Active:          4276964 kB
Inactive:       14835536 kB
Active(anon):      67992 kB
Inactive(anon):    25036 kB
Active(file):    4208972 kB
Inactive(file): 14810500 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41224 kB
Writeback:             0 kB
AnonPages:        155604 kB
Mapped:            47832 kB
Shmem:             25228 kB
Slab:             364228 kB
SReclaimable:     337140 kB
SUnreclaim:        27088 kB
KernelStack:        3552 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1276732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54484 MiB
End job on node107 at 2018-07-26 08:04:13