Trace number 4292557

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)? (TO) 2400.1 2393.02

General information on the benchmark

NameQuasigroups/
QuasiGroup-4-16_c18.xml
MD5SUMe7fed86d91a4783730bc3bb5ac61f990
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of constraints482
Number of domains2
Minimum domain size16
Maximum domain size256
Distribution of domain sizes[{"size":16,"count":256},{"size":256,"count":240}]
Minimum variable degree0
Maximum variable degree243
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":240},{"degree":242,"count":16},{"degree":243,"count":240}]
Minimum constraint arity3
Maximum constraint arity257
Distribution of constraint arities[{"arity":3,"count":240},{"arity":16,"count":1},{"arity":256,"count":1},{"arity":257,"count":240}]
Number of extensional constraints0
Number of intensional constraints240
Distribution of constraint types[{"type":"intension","count":240},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":240}]
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-4292557-1532585042.xml"  -tl '2400s' -p 1 -x 0
0.26/0.22	c Choco 493a269
0.26/0.22	c [HOME/instance-4292557-1532585042.xml, -tl, 2400s, -p, 1, -x, 0]
0.26/0.26	c simple solver
0.42/0.32	c parse instance...
1.84/0.82	c solve instance...
2400.08/2393.01	s UNKNOWN
2400.08/2393.01	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

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

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=6458, runsolver pid=6453

[startup+0.100072 s]*
/proc/loadavg: 1.90 1.68 1.54 1/199 6480
/proc/meminfo: memFree=12991528/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14081700 memory=22196 CPUtime=0.05 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 4852 0 0 0 4 1 0 0 20 0 15 0 76067446 14419660800 5549 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3520425 5549 2613 1 0 3482966 0
[pid=6461/tid=6462] ppid=6458 vsize=14081700 memory=-7306672497567438318 CPUtime=0.05 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 3044 0 0 0 4 1 0 0 20 0 15 0 76067446 14419660800 6061 33554432000 4194304 4196468 140726750716368 139794127882848 139794116318741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14081700 memory=4211973608983342474 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14419660800 6061 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14081700 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14419660800 6061 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14419660800 6061 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067447 14419660800 6061 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067448 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14081700 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067449 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067449 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14081700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) S 6458 6458 6157 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 76067455 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793592703216 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14081700 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14081700 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) R 6458 6458 6157 0 -1 4202560 229 0 0 0 0 0 0 0 20 0 15 0 76067455 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793590597616 139794109323774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14081700 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14081700 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067456 14419660800 6061 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14194828 KiB
Current children cumulated memory: 23652 KiB

[startup+0.210578 s]*
/proc/loadavg: 1.90 1.68 1.54 6/219 6500
/proc/meminfo: memFree=12962656/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14082840 memory=37304 CPUtime=0.26 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 7809 0 0 0 24 2 0 0 20 0 15 0 76067446 14420828160 9326 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3520710 9326 3128 1 0 3483008 0
[pid=6461/tid=6462] ppid=6458 vsize=14082840 memory=4500115623978573208 CPUtime=0.15 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 5145 0 0 0 14 1 0 0 20 0 15 0 76067446 14420828160 9382 33554432000 4194304 4196468 140726750716368 139794127860160 139794123662493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14082840 memory=3472468011673703632 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14420828160 9382 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14082840 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14420828160 9382 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14420828160 9382 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067447 14420828160 9382 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14082840 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067448 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067449 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067449 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) R 6458 6458 6157 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 76067455 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793592703216 139794104276488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 76067455 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14082840 memory=139882778551936 CPUtime=0.05 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) R 6458 6458 6157 0 -1 1077944384 796 0 0 0 5 0 0 0 20 0 15 0 76067455 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793590597616 139794123651714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14082840 memory=139882778551936 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067456 14420828160 9382 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 38760 KiB

[startup+0.310706 s]*
/proc/loadavg: 1.90 1.68 1.54 4/219 6500
/proc/meminfo: memFree=12944364/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14087096 memory=43668 CPUtime=0.42 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 8578 0 0 0 40 2 0 0 20 0 15 0 76067446 14425186304 10917 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3521774 10917 3206 1 0 3483008 0
[pid=6461/tid=6462] ppid=6458 vsize=14087096 memory=4500115623978573208 CPUtime=0.25 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 5796 0 0 0 23 2 0 0 20 0 15 0 76067446 14425186304 10917 33554432000 4194304 4196468 140726750716368 139794127870384 139794116318581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14087096 memory=3472328295574037613 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14425186304 10917 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14087096 memory=139882778555736 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14425186304 10917 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14087096 memory=171225961 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14425186304 10917 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067447 14425186304 10917 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14087096 memory=139882854380188 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76067448 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067449 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14087096 memory=10 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067449 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14087096 memory=9 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) R 6458 6458 6157 0 -1 4202560 432 0 0 0 4 0 0 0 20 0 15 0 76067455 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793592703216 139794101235456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) R 6458 6458 6157 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 76067455 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14087096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) R 6458 6458 6157 0 -1 4202560 836 0 0 0 9 0 0 0 20 0 15 0 76067455 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793590597616 139794115877694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067456 14425186304 10917 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 45124 KiB

[startup+0.705752 s]
/proc/loadavg: 1.90 1.68 1.54 7/219 6500
/proc/meminfo: memFree=12919032/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14089220 memory=83084 CPUtime=1.5 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 11403 0 0 0 146 4 0 0 20 0 15 0 76067446 14427361280 20771 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3522305 20771 3342 1 0 3483520 0
[pid=6461/tid=6462] ppid=6458 vsize=14089220 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 6953 0 0 0 61 2 0 0 20 0 15 0 76067446 14427361280 20771 33554432000 4194304 4196468 140726750716368 139794127875920 139794123652502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14089220 memory=33 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14427361280 20771 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14089220 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14427361280 20771 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067447 14427361280 20771 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76067447 14427361280 20771 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76067448 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14089220 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) R 6458 6458 6157 0 -1 4202560 741 0 0 0 24 0 0 0 20 0 15 0 76067455 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793592703216 139794108539309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14089220 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) R 6458 6458 6157 0 -1 4202560 649 0 0 0 23 0 0 0 20 0 15 0 76067455 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793591650672 139794109703792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14089220 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) R 6458 6458 6157 0 -1 1077944384 1752 0 0 0 36 0 0 0 20 0 15 0 76067455 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793590592688 139794123650773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14089220 memory=1 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14089220 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76067456 14427361280 20771 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 84540 KiB

[startup+1.50083 s]
/proc/loadavg: 1.90 1.68 1.54 7/219 6500
/proc/meminfo: memFree=12846204/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0

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

/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14089220 memory=158268 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14089220 memory=1456 CPUtime=2.65 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) S 6458 6458 6157 0 -1 1077944384 9777 0 0 0 264 1 0 0 20 0 15 0 76067455 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793592703216 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14089220 memory=1456 CPUtime=2.77 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 12940 0 0 0 275 2 0 0 20 0 15 0 76067455 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) S 6458 6458 6157 0 -1 1077944384 7881 0 0 0 68 2 0 0 20 0 15 0 76067455 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793590597616 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.66 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1420 0 0 0 27 39 0 0 20 0 15 0 76067456 14427361280 39567 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 2269.33 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159724 KiB

[startup+2322.3 s]
/proc/loadavg: 1.61 1.80 1.84 3/217 6647
/proc/meminfo: memFree=12615424/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14089220 memory=158780 CPUtime=2329.35 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 63744 0 0 0 232895 40 0 0 20 0 15 0 76067446 14427361280 39695 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3522305 39695 3399 1 0 3483520 0
[pid=6461/tid=6462] ppid=6458 vsize=14089220 memory=158780 CPUtime=2322.12 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 19576 0 0 0 232206 6 0 0 20 0 15 0 76067446 14427361280 39695 33554432000 4194304 4196468 140726750716368 139794127879360 139793757009228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1690 0 0 0 5 1 0 0 20 0 15 0 76067447 14427361280 39695 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14089220 memory=158780 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1759 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39695 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1999 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39695 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2629 0 0 0 6 0 0 0 20 0 15 0 76067447 14427361280 39695 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.08 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 2677 0 0 0 5 3 0 0 20 0 15 0 76067448 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14089220 memory=158780 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14089220 memory=158780 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14089220 memory=1456 CPUtime=2.65 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) S 6458 6458 6157 0 -1 1077944384 9779 0 0 0 264 1 0 0 20 0 15 0 76067455 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793592703216 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14089220 memory=4140 CPUtime=2.77 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 12943 0 0 0 275 2 0 0 20 0 15 0 76067455 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) S 6458 6458 6157 0 -1 1077944384 7883 0 0 0 68 2 0 0 20 0 15 0 76067455 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793590597616 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14089220 memory=158780 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14089220 memory=2340 CPUtime=0.67 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1441 0 0 0 27 40 0 0 20 0 15 0 76067456 14427361280 39695 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 2329.35 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 160236 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.76 1.82 3/217 6648
/proc/meminfo: memFree=12609816/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14089220 memory=157752 CPUtime=2389.37 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 63779 0 0 0 238896 41 0 0 20 0 15 0 76067446 14427361280 39438 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3522305 39438 3399 1 0 3483520 0
[pid=6461/tid=6462] ppid=6458 vsize=14089220 memory=1456 CPUtime=2382.11 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 19602 0 0 0 238205 6 0 0 20 0 15 0 76067446 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794127879360 139793759654389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14089220 memory=157752 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1691 0 0 0 5 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14089220 memory=157752 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1759 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14089220 memory=157752 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1999 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14089220 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2630 0 0 0 6 0 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14089220 memory=157752 CPUtime=0.08 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 2680 0 0 0 5 3 0 0 20 0 15 0 76067448 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14089220 memory=157752 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14089220 memory=69 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14089220 memory=4140 CPUtime=2.65 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) S 6458 6458 6157 0 -1 1077944384 9779 0 0 0 264 1 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793592703216 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14089220 memory=157752 CPUtime=2.77 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 12943 0 0 0 275 2 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14089220 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) S 6458 6458 6157 0 -1 1077944384 7883 0 0 0 68 2 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793590597616 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14089220 memory=952 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14089220 memory=1236 CPUtime=0.69 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1445 0 0 0 28 41 0 0 20 0 15 0 76067456 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 2389.37 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2393 s]*
/proc/loadavg: 1.70 1.77 1.82 3/217 6648
/proc/meminfo: memFree=12609940/32770624 swapFree=67108860/67108860
[pid=6458] ppid=6453 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6458/stat : 6458 (xcsp3-exec) S 6453 6458 6157 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76067446 115843072 364 33554432000 4194304 5098028 140729048988240 140729048986344 140634271801980 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11841536 140729048990779 140729048990980 140729048990980 140729048993738 0
/proc/6458/statm: 28282 364 306 221 0 87 0
[pid=6461] ppid=6458 vsize=14089220 memory=157752 CPUtime=2400.08 cores=0,2,4,6
/proc/6461/stat : 6461 (java) S 6458 6458 6157 0 -1 1077944320 63780 0 0 0 239967 41 0 0 20 0 15 0 76067446 14427361280 39438 33554432000 4194304 4196468 140726750716368 140726750698912 139794123640567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
/proc/6461/statm: 3522305 39438 3399 1 0 3483520 0
[pid=6461/tid=6462] ppid=6458 vsize=14089220 memory=-6733704525061579059 CPUtime=2392.82 cores=0,2,4,6
/proc/6461/task/6462/stat : 6462 (java) R 6458 6458 6157 0 -1 4202560 19603 0 0 0 239276 6 0 0 20 0 15 0 76067446 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794127879360 139793758931240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6463] ppid=6458 vsize=14089220 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6463/stat : 6463 (java) S 6458 6458 6157 0 -1 1077944384 1691 0 0 0 5 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794076260880 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6464] ppid=6458 vsize=14089220 memory=3184097920075968559 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6464/stat : 6464 (java) S 6458 6458 6157 0 -1 1077944384 1759 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794075208336 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6465] ppid=6458 vsize=14089220 memory=7378697629483820645 CPUtime=0.07 cores=0,2,4,6
/proc/6461/task/6465/stat : 6465 (java) S 6458 6458 6157 0 -1 1077944384 1999 0 0 0 6 1 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794074155280 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6466] ppid=6458 vsize=14089220 memory=55559696953990 CPUtime=0.06 cores=0,2,4,6
/proc/6461/task/6466/stat : 6466 (java) S 6458 6458 6157 0 -1 1077944384 2630 0 0 0 6 0 0 0 20 0 15 0 76067447 14427361280 39438 33554432000 4194304 4196468 140726750716368 139794073102736 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6467] ppid=6458 vsize=14089220 memory=317503997890265385 CPUtime=0.08 cores=0,2,4,6
/proc/6461/task/6467/stat : 6467 (java) S 6458 6458 6157 0 -1 1077944384 2680 0 0 0 5 3 0 0 20 0 15 0 76067448 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793596914416 139794123651714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6468] ppid=6458 vsize=14089220 memory=14694088964310519 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6468/stat : 6468 (java) S 6458 6458 6157 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793595860640 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6469] ppid=6458 vsize=14089220 memory=14694088964310519 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6469/stat : 6469 (java) S 6458 6458 6157 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76067449 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793594807536 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6475] ppid=6458 vsize=14089220 memory=7232890293113415765 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6475/stat : 6475 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793593756112 139794123659163 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6477] ppid=6458 vsize=14089220 memory=14503428727 CPUtime=2.65 cores=0,2,4,6
/proc/6461/task/6477/stat : 6477 (java) S 6458 6458 6157 0 -1 1077944384 9779 0 0 0 264 1 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793592703216 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6478] ppid=6458 vsize=14089220 memory=195674114 CPUtime=2.77 cores=0,2,4,6
/proc/6461/task/6478/stat : 6478 (java) S 6458 6458 6157 0 -1 1077944384 12943 0 0 0 275 2 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793591650672 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6479] ppid=6458 vsize=14089220 memory=7019467087973594166 CPUtime=0.7 cores=0,2,4,6
/proc/6461/task/6479/stat : 6479 (java) S 6458 6458 6157 0 -1 1077944384 7883 0 0 0 68 2 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793590597616 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6480] ppid=6458 vsize=14089220 memory=279765312484016 CPUtime=0 cores=0,2,4,6
/proc/6461/task/6480/stat : 6480 (java) S 6458 6458 6157 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76067455 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793589545312 139794123650773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
[pid=6461/tid=6481] ppid=6458 vsize=14089220 memory=7740108136537155638 CPUtime=0.69 cores=0,2,4,6
/proc/6461/task/6481/stat : 6481 (java) S 6458 6458 6157 0 -1 1077944384 1445 0 0 0 28 41 0 0 20 0 15 0 76067456 14427361280 39438 33554432000 4194304 4196468 140726750716368 139793588493360 139794123651714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19435520 140726750721153 140726750721329 140726750721329 140726750724047 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 159208 KiB

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

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

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

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

Child status: 143
Real time (s): 2393.02
CPU time (s): 2400.1
CPU user time (s): 2399.68
CPU system time (s): 0.420502
CPU usage (%): 100.296
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 234560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.420502
maximum resident set size= 238732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55666
involuntary context switches= 2283


# summary of solver processes directly reported to runsolver:
#   pid: 6458,6461
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2399.68
#   total CPU system time (s): 0.420502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4413 second user time and 21.0052 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-26 08:04:03
IDJOB=4292557
IDBENCH=141617
IDSOLVER=2747
FILE ID=node107/4292557-1532585042
RUNJOBID= node107-1532582652-6188
PBS_JOBID= 21021966
Free space on /tmp= 54524 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-16_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-4292557-1532585042/watcher-4292557-1532585042 -o /tmp/evaluation-result-4292557-1532585042/solver-4292557-1532585042 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532582652-6188 --watchdog 2560  HOME/xcsp3-exec -seed 760014053 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292557-1532585042.xml

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

MD5SUM BENCH= e7fed86d91a4783730bc3bb5ac61f990
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:        13024324 kB
MemAvailable:   31932000 kB
Buffers:          293184 kB
Cached:         18734012 kB
SwapCached:            0 kB
Active:          4245656 kB
Inactive:       14835536 kB
Active(anon):      57160 kB
Inactive(anon):    25036 kB
Active(file):    4188496 kB
Inactive(file): 14810500 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             20660 kB
Writeback:             0 kB
AnonPages:        148420 kB
Mapped:            41040 kB
Shmem:             25228 kB
Slab:             364228 kB
SReclaimable:     337140 kB
SUnreclaim:        27088 kB
KernelStack:        3552 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325936 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:43:56