Trace number 4281105

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.5 par (2017-08-18)? (TO) 19003.699 2520.1201

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N7e.xml
MD5SUMa2078c203ecd0c92972679cdeaf30c01
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 variables985
Number of constraints592
Number of domains147
Minimum domain size1
Maximum domain size200
Distribution of domain sizes[{"size":1,"count":22},{"size":2,"count":569},{"size":200,"count":394}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":197},{"degree":2,"count":394},{"degree":3,"count":394}]
Minimum constraint arity2
Maximum constraint arity788
Distribution of constraint arities[{"arity":2,"count":394},{"arity":3,"count":197},{"arity":788,"count":1}]
Number of extensional constraints197
Number of intensional constraints394
Distribution of constraint types[{"type":"extension","count":197},{"type":"intension","count":394},{"type":"noOverlap","count":1}]
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-4281105-1503119377.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281105-1503119377.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.55/1.17	c solve instance...
19003.12/2520.06	s UNKNOWN
19003.12/2520.06	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 (11248 MiB free)
  memory of node 1: 16384 MiB (12242 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281105-1503119377/watcher-4281105-1503119377 -o /tmp/evaluation-result-4281105-1503119377/solver-4281105-1503119377 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503110144-3961 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1495463325 HOME/instance-4281105-1503119377.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=12183, runsolver pid=12180
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 1.10 4.40 6.71 4/199 12204
/proc/meminfo: memFree=24038836/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=25999808 memory=26492 CPUtime=0.12 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 5490 0 0 0 11 1 0 0 20 0 20 0 145025423 26623803392 6623 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6499952 6623 2865 1 0 6488269 0
[pid=12185/tid=12186] ppid=12183 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) R 12183 12183 3934 0 -1 4202560 3486 0 0 0 8 0 0 0 20 0 20 0 145025423 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994403326384 139994399112598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=25999808 memory=139792776763008 CPUtime=0 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12190] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12190/stat : 12190 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994348563344 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12191] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12191/stat : 12191 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994347510288 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12192] ppid=12183 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12192/stat : 12192 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994346457744 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12193] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12193/stat : 12193 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994345404688 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12194] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12194/stat : 12194 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26623803392 6623 33554432000 4194304 4196468 140722036094848 139994344352144 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12195] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12195/stat : 12195 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025425 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992716471024 139994399111810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12196] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12196/stat : 12196 (java) S 12183 12183 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145025426 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992715417248 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12197] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12197/stat : 12197 (java) S 12183 12183 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145025426 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992647066864 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12198] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12198/stat : 12198 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992646015440 139994399119259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12199] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12199/stat : 12199 (java) S 12183 12183 3934 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992644962544 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12200] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12200/stat : 12200 (java) S 12183 12183 3934 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992643910000 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12201] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12201/stat : 12201 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992642856944 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12202] ppid=12183 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12185/task/12202/stat : 12202 (java) R 12183 12183 3934 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992641804400 139994380338224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12203] ppid=12183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12203/stat : 12203 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025428 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992640752608 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12204] ppid=12183 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12204/stat : 12204 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025429 26623803392 6623 33554432000 4194304 4196468 140722036094848 139992639700144 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27872 KiB

[startup+0.210645 s]*
/proc/loadavg: 1.10 4.40 6.71 2/199 12204
/proc/meminfo: memFree=24027680/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=26004064 memory=39192 CPUtime=0.33 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 8357 0 0 0 31 2 0 0 20 0 20 0 145025423 26628161536 9798 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6501016 9798 3070 1 0 6488269 0
[pid=12185/tid=12186] ppid=12183 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) R 12183 12183 3934 0 -1 4202560 5489 0 0 0 18 1 0 0 20 0 20 0 145025423 26628161536 9798 33554432000 4194304 4196468 140722036094848 139994403311456 139994391779885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=26004096 memory=331 CPUtime=0 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628194304 9798 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=26004096 memory=3834172234479507104 CPUtime=0 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628194304 9798 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 9798 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12190] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12190/stat : 12190 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 9798 33554432000 4194304 4196468 140722036094848 139994348563344 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12191] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12191/stat : 12191 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 9798 33554432000 4194304 4196468 140722036094848 139994347510288 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12192] ppid=12183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12192/stat : 12192 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 9798 33554432000 4194304 4196468 140722036094848 139994346457744 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12193] ppid=12183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12193/stat : 12193 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628194304 9798 33554432000 4194304 4196468 140722036094848 139994345404688 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12194] ppid=12183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12194/stat : 12194 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628194304 9798 33554432000 4194304 4196468 140722036094848 139994344352144 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12195] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12195/stat : 12195 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025425 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992716471024 139994399111810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12196] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12196/stat : 12196 (java) S 12183 12183 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145025426 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992715417248 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12197] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12197/stat : 12197 (java) S 12183 12183 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145025426 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992647066864 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12198] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12198/stat : 12198 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025428 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992646015440 139994399119259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12199] ppid=12183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12199/stat : 12199 (java) S 12183 12183 3934 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 145025428 26628194304 9798 33554432000 4194304 4196468 140722036094848 139992644962544 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12200] ppid=12183 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12185/task/12200/stat : 12200 (java) S 12183 12183 3934 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 145025428 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992643910000 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12201] ppid=12183 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/12185/task/12201/stat : 12201 (java) S 12183 12183 3934 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 145025428 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992642856944 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12202] ppid=12183 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/12185/task/12202/stat : 12202 (java) S 12183 12183 3934 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 20 0 145025428 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992641804400 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12203] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12203/stat : 12203 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025428 26628161536 9798 33554432000 4194304 4196468 140722036094848 139992640752608 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12204] ppid=12183 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12204/stat : 12204 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025429 26628194304 9798 33554432000 4194304 4196468 140722036094848 139992639700144 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40572 KiB

[startup+0.310921 s]*
/proc/loadavg: 1.10 4.40 6.71 3/199 12204
/proc/meminfo: memFree=24023012/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=26004064 memory=46088 CPUtime=0.51 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 9209 0 0 0 48 3 0 0 20 0 20 0 145025423 26628161536 11522 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6501016 11522 3085 1 0 6488269 0
[pid=12185/tid=12186] ppid=12183 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) R 12183 12183 3934 0 -1 4202560 6080 0 0 0 27 2 0 0 20 0 20 0 145025423 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994403339696 139994399112598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12190] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12190/stat : 12190 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994348563344 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12191] ppid=12183 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12185/task/12191/stat : 12191 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994347510288 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12192] ppid=12183 vsize=26004064 memory=139792662754223 CPUtime=0 cores=0-7
/proc/12185/task/12192/stat : 12192 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994346457744 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12193] ppid=12183 vsize=26004064 memory=139792662756528 CPUtime=0 cores=0-7
/proc/12185/task/12193/stat : 12193 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994345404688 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12194] ppid=12183 vsize=26004064 memory=139792662758832 CPUtime=0 cores=0-7
/proc/12185/task/12194/stat : 12194 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26628161536 11522 33554432000 4194304 4196468 140722036094848 139994344352144 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12195] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12195/stat : 12195 (java) S 12183 12183 3934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145025425 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992716471024 139994399111810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12196] ppid=12183 vsize=26004064 memory=279585325524624 CPUtime=0 cores=0-7
/proc/12185/task/12196/stat : 12196 (java) S 12183 12183 3934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145025426 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992715417248 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12197] ppid=12183 vsize=26004064 memory=279585325531536 CPUtime=0 cores=0-7
/proc/12185/task/12197/stat : 12197 (java) S 12183 12183 3934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145025426 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992647066864 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12198] ppid=12183 vsize=26004064 memory=279585325472816 CPUtime=0 cores=0-7
/proc/12185/task/12198/stat : 12198 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992646015440 139994399119259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12199] ppid=12183 vsize=26004064 memory=279585325545360 CPUtime=0.01 cores=0-7
/proc/12185/task/12199/stat : 12199 (java) S 12183 12183 3934 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992644962544 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12200] ppid=12183 vsize=26004064 memory=279585325552272 CPUtime=0.02 cores=0-7
/proc/12185/task/12200/stat : 12200 (java) S 12183 12183 3934 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992643910000 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12201] ppid=12183 vsize=26004064 memory=279585325549968 CPUtime=0.02 cores=0-7
/proc/12185/task/12201/stat : 12201 (java) S 12183 12183 3934 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992642856944 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12202] ppid=12183 vsize=26004064 memory=279585325566128 CPUtime=0.13 cores=0-7
/proc/12185/task/12202/stat : 12202 (java) R 12183 12183 3934 0 -1 4202560 914 0 0 0 13 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992641798752 139994380919216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12203] ppid=12183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12203/stat : 12203 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025428 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992640752608 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12204] ppid=12183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12185/task/12204/stat : 12204 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025429 26628161536 11522 33554432000 4194304 4196468 140722036094848 139992639700144 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47468 KiB

[startup+0.700984 s]
/proc/loadavg: 1.10 4.40 6.71 6/199 12204
/proc/meminfo: memFree=24001072/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=26006188 memory=82912 CPUtime=1.7 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 13412 0 0 0 165 5 0 0 20 0 20 0 145025423 26630336512 20728 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6501547 20728 3201 1 0 6488781 0
[pid=12185/tid=12186] ppid=12183 vsize=26006188 memory=279585325924016 CPUtime=0.67 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) R 12183 12183 3934 0 -1 4202560 6974 0 0 0 64 3 0 0 20 0 20 0 145025423 26630336512 20728 33554432000 4194304 4196468 140722036094848 139994403338688 139994399122589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=26006188 memory=139792662963056 CPUtime=0 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26630336512 20728 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145025424 26630336512 20728 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145025424 26630336512 20728 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0

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

[pid=12185/tid=12212] ppid=12183 vsize=26540748 memory=621484 CPUtime=2370.65 cores=0-7
/proc/12185/task/12212/stat : 12212 (java) R 12183 12183 3934 0 -1 4202560 12740 0 0 0 237044 21 0 0 20 0 28 0 145025542 27177725952 155115 33554432000 4194304 4196468 140722036094848 139992624321056 139994013824858 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 18428 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 621840 KiB

[startup+2502.3 s]
/proc/loadavg: 6.90 6.99 7.25 9/207 12269
/proc/meminfo: memFree=23443224/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=26540748 memory=619344 CPUtime=18875.1 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 1197969 0 0 0 1876352 11158 0 0 20 0 28 0 145025423 27177725952 154836 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6635187 154836 3309 1 0 6622421 0
[pid=12185/tid=12186] ppid=12183 vsize=26540748 memory=615756 CPUtime=1.14 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) S 12183 12183 3934 0 -1 1077944384 7767 0 0 0 109 5 0 0 20 0 28 0 145025423 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994403341440 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=26540748 memory=604980 CPUtime=13.44 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 39668 0 0 0 1278 66 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=26540748 memory=611140 CPUtime=13.5 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 40905 0 0 0 1284 66 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=26540748 memory=619968 CPUtime=13.49 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 37002 0 0 0 1284 65 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12190] ppid=12183 vsize=26540748 memory=1380 CPUtime=13.49 cores=0-7
/proc/12185/task/12190/stat : 12190 (java) S 12183 12183 3934 0 -1 1077944384 37450 0 0 0 1287 62 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994348563344 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12191] ppid=12183 vsize=26540748 memory=1380 CPUtime=13.48 cores=0-7
/proc/12185/task/12191/stat : 12191 (java) S 12183 12183 3934 0 -1 1077944384 39925 0 0 0 1283 65 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994347510288 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12192] ppid=12183 vsize=26540748 memory=1380 CPUtime=13.41 cores=0-7
/proc/12185/task/12192/stat : 12192 (java) S 12183 12183 3934 0 -1 1077944384 35151 0 0 0 1281 60 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994346457744 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12193] ppid=12183 vsize=26540748 memory=0 CPUtime=13.42 cores=0-7
/proc/12185/task/12193/stat : 12193 (java) S 12183 12183 3934 0 -1 1077944384 41683 0 0 0 1279 63 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994345404688 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12194] ppid=12183 vsize=26540748 memory=7681063409702499091 CPUtime=13.42 cores=0-7
/proc/12185/task/12194/stat : 12194 (java) S 12183 12183 3934 0 -1 1077944384 40673 0 0 0 1285 57 0 0 20 0 28 0 145025424 27177725952 154836 33554432000 4194304 4196468 140722036094848 139994344352144 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12195] ppid=12183 vsize=26540748 memory=1380 CPUtime=178.55 cores=0-7
/proc/12185/task/12195/stat : 12195 (java) S 12183 12183 3934 0 -1 1077944384 105398 0 0 0 7574 10281 0 0 20 0 28 0 145025425 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992716471024 139994399111810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12196] ppid=12183 vsize=26540748 memory=611140 CPUtime=0 cores=0-7
/proc/12185/task/12196/stat : 12196 (java) S 12183 12183 3934 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 145025426 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992715417312 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12197] ppid=12183 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12197/stat : 12197 (java) S 12183 12183 3934 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 145025426 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992647066880 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12198] ppid=12183 vsize=26540748 memory=139792776761825 CPUtime=0 cores=0-7
/proc/12185/task/12198/stat : 12198 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992646015440 139994399119259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12199] ppid=12183 vsize=26540748 memory=632672 CPUtime=5.61 cores=0-7
/proc/12185/task/12199/stat : 12199 (java) S 12183 12183 3934 0 -1 1077944384 32226 0 0 0 555 6 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992644962544 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12200] ppid=12183 vsize=26540748 memory=1380 CPUtime=5.16 cores=0-7
/proc/12185/task/12200/stat : 12200 (java) S 12183 12183 3934 0 -1 1077944384 30283 0 0 0 512 4 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992643910000 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12201] ppid=12183 vsize=26540748 memory=952 CPUtime=5.88 cores=0-7
/proc/12185/task/12201/stat : 12201 (java) S 12183 12183 3934 0 -1 1077944384 30549 0 0 0 583 5 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992642856944 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12202] ppid=12183 vsize=26540748 memory=2424 CPUtime=1.19 cores=0-7
/proc/12185/task/12202/stat : 12202 (java) S 12183 12183 3934 0 -1 1077944384 16325 0 0 0 116 3 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992641804400 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12203] ppid=12183 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/12185/task/12203/stat : 12203 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145025428 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992640752608 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12204] ppid=12183 vsize=26540748 memory=4294967295 CPUtime=0.99 cores=0-7
/proc/12185/task/12204/stat : 12204 (java) R 12183 12183 3934 0 -1 1077944384 6721 0 0 0 51 48 0 0 20 0 28 0 145025429 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992639700144 139994399111810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12205] ppid=12183 vsize=26540748 memory=613936 CPUtime=2294.43 cores=0-7
/proc/12185/task/12205/stat : 12205 (java) R 12183 12183 3934 0 -1 4202560 56203 0 0 0 229394 49 0 0 20 0 28 0 145025541 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992631688344 139994016229595 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12206] ppid=12183 vsize=26540748 memory=6791534058613427641 CPUtime=2294.92 cores=0-7
/proc/12185/task/12206/stat : 12206 (java) R 12183 12183 3934 0 -1 4202560 70827 0 0 0 229441 51 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992630636552 139994007165912 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12207] ppid=12183 vsize=26540748 memory=1380 CPUtime=2377.58 cores=0-7
/proc/12185/task/12207/stat : 12207 (java) R 12183 12183 3934 0 -1 4202560 42450 0 0 0 237723 35 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992629583616 139994013824861 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12208] ppid=12183 vsize=26540748 memory=605496 CPUtime=2290.76 cores=0-7
/proc/12185/task/12208/stat : 12208 (java) R 12183 12183 3934 0 -1 4202560 249717 0 0 0 228991 85 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992628531224 139994019455331 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12209] ppid=12183 vsize=26540748 memory=661868 CPUtime=2291.84 cores=0-7
/proc/12185/task/12209/stat : 12209 (java) R 12183 12183 3934 0 -1 4202560 43222 0 0 0 229136 48 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992627478016 139994007165892 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12210] ppid=12183 vsize=26540748 memory=1380 CPUtime=2293.63 cores=0-7
/proc/12185/task/12210/stat : 12210 (java) R 12183 12183 3934 0 -1 4202560 50884 0 0 0 229324 39 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992626425352 139994015267869 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12211] ppid=12183 vsize=26540748 memory=4140 CPUtime=2298.26 cores=0-7
/proc/12185/task/12211/stat : 12211 (java) R 12183 12183 3934 0 -1 4202560 127632 0 0 0 229767 59 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992625373800 139994013793024 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12212] ppid=12183 vsize=26540748 memory=40376 CPUtime=2427.31 cores=0-7
/proc/12185/task/12212/stat : 12212 (java) R 12183 12183 3934 0 -1 4202560 13943 0 0 0 242708 23 0 0 20 0 28 0 145025542 27177725952 154836 33554432000 4194304 4196468 140722036094848 139992624323808 139994013824930 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 18875.1 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 620724 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 6.19 6.83 7.20 9/207 12269
/proc/meminfo: memFree=23457628/32770624 swapFree=67108860/67108860
[pid=12183] ppid=12180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12183/stat : 12183 (xcsp3-exec) S 12180 12183 3934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145025422 9740288 345 33554432000 4194304 5098028 140724013461056 140724013459160 139806167675516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35373056 140724013462628 140724013462839 140724013462839 140724013465579 0
/proc/12183/statm: 2378 345 289 221 0 87 0
[pid=12185] ppid=12183 vsize=26540748 memory=603624 CPUtime=19003.1 cores=0-7
/proc/12185/stat : 12185 (java) S 12183 12183 3934 0 -1 1077944320 1208363 0 0 0 1889015 11297 0 0 20 0 28 0 145025423 27177725952 150906 33554432000 4194304 4196468 140722036094848 140722036077392 139994399100663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
/proc/12185/statm: 6635187 150906 3309 1 0 6622421 0
[pid=12185/tid=12186] ppid=12183 vsize=26540748 memory=6791534058613427641 CPUtime=1.14 cores=0-7
/proc/12185/task/12186/stat : 12186 (java) S 12183 12183 3934 0 -1 1077944384 7767 0 0 0 109 5 0 0 20 0 28 0 145025423 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994403341440 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12187] ppid=12183 vsize=26540748 memory=4126316290023845779 CPUtime=13.52 cores=0-7
/proc/12185/task/12187/stat : 12187 (java) S 12183 12183 3934 0 -1 1077944384 39867 0 0 0 1286 66 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994351721488 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12188] ppid=12183 vsize=26540748 memory=4104 CPUtime=13.58 cores=0-7
/proc/12185/task/12188/stat : 12188 (java) S 12183 12183 3934 0 -1 1077944384 41076 0 0 0 1292 66 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994350668944 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12189] ppid=12183 vsize=26540748 memory=1152 CPUtime=13.59 cores=0-7
/proc/12185/task/12189/stat : 12189 (java) S 12183 12183 3934 0 -1 1077944384 37676 0 0 0 1293 66 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994349615888 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12190] ppid=12183 vsize=26540748 memory=3804 CPUtime=13.57 cores=0-7
/proc/12185/task/12190/stat : 12190 (java) S 12183 12183 3934 0 -1 1077944384 37811 0 0 0 1295 62 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994348563344 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12191] ppid=12183 vsize=26540748 memory=1380 CPUtime=13.58 cores=0-7
/proc/12185/task/12191/stat : 12191 (java) S 12183 12183 3934 0 -1 1077944384 40591 0 0 0 1292 66 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994347510288 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12192] ppid=12183 vsize=26540748 memory=606700 CPUtime=13.5 cores=0-7
/proc/12185/task/12192/stat : 12192 (java) S 12183 12183 3934 0 -1 1077944384 36135 0 0 0 1290 60 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994346457744 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12193] ppid=12183 vsize=26540748 memory=1420 CPUtime=13.5 cores=0-7
/proc/12185/task/12193/stat : 12193 (java) S 12183 12183 3934 0 -1 1077944384 41747 0 0 0 1287 63 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994345404688 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12194] ppid=12183 vsize=26540748 memory=15876 CPUtime=13.5 cores=0-7
/proc/12185/task/12194/stat : 12194 (java) S 12183 12183 3934 0 -1 1077944384 40931 0 0 0 1293 57 0 0 20 0 28 0 145025424 27177725952 150906 33554432000 4194304 4196468 140722036094848 139994344352144 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12195] ppid=12183 vsize=26540748 memory=16448 CPUtime=180.81 cores=0-7
/proc/12185/task/12195/stat : 12195 (java) S 12183 12183 3934 0 -1 1077944384 106042 0 0 0 7667 10414 0 0 20 0 28 0 145025425 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992716471024 139994399111810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12196] ppid=12183 vsize=26540748 memory=22396 CPUtime=0 cores=0-7
/proc/12185/task/12196/stat : 12196 (java) S 12183 12183 3934 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 145025426 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992715417312 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12197] ppid=12183 vsize=26540748 memory=4048 CPUtime=0 cores=0-7
/proc/12185/task/12197/stat : 12197 (java) S 12183 12183 3934 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 145025426 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992647066880 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12198] ppid=12183 vsize=26540748 memory=1236 CPUtime=0 cores=0-7
/proc/12185/task/12198/stat : 12198 (java) S 12183 12183 3934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992646015440 139994399119259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12199] ppid=12183 vsize=26540748 memory=644 CPUtime=5.61 cores=0-7
/proc/12185/task/12199/stat : 12199 (java) S 12183 12183 3934 0 -1 1077944384 32228 0 0 0 555 6 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992644962544 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12200] ppid=12183 vsize=26540748 memory=1788 CPUtime=5.16 cores=0-7
/proc/12185/task/12200/stat : 12200 (java) S 12183 12183 3934 0 -1 1077944384 30285 0 0 0 512 4 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992643910000 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12201] ppid=12183 vsize=26540748 memory=952 CPUtime=5.88 cores=0-7
/proc/12185/task/12201/stat : 12201 (java) S 12183 12183 3934 0 -1 1077944384 30551 0 0 0 583 5 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992642856944 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12202] ppid=12183 vsize=26540748 memory=1236 CPUtime=1.19 cores=0-7
/proc/12185/task/12202/stat : 12202 (java) S 12183 12183 3934 0 -1 1077944384 16327 0 0 0 116 3 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992641804400 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12203] ppid=12183 vsize=26540748 memory=609600 CPUtime=0 cores=0-7
/proc/12185/task/12203/stat : 12203 (java) S 12183 12183 3934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145025428 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992640752608 139994399110869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12204] ppid=12183 vsize=26540748 memory=2424 CPUtime=0.99 cores=0-7
/proc/12185/task/12204/stat : 12204 (java) S 12183 12183 3934 0 -1 1077944384 6758 0 0 0 51 48 0 0 20 0 28 0 145025429 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992639700144 139994399111810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12205] ppid=12183 vsize=26540748 memory=1580 CPUtime=2309.67 cores=0-7
/proc/12185/task/12205/stat : 12205 (java) R 12183 12183 3934 0 -1 4202560 56734 0 0 0 230917 50 0 0 20 0 28 0 145025541 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992631688344 139994015270598 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12206] ppid=12183 vsize=26540748 memory=928 CPUtime=2310.19 cores=0-7
/proc/12185/task/12206/stat : 12206 (java) R 12183 12183 3934 0 -1 4202560 71422 0 0 0 230967 52 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992630636944 139994007166219 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12207] ppid=12183 vsize=26540748 memory=2240 CPUtime=2394.16 cores=0-7
/proc/12185/task/12207/stat : 12207 (java) R 12183 12183 3934 0 -1 4202560 42655 0 0 0 239381 35 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992629583752 139994013824858 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12208] ppid=12183 vsize=26540748 memory=4128 CPUtime=2306.04 cores=0-7
/proc/12185/task/12208/stat : 12208 (java) R 12183 12183 3934 0 -1 4202560 252185 0 0 0 230518 86 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992628533936 139994016228908 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12209] ppid=12183 vsize=26540748 memory=2196 CPUtime=2307.12 cores=0-7
/proc/12185/task/12209/stat : 12209 (java) R 12183 12183 3934 0 -1 4202560 43627 0 0 0 230663 49 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992627478016 139994012421888 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12210] ppid=12183 vsize=26540748 memory=8040 CPUtime=2308.82 cores=0-7
/proc/12185/task/12210/stat : 12210 (java) R 12183 12183 3934 0 -1 4202560 51320 0 0 0 230843 39 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992626425472 139994016229308 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12211] ppid=12183 vsize=26540748 memory=840 CPUtime=2313.56 cores=0-7
/proc/12185/task/12211/stat : 12211 (java) R 12183 12183 3934 0 -1 4202560 128773 0 0 0 231297 59 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992625373576 139994019547551 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
[pid=12185/tid=12212] ppid=12183 vsize=26540748 memory=6791534058613427641 CPUtime=2444.21 cores=0-7
/proc/12185/task/12212/stat : 12212 (java) R 12183 12183 3934 0 -1 4202560 14490 0 0 0 244398 23 0 0 20 0 28 0 145025542 27177725952 150906 33554432000 4194304 4196468 140722036094848 139992624320944 139994013824868 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 30265344 140722036098194 140722036098371 140722036098371 140722036101071 0
Current children cumulated CPU time: 19003.1 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 605004 KiB

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

[startup+2520.05 s]
# the end of solver process 12183 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001977 s, system=0 s

[startup+2520.12 s]
# the end of solver process 12185 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18890.7 s, system=113.007 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.12
CPU time (s): 19003.7
CPU user time (s): 18890.7
CPU system time (s): 113.007
CPU usage (%): 754.078
Max. virtual memory (cumulated for all children) (KiB): 26553336
Max. memory (cumulated for all children) (KiB): 862692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18890.7
system time used= 113.007
maximum resident set size= 864312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1209111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336835
involuntary context switches= 202721


# summary of solver processes directly reported to runsolver:
#   pid: 12183,12185
#   total CPU time (s): 19003.7
#   total CPU user time (s): 18890.7
#   total CPU system time (s): 113.007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3489 second user time and 29.4516 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-19 06:55:17
IDJOB=4281105
IDBENCH=120438
IDSOLVER=2675
FILE ID=node104/4281105-1503119377
RUNJOBID= node104-1503110144-3961
PBS_JOBID= 20630753
Free space on /tmp= 61784 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N7e.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-4281105-1503119377/watcher-4281105-1503119377 -o /tmp/evaluation-result-4281105-1503119377/solver-4281105-1503119377 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503110144-3961 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1495463325 HOME/instance-4281105-1503119377.xml

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

MD5SUM BENCH= a2078c203ecd0c92972679cdeaf30c01
RANDOM SEED=1495463325

node104.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.43
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.43
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.43
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.43
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:        24055412 kB
MemAvailable:   31964200 kB
Buffers:          269968 kB
Cached:          7918476 kB
SwapCached:            0 kB
Active:          3246088 kB
Inactive:        4994284 kB
Active(anon):      54620 kB
Inactive(anon):    33192 kB
Active(file):    3191468 kB
Inactive(file):  4961092 kB
Unevictable:        7828 kB
Mlocked:            7828 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7644 kB
Writeback:             0 kB
AnonPages:        328532 kB
Mapped:            50768 kB
Shmem:             33420 kB
Slab:             170476 kB
SReclaimable:     144128 kB
SUnreclaim:        26348 kB
KernelStack:        3632 kB
PageTables:         5384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61776 MiB
End job on node104 at 2017-08-19 07:37:17