Trace number 4393161

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 2019-06-14? (TO) 2520.36 633.477

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-080-25.xml
MD5SUM86f21c6f99b90e2b5de67b4ee346bae4
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 benchmark51.5215
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints300
Number of domains1
Minimum domain size6400
Maximum domain size6400
Distribution of domain sizes[{"size":6400,"count":25}]
Minimum variable degree23
Maximum variable degree23
Distribution of variable degrees[{"degree":23,"count":25}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":300}]
Number of extensional constraints0
Number of intensional constraints300
Distribution of constraint types[{"type":"intension","count":300}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393161-1568314273.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393161-1568314273.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
1.82/0.87	c solve instance...
2520.06/633.46	s UNKNOWN
2520.06/633.46	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 (15321 MiB free)
  memory of node 1: 16384 MiB (13299 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393161-1568314273/watcher-4393161-1568314273 -o /tmp/evaluation-result-4393161-1568314273/solver-4393161-1568314273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 924990278 HOME/instance-4393161-1568314273.xml 

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

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


[startup+0.100094 s]*
/proc/loadavg: 7.00 6.33 5.64 7/232 15683
/proc/meminfo: memFree=29290048/32770624 swapFree=66920648/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15144768 memory=29828 CPUtime=0.12 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 5880 0 0 0 11 1 0 0 20 0 15 0 407683390 15508242432 7457 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3786192 7457 3145 1 0 3748377 0
[pid=15669/tid=15670] ppid=15667 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) R 15667 15667 14254 0 -1 4202560 3777 0 0 0 8 1 0 0 20 0 15 0 407683390 15508242432 7457 33554432000 4194304 4196468 140732884322496 139907185882448 139906818531123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15144768 memory=3762108799363794592 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683392 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407683393 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906280027808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683393 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906186274032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) S 15667 15667 14254 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906184169712 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15144768 memory=140535883843200 CPUtime=0.02 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) R 15667 15667 14254 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906182064112 139907181661590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 7457 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31280 KiB

[startup+0.210784 s]*
/proc/loadavg: 7.00 6.33 5.64 8/232 15683
/proc/meminfo: memFree=29278632/32770624 swapFree=66920648/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15144768 memory=41376 CPUtime=0.34 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 9503 0 0 0 31 3 0 0 20 0 15 0 407683390 15508242432 10344 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3786192 10344 3322 1 0 3748377 0
[pid=15669/tid=15670] ppid=15667 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) R 15667 15667 14254 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 15 0 407683390 15508242432 10344 33554432000 4194304 4196468 140732884322496 139907185879376 139907165730142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15144768 memory=140535886685647 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15144768 memory=140535883843200 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407683392 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407683393 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906280027808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683393 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906186274032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) S 15667 15667 14254 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906184169712 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15144768 memory=140535883843200 CPUtime=0.07 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) S 15667 15667 14254 0 -1 1077944384 901 0 0 0 7 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906182064112 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683396 15508242432 10344 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42828 KiB

[startup+0.31051 s]*
/proc/loadavg: 7.00 6.33 5.64 7/232 15683
/proc/meminfo: memFree=29272088/32770624 swapFree=66920648/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15149024 memory=50636 CPUtime=0.52 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 10934 0 0 0 48 4 0 0 20 0 15 0 407683390 15512600576 12659 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3787256 12659 3370 1 0 3748377 0
[pid=15669/tid=15670] ppid=15667 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) R 15667 15667 14254 0 -1 4202560 7747 0 0 0 27 3 0 0 20 0 15 0 407683390 15512600576 12725 33554432000 4194304 4196468 140732884322496 139907185880768 139907165730142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407683392 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407683393 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906280027808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683393 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906186274032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) R 15667 15667 14254 0 -1 4202560 680 0 0 0 4 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906184168896 139907161303521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 156 0 0 0 4 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) R 15667 15667 14254 0 -1 1077944384 1122 0 0 0 12 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906182064112 139907181660802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683396 15512600576 12725 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52088 KiB

[startup+0.70247 s]
/proc/loadavg: 7.00 6.33 5.64 9/232 15683
/proc/meminfo: memFree=29259160/32770624 swapFree=66920648/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15151148 memory=84220 CPUtime=1.52 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 15220 0 0 0 146 6 0 0 20 0 15 0 407683390 15514775552 21055 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3787787 21055 3451 1 0 3748889 0
[pid=15669/tid=15670] ppid=15667 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) R 15667 15667 14254 0 -1 4202560 9360 0 0 0 64 3 0 0 20 0 15 0 407683390 15514775552 21055 33554432000 4194304 4196468 140732884322496 139907185886064 139906818859684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683391 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407683391 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407683392 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407683393 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906280027808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683393 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906186274032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15151148 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15151148 memory=3444 CPUtime=0.22 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) R 15667 15667 14254 0 -1 4202560 1401 0 0 0 22 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906184169712 139907167704624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15151148 memory=1556 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) R 15667 15667 14254 0 -1 4202560 871 0 0 0 19 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906183117168 139907165036351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15151148 memory=2832 CPUtime=0.4 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) R 15667 15667 14254 0 -1 1077944384 2300 0 0 0 40 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906182064240 139907181659861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407683396 15514775552 21055 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85672 KiB

[startup+1.50161 s]
/proc/loadavg: 7.00 6.33 5.64 12/236 15687
/proc/meminfo: memFree=29196596/32770624 swapFree=66920648/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0

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

/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 65636 0 0 0 207742 29 0 0 20 0 19 0 407683390 15789518848 44415 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3854863 44415 3537 1 0 3815965 0
[pid=15669/tid=15670] ppid=15667 vsize=15419452 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) S 15667 15667 14254 0 -1 1077944384 9464 0 0 0 82 4 0 0 20 0 19 0 407683390 15789518848 44415 33554432000 4194304 4196468 140732884322496 139907185890432 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15419452 memory=177660 CPUtime=0.18 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 949 0 0 0 16 2 0 0 20 0 19 0 407683391 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15419452 memory=176124 CPUtime=0.18 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 2281 0 0 0 16 2 0 0 20 0 19 0 407683391 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15419452 memory=177660 CPUtime=0.17 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 2384 0 0 0 15 2 0 0 20 0 19 0 407683391 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15419452 memory=1452 CPUtime=0.17 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2340 0 0 0 15 2 0 0 20 0 19 0 407683391 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15419452 memory=3472328296227679313 CPUtime=0.17 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 2157 0 0 0 9 8 0 0 20 0 19 0 407683392 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15419452 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906280027872 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15419452 memory=177660 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906186274048 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15419452 memory=176124 CPUtime=2.18 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) S 15667 15667 14254 0 -1 1077944384 14204 0 0 0 217 1 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906184169712 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15419452 memory=-3622645143214314312 CPUtime=2.28 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 13453 0 0 0 228 0 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15419452 memory=177660 CPUtime=0.79 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) S 15667 15667 14254 0 -1 1077944384 8714 0 0 0 78 1 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906182064112 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15419452 memory=172788 CPUtime=0.07 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 601 0 0 0 0 7 0 0 20 0 19 0 407683396 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15684] ppid=15667 vsize=15419452 memory=1452 CPUtime=518.2 cores=0,2,4,6
/proc/15669/task/15684/stat : 15684 (java) R 15667 15667 14254 0 -1 4202560 970 0 0 0 51820 0 0 0 20 0 19 0 407683478 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906168888824 139906825960509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15685] ppid=15667 vsize=15419452 memory=1452 CPUtime=517.07 cores=0,2,4,6
/proc/15669/task/15685/stat : 15685 (java) R 15667 15667 14254 0 -1 4202560 3840 0 0 0 51704 3 0 0 20 0 19 0 407683479 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906167839632 139906827683808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15686] ppid=15667 vsize=15419452 memory=1452 CPUtime=516.89 cores=0,2,4,6
/proc/15669/task/15686/stat : 15686 (java) R 15667 15667 14254 0 -1 4202560 1445 0 0 0 51689 0 0 0 20 0 19 0 407683479 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906166784344 139906825960532 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15687] ppid=15667 vsize=15419452 memory=177660 CPUtime=518.35 cores=0,2,4,6
/proc/15669/task/15687/stat : 15687 (java) R 15667 15667 14254 0 -1 4202560 1466 0 0 0 51835 0 0 0 20 0 19 0 407683479 15789518848 44415 33554432000 4194304 4196468 140732884322496 139906165731040 139906825960683 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 2077.71 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 179112 KiB

[startup+582.302 s]
/proc/loadavg: 8.77 8.25 7.01 10/235 15819
/proc/meminfo: memFree=30565492/32770624 swapFree=66920656/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15419452 memory=188544 CPUtime=2316.63 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 66735 0 0 0 231633 30 0 0 20 0 19 0 407683390 15789518848 47136 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3854863 47136 3537 1 0 3815965 0
[pid=15669/tid=15670] ppid=15667 vsize=15419452 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) S 15667 15667 14254 0 -1 1077944384 9464 0 0 0 82 4 0 0 20 0 19 0 407683390 15789518848 47136 33554432000 4194304 4196468 140732884322496 139907185890432 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15419452 memory=188544 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 973 0 0 0 17 2 0 0 20 0 19 0 407683391 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15419452 memory=188544 CPUtime=0.18 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 2328 0 0 0 16 2 0 0 20 0 19 0 407683391 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15419452 memory=188544 CPUtime=0.18 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 2427 0 0 0 16 2 0 0 20 0 19 0 407683391 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15419452 memory=1452 CPUtime=0.18 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2695 0 0 0 16 2 0 0 20 0 19 0 407683391 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15419452 memory=188544 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 2180 0 0 0 10 9 0 0 20 0 19 0 407683392 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15419452 memory=188544 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906280027872 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15419452 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906186274048 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15419452 memory=188544 CPUtime=2.19 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) S 15667 15667 14254 0 -1 1077944384 14442 0 0 0 218 1 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906184169712 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15419452 memory=188544 CPUtime=2.28 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 13455 0 0 0 228 0 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15419452 memory=2691048 CPUtime=0.8 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) S 15667 15667 14254 0 -1 1077944384 8905 0 0 0 79 1 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906182064112 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15419452 memory=188544 CPUtime=0.08 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 607 0 0 0 0 8 0 0 20 0 19 0 407683396 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 35 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15684] ppid=15667 vsize=15419452 memory=928 CPUtime=578.14 cores=0,2,4,6
/proc/15669/task/15684/stat : 15684 (java) R 15667 15667 14254 0 -1 4202560 1013 0 0 0 57814 0 0 0 20 0 19 0 407683478 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906168888576 139906825960426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15685] ppid=15667 vsize=15419452 memory=1452 CPUtime=576.87 cores=0,2,4,6
/proc/15669/task/15685/stat : 15685 (java) R 15667 15667 14254 0 -1 4202560 3907 0 0 0 57684 3 0 0 20 0 19 0 407683479 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906167839296 139906827683875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15686] ppid=15667 vsize=15419452 memory=1452 CPUtime=576.47 cores=0,2,4,6
/proc/15669/task/15686/stat : 15686 (java) R 15667 15667 14254 0 -1 4202560 1465 0 0 0 57647 0 0 0 20 0 19 0 407683479 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906166784344 139906825960426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15687] ppid=15667 vsize=15419452 memory=188544 CPUtime=577.87 cores=0,2,4,6
/proc/15669/task/15687/stat : 15687 (java) R 15667 15667 14254 0 -1 4202560 1506 0 0 0 57787 0 0 0 20 0 19 0 407683479 15789518848 47136 33554432000 4194304 4196468 140732884322496 139906165731288 139906825960487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 2316.63 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 189996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.402 s]
/proc/loadavg: 8.91 8.37 7.12 10/236 15825
/proc/meminfo: memFree=30561008/32770624 swapFree=66920656/67108860
[pid=15667] ppid=15664 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407683390 115843072 363 33554432000 4194304 5098028 140726792312800 140726792310904 140172883157628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16867328 140726792315771 140726792316013 140726792316013 140726792318922 0
/proc/15667/statm: 28282 363 304 221 0 87 0
[pid=15669] ppid=15667 vsize=15419452 memory=190716 CPUtime=2520.06 cores=0,2,4,6
/proc/15669/stat : 15669 (java) S 15667 15667 14254 0 -1 1077944320 67214 0 0 0 251974 32 0 0 20 0 19 0 407683390 15789518848 47679 33554432000 4194304 4196468 140732884322496 140732884305040 139907181649655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
/proc/15669/statm: 3854863 47679 3537 1 0 3815965 0
[pid=15669/tid=15670] ppid=15667 vsize=15419452 memory=14981065810905736 CPUtime=0.86 cores=0,2,4,6
/proc/15669/task/15670/stat : 15670 (java) S 15667 15667 14254 0 -1 1077944384 9464 0 0 0 82 4 0 0 20 0 19 0 407683390 15789518848 47679 33554432000 4194304 4196468 140732884322496 139907185890432 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15671] ppid=15667 vsize=15419452 memory=8514726395715349656 CPUtime=0.2 cores=0,2,4,6
/proc/15669/task/15671/stat : 15671 (java) S 15667 15667 14254 0 -1 1077944384 991 0 0 0 18 2 0 0 20 0 19 0 407683391 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906773551632 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15672] ppid=15667 vsize=15419452 memory=3047711553320166262 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15672/stat : 15672 (java) S 15667 15667 14254 0 -1 1077944384 2400 0 0 0 17 2 0 0 20 0 19 0 407683391 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906772499088 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15673] ppid=15667 vsize=15419452 memory=7824336315716348491 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15673/stat : 15673 (java) S 15667 15667 14254 0 -1 1077944384 2445 0 0 0 17 2 0 0 20 0 19 0 407683391 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906771446032 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15674] ppid=15667 vsize=15419452 memory=7523663834927754599 CPUtime=0.19 cores=0,2,4,6
/proc/15669/task/15674/stat : 15674 (java) S 15667 15667 14254 0 -1 1077944384 2720 0 0 0 17 2 0 0 20 0 19 0 407683391 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906770393488 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15675] ppid=15667 vsize=15419452 memory=7739828933732623698 CPUtime=0.2 cores=0,2,4,6
/proc/15669/task/15675/stat : 15675 (java) S 15667 15667 14254 0 -1 1077944384 2349 0 0 0 10 10 0 0 20 0 19 0 407683392 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906281081584 139907181660802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15676] ppid=15667 vsize=15419452 memory=7666648737918642536 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15676/stat : 15676 (java) S 15667 15667 14254 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906280027872 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15677] ppid=15667 vsize=15419452 memory=7955398066799406184 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15677/stat : 15677 (java) S 15667 15667 14254 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 407683393 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906186274048 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15678] ppid=15667 vsize=15419452 memory=7440056992597305454 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15678/stat : 15678 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906185222608 139907181668251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15679] ppid=15667 vsize=15419452 memory=7014194131680389485 CPUtime=2.19 cores=0,2,4,6
/proc/15669/task/15679/stat : 15679 (java) S 15667 15667 14254 0 -1 1077944384 14442 0 0 0 218 1 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906184169712 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15680] ppid=15667 vsize=15419452 memory=6372146407073670248 CPUtime=2.28 cores=0,2,4,6
/proc/15669/task/15680/stat : 15680 (java) S 15667 15667 14254 0 -1 1077944384 13455 0 0 0 228 0 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906183117168 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15681] ppid=15667 vsize=15419452 memory=7444828855864944747 CPUtime=0.8 cores=0,2,4,6
/proc/15669/task/15681/stat : 15681 (java) S 15667 15667 14254 0 -1 1077944384 8906 0 0 0 79 1 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906182064112 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15682] ppid=15667 vsize=15419452 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/15669/task/15682/stat : 15682 (java) S 15667 15667 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906181011808 139907181659861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15683] ppid=15667 vsize=15419452 memory=984 CPUtime=0.09 cores=0,2,4,6
/proc/15669/task/15683/stat : 15683 (java) S 15667 15667 14254 0 -1 1077944384 622 0 0 0 0 9 0 0 20 0 19 0 407683396 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906179959856 139907181660802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15684] ppid=15667 vsize=15419452 memory=14012 CPUtime=628.84 cores=0,2,4,6
/proc/15669/task/15684/stat : 15684 (java) R 15667 15667 14254 0 -1 4202560 1085 0 0 0 62884 0 0 0 20 0 19 0 407683478 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906168888824 139906825960380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15685] ppid=15667 vsize=15419452 memory=5148 CPUtime=627.61 cores=0,2,4,6
/proc/15669/task/15685/stat : 15685 (java) R 15667 15667 14254 0 -1 4202560 3948 0 0 0 62758 3 0 0 20 0 19 0 407683479 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906167839296 139906827683828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15686] ppid=15667 vsize=15419452 memory=2120 CPUtime=627.41 cores=0,2,4,6
/proc/15669/task/15686/stat : 15686 (java) R 15667 15667 14254 0 -1 4202560 1484 0 0 0 62741 0 0 0 20 0 19 0 407683479 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906166784096 139906825960439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
[pid=15669/tid=15687] ppid=15667 vsize=15419452 memory=12020 CPUtime=628.86 cores=0,2,4,6
/proc/15669/task/15687/stat : 15687 (java) R 15667 15667 14254 0 -1 4202560 1535 0 0 0 62886 0 0 0 20 0 19 0 407683479 15789518848 47679 33554432000 4194304 4196468 140732884322496 139906165731288 139906825960647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11923456 140732884325359 140732884325530 140732884325530 140732884328399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 192168 KiB

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

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

[startup+633.477 s]
# the end of solver process 15669 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.326416 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): 633.477
CPU time (s): 2520.36
CPU user time (s): 2520.03
CPU system time (s): 0.326416
CPU usage (%): 397.862
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 220004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.326416
maximum resident set size= 223680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20360
involuntary context switches= 41583


# summary of solver processes directly reported to runsolver:
#   pid: 15667,15669
#   total CPU time (s): 2520.36
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.326416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82111 second user time and 6.57114 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 19:49:17
IDJOB=4393161
IDBENCH=120660
IDSOLVER=2840
FILE ID=node107/4393161-1568314273
RUNJOBID= node107-1568308867-14285
PBS_JOBID= 21701131
Free space on /tmp= 55680 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-080-25.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393161-1568314273/watcher-4393161-1568314273 -o /tmp/evaluation-result-4393161-1568314273/solver-4393161-1568314273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 924990278 HOME/instance-4393161-1568314273.xml

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

MD5SUM BENCH= 86f21c6f99b90e2b5de67b4ee346bae4
RANDOM SEED=924990278

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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        29307400 kB
MemAvailable:   29644020 kB
Buffers:          111972 kB
Cached:           493744 kB
SwapCached:        80404 kB
Active:          2576796 kB
Inactive:         297648 kB
Active(anon):    2197620 kB
Inactive(anon):   100092 kB
Active(file):     379176 kB
Inactive(file):   197556 kB
Unevictable:      110040 kB
Mlocked:          110040 kB
SwapTotal:      67108860 kB
SwapFree:       66920648 kB
Dirty:             25988 kB
Writeback:            12 kB
AnonPages:       2299668 kB
Mapped:            44552 kB
Shmem:             20396 kB
Slab:             180464 kB
SReclaimable:     151444 kB
SUnreclaim:        29020 kB
KernelStack:        3792 kB
PageTables:        10276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4718904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2185216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 55656 MiB
End job on node107 at 2019-09-12 19:59:51