Trace number 4404464

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-09-20 parallel? (TO) 20054.2 2520.11

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-29-092.xml
MD5SUM04f92250339fffd6ef5beb9873d20792
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables58
Number of constraints406
Number of domains29
Minimum domain size64
Maximum domain size92
Distribution of domain sizes[{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2}]
Minimum variable degree28
Maximum variable degree28
Distribution of variable degrees[{"degree":28,"count":58}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":406}]
Number of extensional constraints0
Number of intensional constraints406
Distribution of constraint types[{"type":"intension","count":406}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404464-1569012412.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404464-1569012412.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.93/1.46	c solve instance...
20053.51/2520.07	s UNKNOWN
20053.51/2520.07	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 (9768 MiB free)
  memory of node 1: 16384 MiB (15056 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404464-1569012412/watcher-4404464-1569012412 -o /tmp/evaluation-result-4404464-1569012412/solver-4404464-1569012412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569001582-3356 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 549825139 HOME/instance-4404464-1569012412.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
solver pid=4319, runsolver pid=4316
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 7.75 8.04 8.09 4/211 4340
/proc/meminfo: memFree=25402728/32770624 swapFree=66998204/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28227396 memory=29784 CPUtime=0.12 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 5920 0 0 0 11 1 0 0 20 0 20 0 477495469 28904853504 7446 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7056849 7446 3116 1 0 7019032 0
[pid=4321/tid=4322] ppid=4319 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) R 4319 4319 3329 0 -1 4202560 3836 0 0 0 8 1 0 0 20 0 20 0 477495469 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699720081888 140699715861910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28227396 memory=15394395126691480 CPUtime=0 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4326] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4326/stat : 4326 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699665312656 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4327] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4327/stat : 4327 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699664259600 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4328] ppid=4319 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4328/stat : 4328 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699663207056 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4329] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4329/stat : 4329 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699662154000 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4330] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4330/stat : 4330 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 7446 33554432000 4194304 4196468 140728648384144 140699661101456 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4331] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4331/stat : 4331 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495471 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698831538928 140699715861122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4332] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4332/stat : 4332 (java) S 4319 4319 3329 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477495472 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698830485152 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4333] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4333/stat : 4333 (java) S 4319 4319 3329 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477495472 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698829432048 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4334] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495474 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698828380624 140699715868571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4335] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4335/stat : 4335 (java) S 4319 4319 3329 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 477495474 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698827327728 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4336] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4336/stat : 4336 (java) S 4319 4319 3329 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477495474 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698826275184 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4337] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4337/stat : 4337 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495474 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698825222128 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4338] ppid=4319 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4321/task/4338/stat : 4338 (java) S 4319 4319 3329 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 20 0 477495474 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698824169584 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4339] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4339/stat : 4339 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495475 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698823117792 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4340] ppid=4319 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4340/stat : 4340 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495475 28904853504 7446 33554432000 4194304 4196468 140728648384144 140698822065328 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31236 KiB

[startup+0.210492 s]*
/proc/loadavg: 7.21 7.92 8.05 3/211 4340
/proc/meminfo: memFree=25390216/32770624 swapFree=66998204/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28227396 memory=40992 CPUtime=0.34 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 9528 0 0 0 31 3 0 0 20 0 20 0 477495469 28904853504 10248 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7056849 10248 3294 1 0 7019032 0
[pid=4321/tid=4322] ppid=4319 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) R 4319 4319 3329 0 -1 4202560 6669 0 0 0 18 2 0 0 20 0 20 0 477495469 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699720083440 140699320324164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28227396 memory=13988119754765976 CPUtime=0 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4326] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4326/stat : 4326 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699665312656 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4327] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4327/stat : 4327 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699664259600 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4328] ppid=4319 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4328/stat : 4328 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699663207056 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4329] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4329/stat : 4329 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699662154000 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4330] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4330/stat : 4330 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495470 28904853504 10248 33554432000 4194304 4196468 140728648384144 140699661101456 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4331] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4331/stat : 4331 (java) S 4319 4319 3329 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477495471 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698831538928 140699715861122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4332] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4332/stat : 4332 (java) S 4319 4319 3329 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477495472 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698830485152 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4333] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4333/stat : 4333 (java) S 4319 4319 3329 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477495472 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698829432048 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4334] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495474 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698828380624 140699715868571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4335] ppid=4319 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4321/task/4335/stat : 4335 (java) R 4319 4319 3329 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 477495474 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698827327728 140699715861122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4336] ppid=4319 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4321/task/4336/stat : 4336 (java) S 4319 4319 3329 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 477495474 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698826275184 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4337] ppid=4319 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4321/task/4337/stat : 4337 (java) S 4319 4319 3329 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 477495474 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698825222128 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4338] ppid=4319 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/4321/task/4338/stat : 4338 (java) R 4319 4319 3329 0 -1 4202560 713 0 0 0 7 0 0 0 20 0 20 0 477495474 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698824169584 140699715861910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4339] ppid=4319 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4339/stat : 4339 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495475 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698823117792 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4340] ppid=4319 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4340/stat : 4340 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495475 28904853504 10248 33554432000 4194304 4196468 140728648384144 140698822065328 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42444 KiB

[startup+0.311457 s]*
/proc/loadavg: 7.21 7.92 8.05 2/211 4340
/proc/meminfo: memFree=25382948/32770624 swapFree=66998204/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28231652 memory=49968 CPUtime=0.52 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 10931 0 0 0 48 4 0 0 20 0 20 0 477495469 28909211648 12492 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7057913 12492 3335 1 0 7019032 0
[pid=4321/tid=4322] ppid=4319 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) R 4319 4319 3329 0 -1 4202560 7864 0 0 0 27 2 0 0 20 0 20 0 477495469 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699720078176 140699699930462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4326] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4326/stat : 4326 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699665312656 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4327] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4327/stat : 4327 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699664259600 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4328] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4328/stat : 4328 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699663207056 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4329] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4329/stat : 4329 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699662154000 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4330] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4330/stat : 4330 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495470 28909211648 12561 33554432000 4194304 4196468 140728648384144 140699661101456 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4331] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4331/stat : 4331 (java) S 4319 4319 3329 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477495471 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698831538928 140699715861122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4332] ppid=4319 vsize=28231652 memory=281300493868416 CPUtime=0 cores=0-7
/proc/4321/task/4332/stat : 4332 (java) S 4319 4319 3329 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477495472 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698830485152 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4333] ppid=4319 vsize=28231652 memory=281300493873024 CPUtime=0 cores=0-7
/proc/4321/task/4333/stat : 4333 (java) S 4319 4319 3329 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477495472 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698829432048 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4334] ppid=4319 vsize=28231652 memory=281300493877632 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495474 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698828380624 140699715868571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4335] ppid=4319 vsize=28231652 memory=281300493882240 CPUtime=0.03 cores=0-7
/proc/4321/task/4335/stat : 4335 (java) R 4319 4319 3329 0 -1 4202560 538 0 0 0 3 0 0 0 20 0 20 0 477495474 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698827308744 140699700771941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4336] ppid=4319 vsize=28231652 memory=281300493886848 CPUtime=0.02 cores=0-7
/proc/4321/task/4336/stat : 4336 (java) S 4319 4319 3329 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 477495474 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698826275184 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4337] ppid=4319 vsize=28231652 memory=281300493891456 CPUtime=0.01 cores=0-7
/proc/4321/task/4337/stat : 4337 (java) S 4319 4319 3329 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 477495474 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698825222128 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4338] ppid=4319 vsize=28231652 memory=281300493896064 CPUtime=0.12 cores=0-7
/proc/4321/task/4338/stat : 4338 (java) S 4319 4319 3329 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 20 0 477495474 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698824169584 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4339] ppid=4319 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4339/stat : 4339 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477495475 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698823117792 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4340] ppid=4319 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4321/task/4340/stat : 4340 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495475 28909211648 12561 33554432000 4194304 4196468 140728648384144 140698822065328 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51420 KiB

[startup+0.700992 s]
/proc/loadavg: 7.21 7.92 8.05 7/211 4340
/proc/meminfo: memFree=25362964/32770624 swapFree=66998204/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28233776 memory=97064 CPUtime=1.84 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 16427 0 0 0 178 6 0 0 20 0 20 0 477495469 28911386624 24266 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7058444 24266 3455 1 0 7019544 0
[pid=4321/tid=4322] ppid=4319 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) R 4319 4319 3329 0 -1 4202560 9282 0 0 0 64 3 0 0 20 0 20 0 477495469 28911386624 24266 33554432000 4194304 4196468 140728648384144 140699720084144 140699324349223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477495470 28911386624 24266 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28911386624 24266 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28233776 memory=3648 CPUtime=0 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477495470 28911386624 24266 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0

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

[pid=4321/tid=4348] ppid=4319 vsize=28768336 memory=1452 CPUtime=2424.55 cores=0-7
/proc/4321/task/4348/stat : 4348 (java) R 4319 4319 3329 0 -1 4202560 16276 0 0 0 242442 13 0 0 20 0 28 0 477495618 29458776064 614949 33554432000 4194304 4196468 140728648384144 140698803618296 140699328666802 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 19435.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2461248 KiB

[startup+2502.31 s]
/proc/loadavg: 8.37 8.21 8.24 9/218 4578
/proc/meminfo: memFree=22959744/32770624 swapFree=66998216/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28768336 memory=2458744 CPUtime=19913.1 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 650730 0 0 0 1990641 668 0 0 20 0 28 0 477495469 29458776064 614686 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7192084 614686 3551 1 0 7153184 0
[pid=4321/tid=4322] ppid=4319 vsize=28768336 memory=1452 CPUtime=1.42 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) S 4319 4319 3329 0 -1 1077944384 9496 0 0 0 137 5 0 0 20 0 28 0 477495469 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699720090752 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28768336 memory=2459256 CPUtime=8.67 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 26737 0 0 0 834 33 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28768336 memory=2459772 CPUtime=8.71 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 30547 0 0 0 837 34 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28768336 memory=2458744 CPUtime=8.7 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 25342 0 0 0 836 34 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4326] ppid=4319 vsize=28768336 memory=1452 CPUtime=8.66 cores=0-7
/proc/4321/task/4326/stat : 4326 (java) S 4319 4319 3329 0 -1 1077944384 32411 0 0 0 830 36 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699665312656 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4327] ppid=4319 vsize=28768336 memory=2460284 CPUtime=8.67 cores=0-7
/proc/4321/task/4327/stat : 4327 (java) S 4319 4319 3329 0 -1 1077944384 26616 0 0 0 832 35 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699664259600 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4328] ppid=4319 vsize=28768336 memory=871 CPUtime=8.7 cores=0-7
/proc/4321/task/4328/stat : 4328 (java) S 4319 4319 3329 0 -1 1077944384 26228 0 0 0 838 32 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699663207056 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4329] ppid=4319 vsize=28768336 memory=1056 CPUtime=8.74 cores=0-7
/proc/4321/task/4329/stat : 4329 (java) S 4319 4319 3329 0 -1 1077944384 28386 0 0 0 840 34 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699662154000 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4330] ppid=4319 vsize=28768336 memory=1716 CPUtime=8.76 cores=0-7
/proc/4321/task/4330/stat : 4330 (java) S 4319 4319 3329 0 -1 1077944384 28509 0 0 0 841 35 0 0 20 0 28 0 477495470 29458776064 614686 33554432000 4194304 4196468 140728648384144 140699661101456 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4331] ppid=4319 vsize=28768336 memory=1452 CPUtime=2.71 cores=0-7
/proc/4321/task/4331/stat : 4331 (java) S 4319 4319 3329 0 -1 1077944384 129233 0 0 0 184 87 0 0 20 0 28 0 477495471 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698831538928 140699715861122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4332] ppid=4319 vsize=28768336 memory=2460796 CPUtime=0 cores=0-7
/proc/4321/task/4332/stat : 4332 (java) S 4319 4319 3329 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 477495472 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698830485216 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4333] ppid=4319 vsize=28768336 memory=3620 CPUtime=0 cores=0-7
/proc/4321/task/4333/stat : 4333 (java) S 4319 4319 3329 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 477495472 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698829432064 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4334] ppid=4319 vsize=28768336 memory=44084 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477495474 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698828380624 140699715868571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4335] ppid=4319 vsize=28768336 memory=1452 CPUtime=3.04 cores=0-7
/proc/4321/task/4335/stat : 4335 (java) S 4319 4319 3329 0 -1 1077944384 15357 0 0 0 301 3 0 0 20 0 28 0 477495474 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698827327728 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4336] ppid=4319 vsize=28768336 memory=2461308 CPUtime=3.12 cores=0-7
/proc/4321/task/4336/stat : 4336 (java) S 4319 4319 3329 0 -1 1077944384 18508 0 0 0 308 4 0 0 20 0 28 0 477495474 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698826275184 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4337] ppid=4319 vsize=28768336 memory=1452 CPUtime=2.75 cores=0-7
/proc/4321/task/4337/stat : 4337 (java) S 4319 4319 3329 0 -1 1077944384 13288 0 0 0 273 2 0 0 20 0 28 0 477495474 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698825222128 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4338] ppid=4319 vsize=28768336 memory=2460284 CPUtime=0.95 cores=0-7
/proc/4321/task/4338/stat : 4338 (java) S 4319 4319 3329 0 -1 1077944384 10495 0 0 0 93 2 0 0 20 0 28 0 477495474 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698824169584 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4339] ppid=4319 vsize=28768336 memory=2461336 CPUtime=0 cores=0-7
/proc/4321/task/4339/stat : 4339 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477495475 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698823117792 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4340] ppid=4319 vsize=28768336 memory=1452 CPUtime=0.86 cores=0-7
/proc/4321/task/4340/stat : 4340 (java) S 4319 4319 3329 0 -1 1077944384 6707 0 0 0 0 86 0 0 20 0 28 0 477495475 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698822065328 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4341] ppid=4319 vsize=28768336 memory=1452 CPUtime=2479.42 cores=0-7
/proc/4321/task/4341/stat : 4341 (java) R 4319 4319 3329 0 -1 4202560 21962 0 0 0 247927 15 0 0 20 0 28 0 477495617 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698813082792 140699329364169 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4342] ppid=4319 vsize=28768336 memory=2460284 CPUtime=2483.01 cores=0-7
/proc/4321/task/4342/stat : 4342 (java) R 4319 4319 3329 0 -1 4202560 16453 0 0 0 248290 11 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698809937008 140699329135712 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4343] ppid=4319 vsize=28768336 memory=1452 CPUtime=2475.08 cores=0-7
/proc/4321/task/4343/stat : 4343 (java) R 4319 4319 3329 0 -1 4202560 23384 0 0 0 247480 28 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698808881088 140699329364287 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4344] ppid=4319 vsize=28768336 memory=1452 CPUtime=2471.06 cores=0-7
/proc/4321/task/4344/stat : 4344 (java) R 4319 4319 3329 0 -1 4202560 46001 0 0 0 247029 77 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698807828464 140699330896888 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4345] ppid=4319 vsize=28768336 memory=1452 CPUtime=2480.87 cores=0-7
/proc/4321/task/4345/stat : 4345 (java) R 4319 4319 3329 0 -1 4202560 49456 0 0 0 247983 104 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698806775624 140699330863294 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4346] ppid=4319 vsize=28768336 memory=2459800 CPUtime=2474.51 cores=0-7
/proc/4321/task/4346/stat : 4346 (java) R 4319 4319 3329 0 -1 4202560 29304 0 0 0 247416 35 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698805722920 140699328666922 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4347] ppid=4319 vsize=28768336 memory=3620 CPUtime=2480.48 cores=0-7
/proc/4321/task/4347/stat : 4347 (java) R 4319 4319 3329 0 -1 4202560 18578 0 0 0 248030 18 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698804670888 140699322876797 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4348] ppid=4319 vsize=28768336 memory=1452 CPUtime=2483.99 cores=0-7
/proc/4321/task/4348/stat : 4348 (java) R 4319 4319 3329 0 -1 4202560 16405 0 0 0 248386 13 0 0 20 0 28 0 477495618 29458776064 614686 33554432000 4194304 4196468 140728648384144 140698803618504 140699329136359 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 19913.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2460196 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.51 8.25 8.25 9/218 4581
/proc/meminfo: memFree=22959316/32770624 swapFree=66998216/67108860
[pid=4319] ppid=4316 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4319/stat : 4319 (xcsp3-exec) S 4316 4319 3329 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477495468 115843072 363 33554432000 4194304 5098028 140736049513264 140736049511368 139686614205052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24842240 140736049521526 140736049521769 140736049521769 140736049524682 0
/proc/4319/statm: 28282 363 304 221 0 87 0
[pid=4321] ppid=4319 vsize=28768336 memory=2460780 CPUtime=20053.5 cores=0-7
/proc/4321/stat : 4321 (java) S 4319 4319 3329 0 -1 1077944320 661362 0 0 0 2004677 674 0 0 20 0 28 0 477495469 29458776064 615195 33554432000 4194304 4196468 140728648384144 140728648366688 140699715849975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
/proc/4321/statm: 7192084 615195 3551 1 0 7153184 0
[pid=4321/tid=4322] ppid=4319 vsize=28768336 memory=916 CPUtime=1.42 cores=0-7
/proc/4321/task/4322/stat : 4322 (java) S 4319 4319 3329 0 -1 1077944384 9496 0 0 0 137 5 0 0 20 0 28 0 477495469 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699720090752 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4323] ppid=4319 vsize=28768336 memory=4136 CPUtime=8.76 cores=0-7
/proc/4321/task/4323/stat : 4323 (java) S 4319 4319 3329 0 -1 1077944384 27404 0 0 0 842 34 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699668470800 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4324] ppid=4319 vsize=28768336 memory=4100 CPUtime=8.81 cores=0-7
/proc/4321/task/4324/stat : 4324 (java) S 4319 4319 3329 0 -1 1077944384 31035 0 0 0 846 35 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699667418256 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4325] ppid=4319 vsize=28768336 memory=1412 CPUtime=8.79 cores=0-7
/proc/4321/task/4325/stat : 4325 (java) S 4319 4319 3329 0 -1 1077944384 26582 0 0 0 845 34 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699666365200 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4326] ppid=4319 vsize=28768336 memory=3820 CPUtime=8.74 cores=0-7
/proc/4321/task/4326/stat : 4326 (java) S 4319 4319 3329 0 -1 1077944384 33093 0 0 0 838 36 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699665312656 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4327] ppid=4319 vsize=28768336 memory=1452 CPUtime=8.75 cores=0-7
/proc/4321/task/4327/stat : 4327 (java) S 4319 4319 3329 0 -1 1077944384 27640 0 0 0 839 36 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699664259600 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4328] ppid=4319 vsize=28768336 memory=2459244 CPUtime=8.78 cores=0-7
/proc/4321/task/4328/stat : 4328 (java) S 4319 4319 3329 0 -1 1077944384 26662 0 0 0 846 32 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699663207056 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4329] ppid=4319 vsize=28768336 memory=1164 CPUtime=8.82 cores=0-7
/proc/4321/task/4329/stat : 4329 (java) S 4319 4319 3329 0 -1 1077944384 29343 0 0 0 848 34 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699662154000 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4330] ppid=4319 vsize=28768336 memory=8387223549236478041 CPUtime=8.83 cores=0-7
/proc/4321/task/4330/stat : 4330 (java) S 4319 4319 3329 0 -1 1077944384 28972 0 0 0 848 35 0 0 20 0 28 0 477495470 29458776064 615195 33554432000 4194304 4196468 140728648384144 140699661101456 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4331] ppid=4319 vsize=28768336 memory=288286679784227890 CPUtime=2.73 cores=0-7
/proc/4321/task/4331/stat : 4331 (java) S 4319 4319 3329 0 -1 1077944384 130240 0 0 0 185 88 0 0 20 0 28 0 477495471 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698831538928 140699715861122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4332] ppid=4319 vsize=28768336 memory=8387223549236478041 CPUtime=0 cores=0-7
/proc/4321/task/4332/stat : 4332 (java) S 4319 4319 3329 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 477495472 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698830485216 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4333] ppid=4319 vsize=28768336 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/4321/task/4333/stat : 4333 (java) S 4319 4319 3329 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 477495472 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698829432064 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4334] ppid=4319 vsize=28768336 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (java) S 4319 4319 3329 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477495474 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698828380624 140699715868571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4335] ppid=4319 vsize=28768336 memory=14972261127948741 CPUtime=3.04 cores=0-7
/proc/4321/task/4335/stat : 4335 (java) S 4319 4319 3329 0 -1 1077944384 15361 0 0 0 301 3 0 0 20 0 28 0 477495474 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698827327728 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4336] ppid=4319 vsize=28768336 memory=111632 CPUtime=3.12 cores=0-7
/proc/4321/task/4336/stat : 4336 (java) S 4319 4319 3329 0 -1 1077944384 18512 0 0 0 308 4 0 0 20 0 28 0 477495474 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698826275184 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4337] ppid=4319 vsize=28768336 memory=800 CPUtime=2.75 cores=0-7
/proc/4321/task/4337/stat : 4337 (java) S 4319 4319 3329 0 -1 1077944384 13292 0 0 0 273 2 0 0 20 0 28 0 477495474 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698825222128 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4338] ppid=4319 vsize=28768336 memory=1804 CPUtime=0.95 cores=0-7
/proc/4321/task/4338/stat : 4338 (java) S 4319 4319 3329 0 -1 1077944384 10499 0 0 0 93 2 0 0 20 0 28 0 477495474 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698824169584 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4339] ppid=4319 vsize=28768336 memory=916 CPUtime=0 cores=0-7
/proc/4321/task/4339/stat : 4339 (java) S 4319 4319 3329 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477495475 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698823117792 140699715860181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4340] ppid=4319 vsize=28768336 memory=4136 CPUtime=0.87 cores=0-7
/proc/4321/task/4340/stat : 4340 (java) S 4319 4319 3329 0 -1 1077944384 6797 0 0 0 0 87 0 0 20 0 28 0 477495475 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698822065328 140699715861122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4341] ppid=4319 vsize=28768336 memory=4100 CPUtime=2496.95 cores=0-7
/proc/4321/task/4341/stat : 4341 (java) R 4319 4319 3329 0 -1 4202560 22311 0 0 0 249680 15 0 0 20 0 28 0 477495617 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698813082584 140699328247954 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4342] ppid=4319 vsize=28768336 memory=1412 CPUtime=2500.56 cores=0-7
/proc/4321/task/4342/stat : 4342 (java) R 4319 4319 3329 0 -1 4202560 16769 0 0 0 250045 11 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698809934048 140699329138095 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4343] ppid=4319 vsize=28768336 memory=3820 CPUtime=2492.44 cores=0-7
/proc/4321/task/4343/stat : 4343 (java) R 4319 4319 3329 0 -1 4202560 23859 0 0 0 249216 28 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698808881224 140699328666615 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4344] ppid=4319 vsize=28768336 memory=1452 CPUtime=2488.45 cores=0-7
/proc/4321/task/4344/stat : 4344 (java) R 4319 4319 3329 0 -1 4202560 46800 0 0 0 248767 78 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698807828544 140699329218878 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4345] ppid=4319 vsize=28768336 memory=2459252 CPUtime=2498.23 cores=0-7
/proc/4321/task/4345/stat : 4345 (java) R 4319 4319 3329 0 -1 4202560 50032 0 0 0 249719 104 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698806775488 140699329360430 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4346] ppid=4319 vsize=28768336 memory=2460780 CPUtime=2492.04 cores=0-7
/proc/4321/task/4346/stat : 4346 (java) R 4319 4319 3329 0 -1 4202560 29760 0 0 0 249168 36 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698805722920 140699329653632 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4347] ppid=4319 vsize=28768336 memory=18888 CPUtime=2497.94 cores=0-7
/proc/4321/task/4347/stat : 4347 (java) R 4319 4319 3329 0 -1 4202560 18849 0 0 0 249776 18 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698804670752 140699327761435 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
[pid=4321/tid=4348] ppid=4319 vsize=28768336 memory=12024 CPUtime=2501.51 cores=0-7
/proc/4321/task/4348/stat : 4348 (java) R 4319 4319 3329 0 -1 4202560 16727 0 0 0 250138 13 0 0 20 0 28 0 477495618 29458776064 615195 33554432000 4194304 4196468 140728648384144 140698803621232 140699329018762 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 29450240 140728648385514 140728648385686 140728648385686 140728648388559 0
Current children cumulated CPU time: 20053.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2462232 KiB

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

[startup+2520.03 s]
# the end of solver process 4319 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001555 s, system=0.000777 s

[startup+2520.11 s]
# the end of solver process 4321 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20047.5 s, system=6.76467 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): 2520.11
CPU time (s): 20054.2
CPU user time (s): 20047.5
CPU system time (s): 6.76467
CPU usage (%): 795.77
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2540428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20047.5
system time used= 6.76466
maximum resident set size= 2541384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662183
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187956
involuntary context switches= 215065


# summary of solver processes directly reported to runsolver:
#   pid: 4319,4321
#   total CPU time (s): 20054.2
#   total CPU user time (s): 20047.5
#   total CPU system time (s): 6.76467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1969 second user time and 25.8906 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-20 21:45:31
IDJOB=4404464
IDBENCH=141708
IDSOLVER=2865
FILE ID=node106/4404464-1569012412
RUNJOBID= node106-1569001582-3356
PBS_JOBID= 21704752
Free space on /tmp= 23488 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-29-092.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404464-1569012412/watcher-4404464-1569012412 -o /tmp/evaluation-result-4404464-1569012412/solver-4404464-1569012412 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569001582-3356 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 549825139 HOME/instance-4404464-1569012412.xml

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

MD5SUM BENCH= 04f92250339fffd6ef5beb9873d20792
RANDOM SEED=549825139

node106.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.79
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.79
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.79
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.79
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:        25419876 kB
MemAvailable:   31857632 kB
Buffers:           34164 kB
Cached:          6578568 kB
SwapCached:         4084 kB
Active:          3309772 kB
Inactive:        3310252 kB
Active(anon):       2524 kB
Inactive(anon):    47624 kB
Active(file):    3307248 kB
Inactive(file):  3262628 kB
Unevictable:      109088 kB
Mlocked:          109088 kB
SwapTotal:      67108860 kB
SwapFree:       66998204 kB
Dirty:             25984 kB
Writeback:             0 kB
AnonPages:         63388 kB
Mapped:            49112 kB
Shmem:             33968 kB
Slab:             324836 kB
SReclaimable:     296340 kB
SUnreclaim:        28496 kB
KernelStack:        3712 kB
PageTables:         5536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23460 MiB
End job on node106 at 2019-09-20 22:27:31