Trace number 4297821

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl20-21_c18.xml
MD5SUM826e6ea09bcfe8620a345f5a4fc2f1e6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables840
Number of constraints82
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":840}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":840}]
Minimum constraint arity20
Maximum constraint arity21
Distribution of constraint arities[{"arity":20,"count":42},{"arity":21,"count":40}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":82}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297821-1532710249.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297821-1532710249.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.40/0.64	c solve instance...
19648.31/2520.02	s UNKNOWN
19648.31/2520.02	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 (8584 MiB free)
  memory of node 1: 16384 MiB (13540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297821-1532710249/watcher-4297821-1532710249 -o /tmp/evaluation-result-4297821-1532710249/solver-4297821-1532710249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 2011786414 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297821-1532710249.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=16093, runsolver pid=16090

[startup+0.10014 s]*
/proc/loadavg: 7.38 8.06 8.11 2/201 16114
/proc/meminfo: memFree=22637380/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26104152 memory=29820 CPUtime=0.12 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 20 0 88587733 26730651648 7455 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6526038 7455 3030 1 0 6488315 0
[pid=16095/tid=16096] ppid=16093 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) R 16093 16093 14928 0 -1 4202560 3818 0 0 0 8 0 0 0 20 0 20 0 88587734 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814149332824 139814129194334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26104152 memory=140509021083264 CPUtime=0 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16100] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16100/stat : 16100 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814094576272 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16101] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16101/stat : 16101 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814093523728 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16102] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16102/stat : 16102 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814092471184 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16103] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16103/stat : 16103 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814091418640 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16104] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16104/stat : 16104 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 7455 33554432000 4194304 4196468 140730221969296 139814090366096 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16105] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16105/stat : 16105 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587736 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813406607344 139814145124994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16106] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16106/stat : 16106 (java) S 16093 16093 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88587737 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813405553568 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16107] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16107/stat : 16107 (java) S 16093 16093 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88587737 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813404500976 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16108] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16108/stat : 16108 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813403449552 139814145132443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16109] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16109/stat : 16109 (java) S 16093 16093 14928 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813402397168 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16110] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16110/stat : 16110 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 7455 33554432000 4194304 4196468 140730221969296 139813401344624 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16111] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16111/stat : 16111 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 7455 33554432000 4194304 4196468 140730221969296 139812342852336 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16112] ppid=16093 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16095/task/16112/stat : 16112 (java) R 16093 16093 14928 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 88587739 26730651648 7455 33554432000 4194304 4196468 140730221969296 139812341799792 139814145125782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16113] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16113/stat : 16113 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587740 26730651648 7455 33554432000 4194304 4196468 140730221969296 139812340746464 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16114] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16114/stat : 16114 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587740 26730651648 7455 33554432000 4194304 4196468 140730221969296 139812339694000 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 31272 KiB

[startup+0.210497 s]*
/proc/loadavg: 7.38 8.06 8.11 3/201 16114
/proc/meminfo: memFree=22626428/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26104152 memory=41592 CPUtime=0.33 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 8455 0 0 0 31 2 0 0 20 0 20 0 88587733 26730651648 10398 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6526038 10398 3148 1 0 6488315 0
[pid=16095/tid=16096] ppid=16093 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) R 16093 16093 14928 0 -1 4202560 5577 0 0 0 18 1 0 0 20 0 20 0 88587734 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814149351664 139814145135773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26104152 memory=140509021586088 CPUtime=0 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16100] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16100/stat : 16100 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814094576272 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16101] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16101/stat : 16101 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814093523728 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16102] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16102/stat : 16102 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814092471184 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16103] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16103/stat : 16103 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814091418640 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16104] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16104/stat : 16104 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587735 26730651648 10398 33554432000 4194304 4196468 140730221969296 139814090366096 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16105] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16105/stat : 16105 (java) S 16093 16093 14928 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88587736 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813406607344 139814145124994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16106] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16106/stat : 16106 (java) S 16093 16093 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88587737 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813405553568 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16107] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16107/stat : 16107 (java) S 16093 16093 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88587737 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813404500976 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16108] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16108/stat : 16108 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813403449552 139814145132443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16109] ppid=16093 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/16095/task/16109/stat : 16109 (java) S 16093 16093 14928 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 20 0 88587739 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813402397168 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16110] ppid=16093 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16095/task/16110/stat : 16110 (java) S 16093 16093 14928 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 88587739 26730651648 10398 33554432000 4194304 4196468 140730221969296 139813401344624 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16111] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16111/stat : 16111 (java) S 16093 16093 14928 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 88587739 26730651648 10398 33554432000 4194304 4196468 140730221969296 139812342852336 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16112] ppid=16093 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/16095/task/16112/stat : 16112 (java) S 16093 16093 14928 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 20 0 88587739 26730651648 10398 33554432000 4194304 4196468 140730221969296 139812341799792 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16113] ppid=16093 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16113/stat : 16113 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587740 26730651648 10398 33554432000 4194304 4196468 140730221969296 139812340746464 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16114] ppid=16093 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16114/stat : 16114 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587740 26730651648 10398 33554432000 4194304 4196468 140730221969296 139812339694000 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43044 KiB

[startup+0.310528 s]*
/proc/loadavg: 7.38 8.06 8.11 4/201 16114
/proc/meminfo: memFree=22620348/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26108408 memory=48460 CPUtime=0.51 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 9338 0 0 0 48 3 0 0 20 0 20 0 88587733 26735009792 12115 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6527102 12115 3226 1 0 6488315 0
[pid=16095/tid=16096] ppid=16093 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) R 16093 16093 14928 0 -1 4202560 6287 0 0 0 28 1 0 0 20 0 20 0 88587734 26735009792 12115 33554432000 4194304 4196468 140730221969296 139814149343520 139814129194334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12115 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12115 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12115 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16100] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16100/stat : 16100 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12181 33554432000 4194304 4196468 140730221969296 139814094576272 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16101] ppid=16093 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/16095/task/16101/stat : 16101 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12181 33554432000 4194304 4196468 140730221969296 139814093523728 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16102] ppid=16093 vsize=26108408 memory=140508915659695 CPUtime=0 cores=0-7
/proc/16095/task/16102/stat : 16102 (java) S 16093 16093 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12181 33554432000 4194304 4196468 140730221969296 139814092471184 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16103] ppid=16093 vsize=26108408 memory=140508915662000 CPUtime=0 cores=0-7
/proc/16095/task/16103/stat : 16103 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12181 33554432000 4194304 4196468 140730221969296 139814091418640 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16104] ppid=16093 vsize=26108408 memory=140508915664304 CPUtime=0 cores=0-7
/proc/16095/task/16104/stat : 16104 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587735 26735009792 12181 33554432000 4194304 4196468 140730221969296 139814090366096 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16105] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16105/stat : 16105 (java) S 16093 16093 14928 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88587736 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813406607344 139814145124994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16106] ppid=16093 vsize=26108408 memory=281017831335568 CPUtime=0 cores=0-7
/proc/16095/task/16106/stat : 16106 (java) S 16093 16093 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88587737 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813405553568 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16107] ppid=16093 vsize=26108408 memory=281017831342480 CPUtime=0 cores=0-7
/proc/16095/task/16107/stat : 16107 (java) S 16093 16093 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88587737 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813404500976 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16108] ppid=16093 vsize=26108408 memory=281017831283632 CPUtime=0 cores=0-7
/proc/16095/task/16108/stat : 16108 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587739 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813403449552 139814145132443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16109] ppid=16093 vsize=26108408 memory=281017831356304 CPUtime=0.04 cores=0-7
/proc/16095/task/16109/stat : 16109 (java) R 16093 16093 14928 0 -1 4202560 596 0 0 0 4 0 0 0 20 0 20 0 88587739 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813402397264 139814122375104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16110] ppid=16093 vsize=26108408 memory=281017831363216 CPUtime=0.03 cores=0-7
/proc/16095/task/16110/stat : 16110 (java) S 16093 16093 14928 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 88587739 26735009792 12181 33554432000 4194304 4196468 140730221969296 139813401344624 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16111] ppid=16093 vsize=26108408 memory=281017831360912 CPUtime=0.01 cores=0-7
/proc/16095/task/16111/stat : 16111 (java) S 16093 16093 14928 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 88587739 26735009792 12181 33554432000 4194304 4196468 140730221969296 139812342852336 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16112] ppid=16093 vsize=26108408 memory=281017831377072 CPUtime=0.11 cores=0-7
/proc/16095/task/16112/stat : 16112 (java) S 16093 16093 14928 0 -1 1077944384 814 0 0 0 11 0 0 0 20 0 20 0 88587739 26735009792 12181 33554432000 4194304 4196468 140730221969296 139812341799792 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16113] ppid=16093 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16113/stat : 16113 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88587740 26735009792 12181 33554432000 4194304 4196468 140730221969296 139812340746464 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16114] ppid=16093 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/16095/task/16114/stat : 16114 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88587740 26735009792 12181 33554432000 4194304 4196468 140730221969296 139812339694000 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49912 KiB

[startup+0.701722 s]
/proc/loadavg: 7.38 8.06 8.11 5/201 16114
/proc/meminfo: memFree=22606140/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26643044 memory=109860 CPUtime=1.88 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 13708 0 0 0 182 6 0 0 20 0 28 0 88587733 27282477056 27465 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6660761 27465 3364 1 0 6621955 0
[pid=16095/tid=16096] ppid=16093 vsize=26643044 memory=281017831734960 CPUtime=0.63 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) S 16093 16093 14928 0 -1 1077944384 7128 0 0 0 60 3 0 0 20 0 28 0 88587734 27282477056 27465 33554432000 4194304 4196468 140730221969296 139814149354624 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26643044 memory=140508915868528 CPUtime=0 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88587735 27282477056 27465 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88587735 27282477056 27465 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26643044 memory=4616 CPUtime=0 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88587735 27282477056 27465 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0

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

[pid=16095/tid=16122] ppid=16093 vsize=26643044 memory=4140 CPUtime=2407.64 cores=0-7
/proc/16095/task/16122/stat : 16122 (java) R 16093 16093 14928 0 -1 4202560 455671 0 0 0 240341 423 0 0 20 0 28 0 88587800 27282477056 615635 33554432000 4194304 4196468 140730221969296 139812016041728 139813758385059 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 19044.4 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2463992 KiB

[startup+2502.3 s]
/proc/loadavg: 7.58 7.62 7.72 8/208 16179
/proc/meminfo: memFree=20189224/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26643044 memory=2473744 CPUtime=19509.9 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 1153070 0 0 0 1938319 12669 0 0 20 0 28 0 88587733 27282477056 618436 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6660761 618436 3433 1 0 6621955 0
[pid=16095/tid=16096] ppid=16093 vsize=26643044 memory=2473744 CPUtime=0.63 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) S 16093 16093 14928 0 -1 1077944384 7128 0 0 0 60 3 0 0 20 0 28 0 88587734 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814149354624 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26643044 memory=2473744 CPUtime=12 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 34121 0 0 0 1144 56 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26643044 memory=1452 CPUtime=12.03 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 33600 0 0 0 1150 53 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26643044 memory=912 CPUtime=12.02 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 33791 0 0 0 1151 51 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16100] ppid=16093 vsize=26643044 memory=84 CPUtime=12.04 cores=0-7
/proc/16095/task/16100/stat : 16100 (java) S 16093 16093 14928 0 -1 1077944384 35243 0 0 0 1150 54 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814094576272 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16101] ppid=16093 vsize=26643044 memory=59 CPUtime=12.03 cores=0-7
/proc/16095/task/16101/stat : 16101 (java) S 16093 16093 14928 0 -1 1077944384 36228 0 0 0 1148 55 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814093523728 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16102] ppid=16093 vsize=26643044 memory=2468648 CPUtime=11.97 cores=0-7
/proc/16095/task/16102/stat : 16102 (java) S 16093 16093 14928 0 -1 1077944384 34360 0 0 0 1144 53 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814092471184 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16103] ppid=16093 vsize=26643044 memory=1452 CPUtime=12.01 cores=0-7
/proc/16095/task/16103/stat : 16103 (java) S 16093 16093 14928 0 -1 1077944384 41895 0 0 0 1145 56 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814091418640 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16104] ppid=16093 vsize=26643044 memory=1452 CPUtime=12 cores=0-7
/proc/16095/task/16104/stat : 16104 (java) S 16093 16093 14928 0 -1 1077944384 38316 0 0 0 1147 53 0 0 20 0 28 0 88587735 27282477056 618436 33554432000 4194304 4196468 140730221969296 139814090366096 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16105] ppid=16093 vsize=26643044 memory=4008 CPUtime=5.16 cores=0-7
/proc/16095/task/16105/stat : 16105 (java) S 16093 16093 14928 0 -1 1077944384 92065 0 0 0 333 183 0 0 20 0 28 0 88587736 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813406607344 139814145124994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16106] ppid=16093 vsize=26643044 memory=18264 CPUtime=0 cores=0-7
/proc/16095/task/16106/stat : 16106 (java) S 16093 16093 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 88587737 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813405553568 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16107] ppid=16093 vsize=26643044 memory=15908 CPUtime=0 cores=0-7
/proc/16095/task/16107/stat : 16107 (java) S 16093 16093 14928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88587737 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813404500976 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16108] ppid=16093 vsize=26643044 memory=1452 CPUtime=0 cores=0-7
/proc/16095/task/16108/stat : 16108 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88587739 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813403449552 139814145132443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16109] ppid=16093 vsize=26643044 memory=4140 CPUtime=1.03 cores=0-7
/proc/16095/task/16109/stat : 16109 (java) S 16093 16093 14928 0 -1 1077944384 6675 0 0 0 102 1 0 0 20 0 28 0 88587739 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813402397168 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16110] ppid=16093 vsize=26643044 memory=1452 CPUtime=0.76 cores=0-7
/proc/16095/task/16110/stat : 16110 (java) S 16093 16093 14928 0 -1 1077944384 4681 0 0 0 74 2 0 0 20 0 28 0 88587739 27282477056 618436 33554432000 4194304 4196468 140730221969296 139813401344624 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16111] ppid=16093 vsize=26643044 memory=11044 CPUtime=0.84 cores=0-7
/proc/16095/task/16111/stat : 16111 (java) S 16093 16093 14928 0 -1 1077944384 4059 0 0 0 83 1 0 0 20 0 28 0 88587739 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812342852336 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16112] ppid=16093 vsize=26643044 memory=13252 CPUtime=0.59 cores=0-7
/proc/16095/task/16112/stat : 16112 (java) S 16093 16093 14928 0 -1 1077944384 6361 0 0 0 58 1 0 0 20 0 28 0 88587739 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812341799792 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16113] ppid=16093 vsize=26643044 memory=1452 CPUtime=0 cores=0-7
/proc/16095/task/16113/stat : 16113 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88587740 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812340746464 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16114] ppid=16093 vsize=26643044 memory=2472216 CPUtime=0.37 cores=0-7
/proc/16095/task/16114/stat : 16114 (java) S 16093 16093 14928 0 -1 1077944384 4286 0 0 0 23 14 0 0 20 0 28 0 88587740 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812339694000 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16115] ppid=16093 vsize=26643044 memory=1452 CPUtime=2409.02 cores=0-7
/proc/16095/task/16115/stat : 16115 (java) R 16093 16093 14928 0 -1 4202560 12741 0 0 0 239245 1657 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812331100832 139813756753277 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16116] ppid=16093 vsize=26643044 memory=2471196 CPUtime=2401.78 cores=0-7
/proc/16095/task/16116/stat : 16116 (java) R 16093 16093 14928 0 -1 1077944384 12020 0 0 0 238153 2025 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812330049424 139814145124994 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16117] ppid=16093 vsize=26643044 memory=1452 CPUtime=2422.33 cores=0-7
/proc/16095/task/16117/stat : 16117 (java) R 16093 16093 14928 0 -1 4202560 38549 0 0 0 240675 1558 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812328996880 139813757098182 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16118] ppid=16093 vsize=26643044 memory=1452 CPUtime=2458.53 cores=0-7
/proc/16095/task/16118/stat : 16118 (java) R 16093 16093 14928 0 -1 4202560 35717 0 0 0 245406 447 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812327944336 139813756767858 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16119] ppid=16093 vsize=26643044 memory=1452 CPUtime=2422.7 cores=0-7
/proc/16095/task/16119/stat : 16119 (java) R 16093 16093 14928 0 -1 4202560 95239 0 0 0 240745 1525 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812326891792 139813758387125 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16120] ppid=16093 vsize=26643044 memory=6791534058613427641 CPUtime=2405.86 cores=0-7
/proc/16095/task/16120/stat : 16120 (java) R 16093 16093 14928 0 -1 4202560 9687 0 0 0 237890 2696 0 0 20 0 28 0 88587799 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812018147824 139813757097446 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16121] ppid=16093 vsize=26643044 memory=912 CPUtime=2416.94 cores=0-7
/proc/16095/task/16121/stat : 16121 (java) R 16093 16093 14928 0 -1 4202560 12170 0 0 0 239982 1712 0 0 20 0 28 0 88587800 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812017094160 139813757099005 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16122] ppid=16093 vsize=26643044 memory=4164 CPUtime=2467.04 cores=0-7
/proc/16095/task/16122/stat : 16122 (java) R 16093 16093 14928 0 -1 4202560 522843 0 0 0 246273 431 0 0 20 0 28 0 88587800 27282477056 618436 33554432000 4194304 4196468 140730221969296 139812016041728 139813757152793 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 19509.9 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2475196 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.19 7.53 7.69 8/208 16179
/proc/meminfo: memFree=20188676/32770624 swapFree=67108772/67108860
[pid=16093] ppid=16090 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16093/stat : 16093 (xcsp3-exec) S 16090 16093 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88587733 115843072 363 33554432000 4194304 5098028 140730478124928 140730478123032 140111331934844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21590016 140730478126133 140730478126336 140730478126336 140730478129098 0
/proc/16093/statm: 28282 363 306 221 0 87 0
[pid=16095] ppid=16093 vsize=26643044 memory=2474752 CPUtime=19648.3 cores=0-7
/proc/16095/stat : 16095 (java) S 16093 16093 14928 0 -1 1077944320 1174446 0 0 0 1952079 12752 0 0 20 0 28 0 88587733 27282477056 618688 33554432000 4194304 4196468 140730221969296 140730221951840 139814145113847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
/proc/16095/statm: 6660761 618688 3433 1 0 6621955 0
[pid=16095/tid=16096] ppid=16093 vsize=26643044 memory=14076 CPUtime=0.63 cores=0-7
/proc/16095/task/16096/stat : 16096 (java) S 16093 16093 14928 0 -1 1077944384 7128 0 0 0 60 3 0 0 20 0 28 0 88587734 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814149354624 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16097] ppid=16093 vsize=26643044 memory=1204 CPUtime=12.09 cores=0-7
/proc/16095/task/16097/stat : 16097 (java) S 16093 16093 14928 0 -1 1077944384 34443 0 0 0 1153 56 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814097733904 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16098] ppid=16093 vsize=26643044 memory=15872 CPUtime=12.12 cores=0-7
/proc/16095/task/16098/stat : 16098 (java) S 16093 16093 14928 0 -1 1077944384 33846 0 0 0 1158 54 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814096681360 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16099] ppid=16093 vsize=26643044 memory=4872558044660077418 CPUtime=12.11 cores=0-7
/proc/16095/task/16099/stat : 16099 (java) S 16093 16093 14928 0 -1 1077944384 34151 0 0 0 1159 52 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814095628816 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16100] ppid=16093 vsize=26643044 memory=25704 CPUtime=12.13 cores=0-7
/proc/16095/task/16100/stat : 16100 (java) S 16093 16093 14928 0 -1 1077944384 35652 0 0 0 1159 54 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814094576272 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16101] ppid=16093 vsize=26643044 memory=1296 CPUtime=12.13 cores=0-7
/proc/16095/task/16101/stat : 16101 (java) S 16093 16093 14928 0 -1 1077944384 36549 0 0 0 1157 56 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814093523728 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16102] ppid=16093 vsize=26643044 memory=288230574492221466 CPUtime=12.07 cores=0-7
/proc/16095/task/16102/stat : 16102 (java) S 16093 16093 14928 0 -1 1077944384 34909 0 0 0 1153 54 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814092471184 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16103] ppid=16093 vsize=26643044 memory=288230583166042425 CPUtime=12.09 cores=0-7
/proc/16095/task/16103/stat : 16103 (java) S 16093 16093 14928 0 -1 1077944384 42221 0 0 0 1153 56 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814091418640 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16104] ppid=16093 vsize=26643044 memory=16104758104558012 CPUtime=12.09 cores=0-7
/proc/16095/task/16104/stat : 16104 (java) S 16093 16093 14928 0 -1 1077944384 38644 0 0 0 1156 53 0 0 20 0 28 0 88587735 27282477056 618688 33554432000 4194304 4196468 140730221969296 139814090366096 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16105] ppid=16093 vsize=26643044 memory=6791534058613427641 CPUtime=5.17 cores=0-7
/proc/16095/task/16105/stat : 16105 (java) S 16093 16093 14928 0 -1 1077944384 92238 0 0 0 334 183 0 0 20 0 28 0 88587736 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813406607344 139814145124994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16106] ppid=16093 vsize=26643044 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16095/task/16106/stat : 16106 (java) S 16093 16093 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 88587737 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813405553568 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16107] ppid=16093 vsize=26643044 memory=1452 CPUtime=0 cores=0-7
/proc/16095/task/16107/stat : 16107 (java) S 16093 16093 14928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88587737 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813404500976 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16108] ppid=16093 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16095/task/16108/stat : 16108 (java) S 16093 16093 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88587739 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813403449552 139814145132443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16109] ppid=16093 vsize=26643044 memory=401197 CPUtime=1.03 cores=0-7
/proc/16095/task/16109/stat : 16109 (java) S 16093 16093 14928 0 -1 1077944384 6679 0 0 0 102 1 0 0 20 0 28 0 88587739 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813402397168 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16110] ppid=16093 vsize=26643044 memory=1004 CPUtime=0.76 cores=0-7
/proc/16095/task/16110/stat : 16110 (java) S 16093 16093 14928 0 -1 1077944384 4685 0 0 0 74 2 0 0 20 0 28 0 88587739 27282477056 618688 33554432000 4194304 4196468 140730221969296 139813401344624 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16111] ppid=16093 vsize=26643044 memory=1952 CPUtime=0.84 cores=0-7
/proc/16095/task/16111/stat : 16111 (java) S 16093 16093 14928 0 -1 1077944384 4061 0 0 0 83 1 0 0 20 0 28 0 88587739 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812342852336 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16112] ppid=16093 vsize=26643044 memory=1708 CPUtime=0.59 cores=0-7
/proc/16095/task/16112/stat : 16112 (java) S 16093 16093 14928 0 -1 1077944384 6365 0 0 0 58 1 0 0 20 0 28 0 88587739 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812341799792 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16113] ppid=16093 vsize=26643044 memory=792 CPUtime=0 cores=0-7
/proc/16095/task/16113/stat : 16113 (java) S 16093 16093 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88587740 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812340746464 139814145124053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16114] ppid=16093 vsize=26643044 memory=1228 CPUtime=0.37 cores=0-7
/proc/16095/task/16114/stat : 16114 (java) S 16093 16093 14928 0 -1 1077944384 4310 0 0 0 23 14 0 0 20 0 28 0 88587740 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812339694000 139814145124994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16115] ppid=16093 vsize=26643044 memory=8548 CPUtime=2426.09 cores=0-7
/proc/16095/task/16115/stat : 16115 (java) R 16093 16093 14928 0 -1 1077944384 12824 0 0 0 240941 1668 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812331100928 139814145124053 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16116] ppid=16093 vsize=26643044 memory=1444 CPUtime=2418.94 cores=0-7
/proc/16095/task/16116/stat : 16116 (java) R 16093 16093 14928 0 -1 4202560 12099 0 0 0 239856 2038 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812330049520 139813756767010 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16117] ppid=16093 vsize=26643044 memory=5668 CPUtime=2439.5 cores=0-7
/proc/16095/task/16117/stat : 16117 (java) R 16093 16093 14928 0 -1 4202560 39411 0 0 0 242382 1568 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812328996976 139813756752615 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16118] ppid=16093 vsize=26643044 memory=1232 CPUtime=2475.94 cores=0-7
/proc/16095/task/16118/stat : 16118 (java) R 16093 16093 14928 0 -1 4202560 36458 0 0 0 247144 450 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812327944336 139813757884511 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16119] ppid=16093 vsize=26643044 memory=2424 CPUtime=2439.85 cores=0-7
/proc/16095/task/16119/stat : 16119 (java) R 16093 16093 14928 0 -1 4202560 96211 0 0 0 242450 1535 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812326891888 139813756753302 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16120] ppid=16093 vsize=26643044 memory=1452 CPUtime=2422.94 cores=0-7
/proc/16095/task/16120/stat : 16120 (java) R 16093 16093 14928 0 -1 4202560 9729 0 0 0 239583 2711 0 0 20 0 28 0 88587799 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812018147824 139813757098255 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16121] ppid=16093 vsize=26643044 memory=1452 CPUtime=2434.07 cores=0-7
/proc/16095/task/16121/stat : 16121 (java) R 16093 16093 14928 0 -1 4202560 12250 0 0 0 241684 1723 0 0 20 0 28 0 88587800 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812017094256 139813757262769 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
[pid=16095/tid=16122] ppid=16093 vsize=26643044 memory=2473732 CPUtime=2484.52 cores=0-7
/proc/16095/task/16122/stat : 16122 (java) R 16093 16093 14928 0 -1 4202560 538288 0 0 0 248018 434 0 0 20 0 28 0 88587800 27282477056 618688 33554432000 4194304 4196468 140730221969296 139812016041632 139813756766984 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17305600 140730221970561 140730221970733 140730221970733 140730221973455 0
Current children cumulated CPU time: 19648.3 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 2476204 KiB

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

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

[startup+2520.04 s]
# the end of solver process 16095 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19520.9 s, system=127.547 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.04
CPU time (s): 19648.4
CPU user time (s): 19520.9
CPU system time (s): 127.547
CPU usage (%): 779.685
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 2476224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19520.9
system time used= 127.547
maximum resident set size= 2475776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1175211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35595717
involuntary context switches= 34948


# summary of solver processes directly reported to runsolver:
#   pid: 16093,16095
#   total CPU time (s): 19648.4
#   total CPU user time (s): 19520.9
#   total CPU system time (s): 127.547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6792 second user time and 28.0702 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-27 18:50:49
IDJOB=4297821
IDBENCH=141239
IDSOLVER=2760
FILE ID=node106/4297821-1532710249
RUNJOBID= node106-1532705147-14955
PBS_JOBID= 21022310
Free space on /tmp= 46168 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl20-21_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297821-1532710249/watcher-4297821-1532710249 -o /tmp/evaluation-result-4297821-1532710249/solver-4297821-1532710249 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580  HOME/xcsp3-exec -seed 2011786414 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297821-1532710249.xml

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

MD5SUM BENCH= 826e6ea09bcfe8620a345f5a4fc2f1e6
RANDOM SEED=2011786414

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 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:        22656012 kB
MemAvailable:   31926320 kB
Buffers:          214160 kB
Cached:          9200512 kB
SwapCached:           56 kB
Active:          2699220 kB
Inactive:        6773304 kB
Active(anon):       4368 kB
Inactive(anon):    80704 kB
Active(file):    2694852 kB
Inactive(file):  6692600 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108772 kB
Dirty:             21636 kB
Writeback:             0 kB
AnonPages:         54948 kB
Mapped:            42264 kB
Shmem:             25140 kB
Slab:             338112 kB
SReclaimable:     311316 kB
SUnreclaim:        26796 kB
KernelStack:        3552 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46144 MiB
End job on node106 at 2018-07-27 19:32:49