Trace number 4271451

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)SAT (TO)2 2006.47 252.12601

General information on the benchmark

NameBinPacking/
BinPacking-sum-ft/BinPacking-sum-ft060-11.xml
MD5SUM684901dbc993846247574678cc891221
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark242.52299
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints49
Number of domains2
Minimum domain size24
Maximum domain size47
Distribution of domain sizes[{"size":24,"count":1},{"size":47,"count":69}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":46},{"degree":5,"count":23}]
Minimum constraint arity3
Maximum constraint arity69
Distribution of constraint arities[{"arity":3,"count":46},{"arity":24,"count":1},{"arity":69,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":23},{"type":"lex","count":1},{"type":"sum","count":23},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271451-1502645451.xml"  -tl '2016s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4271451-1502645451.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
1.03/0.56	c solve instance...
18.81/2.84	o 0 
24.22/3.50	o 1 
40.10/5.51	o 2 
2005.60/252.10	s SATISFIABLE
2005.60/252.10	v <instantiation>
2005.60/252.10	v 	<list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] </list>
2005.60/252.10	v 	<values>2 495 253 252 493 470 0 492 256 252 492 255 253 481 268 251 450 284 266 447 409 0 399 256 253 398 280 270 396 331 268 395 352 251 392 372 0 391 336 266 389 352 257 385 296 267 381 278 278 378 331 283 370 369 258 327 295 253 323 313 313 307 288 284 0 0 0 0 0 0 </values>
2005.60/252.10	v </instantiation>
2005.60/252.10	c Unexpected resolution interruption!

Verifier Data 

OK	2

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 (15260 MiB free)
  memory of node 1: 16384 MiB (15577 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271451-1502645451/watcher-4271451-1502645451 -o /tmp/evaluation-result-4271451-1502645451/solver-4271451-1502645451 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 218947886 HOME/instance-4271451-1502645451.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29936, runsolver pid=29933
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 8.00 8.05 7.39 3/199 29957
/proc/meminfo: memFree=31562880/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=25999808 memory=26080 CPUtime=0.11 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 20 0 97632745 26623803392 6520 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6499952 6520 2840 1 0 6488269 0
[pid=29938/tid=29939] ppid=29936 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) R 29936 29936 8644 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 97632746 26623803392 6520 33554432000 4194304 4196468 140735363494288 140653311038496 140653290853733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=25999808 memory=139909891397248 CPUtime=0 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29943] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29943/stat : 29943 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652861361168 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29944] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29944/stat : 29944 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652860307856 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29945] ppid=29936 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29945/stat : 29945 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652859255056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29946] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29946/stat : 29946 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652858202768 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29947] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29947/stat : 29947 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652857149968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29948] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29948/stat : 29948 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632748 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652434049648 140653306821250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29949] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29949/stat : 29949 (java) S 29936 29936 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632749 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652432995616 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29950] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29950/stat : 29950 (java) S 29936 29936 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632749 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652431943280 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29951] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29951/stat : 29951 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652430891600 140653306828699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29952] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29952/stat : 29952 (java) S 29936 29936 8644 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652429838448 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29953] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29953/stat : 29953 (java) S 29936 29936 8644 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652428785648 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29954] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29954/stat : 29954 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652427733360 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29955] ppid=29936 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29938/task/29955/stat : 29955 (java) R 29936 29936 8644 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652426680560 140653306822038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29956] ppid=29936 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29956/stat : 29956 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632751 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652425628512 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29957] ppid=29936 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29957/stat : 29957 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632752 26623803392 6520 33554432000 4194304 4196468 140735363494288 140652424575792 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27460 KiB

[startup+0.210454 s]*
/proc/loadavg: 8.00 8.05 7.39 2/199 29957
/proc/meminfo: memFree=31554032/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=26004064 memory=38148 CPUtime=0.32 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 8232 0 0 0 30 2 0 0 20 0 20 0 97632745 26628161536 9537 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6501016 9537 2978 1 0 6488269 0
[pid=29938/tid=29939] ppid=29936 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) R 29936 29936 8644 0 -1 4202560 5396 0 0 0 18 1 0 0 20 0 20 0 97632746 26628161536 9537 33554432000 4194304 4196468 140735363494288 140653311031096 140653299488117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=26004064 memory=139909891422412 CPUtime=0 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29943] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29943/stat : 29943 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652861361168 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29944] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29944/stat : 29944 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652860307856 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29945] ppid=29936 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29945/stat : 29945 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652859255056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29946] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29946/stat : 29946 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652858202768 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29947] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29947/stat : 29947 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652857149968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29948] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29948/stat : 29948 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632748 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652434049648 140653306821250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29949] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29949/stat : 29949 (java) S 29936 29936 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632749 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652432995616 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29950] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29950/stat : 29950 (java) S 29936 29936 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632749 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652431943280 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29951] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29951/stat : 29951 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652430891600 140653306828699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29952] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29952/stat : 29952 (java) S 29936 29936 8644 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652429838448 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29953] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29953/stat : 29953 (java) S 29936 29936 8644 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652428785648 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29954] ppid=29936 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/29938/task/29954/stat : 29954 (java) S 29936 29936 8644 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652427733360 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29955] ppid=29936 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29938/task/29955/stat : 29955 (java) S 29936 29936 8644 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652426680560 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29956] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29956/stat : 29956 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652425628512 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29957] ppid=29936 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29957/stat : 29957 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632752 26628161536 9537 33554432000 4194304 4196468 140735363494288 140652424575792 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39528 KiB

[startup+0.310531 s]*
/proc/loadavg: 8.00 8.05 7.39 4/199 29957
/proc/meminfo: memFree=31547160/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=26004064 memory=45848 CPUtime=0.5 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 9212 0 0 0 47 3 0 0 20 0 20 0 97632745 26628161536 11462 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6501016 11462 3078 1 0 6488269 0
[pid=29938/tid=29939] ppid=29936 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) R 29936 29936 8644 0 -1 4202560 6104 0 0 0 27 1 0 0 20 0 20 0 97632746 26628161536 11462 33554432000 4194304 4196468 140735363494288 140653311044024 140653290890590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29943] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29943/stat : 29943 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652861361168 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29944] ppid=29936 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29938/task/29944/stat : 29944 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652860307856 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29945] ppid=29936 vsize=26004064 memory=139909767721903 CPUtime=0 cores=0-7
/proc/29938/task/29945/stat : 29945 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652859255056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29946] ppid=29936 vsize=26004064 memory=139909767724208 CPUtime=0 cores=0-7
/proc/29938/task/29946/stat : 29946 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652858202768 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29947] ppid=29936 vsize=26004064 memory=139909767726512 CPUtime=0 cores=0-7
/proc/29938/task/29947/stat : 29947 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632747 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652857149968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29948] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29948/stat : 29948 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632748 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652434049648 140653306821250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29949] ppid=29936 vsize=26004064 memory=279819535459984 CPUtime=0 cores=0-7
/proc/29938/task/29949/stat : 29949 (java) S 29936 29936 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632749 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652432995616 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29950] ppid=29936 vsize=26004064 memory=279819535466896 CPUtime=0 cores=0-7
/proc/29938/task/29950/stat : 29950 (java) S 29936 29936 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632749 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652431943280 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29951] ppid=29936 vsize=26004064 memory=279819535408176 CPUtime=0 cores=0-7
/proc/29938/task/29951/stat : 29951 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652430891600 140653306828699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29952] ppid=29936 vsize=26004064 memory=279819535480720 CPUtime=0.01 cores=0-7
/proc/29938/task/29952/stat : 29952 (java) S 29936 29936 8644 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652429838448 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29953] ppid=29936 vsize=26004064 memory=279819535487632 CPUtime=0.01 cores=0-7
/proc/29938/task/29953/stat : 29953 (java) S 29936 29936 8644 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652428785648 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29954] ppid=29936 vsize=26004064 memory=279819535485328 CPUtime=0.03 cores=0-7
/proc/29938/task/29954/stat : 29954 (java) S 29936 29936 8644 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652427733360 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29955] ppid=29936 vsize=26004064 memory=279819535501488 CPUtime=0.12 cores=0-7
/proc/29938/task/29955/stat : 29955 (java) R 29936 29936 8644 0 -1 4202560 923 0 0 0 12 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652426677296 140653285728652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29956] ppid=29936 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29956/stat : 29956 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632751 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652425628512 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29957] ppid=29936 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29938/task/29957/stat : 29957 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632752 26628161536 11462 33554432000 4194304 4196468 140735363494288 140652424575792 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47228 KiB

[startup+0.709319 s]
/proc/loadavg: 8.00 8.05 7.39 4/199 29957
/proc/meminfo: memFree=31530536/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=26538700 memory=87560 CPUtime=2.2 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 12798 0 0 0 215 5 0 0 20 0 28 0 97632745 27175628800 21890 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6634675 21890 3203 1 0 6621909 0
[pid=29938/tid=29939] ppid=29936 vsize=26538700 memory=279819535859376 CPUtime=0.53 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) S 29936 29936 8644 0 -1 1077944384 6816 0 0 0 51 2 0 0 20 0 28 0 97632746 27175628800 21890 33554432000 4194304 4196468 140735363494288 140653311050880 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=26538700 memory=139909767930736 CPUtime=0 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97632747 27175628800 21890 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97632747 27175628800 21890 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97632747 27175628800 21890 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0

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

[pid=29938/tid=29989] ppid=29936 vsize=26538700 memory=1380 CPUtime=156.23 cores=0-7
/proc/29938/task/29989/stat : 29989 (java) R 29936 29936 8644 0 -1 4202560 4439 0 0 0 15621 2 0 0 20 0 28 0 97633297 27175628800 49559 33554432000 4194304 4196468 140735363494288 140652414462000 140652947621143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 1290.31 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 199616 KiB

[startup+222.301 s]
/proc/loadavg: 8.45 8.22 7.60 9/208 29996
/proc/meminfo: memFree=31432188/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=26538700 memory=158464 CPUtime=1768.7 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 101993 0 0 0 176826 44 0 0 20 0 28 0 97632745 27175628800 39616 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6634675 39616 3277 1 0 6621909 0
[pid=29938/tid=29939] ppid=29936 vsize=26538700 memory=159492 CPUtime=0.54 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) S 29936 29936 8644 0 -1 1077944384 7070 0 0 0 52 2 0 0 20 0 28 0 97632746 27175628800 39616 33554432000 4194304 4196468 140735363494288 140653311050880 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=26538700 memory=1380 CPUtime=0.08 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 2423 0 0 0 7 1 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=26538700 memory=159492 CPUtime=0.08 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 1661 0 0 0 7 1 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=26538700 memory=159492 CPUtime=0.08 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2044 0 0 0 7 1 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29943] ppid=29936 vsize=26538700 memory=1380 CPUtime=0.08 cores=0-7
/proc/29938/task/29943/stat : 29943 (java) S 29936 29936 8644 0 -1 1077944384 1041 0 0 0 7 1 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652861361168 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29944] ppid=29936 vsize=26538700 memory=139914186364543 CPUtime=0.09 cores=0-7
/proc/29938/task/29944/stat : 29944 (java) S 29936 29936 8644 0 -1 1077944384 2019 0 0 0 7 2 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652860307856 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29945] ppid=29936 vsize=26538700 memory=12068 CPUtime=0.09 cores=0-7
/proc/29938/task/29945/stat : 29945 (java) S 29936 29936 8644 0 -1 1077944384 1121 0 0 0 7 2 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652859255056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29946] ppid=29936 vsize=26538700 memory=1440 CPUtime=0.08 cores=0-7
/proc/29938/task/29946/stat : 29946 (java) S 29936 29936 8644 0 -1 1077944384 4101 0 0 0 6 2 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652858202768 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29947] ppid=29936 vsize=26538700 memory=4100 CPUtime=0.09 cores=0-7
/proc/29938/task/29947/stat : 29947 (java) S 29936 29936 8644 0 -1 1077944384 999 0 0 0 8 1 0 0 20 0 28 0 97632747 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652857149968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29948] ppid=29936 vsize=26538700 memory=28012 CPUtime=0.07 cores=0-7
/proc/29938/task/29948/stat : 29948 (java) S 29936 29936 8644 0 -1 1077944384 6948 0 0 0 5 2 0 0 20 0 28 0 97632748 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652434049648 140653306821250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29949] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29938/task/29949/stat : 29949 (java) S 29936 29936 8644 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 97632749 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652432995616 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29950] ppid=29936 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/29938/task/29950/stat : 29950 (java) S 29936 29936 8644 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97632749 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652431943280 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29951] ppid=29936 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/29938/task/29951/stat : 29951 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652430891600 140653306828699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29952] ppid=29936 vsize=26538700 memory=-7101718590825193272 CPUtime=2.17 cores=0-7
/proc/29938/task/29952/stat : 29952 (java) S 29936 29936 8644 0 -1 1077944384 14423 0 0 0 214 3 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652429838448 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29953] ppid=29936 vsize=26538700 memory=6944656575208382560 CPUtime=1.69 cores=0-7
/proc/29938/task/29953/stat : 29953 (java) S 29936 29936 8644 0 -1 1077944384 11408 0 0 0 166 3 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652428785648 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29954] ppid=29936 vsize=26538700 memory=6944656592455360604 CPUtime=2.01 cores=0-7
/proc/29938/task/29954/stat : 29954 (java) S 29936 29936 8644 0 -1 1077944384 10358 0 0 0 199 2 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652427733360 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29955] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=0.61 cores=0-7
/proc/29938/task/29955/stat : 29955 (java) S 29936 29936 8644 0 -1 1077944384 6608 0 0 0 60 1 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652426680560 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29956] ppid=29936 vsize=26538700 memory=185428 CPUtime=0 cores=0-7
/proc/29938/task/29956/stat : 29956 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97632751 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652425628512 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29957] ppid=29936 vsize=26538700 memory=1380 CPUtime=0.02 cores=0-7
/proc/29938/task/29957/stat : 29957 (java) S 29936 29936 8644 0 -1 1077944384 1293 0 0 0 0 2 0 0 20 0 28 0 97632752 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652424575792 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29982] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=216.12 cores=0-7
/proc/29938/task/29982/stat : 29982 (java) R 29936 29936 8644 0 -1 4202560 1844 0 0 0 21612 0 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652412353800 140652948812378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29983] ppid=29936 vsize=26538700 memory=8599732487937 CPUtime=215.87 cores=0-7
/proc/29938/task/29983/stat : 29983 (java) R 29936 29936 8644 0 -1 4202560 1097 0 0 0 21587 0 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652413407512 140652947923458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29984] ppid=29936 vsize=26538700 memory=1380 CPUtime=216.2 cores=0-7
/proc/29938/task/29984/stat : 29984 (java) R 29936 29936 8644 0 -1 4202560 3911 0 0 0 21619 1 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652409198816 140652948812693 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29985] ppid=29936 vsize=26538700 memory=159492 CPUtime=215.94 cores=0-7
/proc/29938/task/29985/stat : 29985 (java) R 29936 29936 8644 0 -1 4202560 2810 0 0 0 21594 0 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652411301152 140652949219778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29986] ppid=29936 vsize=26538700 memory=1380 CPUtime=215.68 cores=0-7
/proc/29938/task/29986/stat : 29986 (java) R 29936 29936 8644 0 -1 4202560 3456 0 0 0 21567 1 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652410249112 140652948814854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29987] ppid=29936 vsize=26538700 memory=160004 CPUtime=214.53 cores=0-7
/proc/29938/task/29987/stat : 29987 (java) R 29936 29936 8644 0 -1 4202560 4449 0 0 0 21452 1 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652415512008 140652947621361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29988] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=216.26 cores=0-7
/proc/29938/task/29988/stat : 29988 (java) R 29936 29936 8644 0 -1 4202560 925 0 0 0 21626 0 0 0 20 0 28 0 97633296 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652416565272 140652948813375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29989] ppid=29936 vsize=26538700 memory=174246 CPUtime=215.93 cores=0-7
/proc/29938/task/29989/stat : 29989 (java) R 29936 29936 8644 0 -1 4202560 6065 0 0 0 21590 3 0 0 20 0 28 0 97633297 27175628800 39616 33554432000 4194304 4196468 140735363494288 140652414459792 140652948812378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 1768.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 159844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.67 8.30 7.64 9/208 29996
/proc/meminfo: memFree=31437000/32770624 swapFree=67108860/67108860
[pid=29936] ppid=29933 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/29936/stat : 29936 (xcsp3-exec) S 29933 29936 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632745 9740288 345 33554432000 4194304 5098028 140723834670496 140723834668600 140556891800188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37568512 140723834672235 140723834672444 140723834672444 140723834675179 0
/proc/29936/statm: 2378 345 289 221 0 87 0
[pid=29938] ppid=29936 vsize=26538700 memory=154512 CPUtime=2005.6 cores=0-7
/proc/29938/stat : 29938 (java) S 29936 29936 8644 0 -1 1077944320 105601 0 0 0 200514 46 0 0 20 0 28 0 97632745 27175628800 38628 33554432000 4194304 4196468 140735363494288 140735363476832 140653306810103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
/proc/29938/statm: 6634675 38628 3277 1 0 6621909 0
[pid=29938/tid=29939] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=0.54 cores=0-7
/proc/29938/task/29939/stat : 29939 (java) S 29936 29936 8644 0 -1 1077944384 7070 0 0 0 52 2 0 0 20 0 28 0 97632746 27175628800 38628 33554432000 4194304 4196468 140735363494288 140653311050880 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29940] ppid=29936 vsize=26538700 memory=4126316290023845779 CPUtime=0.09 cores=0-7
/proc/29938/task/29940/stat : 29940 (java) S 29936 29936 8644 0 -1 1077944384 2488 0 0 0 8 1 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652864519056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29941] ppid=29936 vsize=26538700 memory=4126316290023845779 CPUtime=0.09 cores=0-7
/proc/29938/task/29941/stat : 29941 (java) S 29936 29936 8644 0 -1 1077944384 1724 0 0 0 8 1 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652863466256 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29942] ppid=29936 vsize=26538700 memory=932 CPUtime=0.09 cores=0-7
/proc/29938/task/29942/stat : 29942 (java) S 29936 29936 8644 0 -1 1077944384 2438 0 0 0 8 1 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652862413968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29943] ppid=29936 vsize=26538700 memory=1568 CPUtime=0.09 cores=0-7
/proc/29938/task/29943/stat : 29943 (java) S 29936 29936 8644 0 -1 1077944384 1146 0 0 0 8 1 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652861361168 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29944] ppid=29936 vsize=26538700 memory=2240 CPUtime=0.1 cores=0-7
/proc/29938/task/29944/stat : 29944 (java) S 29936 29936 8644 0 -1 1077944384 2070 0 0 0 8 2 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652860307856 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29945] ppid=29936 vsize=26538700 memory=4124 CPUtime=0.1 cores=0-7
/proc/29938/task/29945/stat : 29945 (java) S 29936 29936 8644 0 -1 1077944384 1161 0 0 0 8 2 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652859255056 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29946] ppid=29936 vsize=26538700 memory=2196 CPUtime=0.09 cores=0-7
/proc/29938/task/29946/stat : 29946 (java) S 29936 29936 8644 0 -1 1077944384 4139 0 0 0 7 2 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652858202768 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29947] ppid=29936 vsize=26538700 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/29938/task/29947/stat : 29947 (java) S 29936 29936 8644 0 -1 1077944384 1340 0 0 0 9 1 0 0 20 0 28 0 97632747 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652857149968 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29948] ppid=29936 vsize=26538700 memory=1712 CPUtime=0.09 cores=0-7
/proc/29938/task/29948/stat : 29948 (java) S 29936 29936 8644 0 -1 1077944384 7575 0 0 0 7 2 0 0 20 0 28 0 97632748 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652434049648 140653306821250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29949] ppid=29936 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/29938/task/29949/stat : 29949 (java) S 29936 29936 8644 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 97632749 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652432995616 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29950] ppid=29936 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/29938/task/29950/stat : 29950 (java) S 29936 29936 8644 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97632749 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652431943280 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29951] ppid=29936 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/29938/task/29951/stat : 29951 (java) S 29936 29936 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652430891600 140653306828699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29952] ppid=29936 vsize=26538700 memory=15872 CPUtime=2.17 cores=0-7
/proc/29938/task/29952/stat : 29952 (java) S 29936 29936 8644 0 -1 1077944384 14427 0 0 0 214 3 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652429838448 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29953] ppid=29936 vsize=26538700 memory=15840 CPUtime=1.69 cores=0-7
/proc/29938/task/29953/stat : 29953 (java) S 29936 29936 8644 0 -1 1077944384 11412 0 0 0 166 3 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652428785648 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29954] ppid=29936 vsize=26538700 memory=4052 CPUtime=2.01 cores=0-7
/proc/29938/task/29954/stat : 29954 (java) S 29936 29936 8644 0 -1 1077944384 10364 0 0 0 199 2 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652427733360 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29955] ppid=29936 vsize=26538700 memory=16236 CPUtime=0.61 cores=0-7
/proc/29938/task/29955/stat : 29955 (java) S 29936 29936 8644 0 -1 1077944384 6612 0 0 0 60 1 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652426680560 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29956] ppid=29936 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/29938/task/29956/stat : 29956 (java) S 29936 29936 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97632751 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652425628512 140653306820309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29957] ppid=29936 vsize=26538700 memory=1380 CPUtime=0.03 cores=0-7
/proc/29938/task/29957/stat : 29957 (java) S 29936 29936 8644 0 -1 1077944384 1331 0 0 0 0 3 0 0 20 0 28 0 97632752 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652424575792 140653306821250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29982] ppid=29936 vsize=26538700 memory=1380 CPUtime=245.79 cores=0-7
/proc/29938/task/29982/stat : 29982 (java) R 29936 29936 8644 0 -1 4202560 1994 0 0 0 24579 0 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652412354664 140652948598692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29983] ppid=29936 vsize=26538700 memory=154512 CPUtime=245.54 cores=0-7
/proc/29938/task/29983/stat : 29983 (java) R 29936 29936 8644 0 -1 4202560 1209 0 0 0 24554 0 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652413407336 140652947923022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29984] ppid=29936 vsize=26538700 memory=156520 CPUtime=245.71 cores=0-7
/proc/29938/task/29984/stat : 29984 (java) R 29936 29936 8644 0 -1 4202560 4086 0 0 0 24570 1 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652409198672 140652948812900 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29985] ppid=29936 vsize=26538700 memory=12068 CPUtime=245.54 cores=0-7
/proc/29938/task/29985/stat : 29985 (java) R 29936 29936 8644 0 -1 4202560 3062 0 0 0 24554 0 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652411301088 140652948909193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29986] ppid=29936 vsize=26538700 memory=1440 CPUtime=245.36 cores=0-7
/proc/29938/task/29986/stat : 29986 (java) R 29936 29936 8644 0 -1 4202560 3743 0 0 0 24534 2 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652410248840 140652947621316 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29987] ppid=29936 vsize=26538700 memory=5792 CPUtime=244.07 cores=0-7
/proc/29938/task/29987/stat : 29987 (java) R 29936 29936 8644 0 -1 4202560 5015 0 0 0 24406 1 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652415512480 140652948815069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29988] ppid=29936 vsize=26538700 memory=1224 CPUtime=245.93 cores=0-7
/proc/29938/task/29988/stat : 29988 (java) R 29936 29936 8644 0 -1 4202560 996 0 0 0 24593 0 0 0 20 0 28 0 97633296 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652416565400 140652948813419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
[pid=29938/tid=29989] ppid=29936 vsize=26538700 memory=1948 CPUtime=245.37 cores=0-7
/proc/29938/task/29989/stat : 29989 (java) R 29936 29936 8644 0 -1 4202560 6280 0 0 0 24534 3 0 0 20 0 28 0 97633297 27175628800 38628 33554432000 4194304 4196468 140735363494288 140652414459648 140652948812900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140735363499160 140735363499336 140735363499336 140735363502031 0
Current children cumulated CPU time: 2005.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 155892 KiB

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

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

[startup+252.125 s]
# the end of solver process 29938 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2006.01 s, system=0.469393 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): 252.126
CPU time (s): 2006.47
CPU user time (s): 2006.01
CPU system time (s): 0.469393
CPU usage (%): 795.824
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 251268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.01
system time used= 0.469393
maximum resident set size= 249888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14463
involuntary context switches= 21827


# summary of solver processes directly reported to runsolver:
#   pid: 29936,29938
#   total CPU time (s): 2006.47
#   total CPU user time (s): 2006.01
#   total CPU system time (s): 0.469393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09713 second user time and 2.79725 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 19:16:33
IDJOB=4271451
IDBENCH=136881
IDSOLVER=2663
FILE ID=node113/4271451-1502645451
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-ft/BinPacking-sum-ft060-11.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-4271451-1502645451/watcher-4271451-1502645451 -o /tmp/evaluation-result-4271451-1502645451/solver-4271451-1502645451 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 218947886 HOME/instance-4271451-1502645451.xml

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

MD5SUM BENCH= 684901dbc993846247574678cc891221
RANDOM SEED=218947886

node113.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.89
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.89
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.89
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.89
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:        31578616 kB
MemAvailable:   31985636 kB
Buffers:          123828 kB
Cached:           570056 kB
SwapCached:            0 kB
Active:           571808 kB
Inactive:         176380 kB
Active(anon):       4652 kB
Inactive(anon):    77700 kB
Active(file):     567156 kB
Inactive(file):    98680 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7748 kB
Writeback:             0 kB
AnonPages:        196168 kB
Mapped:            43604 kB
Shmem:             25224 kB
Slab:             140024 kB
SReclaimable:     114036 kB
SUnreclaim:        25988 kB
KernelStack:        3520 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 19:20:45