Trace number 4270448

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)? (TO) 19785.699 2520.1499

General information on the benchmark

NameBinPacking/
BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml
MD5SUM3722e6cce5df2b61a3e8828e8098779b
Bench CategoryCOP (optimization 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 variables801
Number of constraints203
Number of domains2
Minimum domain size193
Maximum domain size201
Distribution of domain sizes[{"size":193,"count":800},{"size":201,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":600},{"degree":4,"count":200}]
Minimum constraint arity4
Maximum constraint arity800
Distribution of constraint arities[{"arity":4,"count":200},{"arity":201,"count":1},{"arity":800,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":200},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270448-1502785098.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270448-1502785098.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
48.01/37.77	c solve instance...
19784.86/2520.09	s UNKNOWN
19784.86/2520.09	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15198 MiB free)
  memory of node 1: 16384 MiB (15568 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270448-1502785098/watcher-4270448-1502785098 -o /tmp/evaluation-result-4270448-1502785098/solver-4270448-1502785098 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502779196-22810 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 833208782 HOME/instance-4270448-1502785098.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=23329, runsolver pid=23326
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.26 8.32 8.28 2/201 23350
/proc/meminfo: memFree=31489704/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=25999808 memory=26560 CPUtime=0.12 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 5585 0 0 0 10 2 0 0 20 0 20 0 111598026 26623803392 6640 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6499952 6640 2843 1 0 6488269 0
[pid=23331/tid=23332] ppid=23329 vsize=25999808 memory=7896951379245046426 CPUtime=0.09 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) R 23329 23329 22783 0 -1 4202560 3580 0 0 0 8 1 0 0 20 0 20 0 111598026 26623803392 6640 33554432000 4194304 4196468 140725402958080 140234349038576 140234344824214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=25999808 memory=732370488599780325 CPUtime=0 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=25999808 memory=140350262326912 CPUtime=0 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23336] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23336/stat : 23336 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233899629712 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23337] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23337/stat : 23337 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233898576144 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23338] ppid=23329 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23331/task/23338/stat : 23338 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233897523600 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23339] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23339/stat : 23339 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233896471056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23340] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23340/stat : 23340 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598027 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233895418512 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23341] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23341/stat : 23341 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598029 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233606441456 140234344823426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23342] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23342/stat : 23342 (java) S 23329 23329 22783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111598029 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233605387680 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23343] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23343/stat : 23343 (java) S 23329 23329 22783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111598029 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233604335088 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23344] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23344/stat : 23344 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233603283664 140234344830875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23345] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23345/stat : 23345 (java) S 23329 23329 22783 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233602230256 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23346] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23346/stat : 23346 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233601177712 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23347] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23347/stat : 23347 (java) S 23329 23329 22783 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233600125168 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23348] ppid=23329 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23331/task/23348/stat : 23348 (java) R 23329 23329 22783 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233599072624 140234323767957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23349] ppid=23329 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23349/stat : 23349 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233598020320 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23350] ppid=23329 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23331/task/23350/stat : 23350 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26623803392 6640 33554432000 4194304 4196468 140725402958080 140233596967856 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27944 KiB

[startup+0.210141 s]*
/proc/loadavg: 8.26 8.32 8.28 2/201 23350
/proc/meminfo: memFree=31480844/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=26004064 memory=39056 CPUtime=0.32 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 8352 0 0 0 30 2 0 0 20 0 20 0 111598026 26628161536 9764 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6501016 9764 3058 1 0 6488269 0
[pid=23331/tid=23332] ppid=23329 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) R 23329 23329 22783 0 -1 4202560 5441 0 0 0 18 1 0 0 20 0 20 0 111598026 26628161536 9764 33554432000 4194304 4196468 140725402958080 140234349033280 140234328892766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=26004064 memory=732370488599780325 CPUtime=0 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=26004064 memory=140350262326912 CPUtime=0 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23336] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23336/stat : 23336 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233899629712 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23337] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23337/stat : 23337 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233898576144 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23338] ppid=23329 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23331/task/23338/stat : 23338 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233897523600 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23339] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23339/stat : 23339 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233896471056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23340] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23340/stat : 23340 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233895418512 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23341] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23341/stat : 23341 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233606441456 140234344823426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23342] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23342/stat : 23342 (java) S 23329 23329 22783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233605387680 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23343] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23343/stat : 23343 (java) S 23329 23329 22783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233604335088 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23344] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23344/stat : 23344 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233603283664 140234344830875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23345] ppid=23329 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23331/task/23345/stat : 23345 (java) S 23329 23329 22783 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233602230256 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23346] ppid=23329 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/23331/task/23346/stat : 23346 (java) S 23329 23329 22783 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233601177712 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23347] ppid=23329 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23331/task/23347/stat : 23347 (java) S 23329 23329 22783 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233600125168 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23348] ppid=23329 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/23331/task/23348/stat : 23348 (java) S 23329 23329 22783 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233599072624 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23349] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23349/stat : 23349 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233598020320 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23350] ppid=23329 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23331/task/23350/stat : 23350 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 9764 33554432000 4194304 4196468 140725402958080 140233596967856 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40440 KiB

[startup+0.309475 s]*
/proc/loadavg: 8.26 8.32 8.28 2/201 23350
/proc/meminfo: memFree=31474020/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=26004064 memory=46316 CPUtime=0.49 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 9245 0 0 0 46 3 0 0 20 0 20 0 111598026 26628161536 11579 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6501016 11579 3110 1 0 6488269 0
[pid=23331/tid=23332] ppid=23329 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) R 23329 23329 22783 0 -1 4202560 6122 0 0 0 27 2 0 0 20 0 20 0 111598026 26628161536 11579 33554432000 4194304 4196468 140725402958080 140234349046048 140234344834205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23336] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23336/stat : 23336 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233899629712 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23337] ppid=23329 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23331/task/23337/stat : 23337 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233898576144 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23338] ppid=23329 vsize=26004064 memory=140350136087471 CPUtime=0 cores=0-7
/proc/23331/task/23338/stat : 23338 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233897523600 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23339] ppid=23329 vsize=26004064 memory=140350136089776 CPUtime=0 cores=0-7
/proc/23331/task/23339/stat : 23339 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233896471056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23340] ppid=23329 vsize=26004064 memory=140350136092080 CPUtime=0 cores=0-7
/proc/23331/task/23340/stat : 23340 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598027 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233895418512 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23341] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23341/stat : 23341 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233606441456 140234344823426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23342] ppid=23329 vsize=26004064 memory=280700272191120 CPUtime=0 cores=0-7
/proc/23331/task/23342/stat : 23342 (java) S 23329 23329 22783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233605387680 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23343] ppid=23329 vsize=26004064 memory=280700272198032 CPUtime=0 cores=0-7
/proc/23331/task/23343/stat : 23343 (java) S 23329 23329 22783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 111598029 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233604335088 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23344] ppid=23329 vsize=26004064 memory=280700272139312 CPUtime=0 cores=0-7
/proc/23331/task/23344/stat : 23344 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233603283664 140234344830875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23345] ppid=23329 vsize=26004064 memory=280700272211856 CPUtime=0.02 cores=0-7
/proc/23331/task/23345/stat : 23345 (java) S 23329 23329 22783 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233602230256 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23346] ppid=23329 vsize=26004064 memory=280700272218768 CPUtime=0.02 cores=0-7
/proc/23331/task/23346/stat : 23346 (java) S 23329 23329 22783 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233601177712 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23347] ppid=23329 vsize=26004064 memory=280700272216464 CPUtime=0.02 cores=0-7
/proc/23331/task/23347/stat : 23347 (java) S 23329 23329 22783 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233600125168 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23348] ppid=23329 vsize=26004064 memory=280700272232624 CPUtime=0.11 cores=0-7
/proc/23331/task/23348/stat : 23348 (java) R 23329 23329 22783 0 -1 4202560 800 0 0 0 11 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233599072624 140234337049406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23349] ppid=23329 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23349/stat : 23349 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233598020320 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23350] ppid=23329 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23331/task/23350/stat : 23350 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598032 26628161536 11579 33554432000 4194304 4196468 140725402958080 140233596967856 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47700 KiB

[startup+0.700926 s]
/proc/loadavg: 8.26 8.32 8.28 5/201 23350
/proc/meminfo: memFree=31442744/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=26004140 memory=113160 CPUtime=1.74 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 12144 0 0 0 169 5 0 0 20 0 20 0 111598026 26628239360 28290 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6501035 28290 3190 1 0 6488269 0
[pid=23331/tid=23332] ppid=23329 vsize=26004140 memory=280700272527552 CPUtime=0.67 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) R 23329 23329 22783 0 -1 4202560 6505 0 0 0 64 3 0 0 20 0 20 0 111598026 26628239360 28290 33554432000 4194304 4196468 140725402958080 140234349049328 140233984297600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=26004140 memory=5050881541254 CPUtime=0 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628239360 28290 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 111598027 26628239360 28290 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 111598027 26628239360 28290 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0

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

/proc/meminfo: memFree=21786748/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=26538700 memory=9713044 CPUtime=19643.6 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 805910 0 0 0 1962658 1701 0 0 20 0 28 0 111598026 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6634675 2428261 3301 1 0 6621909 0
[pid=23331/tid=23332] ppid=23329 vsize=26538700 memory=9713044 CPUtime=36.94 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) S 23329 23329 22783 0 -1 1077944384 13671 0 0 0 3656 38 0 0 20 0 28 0 111598026 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140234349053056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=26538700 memory=1384 CPUtime=26.41 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 33183 0 0 0 2507 134 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=26538700 memory=9713044 CPUtime=26.36 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 39145 0 0 0 2496 140 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=26538700 memory=9713044 CPUtime=26.39 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 31788 0 0 0 2502 137 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23336] ppid=23329 vsize=26538700 memory=9713044 CPUtime=26.37 cores=0-7
/proc/23331/task/23336/stat : 23336 (java) S 23329 23329 22783 0 -1 1077944384 31339 0 0 0 2503 134 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233899629712 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23337] ppid=23329 vsize=26538700 memory=1384 CPUtime=26.32 cores=0-7
/proc/23331/task/23337/stat : 23337 (java) S 23329 23329 22783 0 -1 1077944384 38972 0 0 0 2500 132 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233898576144 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23338] ppid=23329 vsize=26538700 memory=1384 CPUtime=26.36 cores=0-7
/proc/23331/task/23338/stat : 23338 (java) S 23329 23329 22783 0 -1 1077944384 31972 0 0 0 2493 143 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233897523600 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23339] ppid=23329 vsize=26538700 memory=2637 CPUtime=26.36 cores=0-7
/proc/23331/task/23339/stat : 23339 (java) S 23329 23329 22783 0 -1 1077944384 33292 0 0 0 2506 130 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233896471056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23340] ppid=23329 vsize=26538700 memory=0 CPUtime=26.4 cores=0-7
/proc/23331/task/23340/stat : 23340 (java) S 23329 23329 22783 0 -1 1077944384 33771 0 0 0 2519 121 0 0 20 0 28 0 111598027 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233895418512 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23341] ppid=23329 vsize=26538700 memory=1765314 CPUtime=9.39 cores=0-7
/proc/23331/task/23341/stat : 23341 (java) S 23329 23329 22783 0 -1 1077944384 42919 0 0 0 925 14 0 0 20 0 28 0 111598029 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233606441456 140234344823426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23342] ppid=23329 vsize=26538700 memory=-4546129931942301828 CPUtime=0 cores=0-7
/proc/23331/task/23342/stat : 23342 (java) S 23329 23329 22783 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 111598029 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233605387744 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23343] ppid=23329 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/23331/task/23343/stat : 23343 (java) S 23329 23329 22783 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 111598029 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233604335104 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23344] ppid=23329 vsize=26538700 memory=4947373088588601984 CPUtime=0 cores=0-7
/proc/23331/task/23344/stat : 23344 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233603283664 140234344830875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23345] ppid=23329 vsize=26538700 memory=-3535359994705171299 CPUtime=3.12 cores=0-7
/proc/23331/task/23345/stat : 23345 (java) S 23329 23329 22783 0 -1 1077944384 26991 0 0 0 309 3 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233602230256 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23346] ppid=23329 vsize=26538700 memory=9713044 CPUtime=3.38 cores=0-7
/proc/23331/task/23346/stat : 23346 (java) S 23329 23329 22783 0 -1 1077944384 24229 0 0 0 334 4 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233601177712 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23347] ppid=23329 vsize=26538700 memory=1724 CPUtime=2.76 cores=0-7
/proc/23331/task/23347/stat : 23347 (java) S 23329 23329 22783 0 -1 1077944384 23147 0 0 0 273 3 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233600125168 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23348] ppid=23329 vsize=26538700 memory=1384 CPUtime=0.89 cores=0-7
/proc/23331/task/23348/stat : 23348 (java) S 23329 23329 22783 0 -1 1077944384 22492 0 0 0 86 3 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233599072624 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23349] ppid=23329 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/23331/task/23349/stat : 23349 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233598020320 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23350] ppid=23329 vsize=26538700 memory=4112 CPUtime=1.03 cores=0-7
/proc/23331/task/23350/stat : 23350 (java) S 23329 23329 22783 0 -1 1077944384 2478 0 0 0 45 58 0 0 20 0 28 0 111598032 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233596967856 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23351] ppid=23329 vsize=26538700 memory=1156 CPUtime=2415.73 cores=0-7
/proc/23331/task/23351/stat : 23351 (java) R 23329 23329 22783 0 -1 4202560 35245 0 0 0 241506 67 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233588956056 140233988115476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23352] ppid=23329 vsize=26538700 memory=18476 CPUtime=2421.87 cores=0-7
/proc/23331/task/23352/stat : 23352 (java) R 23329 23329 22783 0 -1 4202560 37025 0 0 0 242126 61 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233587905480 140233988115792 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23353] ppid=23329 vsize=26538700 memory=17916 CPUtime=2417.98 cores=0-7
/proc/23331/task/23353/stat : 23353 (java) R 23329 23329 22783 0 -1 4202560 42395 0 0 0 241700 98 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233586851512 140233983850416 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23354] ppid=23329 vsize=26538700 memory=4040 CPUtime=2427.99 cores=0-7
/proc/23331/task/23354/stat : 23354 (java) R 23329 23329 22783 0 -1 4202560 68856 0 0 0 242745 54 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233585798448 140233988114029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23355] ppid=23329 vsize=26538700 memory=1384 CPUtime=2418.8 cores=0-7
/proc/23331/task/23355/stat : 23355 (java) R 23329 23329 22783 0 -1 4202560 47449 0 0 0 241790 90 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233584746152 140233988114029 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23356] ppid=23329 vsize=26538700 memory=9713044 CPUtime=2416.12 cores=0-7
/proc/23331/task/23356/stat : 23356 (java) R 23329 23329 22783 0 -1 4202560 72904 0 0 0 241554 58 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233583693272 140233988114198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23357] ppid=23329 vsize=26538700 memory=1384 CPUtime=2427.97 cores=0-7
/proc/23331/task/23357/stat : 23357 (java) R 23329 23329 22783 0 -1 4202560 37402 0 0 0 242744 53 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233582641736 140233988114186 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23358] ppid=23329 vsize=26538700 memory=31648 CPUtime=2428.44 cores=0-7
/proc/23331/task/23358/stat : 23358 (java) R 23329 23329 22783 0 -1 4202560 33863 0 0 0 242771 73 0 0 20 0 28 0 111601805 27175628800 2428261 33554432000 4194304 4196468 140725402958080 140233581591488 140233988114239 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
Current children cumulated CPU time: 19643.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9714428 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.02 8.18 8.21 10/207 23392
/proc/meminfo: memFree=21853132/32770624 swapFree=67108860/67108860
[pid=23329] ppid=23326 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23329/stat : 23329 (xcsp3-exec) S 23326 23329 22783 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 111598026 9740288 346 33554432000 4194304 5098028 140726425684608 140726425682712 139927165592188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11329536 140726425687141 140726425687351 140726425687351 140726425690091 0
/proc/23329/statm: 2378 346 289 221 0 87 0
[pid=23331] ppid=23329 vsize=26538700 memory=9646868 CPUtime=19784.9 cores=0-7
/proc/23331/stat : 23331 (java) S 23329 23329 22783 0 -1 1077944320 814889 0 0 0 1976781 1705 0 0 20 0 28 0 111598026 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140725402940624 140234344812279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
/proc/23331/statm: 6634675 2411717 3301 1 0 6621909 0
[pid=23331/tid=23332] ppid=23329 vsize=26538700 memory=1398720917958146503 CPUtime=36.94 cores=0-7
/proc/23331/task/23332/stat : 23332 (java) S 23329 23329 22783 0 -1 1077944384 13671 0 0 0 3656 38 0 0 20 0 28 0 111598026 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140234349053056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23333] ppid=23329 vsize=26538700 memory=-7003737579269690708 CPUtime=26.51 cores=0-7
/proc/23331/task/23333/stat : 23333 (java) S 23329 23329 22783 0 -1 1077944384 34020 0 0 0 2516 135 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140234307918608 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23334] ppid=23329 vsize=26538700 memory=1692 CPUtime=26.45 cores=0-7
/proc/23331/task/23334/stat : 23334 (java) S 23329 23329 22783 0 -1 1077944384 40118 0 0 0 2505 140 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233901734800 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23335] ppid=23329 vsize=26538700 memory=916 CPUtime=26.47 cores=0-7
/proc/23331/task/23335/stat : 23335 (java) S 23329 23329 22783 0 -1 1077944384 31930 0 0 0 2510 137 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233900682256 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23336] ppid=23329 vsize=26538700 memory=4112 CPUtime=26.45 cores=0-7
/proc/23331/task/23336/stat : 23336 (java) S 23329 23329 22783 0 -1 1077944384 32219 0 0 0 2511 134 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233899629712 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23337] ppid=23329 vsize=26538700 memory=1156 CPUtime=26.41 cores=0-7
/proc/23331/task/23337/stat : 23337 (java) S 23329 23329 22783 0 -1 1077944384 39159 0 0 0 2508 133 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233898576144 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23338] ppid=23329 vsize=26538700 memory=1384 CPUtime=26.44 cores=0-7
/proc/23331/task/23338/stat : 23338 (java) S 23329 23329 22783 0 -1 1077944384 32636 0 0 0 2501 143 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233897523600 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23339] ppid=23329 vsize=26538700 memory=9646868 CPUtime=26.44 cores=0-7
/proc/23331/task/23339/stat : 23339 (java) S 23329 23329 22783 0 -1 1077944384 34006 0 0 0 2514 130 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233896471056 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23340] ppid=23329 vsize=26538700 memory=792 CPUtime=26.48 cores=0-7
/proc/23331/task/23340/stat : 23340 (java) S 23329 23329 22783 0 -1 1077944384 35055 0 0 0 2527 121 0 0 20 0 28 0 111598027 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233895418512 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23341] ppid=23329 vsize=26538700 memory=1420 CPUtime=9.4 cores=0-7
/proc/23331/task/23341/stat : 23341 (java) S 23329 23329 22783 0 -1 1077944384 43197 0 0 0 925 15 0 0 20 0 28 0 111598029 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233606441456 140234344823426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23342] ppid=23329 vsize=26538700 memory=13040 CPUtime=0 cores=0-7
/proc/23331/task/23342/stat : 23342 (java) S 23329 23329 22783 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 111598029 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233605387744 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23343] ppid=23329 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/23331/task/23343/stat : 23343 (java) S 23329 23329 22783 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 111598029 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233604335104 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23344] ppid=23329 vsize=26538700 memory=1196 CPUtime=0 cores=0-7
/proc/23331/task/23344/stat : 23344 (java) S 23329 23329 22783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233603283664 140234344830875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23345] ppid=23329 vsize=26538700 memory=8560 CPUtime=3.12 cores=0-7
/proc/23331/task/23345/stat : 23345 (java) S 23329 23329 22783 0 -1 1077944384 26994 0 0 0 309 3 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233602230256 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23346] ppid=23329 vsize=26538700 memory=1228 CPUtime=3.38 cores=0-7
/proc/23331/task/23346/stat : 23346 (java) S 23329 23329 22783 0 -1 1077944384 24231 0 0 0 334 4 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233601177712 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23347] ppid=23329 vsize=26538700 memory=15876 CPUtime=2.76 cores=0-7
/proc/23331/task/23347/stat : 23347 (java) S 23329 23329 22783 0 -1 1077944384 23149 0 0 0 273 3 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233600125168 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23348] ppid=23329 vsize=26538700 memory=18476 CPUtime=0.89 cores=0-7
/proc/23331/task/23348/stat : 23348 (java) S 23329 23329 22783 0 -1 1077944384 22494 0 0 0 86 3 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233599072624 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23349] ppid=23329 vsize=26538700 memory=17916 CPUtime=0 cores=0-7
/proc/23331/task/23349/stat : 23349 (java) S 23329 23329 22783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233598020320 140234344822485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23350] ppid=23329 vsize=26538700 memory=4040 CPUtime=1.03 cores=0-7
/proc/23331/task/23350/stat : 23350 (java) S 23329 23329 22783 0 -1 1077944384 2501 0 0 0 45 58 0 0 20 0 28 0 111598032 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233596967856 140234344823426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23351] ppid=23329 vsize=26538700 memory=6791534058613427641 CPUtime=2433.36 cores=0-7
/proc/23331/task/23351/stat : 23351 (java) R 23329 23329 22783 0 -1 4202560 35575 0 0 0 243268 68 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233588956056 140233988115476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23352] ppid=23329 vsize=26538700 memory=9646868 CPUtime=2439.49 cores=0-7
/proc/23331/task/23352/stat : 23352 (java) R 23329 23329 22783 0 -1 4202560 37510 0 0 0 243888 61 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233587907696 140233988114214 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23353] ppid=23329 vsize=26538700 memory=16106991470774530 CPUtime=2435.6 cores=0-7
/proc/23331/task/23353/stat : 23353 (java) R 23329 23329 22783 0 -1 4202560 42828 0 0 0 243461 99 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233586851512 140233985965446 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23354] ppid=23329 vsize=26538700 memory=288283153632854305 CPUtime=2445.61 cores=0-7
/proc/23331/task/23354/stat : 23354 (java) R 23329 23329 22783 0 -1 4202560 69429 0 0 0 244507 54 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233585798696 140233988115476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23355] ppid=23329 vsize=26538700 memory=288283385594643705 CPUtime=2436.04 cores=0-7
/proc/23331/task/23355/stat : 23355 (java) R 23329 23329 22783 0 -1 4202560 47767 0 0 0 243514 90 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233584746152 140233988116308 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23356] ppid=23329 vsize=26538700 memory=6655300316396806240 CPUtime=2433.74 cores=0-7
/proc/23331/task/23356/stat : 23356 (java) R 23329 23329 22783 0 -1 4202560 73225 0 0 0 243316 58 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233583693272 140233988116079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23357] ppid=23329 vsize=26538700 memory=6944656592455097440 CPUtime=2445.6 cores=0-7
/proc/23331/task/23357/stat : 23357 (java) R 23329 23329 22783 0 -1 4202560 37618 0 0 0 244506 54 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233582641736 140233988114646 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
[pid=23331/tid=23358] ppid=23329 vsize=26538700 memory=3472323898181172225 CPUtime=2446.06 cores=0-7
/proc/23331/task/23358/stat : 23358 (java) R 23329 23329 22783 0 -1 4202560 34175 0 0 0 244532 74 0 0 20 0 28 0 111601805 27175628800 2411717 33554432000 4194304 4196468 140725402958080 140233581588448 140233988114226 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31674368 140725402965138 140725402965315 140725402965315 140725402968015 0
Current children cumulated CPU time: 19784.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9648252 KiB

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

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

[startup+2520.15 s]
# the end of solver process 23331 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19768.6 s, system=17.1047 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 8.02 8.18 8.21 2/180 23394
/proc/meminfo: memFree=27664840/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00198 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19785.7
CPU user time (s): 19768.6
CPU system time (s): 17.1047
CPU usage (%): 785.099
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 12129400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19768.6
system time used= 17.1047
maximum resident set size= 12128016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68772
involuntary context switches= 200413


# summary of solver processes directly reported to runsolver:
#   pid: 23329,23331
#   total CPU time (s): 19785.7
#   total CPU user time (s): 19768.6
#   total CPU system time (s): 17.1047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8448 second user time and 31.5457 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-15 10:04:00
IDJOB=4270448
IDBENCH=136109
IDSOLVER=2662
FILE ID=node103/4270448-1502785098
RUNJOBID= node103-1502779196-22810
PBS_JOBID= 20629112
Free space on /tmp= 61792 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270448-1502785098/watcher-4270448-1502785098 -o /tmp/evaluation-result-4270448-1502785098/solver-4270448-1502785098 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502779196-22810 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 833208782 HOME/instance-4270448-1502785098.xml

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

MD5SUM BENCH= 3722e6cce5df2b61a3e8828e8098779b
RANDOM SEED=833208782

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.56
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:        31505868 kB
MemAvailable:   31985140 kB
Buffers:          176140 kB
Cached:           588804 kB
SwapCached:            0 kB
Active:           585272 kB
Inactive:         233856 kB
Active(anon):       3372 kB
Inactive(anon):    78564 kB
Active(file):     581900 kB
Inactive(file):   155292 kB
Unevictable:        6448 kB
Mlocked:            6448 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8220 kB
Writeback:             0 kB
AnonPages:         60688 kB
Mapped:            45660 kB
Shmem:             25228 kB
Slab:             142020 kB
SReclaimable:     115832 kB
SUnreclaim:        26188 kB
KernelStack:        3184 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61784 MiB
End job on node103 at 2017-08-15 10:46:00