Trace number 4399622

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-16 parallel? (TO) 20041.8 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-4399622-1568711243.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399622-1568711243.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
5.57/1.64	c solve instance...
20041.17/2520.07	s UNKNOWN
20041.17/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 (14715 MiB free)
  memory of node 1: 16384 MiB (15239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399622-1568711243/watcher-4399622-1568711243 -o /tmp/evaluation-result-4399622-1568711243/solver-4399622-1568711243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568707524-5581 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1658152066 HOME/instance-4399622-1568711243.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=5598, runsolver pid=5595
Current StackSize limit: 8192 KiB


[startup+0.100188 s]*
/proc/loadavg: 7.80 7.88 7.91 3/212 5619
/proc/meminfo: memFree=30658216/32770624 swapFree=66926808/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28227396 memory=29208 CPUtime=0.13 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 5686 0 0 0 11 2 0 0 20 0 20 0 447380062 28904853504 7302 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7056849 7302 3158 1 0 7019032 0
[pid=5600/tid=5601] ppid=5598 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) R 5598 5598 5554 0 -1 4202560 3612 0 0 0 8 1 0 0 20 0 20 0 447380062 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054467728192 140054447576414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28227396 memory=139837383788160 CPUtime=0 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5605] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5605/stat : 5605 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054412958480 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5606] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5606/stat : 5606 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054411905680 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5607] ppid=5598 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5607/stat : 5607 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054410852880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5608] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5608/stat : 5608 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054409800080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5609] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5609/stat : 5609 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 7302 33554432000 4194304 4196468 140721173754272 140054408747280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5610] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5610/stat : 5610 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053128948592 140054463507074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5611] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5611/stat : 5611 (java) S 5598 5598 5554 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053127894560 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5612] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5612/stat : 5612 (java) S 5598 5598 5554 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053126841712 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5613] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5613/stat : 5613 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053125790032 140054463514523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5614] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5614/stat : 5614 (java) S 5598 5598 5554 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053124737392 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5615] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5615/stat : 5615 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053123684592 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5616] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5616/stat : 5616 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053122631792 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5617] ppid=5598 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5600/task/5617/stat : 5617 (java) S 5598 5598 5554 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053121578992 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5618] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5618/stat : 5618 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053120527456 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5619] ppid=5598 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5619/stat : 5619 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 7302 33554432000 4194304 4196468 140721173754272 140053119474736 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30664 KiB

[startup+0.210429 s]*
/proc/loadavg: 7.80 7.88 7.91 2/212 5619
/proc/meminfo: memFree=30646660/32770624 swapFree=66926808/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28227396 memory=40636 CPUtime=0.34 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 9357 0 0 0 30 4 0 0 20 0 20 0 447380062 28904853504 10159 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7056849 10159 3303 1 0 7019032 0
[pid=5600/tid=5601] ppid=5598 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) R 5598 5598 5554 0 -1 4202560 6600 0 0 0 18 2 0 0 20 0 20 0 447380062 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054467730048 140054463507862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28227396 memory=139837386951943 CPUtime=0 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5605] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5605/stat : 5605 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054412958480 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5606] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5606/stat : 5606 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054411905680 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5607] ppid=5598 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5607/stat : 5607 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054410852880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5608] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5608/stat : 5608 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054409800080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5609] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5609/stat : 5609 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28904853504 10159 33554432000 4194304 4196468 140721173754272 140054408747280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5610] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5610/stat : 5610 (java) S 5598 5598 5554 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053128948592 140054463507074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5611] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5611/stat : 5611 (java) S 5598 5598 5554 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053127894560 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5612] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5612/stat : 5612 (java) S 5598 5598 5554 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447380065 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053126841712 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5613] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5613/stat : 5613 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053125790032 140054463514523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5614] ppid=5598 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5600/task/5614/stat : 5614 (java) S 5598 5598 5554 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053124737392 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5615] ppid=5598 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5600/task/5615/stat : 5615 (java) R 5598 5598 5554 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053123684592 140054463517274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5616] ppid=5598 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/5600/task/5616/stat : 5616 (java) S 5598 5598 5554 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053122631792 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5617] ppid=5598 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/5600/task/5617/stat : 5617 (java) R 5598 5598 5554 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053121578992 140054463507862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5618] ppid=5598 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5618/stat : 5618 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053120527456 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5619] ppid=5598 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5619/stat : 5619 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28904853504 10159 33554432000 4194304 4196468 140721173754272 140053119474736 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42092 KiB

[startup+0.3098 s]*
/proc/loadavg: 7.80 7.88 7.91 5/212 5619
/proc/meminfo: memFree=30638316/32770624 swapFree=66926808/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28231652 memory=49556 CPUtime=0.53 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 10793 0 0 0 48 5 0 0 20 0 20 0 447380062 28909211648 12389 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7057913 12389 3339 1 0 7019032 0
[pid=5600/tid=5601] ppid=5598 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) R 5598 5598 5554 0 -1 4202560 7728 0 0 0 27 3 0 0 20 0 20 0 447380062 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054467727040 140054447576414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5605] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5605/stat : 5605 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054412958480 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5606] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5606/stat : 5606 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054411905680 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5607] ppid=5598 vsize=28231652 memory=139837223037615 CPUtime=0 cores=0-7
/proc/5600/task/5607/stat : 5607 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054410852880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5608] ppid=5598 vsize=28231652 memory=139837223039920 CPUtime=0 cores=0-7
/proc/5600/task/5608/stat : 5608 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054409800080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5609] ppid=5598 vsize=28231652 memory=139837223042224 CPUtime=0 cores=0-7
/proc/5600/task/5609/stat : 5609 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28909211648 12420 33554432000 4194304 4196468 140721173754272 140054408747280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5610] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5610/stat : 5610 (java) S 5598 5598 5554 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447380065 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053128948592 140054463507074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5611] ppid=5598 vsize=28231652 memory=279674446098320 CPUtime=0 cores=0-7
/proc/5600/task/5611/stat : 5611 (java) S 5598 5598 5554 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447380065 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053127894560 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5612] ppid=5598 vsize=28231652 memory=279674446096016 CPUtime=0 cores=0-7
/proc/5600/task/5612/stat : 5612 (java) S 5598 5598 5554 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447380065 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053126841712 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5613] ppid=5598 vsize=28231652 memory=279674446102928 CPUtime=0 cores=0-7
/proc/5600/task/5613/stat : 5613 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053125790032 140054463514523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5614] ppid=5598 vsize=28231652 memory=279674446044208 CPUtime=0.02 cores=0-7
/proc/5600/task/5614/stat : 5614 (java) S 5598 5598 5554 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053124737392 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5615] ppid=5598 vsize=28231652 memory=279674446116752 CPUtime=0.02 cores=0-7
/proc/5600/task/5615/stat : 5615 (java) S 5598 5598 5554 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053123684592 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5616] ppid=5598 vsize=28231652 memory=279674446123664 CPUtime=0.03 cores=0-7
/proc/5600/task/5616/stat : 5616 (java) R 5598 5598 5554 0 -1 4202560 169 0 0 0 3 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053122622176 140054442734411 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5617] ppid=5598 vsize=28231652 memory=279674446121360 CPUtime=0.12 cores=0-7
/proc/5600/task/5617/stat : 5617 (java) S 5598 5598 5554 0 -1 1077944384 969 0 0 0 12 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053121578992 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5618] ppid=5598 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5618/stat : 5618 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053120527456 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5619] ppid=5598 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5600/task/5619/stat : 5619 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380068 28909211648 12420 33554432000 4194304 4196468 140721173754272 140053119474736 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51012 KiB

[startup+0.700917 s]
/proc/loadavg: 7.80 7.88 7.91 5/212 5619
/proc/meminfo: memFree=30614956/32770624 swapFree=66926808/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28233776 memory=113716 CPUtime=1.98 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 15968 0 0 0 191 7 0 0 20 0 20 0 447380062 28911386624 28429 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7058444 28429 3452 1 0 7019544 0
[pid=5600/tid=5601] ppid=5598 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) R 5598 5598 5554 0 -1 4202560 9032 0 0 0 64 4 0 0 20 0 20 0 447380062 28911386624 28429 33554432000 4194304 4196468 140721173754272 140054467734048 140054447576414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28233776 memory=139837223248752 CPUtime=0 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28911386624 28429 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447380063 28911386624 28429 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447380063 28911386624 28429 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0

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

[pid=5600/tid=5627] ppid=5598 vsize=28766288 memory=1456 CPUtime=2419.98 cores=0-7
/proc/5600/task/5627/stat : 5627 (java) R 5598 5598 5554 0 -1 4202560 71481 0 0 0 241854 144 0 0 20 0 28 0 447380234 29456678912 308889 33554432000 4194304 4196468 140721173754272 140052901356392 140054076887426 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 19424.9 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1237012 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.22 8.22 9/218 5812
/proc/meminfo: memFree=29473292/32770624 swapFree=66926824/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28766288 memory=1208976 CPUtime=19900.7 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 725492 0 0 0 1988928 1145 0 0 20 0 28 0 447380062 29456678912 302244 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7191572 302244 3537 1 0 7152672 0
[pid=5600/tid=5601] ppid=5598 vsize=28766288 memory=1456 CPUtime=1.59 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) S 5598 5598 5554 0 -1 1077944384 9294 0 0 0 152 7 0 0 20 0 28 0 447380062 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054467736704 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28766288 memory=1209028 CPUtime=9 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 29334 0 0 0 866 34 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28766288 memory=7373334194667676783 CPUtime=8.99 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 29530 0 0 0 869 30 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28766288 memory=1208512 CPUtime=9.02 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 27615 0 0 0 869 33 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5605] ppid=5598 vsize=28766288 memory=1209024 CPUtime=8.93 cores=0-7
/proc/5600/task/5605/stat : 5605 (java) S 5598 5598 5554 0 -1 1077944384 23166 0 0 0 863 30 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054412958480 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5606] ppid=5598 vsize=28766288 memory=3472328296227679313 CPUtime=8.91 cores=0-7
/proc/5600/task/5606/stat : 5606 (java) S 5598 5598 5554 0 -1 1077944384 23988 0 0 0 862 29 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054411905680 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5607] ppid=5598 vsize=28766288 memory=6944656592455362618 CPUtime=8.98 cores=0-7
/proc/5600/task/5607/stat : 5607 (java) S 5598 5598 5554 0 -1 1077944384 24761 0 0 0 867 31 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054410852880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5608] ppid=5598 vsize=28766288 memory=1208520 CPUtime=8.96 cores=0-7
/proc/5600/task/5608/stat : 5608 (java) S 5598 5598 5554 0 -1 1077944384 25467 0 0 0 862 34 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054409800080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5609] ppid=5598 vsize=28766288 memory=1456 CPUtime=8.99 cores=0-7
/proc/5600/task/5609/stat : 5609 (java) S 5598 5598 5554 0 -1 1077944384 28688 0 0 0 867 32 0 0 20 0 28 0 447380063 29456678912 302244 33554432000 4194304 4196468 140721173754272 140054408747280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5610] ppid=5598 vsize=28766288 memory=1456 CPUtime=6.55 cores=0-7
/proc/5600/task/5610/stat : 5610 (java) S 5598 5598 5554 0 -1 1077944384 130545 0 0 0 284 371 0 0 20 0 28 0 447380065 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053128948592 140054463507074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5611] ppid=5598 vsize=28766288 memory=1209028 CPUtime=0 cores=0-7
/proc/5600/task/5611/stat : 5611 (java) S 5598 5598 5554 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447380065 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053127894624 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5612] ppid=5598 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/5600/task/5612/stat : 5612 (java) S 5598 5598 5554 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447380065 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053126841728 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5613] ppid=5598 vsize=28766288 memory=1208976 CPUtime=0 cores=0-7
/proc/5600/task/5613/stat : 5613 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053125790032 140054463514523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5614] ppid=5598 vsize=28766288 memory=1456 CPUtime=1.86 cores=0-7
/proc/5600/task/5614/stat : 5614 (java) S 5598 5598 5554 0 -1 1077944384 6580 0 0 0 185 1 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053124737392 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5615] ppid=5598 vsize=28766288 memory=1209024 CPUtime=2.04 cores=0-7
/proc/5600/task/5615/stat : 5615 (java) S 5598 5598 5554 0 -1 1077944384 11181 0 0 0 203 1 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053123684592 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5616] ppid=5598 vsize=28766288 memory=279674448091456 CPUtime=1.82 cores=0-7
/proc/5600/task/5616/stat : 5616 (java) S 5598 5598 5554 0 -1 1077944384 4400 0 0 0 181 1 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053122631792 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5617] ppid=5598 vsize=28766288 memory=7956005031678667109 CPUtime=0.75 cores=0-7
/proc/5600/task/5617/stat : 5617 (java) S 5598 5598 5554 0 -1 1077944384 5965 0 0 0 73 2 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053121578992 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5618] ppid=5598 vsize=28766288 memory=3792 CPUtime=0 cores=0-7
/proc/5600/task/5618/stat : 5618 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053120527456 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5619] ppid=5598 vsize=28766288 memory=1456 CPUtime=0.91 cores=0-7
/proc/5600/task/5619/stat : 5619 (java) S 5598 5598 5554 0 -1 1077944384 4893 0 0 0 30 61 0 0 20 0 28 0 447380068 29456678912 302244 33554432000 4194304 4196468 140721173754272 140053119474736 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5620] ppid=5598 vsize=28766288 memory=3580 CPUtime=2476.84 cores=0-7
/proc/5600/task/5620/stat : 5620 (java) R 5598 5598 5554 0 -1 4202560 26985 0 0 0 247667 17 0 0 20 0 28 0 447380229 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052908723720 140054075992683 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5621] ppid=5598 vsize=28766288 memory=31840 CPUtime=2474.42 cores=0-7
/proc/5600/task/5621/stat : 5621 (java) R 5598 5598 5554 0 -1 4202560 27630 0 0 0 247425 17 0 0 20 0 28 0 447380233 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052907672216 140054068594389 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5622] ppid=5598 vsize=28766288 memory=988 CPUtime=2477.63 cores=0-7
/proc/5600/task/5622/stat : 5622 (java) R 5598 5598 5554 0 -1 4202560 37046 0 0 0 247726 37 0 0 20 0 28 0 447380233 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052906618888 140054075820938 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5623] ppid=5598 vsize=28766288 memory=1456 CPUtime=2477.59 cores=0-7
/proc/5600/task/5623/stat : 5623 (java) R 5598 5598 5554 0 -1 4202560 45004 0 0 0 247672 87 0 0 20 0 28 0 447380234 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052905566080 140054077591748 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5624] ppid=5598 vsize=28766288 memory=1206488 CPUtime=2476.43 cores=0-7
/proc/5600/task/5624/stat : 5624 (java) R 5598 5598 5554 0 -1 4202560 50951 0 0 0 247561 82 0 0 20 0 28 0 447380234 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052904517288 140054076082486 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5625] ppid=5598 vsize=28766288 memory=3979266941222411040 CPUtime=2475.95 cores=0-7
/proc/5600/task/5625/stat : 5625 (java) R 5598 5598 5554 0 -1 4202560 50848 0 0 0 247492 103 0 0 20 0 28 0 447380234 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052903460600 140054075994184 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5626] ppid=5598 vsize=28766288 memory=1456 CPUtime=2475.42 cores=0-7
/proc/5600/task/5626/stat : 5626 (java) R 5598 5598 5554 0 -1 4202560 26087 0 0 0 247528 14 0 0 20 0 28 0 447380234 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052902409240 140054068597063 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5627] ppid=5598 vsize=28766288 memory=1209028 CPUtime=2479.05 cores=0-7
/proc/5600/task/5627/stat : 5627 (java) R 5598 5598 5554 0 -1 4202560 74236 0 0 0 247750 155 0 0 20 0 28 0 447380234 29456678912 302244 33554432000 4194304 4196468 140721173754272 140052901358656 140054449564052 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 19900.7 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1210432 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.20 8.22 9/218 5814
/proc/meminfo: memFree=29476832/32770624 swapFree=66926824/67108860
[pid=5598] ppid=5595 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5598/stat : 5598 (xcsp3-exec) S 5595 5598 5554 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447380062 115843072 364 33554432000 4194304 5098028 140732589229920 140732589228024 139677078696572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33820672 140732589237109 140732589237353 140732589237353 140732589240266 0
/proc/5598/statm: 28282 364 305 221 0 87 0
[pid=5600] ppid=5598 vsize=28766288 memory=1206336 CPUtime=20041.2 cores=0-7
/proc/5600/stat : 5600 (java) S 5598 5598 5554 0 -1 1077944320 726307 0 0 0 2002962 1155 0 0 20 0 28 0 447380062 29456678912 301584 33554432000 4194304 4196468 140721173754272 140721173736816 140054463495927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
/proc/5600/statm: 7191572 301584 3537 1 0 7152672 0
[pid=5600/tid=5601] ppid=5598 vsize=28766288 memory=8317482817917895235 CPUtime=1.59 cores=0-7
/proc/5600/task/5601/stat : 5601 (java) S 5598 5598 5554 0 -1 1077944384 9294 0 0 0 152 7 0 0 20 0 28 0 447380062 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054467736704 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5602] ppid=5598 vsize=28766288 memory=111632 CPUtime=9.09 cores=0-7
/proc/5600/task/5602/stat : 5602 (java) S 5598 5598 5554 0 -1 1077944384 29418 0 0 0 875 34 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054416116880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5603] ppid=5598 vsize=28766288 memory=804 CPUtime=9.09 cores=0-7
/proc/5600/task/5603/stat : 5603 (java) S 5598 5598 5554 0 -1 1077944384 29636 0 0 0 879 30 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054415064080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5604] ppid=5598 vsize=28766288 memory=4100 CPUtime=9.11 cores=0-7
/proc/5600/task/5604/stat : 5604 (java) S 5598 5598 5554 0 -1 1077944384 27681 0 0 0 878 33 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054414011280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5605] ppid=5598 vsize=28766288 memory=1804 CPUtime=9.03 cores=0-7
/proc/5600/task/5605/stat : 5605 (java) S 5598 5598 5554 0 -1 1077944384 23229 0 0 0 873 30 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054412958480 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5606] ppid=5598 vsize=28766288 memory=920 CPUtime=9 cores=0-7
/proc/5600/task/5606/stat : 5606 (java) S 5598 5598 5554 0 -1 1077944384 24025 0 0 0 871 29 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054411905680 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5607] ppid=5598 vsize=28766288 memory=3908 CPUtime=9.08 cores=0-7
/proc/5600/task/5607/stat : 5607 (java) S 5598 5598 5554 0 -1 1077944384 24857 0 0 0 876 32 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054410852880 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5608] ppid=5598 vsize=28766288 memory=1412 CPUtime=9.06 cores=0-7
/proc/5600/task/5608/stat : 5608 (java) S 5598 5598 5554 0 -1 1077944384 25569 0 0 0 871 35 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054409800080 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5609] ppid=5598 vsize=28766288 memory=3792 CPUtime=9.09 cores=0-7
/proc/5600/task/5609/stat : 5609 (java) S 5598 5598 5554 0 -1 1077944384 28738 0 0 0 877 32 0 0 20 0 28 0 447380063 29456678912 301584 33554432000 4194304 4196468 140721173754272 140054408747280 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5610] ppid=5598 vsize=28766288 memory=1456 CPUtime=6.67 cores=0-7
/proc/5600/task/5610/stat : 5610 (java) S 5598 5598 5554 0 -1 1077944384 130547 0 0 0 289 378 0 0 20 0 28 0 447380065 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053128948592 140054463507074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5611] ppid=5598 vsize=28766288 memory=1207800 CPUtime=0 cores=0-7
/proc/5600/task/5611/stat : 5611 (java) S 5598 5598 5554 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447380065 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053127894624 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5612] ppid=5598 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/5600/task/5612/stat : 5612 (java) S 5598 5598 5554 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447380065 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053126841728 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5613] ppid=5598 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/5600/task/5613/stat : 5613 (java) S 5598 5598 5554 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053125790032 140054463514523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5614] ppid=5598 vsize=28766288 memory=288230596050944315 CPUtime=1.86 cores=0-7
/proc/5600/task/5614/stat : 5614 (java) S 5598 5598 5554 0 -1 1077944384 6580 0 0 0 185 1 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053124737392 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5615] ppid=5598 vsize=28766288 memory=14981065810905736 CPUtime=2.04 cores=0-7
/proc/5600/task/5615/stat : 5615 (java) S 5598 5598 5554 0 -1 1077944384 11181 0 0 0 203 1 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053123684592 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5616] ppid=5598 vsize=28766288 memory=1760 CPUtime=1.82 cores=0-7
/proc/5600/task/5616/stat : 5616 (java) S 5598 5598 5554 0 -1 1077944384 4400 0 0 0 181 1 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053122631792 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5617] ppid=5598 vsize=28766288 memory=111632 CPUtime=0.75 cores=0-7
/proc/5600/task/5617/stat : 5617 (java) S 5598 5598 5554 0 -1 1077944384 5965 0 0 0 73 2 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053121578992 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5618] ppid=5598 vsize=28766288 memory=804 CPUtime=0 cores=0-7
/proc/5600/task/5618/stat : 5618 (java) S 5598 5598 5554 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053120527456 140054463506133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5619] ppid=5598 vsize=28766288 memory=4100 CPUtime=0.91 cores=0-7
/proc/5600/task/5619/stat : 5619 (java) S 5598 5598 5554 0 -1 1077944384 4895 0 0 0 30 61 0 0 20 0 28 0 447380068 29456678912 301584 33554432000 4194304 4196468 140721173754272 140053119474736 140054463507074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5620] ppid=5598 vsize=28766288 memory=1804 CPUtime=2494.32 cores=0-7
/proc/5600/task/5620/stat : 5620 (java) R 5598 5598 5554 0 -1 4202560 27005 0 0 0 249415 17 0 0 20 0 28 0 447380229 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052908723800 140054076945280 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5621] ppid=5598 vsize=28766288 memory=920 CPUtime=2491.66 cores=0-7
/proc/5600/task/5621/stat : 5621 (java) R 5598 5598 5554 0 -1 4202560 27659 0 0 0 249149 17 0 0 20 0 28 0 447380233 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052907672216 140054077628334 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5622] ppid=5598 vsize=28766288 memory=3908 CPUtime=2495.04 cores=0-7
/proc/5600/task/5622/stat : 5622 (java) R 5598 5598 5554 0 -1 4202560 37072 0 0 0 249467 37 0 0 20 0 28 0 447380233 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052906619320 140054076889046 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5623] ppid=5598 vsize=28766288 memory=1412 CPUtime=2495.06 cores=0-7
/proc/5600/task/5623/stat : 5623 (java) R 5598 5598 5554 0 -1 4202560 45022 0 0 0 249419 87 0 0 20 0 28 0 447380234 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052905566080 140054077591637 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5624] ppid=5598 vsize=28766288 memory=1456 CPUtime=2493.89 cores=0-7
/proc/5600/task/5624/stat : 5624 (java) R 5598 5598 5554 0 -1 4202560 50959 0 0 0 249307 82 0 0 20 0 28 0 447380234 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052904513352 140054443678388 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5625] ppid=5598 vsize=28766288 memory=1212044 CPUtime=2493.44 cores=0-7
/proc/5600/task/5625/stat : 5625 (java) R 5598 5598 5554 0 -1 4202560 50884 0 0 0 249240 104 0 0 20 0 28 0 447380234 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052903463504 140054075916482 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5626] ppid=5598 vsize=28766288 memory=5859535235326444939 CPUtime=2492.9 cores=0-7
/proc/5600/task/5626/stat : 5626 (java) R 5598 5598 5554 0 -1 4202560 26111 0 0 0 249276 14 0 0 20 0 28 0 447380234 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052902409160 140054075993145 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
[pid=5600/tid=5627] ppid=5598 vsize=28766288 memory=8317482817917895235 CPUtime=2496.57 cores=0-7
/proc/5600/task/5627/stat : 5627 (java) R 5598 5598 5554 0 -1 4202560 74282 0 0 0 249501 156 0 0 20 0 28 0 447380234 29456678912 301584 33554432000 4194304 4196468 140721173754272 140052901356152 140054075993757 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 35606528 140721173758954 140721173759126 140721173759126 140721173761999 0
Current children cumulated CPU time: 20041.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1207792 KiB

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

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

[startup+2520.1 s]
# the end of solver process 5600 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20030.3 s, system=11.5698 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): 20041.8
CPU user time (s): 20030.3
CPU system time (s): 11.5698
CPU usage (%): 795.279
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3465108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20030.3
system time used= 11.5698
maximum resident set size= 3470864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108050
involuntary context switches= 202842


# summary of solver processes directly reported to runsolver:
#   pid: 5598,5600
#   total CPU time (s): 20041.8
#   total CPU user time (s): 20030.3
#   total CPU system time (s): 11.5698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7231 second user time and 27.993 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-17 10:05:24
IDJOB=4399622
IDBENCH=134822
IDSOLVER=2854
FILE ID=node107/4399622-1568711243
RUNJOBID= node107-1568707524-5581
PBS_JOBID= 21703924
Free space on /tmp= 59040 MiB

SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399622-1568711243/watcher-4399622-1568711243 -o /tmp/evaluation-result-4399622-1568711243/solver-4399622-1568711243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568707524-5581 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1658152066 HOME/instance-4399622-1568711243.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1658152066

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:        30673952 kB
MemAvailable:   31812484 kB
Buffers:          226680 kB
Cached:          1187896 kB
SwapCached:        76272 kB
Active:           682544 kB
Inactive:         809104 kB
Active(anon):      10672 kB
Inactive(anon):   109336 kB
Active(file):     671872 kB
Inactive(file):   699768 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       66926808 kB
Dirty:             26312 kB
Writeback:             0 kB
AnonPages:        113040 kB
Mapped:            42088 kB
Shmem:             34424 kB
Slab:             195008 kB
SReclaimable:     165452 kB
SUnreclaim:        29556 kB
KernelStack:        3296 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496984 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 /tmp at the end= 59012 MiB
End job on node107 at 2019-09-17 10:47:24