Trace number 4297746

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)? (TO) 19767.9 2520.16

General information on the benchmark

NameSocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
MD5SUM438a4422dc9540b34dd70f26f18dc3ca
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 benchmark52.4708
Satisfiable
(Un)Satisfiability was proved
Number of variables324
Number of constraints22691
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":324}]
Minimum variable degree282
Maximum variable degree283
Distribution of variable degrees[{"degree":282,"count":288},{"degree":283,"count":36}]
Minimum constraint arity4
Maximum constraint arity324
Distribution of constraint arities[{"arity":4,"count":22680},{"arity":36,"count":10},{"arity":324,"count":1}]
Number of extensional constraints0
Number of intensional constraints22680
Distribution of constraint types[{"type":"intension","count":22680},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297746-1532717976.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297746-1532717976.xml, -tl, 20160s, -p, 8]
0.11/0.22	c 8 solvers in parallel
0.35/0.28	c parse instance...
299.26/79.62	c solve instance...
19767.16/2520.09	s UNKNOWN
19767.16/2520.09	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 (13151 MiB free)
  memory of node 1: 16384 MiB (13709 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297746-1532717976/watcher-4297746-1532717976 -o /tmp/evaluation-result-4297746-1532717976/solver-4297746-1532717976 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532712815-17846 --watchdog 2580 HOME/xcsp3-exec -seed 671703776 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297746-1532717976.xml 

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

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


[startup+0.100135 s]*
/proc/loadavg: 8.31 8.18 7.96 2/204 20547
/proc/meminfo: memFree=27490916/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26104152 memory=26856 CPUtime=0.11 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 5657 0 0 0 10 1 0 0 20 0 20 0 89360761 26730651648 6714 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6526038 6714 2997 1 0 6488315 0
[pid=20528/tid=20529] ppid=20526 vsize=26104152 memory=8040222142390772121 CPUtime=0.08 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) R 20526 20526 17819 0 -1 4202560 3667 0 0 0 8 0 0 0 20 0 20 0 89360761 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645823125296 139645818903958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26104152 memory=732370655805291493 CPUtime=0 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26104152 memory=140517467838080 CPUtime=0 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20533] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20533/stat : 20533 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645768354576 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20534] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20534/stat : 20534 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645767301776 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20535] ppid=20526 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20528/task/20535/stat : 20535 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645766248976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20536] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20536/stat : 20536 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645765196176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20537] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20537/stat : 20537 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645764143376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20538] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20538/stat : 20538 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645012626288 139645818903170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20539] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20539/stat : 20539 (java) S 20526 20526 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645011572256 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20540] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20540/stat : 20540 (java) S 20526 20526 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645010519408 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20541] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20541/stat : 20541 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645009467728 139645818910619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20542] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20542/stat : 20542 (java) S 20526 20526 17819 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645008415088 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20543] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20543/stat : 20543 (java) S 20526 20526 17819 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645007362288 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20544] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20544/stat : 20544 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645006309488 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20545] ppid=20526 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20528/task/20545/stat : 20545 (java) R 20526 20526 17819 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645005256688 139645797700714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20546] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20546/stat : 20546 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645004205152 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20547] ppid=20526 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20528/task/20547/stat : 20547 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 6714 33554432000 4194304 4196468 140736553542304 139645003152432 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28312 KiB

[startup+0.210698 s]*
/proc/loadavg: 8.31 8.18 7.96 3/204 20547
/proc/meminfo: memFree=27479752/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26104152 memory=39232 CPUtime=0.35 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 8377 0 0 0 32 3 0 0 20 0 20 0 89360761 26730651648 9808 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6526038 9808 3203 1 0 6488315 0
[pid=20528/tid=20529] ppid=20526 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) R 20526 20526 17819 0 -1 4202560 5580 0 0 0 18 1 0 0 20 0 20 0 89360761 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645823130176 139645818913949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26104152 memory=281034839119608 CPUtime=0 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26104152 memory=140517467838080 CPUtime=0 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20533] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20533/stat : 20533 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645768354576 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20534] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20534/stat : 20534 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645767301776 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20535] ppid=20526 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20528/task/20535/stat : 20535 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645766248976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20536] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20536/stat : 20536 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645765196176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20537] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20537/stat : 20537 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645764143376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20538] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20538/stat : 20538 (java) S 20526 20526 17819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645012626288 139645818903170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20539] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20539/stat : 20539 (java) S 20526 20526 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645011572256 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20540] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20540/stat : 20540 (java) S 20526 20526 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89360764 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645010519408 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20541] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20541/stat : 20541 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645009467728 139645818910619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20542] ppid=20526 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/20528/task/20542/stat : 20542 (java) S 20526 20526 17819 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645008415088 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20543] ppid=20526 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/20528/task/20543/stat : 20543 (java) S 20526 20526 17819 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645007362288 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20544] ppid=20526 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20528/task/20544/stat : 20544 (java) S 20526 20526 17819 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645006309488 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20545] ppid=20526 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/20528/task/20545/stat : 20545 (java) S 20526 20526 17819 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645005256688 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20546] ppid=20526 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20546/stat : 20546 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645004205152 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20547] ppid=20526 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20528/task/20547/stat : 20547 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26730651648 9808 33554432000 4194304 4196468 140736553542304 139645003152432 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40688 KiB

[startup+0.31182 s]*
/proc/loadavg: 8.31 8.18 7.96 3/204 20547
/proc/meminfo: memFree=27472928/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26108408 memory=46388 CPUtime=0.54 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 9352 0 0 0 51 3 0 0 20 0 20 0 89360761 26735009792 11597 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6527102 11597 3251 1 0 6488315 0
[pid=20528/tid=20529] ppid=20526 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) R 20526 20526 17819 0 -1 4202560 6301 0 0 0 27 2 0 0 20 0 20 0 89360761 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645823129040 139645818913949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20533] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20533/stat : 20533 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645768354576 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20534] ppid=20526 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20528/task/20534/stat : 20534 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645767301776 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20535] ppid=20526 vsize=26108408 memory=140517371376559 CPUtime=0 cores=0-7
/proc/20528/task/20535/stat : 20535 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645766248976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20536] ppid=20526 vsize=26108408 memory=140517371378864 CPUtime=0 cores=0-7
/proc/20528/task/20536/stat : 20536 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645765196176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20537] ppid=20526 vsize=26108408 memory=140517371381168 CPUtime=0 cores=0-7
/proc/20528/task/20537/stat : 20537 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645764143376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20538] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20538/stat : 20538 (java) S 20526 20526 17819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89360764 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645012626288 139645818903170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20539] ppid=20526 vsize=26108408 memory=281034742769296 CPUtime=0 cores=0-7
/proc/20528/task/20539/stat : 20539 (java) S 20526 20526 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89360764 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645011572256 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20540] ppid=20526 vsize=26108408 memory=281034742776208 CPUtime=0 cores=0-7
/proc/20528/task/20540/stat : 20540 (java) S 20526 20526 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89360764 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645010519408 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20541] ppid=20526 vsize=26108408 memory=281034742717488 CPUtime=0 cores=0-7
/proc/20528/task/20541/stat : 20541 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645009467728 139645818910619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20542] ppid=20526 vsize=26108408 memory=281034742790032 CPUtime=0.04 cores=0-7
/proc/20528/task/20542/stat : 20542 (java) S 20526 20526 17819 0 -1 1077944384 516 0 0 0 4 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645008415088 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20543] ppid=20526 vsize=26108408 memory=281034742796944 CPUtime=0.03 cores=0-7
/proc/20528/task/20543/stat : 20543 (java) S 20526 20526 17819 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645007362288 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20544] ppid=20526 vsize=26108408 memory=281034742794640 CPUtime=0.02 cores=0-7
/proc/20528/task/20544/stat : 20544 (java) S 20526 20526 17819 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645006309488 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20545] ppid=20526 vsize=26108408 memory=281034742810800 CPUtime=0.12 cores=0-7
/proc/20528/task/20545/stat : 20545 (java) S 20526 20526 17819 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645005256688 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20546] ppid=20526 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20546/stat : 20546 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645004205152 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20547] ppid=20526 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20528/task/20547/stat : 20547 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360767 26735009792 11597 33554432000 4194304 4196468 140736553542304 139645003152432 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47844 KiB

[startup+0.701006 s]
/proc/loadavg: 8.31 8.18 7.96 3/204 20547
/proc/meminfo: memFree=27439304/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26110532 memory=137360 CPUtime=2.03 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 13617 0 0 0 197 6 0 0 20 0 20 0 89360761 26737184768 34340 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6527633 34340 3352 1 0 6488827 0
[pid=20528/tid=20529] ppid=20526 vsize=26110532 memory=281034743105664 CPUtime=0.67 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) R 20526 20526 17819 0 -1 4202560 6749 0 0 0 63 4 0 0 20 0 20 0 89360761 26737184768 34340 33554432000 4194304 4196468 140736553542304 139645823126176 139645446322731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26737184768 34340 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26110532 memory=1712 CPUtime=0 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89360762 26737184768 34340 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26110532 memory=11860 CPUtime=0 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89360762 26737184768 34340 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0

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

/proc/meminfo: memFree=13392296/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26645092 memory=14099596 CPUtime=19625.9 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 820308 0 0 0 1958888 3700 0 0 20 0 28 0 89360761 27284574208 3524899 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6661273 3524899 3461 1 0 6622467 0
[pid=20528/tid=20529] ppid=20526 vsize=26645092 memory=1456 CPUtime=47.99 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) S 20526 20526 17819 0 -1 1077944384 18341 0 0 0 4770 29 0 0 20 0 28 0 89360761 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645823132800 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26645092 memory=14099596 CPUtime=31 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 12511 0 0 0 2762 338 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26645092 memory=1456 CPUtime=30.85 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 18086 0 0 0 2737 348 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26645092 memory=14099596 CPUtime=30.92 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 20928 0 0 0 2745 347 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20533] ppid=20526 vsize=26645092 memory=14099596 CPUtime=30.81 cores=0-7
/proc/20528/task/20533/stat : 20533 (java) S 20526 20526 17819 0 -1 1077944384 17496 0 0 0 2726 355 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645768354576 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20534] ppid=20526 vsize=26645092 memory=14099596 CPUtime=30.92 cores=0-7
/proc/20528/task/20534/stat : 20534 (java) S 20526 20526 17819 0 -1 1077944384 36763 0 0 0 2724 368 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645767301776 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20535] ppid=20526 vsize=26645092 memory=14099596 CPUtime=31.05 cores=0-7
/proc/20528/task/20535/stat : 20535 (java) S 20526 20526 17819 0 -1 1077944384 24065 0 0 0 2740 365 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645766248976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20536] ppid=20526 vsize=26645092 memory=14099596 CPUtime=31.09 cores=0-7
/proc/20528/task/20536/stat : 20536 (java) S 20526 20526 17819 0 -1 1077944384 33855 0 0 0 2746 363 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645765196176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20537] ppid=20526 vsize=26645092 memory=1456 CPUtime=31.04 cores=0-7
/proc/20528/task/20537/stat : 20537 (java) S 20526 20526 17819 0 -1 1077944384 17096 0 0 0 2747 357 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645764143376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20538] ppid=20526 vsize=26645092 memory=1456 CPUtime=0.91 cores=0-7
/proc/20528/task/20538/stat : 20538 (java) S 20526 20526 17819 0 -1 1077944384 30013 0 0 0 79 12 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645012626288 139645818903170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20539] ppid=20526 vsize=26645092 memory=14099596 CPUtime=0 cores=0-7
/proc/20528/task/20539/stat : 20539 (java) S 20526 20526 17819 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645011572320 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20540] ppid=20526 vsize=26645092 memory=96 CPUtime=0 cores=0-7
/proc/20528/task/20540/stat : 20540 (java) S 20526 20526 17819 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645010519424 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20541] ppid=20526 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/20528/task/20541/stat : 20541 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645009467728 139645818910619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20542] ppid=20526 vsize=26645092 memory=-3622645143214314312 CPUtime=3.31 cores=0-7
/proc/20528/task/20542/stat : 20542 (java) S 20526 20526 17819 0 -1 1077944384 19173 0 0 0 328 3 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645008415088 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20543] ppid=20526 vsize=26645092 memory=288230583166042425 CPUtime=3.59 cores=0-7
/proc/20528/task/20543/stat : 20543 (java) S 20526 20526 17819 0 -1 1077944384 23157 0 0 0 355 4 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645007362288 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20544] ppid=20526 vsize=26645092 memory=14099596 CPUtime=3.63 cores=0-7
/proc/20528/task/20544/stat : 20544 (java) S 20526 20526 17819 0 -1 1077944384 23928 0 0 0 359 4 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645006309488 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20545] ppid=20526 vsize=26645092 memory=1456 CPUtime=0.96 cores=0-7
/proc/20528/task/20545/stat : 20545 (java) S 20526 20526 17819 0 -1 1077944384 13136 0 0 0 94 2 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645005256688 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20546] ppid=20526 vsize=26645092 memory=1012 CPUtime=0 cores=0-7
/proc/20528/task/20546/stat : 20546 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645004205152 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20547] ppid=20526 vsize=26645092 memory=1948 CPUtime=1.02 cores=0-7
/proc/20528/task/20547/stat : 20547 (java) S 20526 20526 17819 0 -1 1077944384 2801 0 0 0 51 51 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645003152432 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20557] ppid=20526 vsize=26645092 memory=1188 CPUtime=2407.36 cores=0-7
/proc/20528/task/20557/stat : 20557 (java) R 20526 20526 17819 0 -1 4202560 35066 0 0 0 240697 39 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644994555304 139645445140417 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20558] ppid=20526 vsize=26645092 memory=1456 CPUtime=2420.31 cores=0-7
/proc/20528/task/20558/stat : 20558 (java) R 20526 20526 17819 0 -1 4202560 186944 0 0 0 241921 110 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644993503608 139645445546451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20559] ppid=20526 vsize=26645092 memory=14099596 CPUtime=2417.6 cores=0-7
/proc/20528/task/20559/stat : 20559 (java) R 20526 20526 17819 0 -1 4202560 68603 0 0 0 241625 135 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644992451032 139645445546451 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20560] ppid=20526 vsize=26645092 memory=1236 CPUtime=2398.39 cores=0-7
/proc/20528/task/20560/stat : 20560 (java) R 20526 20526 17819 0 -1 4202560 48925 0 0 0 239722 117 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644991400376 139645447174832 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20561] ppid=20526 vsize=26645092 memory=6791534058613427641 CPUtime=2420.42 cores=0-7
/proc/20528/task/20561/stat : 20561 (java) R 20526 20526 17819 0 -1 4202560 28521 0 0 0 241975 67 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644990345000 139645448030664 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20562] ppid=20526 vsize=26645092 memory=15236 CPUtime=2420.72 cores=0-7
/proc/20528/task/20562/stat : 20562 (java) R 20526 20526 17819 0 -1 4202560 31044 0 0 0 242008 64 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644989292216 139645448030432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20563] ppid=20526 vsize=26645092 memory=1456 CPUtime=2421.04 cores=0-7
/proc/20528/task/20563/stat : 20563 (java) R 20526 20526 17819 0 -1 4202560 50130 0 0 0 242008 96 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644988242536 139645448030664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20564] ppid=20526 vsize=26645092 memory=1456 CPUtime=2410.72 cores=0-7
/proc/20528/task/20564/stat : 20564 (java) R 20526 20526 17819 0 -1 4202560 58287 0 0 0 240908 164 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644987187800 139645447174858 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
Current children cumulated CPU time: 19625.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 14101052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.14 8.35 8.31 9/213 20652
/proc/meminfo: memFree=13392296/32770624 swapFree=67108856/67108860
[pid=20526] ppid=20523 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20526/stat : 20526 (xcsp3-exec) S 20523 20526 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89360761 115843072 364 33554432000 4194304 5098028 140723806459984 140723806458088 140057926046332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39976960 140723806467126 140723806467328 140723806467328 140723806470090 0
/proc/20526/statm: 28282 364 306 221 0 87 0
[pid=20528] ppid=20526 vsize=26645092 memory=14099596 CPUtime=19767.2 cores=0-7
/proc/20528/stat : 20528 (java) S 20526 20526 17819 0 -1 1077944320 821844 0 0 0 1973014 3702 0 0 20 0 28 0 89360761 27284574208 3524899 33554432000 4194304 4196468 140736553542304 140736553524848 139645818892023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
/proc/20528/statm: 6661273 3524899 3461 1 0 6622467 0
[pid=20528/tid=20529] ppid=20526 vsize=26645092 memory=1398720917958146503 CPUtime=47.99 cores=0-7
/proc/20528/task/20529/stat : 20529 (java) S 20526 20526 17819 0 -1 1077944384 18341 0 0 0 4770 29 0 0 20 0 28 0 89360761 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645823132800 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20530] ppid=20526 vsize=26645092 memory=-7003737579269690708 CPUtime=31 cores=0-7
/proc/20528/task/20530/stat : 20530 (java) S 20526 20526 17819 0 -1 1077944384 12511 0 0 0 2762 338 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645771512976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20531] ppid=20526 vsize=26645092 memory=1948 CPUtime=30.85 cores=0-7
/proc/20528/task/20531/stat : 20531 (java) S 20526 20526 17819 0 -1 1077944384 18086 0 0 0 2737 348 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645770460176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20532] ppid=20526 vsize=26645092 memory=1188 CPUtime=30.92 cores=0-7
/proc/20528/task/20532/stat : 20532 (java) S 20526 20526 17819 0 -1 1077944384 20928 0 0 0 2745 347 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645769407376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20533] ppid=20526 vsize=26645092 memory=8440 CPUtime=30.81 cores=0-7
/proc/20528/task/20533/stat : 20533 (java) S 20526 20526 17819 0 -1 1077944384 17496 0 0 0 2726 355 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645768354576 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20534] ppid=20526 vsize=26645092 memory=15252 CPUtime=30.92 cores=0-7
/proc/20528/task/20534/stat : 20534 (java) S 20526 20526 17819 0 -1 1077944384 36763 0 0 0 2724 368 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645767301776 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20535] ppid=20526 vsize=26645092 memory=16244 CPUtime=31.05 cores=0-7
/proc/20528/task/20535/stat : 20535 (java) S 20526 20526 17819 0 -1 1077944384 24065 0 0 0 2740 365 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645766248976 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20536] ppid=20526 vsize=26645092 memory=1456 CPUtime=31.09 cores=0-7
/proc/20528/task/20536/stat : 20536 (java) S 20526 20526 17819 0 -1 1077944384 33855 0 0 0 2746 363 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645765196176 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20537] ppid=20526 vsize=26645092 memory=4036 CPUtime=31.04 cores=0-7
/proc/20528/task/20537/stat : 20537 (java) S 20526 20526 17819 0 -1 1077944384 17096 0 0 0 2747 357 0 0 20 0 28 0 89360762 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645764143376 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20538] ppid=20526 vsize=26645092 memory=26124 CPUtime=0.91 cores=0-7
/proc/20528/task/20538/stat : 20538 (java) S 20526 20526 17819 0 -1 1077944384 30013 0 0 0 79 12 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645012626288 139645818903170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20539] ppid=20526 vsize=26645092 memory=1232 CPUtime=0 cores=0-7
/proc/20528/task/20539/stat : 20539 (java) S 20526 20526 17819 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645011572320 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20540] ppid=20526 vsize=26645092 memory=1012 CPUtime=0 cores=0-7
/proc/20528/task/20540/stat : 20540 (java) S 20526 20526 17819 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 89360764 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645010519424 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20541] ppid=20526 vsize=26645092 memory=1948 CPUtime=0 cores=0-7
/proc/20528/task/20541/stat : 20541 (java) S 20526 20526 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645009467728 139645818910619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20542] ppid=20526 vsize=26645092 memory=1188 CPUtime=3.31 cores=0-7
/proc/20528/task/20542/stat : 20542 (java) S 20526 20526 17819 0 -1 1077944384 19173 0 0 0 328 3 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645008415088 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20543] ppid=20526 vsize=26645092 memory=8440 CPUtime=3.59 cores=0-7
/proc/20528/task/20543/stat : 20543 (java) S 20526 20526 17819 0 -1 1077944384 23157 0 0 0 355 4 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645007362288 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20544] ppid=20526 vsize=26645092 memory=15252 CPUtime=3.63 cores=0-7
/proc/20528/task/20544/stat : 20544 (java) S 20526 20526 17819 0 -1 1077944384 23928 0 0 0 359 4 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645006309488 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20545] ppid=20526 vsize=26645092 memory=16244 CPUtime=0.96 cores=0-7
/proc/20528/task/20545/stat : 20545 (java) S 20526 20526 17819 0 -1 1077944384 13136 0 0 0 94 2 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645005256688 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20546] ppid=20526 vsize=26645092 memory=4048 CPUtime=0 cores=0-7
/proc/20528/task/20546/stat : 20546 (java) S 20526 20526 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645004205152 139645818902229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20547] ppid=20526 vsize=26645092 memory=6791534058613427641 CPUtime=1.04 cores=0-7
/proc/20528/task/20547/stat : 20547 (java) S 20526 20526 17819 0 -1 1077944384 2803 0 0 0 52 52 0 0 20 0 28 0 89360767 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139645003152432 139645818903170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20557] ppid=20526 vsize=26645092 memory=1398720917958146503 CPUtime=2425.07 cores=0-7
/proc/20528/task/20557/stat : 20557 (java) R 20526 20526 17819 0 -1 4202560 35286 0 0 0 242467 40 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644994555304 139645445545490 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20558] ppid=20526 vsize=26645092 memory=-7003737579269690708 CPUtime=2438.01 cores=0-7
/proc/20528/task/20558/stat : 20558 (java) R 20526 20526 17819 0 -1 4202560 186957 0 0 0 243691 110 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644993503608 139645448030643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20559] ppid=20526 vsize=26645092 memory=4312 CPUtime=2435.32 cores=0-7
/proc/20528/task/20559/stat : 20559 (java) R 20526 20526 17819 0 -1 4202560 69079 0 0 0 243396 136 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644992451032 139645445140373 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20560] ppid=20526 vsize=26645092 memory=2092 CPUtime=2415.71 cores=0-7
/proc/20528/task/20560/stat : 20560 (java) R 20526 20526 17819 0 -1 4202560 49078 0 0 0 241453 118 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644991400376 139645448030484 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20561] ppid=20526 vsize=26645092 memory=7380 CPUtime=2438.13 cores=0-7
/proc/20528/task/20561/stat : 20561 (java) R 20526 20526 17819 0 -1 4202560 29024 0 0 0 243746 67 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644990345000 139645445140417 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20562] ppid=20526 vsize=26645092 memory=836 CPUtime=2438.43 cores=0-7
/proc/20528/task/20562/stat : 20562 (java) R 20526 20526 17819 0 -1 4202560 31059 0 0 0 243779 64 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644989292216 139645446975236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20563] ppid=20526 vsize=26645092 memory=1800 CPUtime=2438.75 cores=0-7
/proc/20528/task/20563/stat : 20563 (java) R 20526 20526 17819 0 -1 4202560 50213 0 0 0 243779 96 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644988242536 139645448030432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
[pid=20528/tid=20564] ppid=20526 vsize=26645092 memory=920 CPUtime=2428.43 cores=0-7
/proc/20528/task/20564/stat : 20564 (java) R 20526 20526 17819 0 -1 4202560 58358 0 0 0 242679 164 0 0 20 0 28 0 89368726 27284574208 3524899 33554432000 4194304 4196468 140736553542304 139644987187800 139645445546451 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 24530944 140736553546881 140736553547053 140736553547053 140736553549775 0
Current children cumulated CPU time: 19767.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 14101052 KiB

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

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

[startup+2520.16 s]
# the end of solver process 20528 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19730.8 s, system=37.0895 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

[startup+2520.13 s]*
/proc/loadavg: 8.14 8.35 8.31 2/186 20654
/proc/meminfo: memFree=23564912/32770624 swapFree=67108856/67108860
Current cumulated CPU time of completed processes: 0.002333 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19767.9
CPU user time (s): 19730.8
CPU system time (s): 37.0895
CPU usage (%): 784.391
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 14101052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19730.8
system time used= 37.0895
maximum resident set size= 14100152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66974
involuntary context switches= 235204


# summary of solver processes directly reported to runsolver:
#   pid: 20526,20528
#   total CPU time (s): 19767.9
#   total CPU user time (s): 19730.8
#   total CPU system time (s): 37.0895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1726 second user time and 31.8299 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-27 20:59:36
IDJOB=4297746
IDBENCH=141381
IDSOLVER=2760
FILE ID=node133/4297746-1532717976
RUNJOBID= node133-1532712815-17846
PBS_JOBID= 21022318
Free space on /tmp= 48248 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-6-6-9-cp_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297746-1532717976/watcher-4297746-1532717976 -o /tmp/evaluation-result-4297746-1532717976/solver-4297746-1532717976 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532712815-17846 --watchdog 2580  HOME/xcsp3-exec -seed 671703776 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297746-1532717976.xml

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

MD5SUM BENCH= 438a4422dc9540b34dd70f26f18dc3ca
RANDOM SEED=671703776

node133.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.24
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.24
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.24
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.24
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:        27505972 kB
MemAvailable:   31946880 kB
Buffers:          158640 kB
Cached:          4530616 kB
SwapCached:            0 kB
Active:          2141932 kB
Inactive:        2601224 kB
Active(anon):       5096 kB
Inactive(anon):    76692 kB
Active(file):    2136836 kB
Inactive(file):  2524532 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             23120 kB
Writeback:             0 kB
AnonPages:        104668 kB
Mapped:            39796 kB
Shmem:             25244 kB
Slab:             218088 kB
SReclaimable:     190748 kB
SUnreclaim:        27340 kB
KernelStack:        3760 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48228 MiB
End job on node133 at 2018-07-27 21:41:36