Trace number 4406822

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-24 parallel? (TO) 20028.7 2520.1

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spba/
Pb-BeauxArts-K67.xml
MD5SUM4516aa109e121890953f360029c48088
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark91.3846
Satisfiable
(Un)Satisfiability was proved
Number of variables3685
Number of constraints3821
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3685}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":3821}]
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-4406822-1569355099.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4406822-1569355099.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
5.61/1.65	c solve instance...
20028.07/2520.07	s UNKNOWN
20028.07/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 (14636 MiB free)
  memory of node 1: 16384 MiB (13433 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406822-1569355099/watcher-4406822-1569355099 -o /var/tmp/evaluation-result-4406822-1569355099/solver-4406822-1569355099 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1968926715 HOME/instance-4406822-1569355099.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=18472, runsolver pid=18469

[startup+0.100115 s]*
/proc/loadavg: 8.70 8.29 8.21 2/210 18493
/proc/meminfo: memFree=28726428/32770624 swapFree=66954120/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28227396 memory=30064 CPUtime=0.11 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 5489 0 0 0 11 0 0 0 20 0 20 0 511765241 28904853504 7516 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7056849 7516 3111 1 0 7019032 0
[pid=18474/tid=18475] ppid=18472 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) R 18472 18472 15724 0 -1 4202560 3394 0 0 0 8 0 0 0 20 0 20 0 511765241 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909122179296 139909117959574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28227396 memory=3762109893739284128 CPUtime=0 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18479] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18479/stat : 18479 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909034642448 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18480] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18480/stat : 18480 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909033589136 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18481] ppid=18472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18481/stat : 18481 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909032536336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18482] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18482/stat : 18482 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139909031484048 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18483] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18483/stat : 18483 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 7516 33554432000 4194304 4196468 140727960144384 139908661500432 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18484] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18484/stat : 18484 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907582036592 139909117958786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18485] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18485/stat : 18485 (java) S 18472 18472 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907580982560 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18486] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18486/stat : 18486 (java) S 18472 18472 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907579930224 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18487] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18487/stat : 18487 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907578878544 139909117966235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18488] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18488/stat : 18488 (java) R 18472 18472 15724 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907577825392 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18489] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18489/stat : 18489 (java) S 18472 18472 15724 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907576772592 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18490] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18490/stat : 18490 (java) R 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907575720304 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18491] ppid=18472 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18474/task/18491/stat : 18491 (java) R 18472 18472 15724 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907574667504 139909117959574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18492] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18492/stat : 18492 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907573615456 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18493] ppid=18472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18493/stat : 18493 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765248 28904853504 7516 33554432000 4194304 4196468 140727960144384 139907572562736 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31512 KiB

[startup+0.210344 s]*
/proc/loadavg: 8.70 8.29 8.21 3/210 18493
/proc/meminfo: memFree=28712772/32770624 swapFree=66954120/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28227396 memory=41276 CPUtime=0.33 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 8991 0 0 0 31 2 0 0 20 0 20 0 511765241 28904853504 10319 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7056849 10319 3302 1 0 7019032 0
[pid=18474/tid=18475] ppid=18472 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) R 18472 18472 15724 0 -1 4202560 6165 0 0 0 18 1 0 0 20 0 20 0 511765241 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909122177360 139909102028126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28227396 memory=10927 CPUtime=0 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28227396 memory=140522161373639 CPUtime=0 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18479] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18479/stat : 18479 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909034642448 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18480] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18480/stat : 18480 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909033589136 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18481] ppid=18472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18481/stat : 18481 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909032536336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18482] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18482/stat : 18482 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139909031484048 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18483] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18483/stat : 18483 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28904853504 10319 33554432000 4194304 4196468 140727960144384 139908661500432 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18484] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18484/stat : 18484 (java) S 18472 18472 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907582036592 139909117958786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18485] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18485/stat : 18485 (java) S 18472 18472 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907580982560 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18486] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18486/stat : 18486 (java) S 18472 18472 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511765244 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907579930224 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18487] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18487/stat : 18487 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907578878544 139909117966235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18488] ppid=18472 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18474/task/18488/stat : 18488 (java) S 18472 18472 15724 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907577825392 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18489] ppid=18472 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18474/task/18489/stat : 18489 (java) S 18472 18472 15724 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907576772592 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18490] ppid=18472 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18474/task/18490/stat : 18490 (java) S 18472 18472 15724 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907575720304 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18491] ppid=18472 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/18474/task/18491/stat : 18491 (java) S 18472 18472 15724 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907574667504 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18492] ppid=18472 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18492/stat : 18492 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765247 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907573615456 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18493] ppid=18472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18493/stat : 18493 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765248 28904853504 10319 33554432000 4194304 4196468 140727960144384 139907572562736 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42724 KiB

[startup+0.310007 s]*
/proc/loadavg: 8.70 8.29 8.21 4/210 18493
/proc/meminfo: memFree=28709068/32770624 swapFree=66954120/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28231652 memory=49140 CPUtime=0.52 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 10166 0 0 0 49 3 0 0 20 0 20 0 511765241 28909211648 12285 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7057913 12285 3334 1 0 7019032 0
[pid=18474/tid=18475] ppid=18472 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) R 18472 18472 15724 0 -1 4202560 7194 0 0 0 28 1 0 0 20 0 20 0 511765241 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909122181424 139909102028126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18479] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18479/stat : 18479 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909034642448 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18480] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18480/stat : 18480 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909033589136 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18481] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18481/stat : 18481 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909032536336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18482] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18482/stat : 18482 (java) S 18472 18472 15724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139909031484048 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18483] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18483/stat : 18483 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28909211648 12351 33554432000 4194304 4196468 140727960144384 139908661500432 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18484] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18484/stat : 18484 (java) S 18472 18472 15724 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511765244 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907582036592 139909117958786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18485] ppid=18472 vsize=28231652 memory=281044003790208 CPUtime=0 cores=0-7
/proc/18474/task/18485/stat : 18485 (java) S 18472 18472 15724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511765244 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907580982560 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18486] ppid=18472 vsize=28231652 memory=281044003794816 CPUtime=0 cores=0-7
/proc/18474/task/18486/stat : 18486 (java) S 18472 18472 15724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511765244 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907579930224 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18487] ppid=18472 vsize=28231652 memory=281044003799424 CPUtime=0 cores=0-7
/proc/18474/task/18487/stat : 18487 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907578878544 139909117966235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18488] ppid=18472 vsize=28231652 memory=281044003804032 CPUtime=0.03 cores=0-7
/proc/18474/task/18488/stat : 18488 (java) S 18472 18472 15724 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907577825392 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18489] ppid=18472 vsize=28231652 memory=281044003808640 CPUtime=0.02 cores=0-7
/proc/18474/task/18489/stat : 18489 (java) R 18472 18472 15724 0 -1 4202560 223 0 0 0 2 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907576772592 139909098647936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18490] ppid=18472 vsize=28231652 memory=281044003813248 CPUtime=0.02 cores=0-7
/proc/18474/task/18490/stat : 18490 (java) S 18472 18472 15724 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907575720304 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18491] ppid=18472 vsize=28231652 memory=281044003817856 CPUtime=0.12 cores=0-7
/proc/18474/task/18491/stat : 18491 (java) S 18472 18472 15724 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907574667504 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18492] ppid=18472 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18492/stat : 18492 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765247 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907573615456 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18493] ppid=18472 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18474/task/18493/stat : 18493 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765248 28909211648 12351 33554432000 4194304 4196468 140727960144384 139907572562736 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50588 KiB

[startup+0.700952 s]
/proc/loadavg: 8.70 8.29 8.21 5/210 18493
/proc/meminfo: memFree=28683516/32770624 swapFree=66954120/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28233776 memory=113436 CPUtime=1.97 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 15298 0 0 0 192 5 0 0 20 0 20 0 511765241 28911386624 28359 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7058444 28359 3450 1 0 7019544 0
[pid=18474/tid=18475] ppid=18472 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) R 18472 18472 15724 0 -1 4202560 8405 0 0 0 65 2 0 0 20 0 20 0 511765241 28911386624 28359 33554432000 4194304 4196468 140727960144384 139909122175152 139908710739072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28233776 memory=140522002097024 CPUtime=0 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28911386624 28359 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511765242 28911386624 28359 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28233776 memory=9364 CPUtime=0 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511765242 28911386624 28359 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0

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

[pid=18474/tid=18501] ppid=18472 vsize=28766288 memory=1347060 CPUtime=2413.41 cores=0-7
/proc/18474/task/18501/stat : 18501 (java) R 18472 18472 15724 0 -1 4202560 86734 0 0 0 241195 146 0 0 20 0 28 0 511765413 29456678912 335867 33554432000 4194304 4196468 140727960144384 139907555975528 139908717876616 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 19412.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1344916 KiB

[startup+2502.3 s]
/proc/loadavg: 8.63 8.35 8.31 9/219 18713
/proc/meminfo: memFree=27392844/32770624 swapFree=66954124/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28766288 memory=1355868 CPUtime=19887.8 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 745824 0 0 0 1987487 1295 0 0 20 0 28 0 511765241 29456678912 338967 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7191572 338967 3536 1 0 7152672 0
[pid=18474/tid=18475] ppid=18472 vsize=28766288 memory=1325220 CPUtime=1.59 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) S 18472 18472 15724 0 -1 1077944384 8679 0 0 0 154 5 0 0 20 0 28 0 511765241 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909122188416 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28766288 memory=281044004923472 CPUtime=10.78 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 26845 0 0 0 1043 35 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28766288 memory=1325220 CPUtime=10.83 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 27955 0 0 0 1043 40 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28766288 memory=1355868 CPUtime=10.73 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 27510 0 0 0 1036 37 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18479] ppid=18472 vsize=28766288 memory=1448 CPUtime=10.78 cores=0-7
/proc/18474/task/18479/stat : 18479 (java) S 18472 18472 15724 0 -1 1077944384 27981 0 0 0 1041 37 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909034642448 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18480] ppid=18472 vsize=28766288 memory=1412 CPUtime=10.8 cores=0-7
/proc/18474/task/18480/stat : 18480 (java) S 18472 18472 15724 0 -1 1077944384 26177 0 0 0 1042 38 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909033589136 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18481] ppid=18472 vsize=28766288 memory=164 CPUtime=10.77 cores=0-7
/proc/18474/task/18481/stat : 18481 (java) S 18472 18472 15724 0 -1 1077944384 24774 0 0 0 1041 36 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909032536336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18482] ppid=18472 vsize=28766288 memory=6010173963646363490 CPUtime=10.74 cores=0-7
/proc/18474/task/18482/stat : 18482 (java) S 18472 18472 15724 0 -1 1077944384 28476 0 0 0 1034 40 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139909031484048 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18483] ppid=18472 vsize=28766288 memory=12036 CPUtime=10.85 cores=0-7
/proc/18474/task/18483/stat : 18483 (java) S 18472 18472 15724 0 -1 1077944384 26995 0 0 0 1043 42 0 0 20 0 28 0 511765242 29456678912 338967 33554432000 4194304 4196468 140727960144384 139908661500432 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18484] ppid=18472 vsize=28766288 memory=496 CPUtime=8.67 cores=0-7
/proc/18474/task/18484/stat : 18484 (java) S 18472 18472 15724 0 -1 1077944384 125261 0 0 0 386 481 0 0 20 0 28 0 511765244 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907582036592 139909117958786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18485] ppid=18472 vsize=28766288 memory=3580 CPUtime=0 cores=0-7
/proc/18474/task/18485/stat : 18485 (java) S 18472 18472 15724 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511765244 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907580982624 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18486] ppid=18472 vsize=28766288 memory=50780 CPUtime=0 cores=0-7
/proc/18474/task/18486/stat : 18486 (java) S 18472 18472 15724 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 511765244 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907579930240 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18487] ppid=18472 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/18474/task/18487/stat : 18487 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907578878544 139909117966235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18488] ppid=18472 vsize=28766288 memory=0 CPUtime=2.5 cores=0-7
/proc/18474/task/18488/stat : 18488 (java) S 18472 18472 15724 0 -1 1077944384 8919 0 0 0 249 1 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907577825392 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18489] ppid=18472 vsize=28766288 memory=1326084 CPUtime=2.19 cores=0-7
/proc/18474/task/18489/stat : 18489 (java) S 18472 18472 15724 0 -1 1077944384 8996 0 0 0 218 1 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907576772592 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18490] ppid=18472 vsize=28766288 memory=1319412 CPUtime=2.42 cores=0-7
/proc/18474/task/18490/stat : 18490 (java) S 18472 18472 15724 0 -1 1077944384 12343 0 0 0 240 2 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907575720304 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18491] ppid=18472 vsize=28766288 memory=1340628 CPUtime=0.72 cores=0-7
/proc/18474/task/18491/stat : 18491 (java) S 18472 18472 15724 0 -1 1077944384 6539 0 0 0 70 2 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907574667504 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18492] ppid=18472 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/18474/task/18492/stat : 18492 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511765247 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907573615456 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18493] ppid=18472 vsize=28766288 memory=1448 CPUtime=0.79 cores=0-7
/proc/18474/task/18493/stat : 18493 (java) S 18472 18472 15724 0 -1 1077944384 5630 0 0 0 13 66 0 0 20 0 28 0 511765248 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907572562736 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18494] ppid=18472 vsize=28766288 memory=1320952 CPUtime=2471.6 cores=0-7
/proc/18474/task/18494/stat : 18494 (java) R 18472 18472 15724 0 -1 4202560 20267 0 0 0 247142 18 0 0 20 0 28 0 511765408 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907563343832 139908718088096 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18495] ppid=18472 vsize=28766288 memory=1448 CPUtime=2471.12 cores=0-7
/proc/18474/task/18495/stat : 18495 (java) R 18472 18472 15724 0 -1 4202560 20087 0 0 0 247094 18 0 0 20 0 28 0 511765408 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907562292280 139908718478962 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18496] ppid=18472 vsize=28766288 memory=1329852 CPUtime=2468.43 cores=0-7
/proc/18474/task/18496/stat : 18496 (java) R 18472 18472 15724 0 -1 4202560 32896 0 0 0 246792 51 0 0 20 0 28 0 511765408 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907561238488 139908718525911 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18497] ppid=18472 vsize=28766288 memory=1448 CPUtime=2478.66 cores=0-7
/proc/18474/task/18497/stat : 18497 (java) R 18472 18472 15724 0 -1 4202560 59840 0 0 0 247775 91 0 0 20 0 28 0 511765408 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907560185672 139908719917050 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18498] ppid=18472 vsize=28766288 memory=1448 CPUtime=2475.97 cores=0-7
/proc/18474/task/18498/stat : 18498 (java) R 18472 18472 15724 0 -1 4202560 49500 0 0 0 247527 70 0 0 20 0 28 0 511765412 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907559133384 139908717876208 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18499] ppid=18472 vsize=28766288 memory=1340628 CPUtime=2474.94 cores=0-7
/proc/18474/task/18499/stat : 18499 (java) R 18472 18472 15724 0 -1 4202560 60957 0 0 0 247408 86 0 0 20 0 28 0 511765413 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907558080272 139908718088297 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18500] ppid=18472 vsize=28766288 memory=1044 CPUtime=2469.44 cores=0-7
/proc/18474/task/18500/stat : 18500 (java) R 18472 18472 15724 0 -1 4202560 17774 0 0 0 246927 17 0 0 20 0 28 0 511765413 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907557028312 139908718478896 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18501] ppid=18472 vsize=28766288 memory=708 CPUtime=2472.26 cores=0-7
/proc/18474/task/18501/stat : 18501 (java) R 18472 18472 15724 0 -1 4202560 90097 0 0 0 247077 149 0 0 20 0 28 0 511765413 29456678912 338967 33554432000 4194304 4196468 140727960144384 139907555978128 139908720170111 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 19887.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1357316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.71 8.38 8.32 9/218 18713
/proc/meminfo: memFree=27420360/32770624 swapFree=66954124/67108860
[pid=18472] ppid=18469 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18472/stat : 18472 (xcsp3-exec) S 18469 18472 15724 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511765241 115843072 362 33554432000 4194304 5098028 140737083775968 140737083774072 140598113202812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30773248 140737083777873 140737083778133 140737083778133 140737083781062 0
/proc/18472/statm: 28282 362 304 221 0 87 0
[pid=18474] ppid=18472 vsize=28766288 memory=1329400 CPUtime=20028.1 cores=0-7
/proc/18474/stat : 18474 (java) S 18472 18472 15724 0 -1 1077944320 753483 0 0 0 2001496 1311 0 0 20 0 28 0 511765241 29456678912 332350 33554432000 4194304 4196468 140727960144384 140727960126928 139909117947639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
/proc/18474/statm: 7191572 332350 3536 1 0 7152672 0
[pid=18474/tid=18475] ppid=18472 vsize=28766288 memory=8317482817917895235 CPUtime=1.59 cores=0-7
/proc/18474/task/18475/stat : 18475 (java) S 18472 18472 15724 0 -1 1077944384 8679 0 0 0 154 5 0 0 20 0 28 0 511765241 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909122188416 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18476] ppid=18472 vsize=28766288 memory=1560 CPUtime=10.94 cores=0-7
/proc/18474/task/18476/stat : 18476 (java) S 18472 18472 15724 0 -1 1077944384 27097 0 0 0 1059 35 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909037800336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18477] ppid=18472 vsize=28766288 memory=928 CPUtime=10.98 cores=0-7
/proc/18474/task/18477/stat : 18477 (java) S 18472 18472 15724 0 -1 1077944384 28057 0 0 0 1058 40 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909036747536 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18478] ppid=18472 vsize=28766288 memory=1680 CPUtime=10.88 cores=0-7
/proc/18474/task/18478/stat : 18478 (java) S 18472 18472 15724 0 -1 1077944384 28474 0 0 0 1051 37 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909035695248 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18479] ppid=18472 vsize=28766288 memory=1444 CPUtime=10.93 cores=0-7
/proc/18474/task/18479/stat : 18479 (java) S 18472 18472 15724 0 -1 1077944384 28360 0 0 0 1056 37 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909034642448 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18480] ppid=18472 vsize=28766288 memory=1448 CPUtime=10.95 cores=0-7
/proc/18474/task/18480/stat : 18480 (java) S 18472 18472 15724 0 -1 1077944384 26307 0 0 0 1057 38 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909033589136 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18481] ppid=18472 vsize=28766288 memory=1329340 CPUtime=10.93 cores=0-7
/proc/18474/task/18481/stat : 18481 (java) S 18472 18472 15724 0 -1 1077944384 24865 0 0 0 1057 36 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909032536336 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18482] ppid=18472 vsize=28766288 memory=2552 CPUtime=10.9 cores=0-7
/proc/18474/task/18482/stat : 18482 (java) S 18472 18472 15724 0 -1 1077944384 28932 0 0 0 1050 40 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139909031484048 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18483] ppid=18472 vsize=28766288 memory=1448 CPUtime=11 cores=0-7
/proc/18474/task/18483/stat : 18483 (java) S 18472 18472 15724 0 -1 1077944384 27217 0 0 0 1058 42 0 0 20 0 28 0 511765242 29456678912 332350 33554432000 4194304 4196468 140727960144384 139908661500432 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18484] ppid=18472 vsize=28766288 memory=1329192 CPUtime=8.82 cores=0-7
/proc/18474/task/18484/stat : 18484 (java) S 18472 18472 15724 0 -1 1077944384 126763 0 0 0 392 490 0 0 20 0 28 0 511765244 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907582036592 139909117958786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18485] ppid=18472 vsize=28766288 memory=219855080951902 CPUtime=0 cores=0-7
/proc/18474/task/18485/stat : 18485 (java) S 18472 18472 15724 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511765244 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907580982624 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18486] ppid=18472 vsize=28766288 memory=219855080951903 CPUtime=0 cores=0-7
/proc/18474/task/18486/stat : 18486 (java) S 18472 18472 15724 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 511765244 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907579930240 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18487] ppid=18472 vsize=28766288 memory=219855080951904 CPUtime=0 cores=0-7
/proc/18474/task/18487/stat : 18487 (java) S 18472 18472 15724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907578878544 139909117966235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18488] ppid=18472 vsize=28766288 memory=219855080951905 CPUtime=2.5 cores=0-7
/proc/18474/task/18488/stat : 18488 (java) S 18472 18472 15724 0 -1 1077944384 8923 0 0 0 249 1 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907577825392 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18489] ppid=18472 vsize=28766288 memory=219855080951906 CPUtime=2.19 cores=0-7
/proc/18474/task/18489/stat : 18489 (java) S 18472 18472 15724 0 -1 1077944384 9000 0 0 0 218 1 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907576772592 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18490] ppid=18472 vsize=28766288 memory=219855080951907 CPUtime=2.42 cores=0-7
/proc/18474/task/18490/stat : 18490 (java) S 18472 18472 15724 0 -1 1077944384 12347 0 0 0 240 2 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907575720304 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18491] ppid=18472 vsize=28766288 memory=219855080951908 CPUtime=0.72 cores=0-7
/proc/18474/task/18491/stat : 18491 (java) S 18472 18472 15724 0 -1 1077944384 6543 0 0 0 70 2 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907574667504 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18492] ppid=18472 vsize=28766288 memory=219855080951909 CPUtime=0 cores=0-7
/proc/18474/task/18492/stat : 18492 (java) S 18472 18472 15724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511765247 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907573615456 139909117957845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18493] ppid=18472 vsize=28766288 memory=1120 CPUtime=0.79 cores=0-7
/proc/18474/task/18493/stat : 18493 (java) S 18472 18472 15724 0 -1 1077944384 5693 0 0 0 13 66 0 0 20 0 28 0 511765248 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907572562736 139909117958786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18494] ppid=18472 vsize=28766288 memory=776 CPUtime=2488.99 cores=0-7
/proc/18474/task/18494/stat : 18494 (java) R 18472 18472 15724 0 -1 4202560 20477 0 0 0 248881 18 0 0 20 0 28 0 511765408 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907563343728 139908718019744 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18495] ppid=18472 vsize=28766288 memory=1724 CPUtime=2488.52 cores=0-7
/proc/18474/task/18495/stat : 18495 (java) R 18472 18472 15724 0 -1 4202560 20346 0 0 0 248833 19 0 0 20 0 28 0 511765408 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907562292280 139908718857407 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18496] ppid=18472 vsize=28766288 memory=8220 CPUtime=2485.82 cores=0-7
/proc/18474/task/18496/stat : 18496 (java) R 18472 18472 15724 0 -1 4202560 33209 0 0 0 248530 52 0 0 20 0 28 0 511765408 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907561238752 139908718019766 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18497] ppid=18472 vsize=28766288 memory=3616 CPUtime=2495.99 cores=0-7
/proc/18474/task/18497/stat : 18497 (java) R 18472 18472 15724 0 -1 4202560 60769 0 0 0 249508 91 0 0 20 0 28 0 511765408 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907560185360 139908720088790 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18498] ppid=18472 vsize=28766288 memory=1556 CPUtime=2493.36 cores=0-7
/proc/18474/task/18498/stat : 18498 (java) R 18472 18472 15724 0 -1 4202560 49760 0 0 0 249265 71 0 0 20 0 28 0 511765412 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907559136224 139908717876658 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18499] ppid=18472 vsize=28766288 memory=2832 CPUtime=2492.17 cores=0-7
/proc/18474/task/18499/stat : 18499 (java) R 18472 18472 15724 0 -1 4202560 61366 0 0 0 249130 87 0 0 20 0 28 0 511765413 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907558081064 139908719081943 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18500] ppid=18472 vsize=28766288 memory=984 CPUtime=2486.79 cores=0-7
/proc/18474/task/18500/stat : 18500 (java) R 18472 18472 15724 0 -1 4202560 17877 0 0 0 248662 17 0 0 20 0 28 0 511765413 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907557028688 139908718088311 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
[pid=18474/tid=18501] ppid=18472 vsize=28766288 memory=14012 CPUtime=2489.66 cores=0-7
/proc/18474/task/18501/stat : 18501 (java) R 18472 18472 15724 0 -1 4202560 91096 0 0 0 248815 151 0 0 20 0 28 0 511765413 29456678912 332350 33554432000 4194304 4196468 140727960144384 139907555975392 139908717876252 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 34996224 140727960146902 140727960147078 140727960147078 140727960149967 0
Current children cumulated CPU time: 20028.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1330848 KiB

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

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

[startup+2520.1 s]
# the end of solver process 18474 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20015.6 s, system=13.1271 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.1
CPU time (s): 20028.7
CPU user time (s): 20015.6
CPU system time (s): 13.1271
CPU usage (%): 794.758
Max. virtual memory (cumulated for all children) (KiB): 28881084
Max. memory (cumulated for all children) (KiB): 3486676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20015.6
system time used= 13.1271
maximum resident set size= 3493920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754197
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121943
involuntary context switches= 206704


# summary of solver processes directly reported to runsolver:
#   pid: 18472,18474
#   total CPU time (s): 20028.7
#   total CPU user time (s): 20015.6
#   total CPU system time (s): 13.1271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3268 second user time and 26.5088 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-24 20:56:16
IDJOB=4406822
IDBENCH=134822
IDSOLVER=2871
FILE ID=node107/4406822-1569355099
RUNJOBID= node107-1569345579-15751
PBS_JOBID= 21705089
Free space on /var/tmp= 12564 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.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 /var/tmp/evaluation-result-4406822-1569355099/watcher-4406822-1569355099 -o /var/tmp/evaluation-result-4406822-1569355099/solver-4406822-1569355099 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569345579-15751 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1968926715 HOME/instance-4406822-1569355099.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1968926715

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28743328 kB
MemAvailable:   31801656 kB
Buffers:           69072 kB
Cached:          3131340 kB
SwapCached:        48160 kB
Active:          1981112 kB
Inactive:        1269132 kB
Active(anon):       4444 kB
Inactive(anon):    98256 kB
Active(file):    1976668 kB
Inactive(file):  1170876 kB
Unevictable:      110992 kB
Mlocked:          110992 kB
SwapTotal:      67108860 kB
SwapFree:       66954120 kB
Dirty:             26060 kB
Writeback:             0 kB
AnonPages:        112732 kB
Mapped:            54428 kB
Shmem:             44508 kB
Slab:             367480 kB
SReclaimable:     339244 kB
SUnreclaim:        28236 kB
KernelStack:        3360 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12536 MiB
End job on node107 at 2019-09-24 21:38:16