Trace number 4393990

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 2019-06-14 parallel? (TO) 20040.9 2520.14

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml
MD5SUM2e923e7e276bbb1d78c8186edf745710
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables477
Number of constraints71
Number of domains2
Minimum domain size63
Maximum domain size69
Distribution of domain sizes[{"size":63,"count":476},{"size":69,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":408},{"degree":4,"count":68}]
Minimum constraint arity7
Maximum constraint arity476
Distribution of constraint arities[{"arity":7,"count":68},{"arity":69,"count":1},{"arity":476,"count":2}]
Number of extensional constraints68
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":68},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393990-1568439937.xml"  -tl '20160s' -p 8
0.09/0.20	c Choco e747e1e
0.09/0.20	c [HOME/instance-4393990-1568439937.xml, -tl, 20160s, -p, 8]
0.30/0.24	c 8 solvers in parallel
0.30/0.30	c parse instance...
32.08/7.67	c solve instance...
20040.21/2520.07	s UNKNOWN
20040.21/2520.07	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393990-1568439937/watcher-4393990-1568439937 -o /tmp/evaluation-result-4393990-1568439937/solver-4393990-1568439937 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 156902664 HOME/instance-4393990-1568439937.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=10349, runsolver pid=10346
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 6.64 7.07 7.13 2/212 10370
/proc/meminfo: memFree=31368312/32770624 swapFree=66937112/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28227388 memory=28876 CPUtime=0.09 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 5659 0 0 0 8 1 0 0 20 0 20 0 420252135 28904845312 7219 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7056847 7219 3027 1 0 7019032 0
[pid=10351/tid=10352] ppid=10349 vsize=28227388 memory=8317482817917895235 CPUtime=0.06 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) R 10349 10349 9870 0 -1 4202560 3801 0 0 0 6 0 0 0 20 0 20 0 420252135 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043975676512 140043971470493 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28227388 memory=139799546119808 CPUtime=0 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10356] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10356/stat : 10356 (java) S 10349 10349 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043920910992 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10357] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10357/stat : 10357 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043919858448 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10358] ppid=10349 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10358/stat : 10358 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043517549456 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10359] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10359/stat : 10359 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043516496912 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10360] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10360/stat : 10360 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 7284 33554432000 4194304 4196468 140728428975264 140043515444368 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10361] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10361/stat : 10361 (java) S 10349 10349 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420252137 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042099984368 140043971459714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10362] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10362/stat : 10362 (java) S 10349 10349 9870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420252138 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042098930592 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10363] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10363/stat : 10363 (java) S 10349 10349 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420252138 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042097878000 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10364] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10364/stat : 10364 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252140 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042096826576 140043971467163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10365] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10365/stat : 10365 (java) S 10349 10349 9870 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420252142 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042095774192 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10366] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10366/stat : 10366 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252142 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042094721648 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10367] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10367/stat : 10367 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252142 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042093669104 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10368] ppid=10349 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10351/task/10368/stat : 10368 (java) R 10349 10349 9870 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 20 0 420252142 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042092616480 140043951683329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10369] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10369/stat : 10369 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252143 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042091563232 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10370] ppid=10349 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10370/stat : 10370 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252143 28904845312 7350 33554432000 4194304 4196468 140728428975264 140042090510768 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30332 KiB

[startup+0.210708 s]*
/proc/loadavg: 6.64 7.07 7.13 2/212 10370
/proc/meminfo: memFree=31355332/32770624 swapFree=66937112/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28227388 memory=40988 CPUtime=0.3 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 9492 0 0 0 27 3 0 0 20 0 20 0 420252135 28904845312 10247 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7056847 10247 3277 1 0 7019032 0
[pid=10351/tid=10352] ppid=10349 vsize=28227388 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) R 10349 10349 9870 0 -1 4202560 6649 0 0 0 16 2 0 0 20 0 20 0 420252135 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043975667904 140043971460502 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28227388 memory=288370175697831552 CPUtime=0 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10356] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10356/stat : 10356 (java) S 10349 10349 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043920910992 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10357] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10357/stat : 10357 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043919858448 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10358] ppid=10349 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10358/stat : 10358 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043517549456 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10359] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10359/stat : 10359 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043516496912 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10360] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10360/stat : 10360 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28904845312 10247 33554432000 4194304 4196468 140728428975264 140043515444368 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10361] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10361/stat : 10361 (java) S 10349 10349 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420252137 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042099984368 140043971459714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10362] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10362/stat : 10362 (java) S 10349 10349 9870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420252138 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042098930592 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10363] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10363/stat : 10363 (java) S 10349 10349 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420252138 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042097878000 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10364] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10364/stat : 10364 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252140 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042096826576 140043971467163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10365] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10365/stat : 10365 (java) R 10349 10349 9870 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 420252142 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042095774192 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10366] ppid=10349 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10351/task/10366/stat : 10366 (java) S 10349 10349 9870 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 420252142 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042094721648 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10367] ppid=10349 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/10351/task/10367/stat : 10367 (java) S 10349 10349 9870 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 420252142 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042093669104 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10368] ppid=10349 vsize=28227388 memory=-1 CPUtime=0.06 cores=0-7
/proc/10351/task/10368/stat : 10368 (java) R 10349 10349 9870 0 -1 4202560 723 0 0 0 6 0 0 0 20 0 20 0 420252142 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042092616560 140043956614215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10369] ppid=10349 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10369/stat : 10369 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252143 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042091563232 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10370] ppid=10349 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10370/stat : 10370 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252143 28904845312 10247 33554432000 4194304 4196468 140728428975264 140042090510768 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42444 KiB

[startup+0.313586 s]*
/proc/loadavg: 6.64 7.07 7.13 2/212 10370
/proc/meminfo: memFree=31350728/32770624 swapFree=66937112/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28231644 memory=46976 CPUtime=0.48 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 10603 0 0 0 45 3 0 0 20 0 20 0 420252135 28909203456 11744 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7057911 11744 3302 1 0 7019032 0
[pid=10351/tid=10352] ppid=10349 vsize=28231644 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) R 10349 10349 9870 0 -1 4202560 7664 0 0 0 25 2 0 0 20 0 20 0 420252135 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043975673192 140043955492197 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10356] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10356/stat : 10356 (java) S 10349 10349 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043920910992 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10357] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10357/stat : 10357 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043919858448 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10358] ppid=10349 vsize=28231644 memory=139799440747183 CPUtime=0 cores=0-7
/proc/10351/task/10358/stat : 10358 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043517549456 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10359] ppid=10349 vsize=28231644 memory=139799440749488 CPUtime=0 cores=0-7
/proc/10351/task/10359/stat : 10359 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043516496912 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10360] ppid=10349 vsize=28231644 memory=139799440751792 CPUtime=0 cores=0-7
/proc/10351/task/10360/stat : 10360 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28909203456 11744 33554432000 4194304 4196468 140728428975264 140043515444368 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10361] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10361/stat : 10361 (java) S 10349 10349 9870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420252137 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042099984368 140043971459714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10362] ppid=10349 vsize=28231644 memory=279598881517456 CPUtime=0 cores=0-7
/proc/10351/task/10362/stat : 10362 (java) S 10349 10349 9870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420252138 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042098930592 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10363] ppid=10349 vsize=28231644 memory=279598881515152 CPUtime=0 cores=0-7
/proc/10351/task/10363/stat : 10363 (java) S 10349 10349 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420252138 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042097878000 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10364] ppid=10349 vsize=28231644 memory=279598881522064 CPUtime=0 cores=0-7
/proc/10351/task/10364/stat : 10364 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252140 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042096826576 140043971467163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10365] ppid=10349 vsize=28231644 memory=279598881463344 CPUtime=0.01 cores=0-7
/proc/10351/task/10365/stat : 10365 (java) S 10349 10349 9870 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 420252142 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042095774192 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10366] ppid=10349 vsize=28231644 memory=279598881535888 CPUtime=0.03 cores=0-7
/proc/10351/task/10366/stat : 10366 (java) S 10349 10349 9870 0 -1 1077944384 110 0 0 0 3 0 0 0 20 0 20 0 420252142 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042094721744 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10367] ppid=10349 vsize=28231644 memory=279598881542800 CPUtime=0.03 cores=0-7
/proc/10351/task/10367/stat : 10367 (java) S 10349 10349 9870 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 20 0 420252142 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042093669104 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10368] ppid=10349 vsize=28231644 memory=279598881540496 CPUtime=0.11 cores=0-7
/proc/10351/task/10368/stat : 10368 (java) R 10349 10349 9870 0 -1 4202560 787 0 0 0 11 0 0 0 20 0 20 0 420252142 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042092616560 140043971460502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10369] ppid=10349 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10369/stat : 10369 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420252143 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042091563232 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10370] ppid=10349 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/10351/task/10370/stat : 10370 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252143 28909203456 11744 33554432000 4194304 4196468 140728428975264 140042090510768 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48432 KiB

[startup+0.700972 s]
/proc/loadavg: 6.64 7.07 7.13 5/212 10370
/proc/meminfo: memFree=31319928/32770624 swapFree=66937112/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28233768 memory=136456 CPUtime=1.71 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 14118 0 0 0 166 5 0 0 20 0 20 0 420252135 28911378432 34114 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7058442 34114 3444 1 0 7019544 0
[pid=10351/tid=10352] ppid=10349 vsize=28233768 memory=0 CPUtime=0.65 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) R 10349 10349 9870 0 -1 4202560 8490 0 0 0 61 4 0 0 20 0 20 0 420252135 28911378432 34114 33554432000 4194304 4196468 140728428975264 140043975683008 140043971469914 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28233768 memory=139799440958320 CPUtime=0 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28911378432 34114 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28911378432 34114 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28233768 memory=784 CPUtime=0 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420252136 28911378432 34114 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0

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

/proc/meminfo: memFree=22776808/32770624 swapFree=66937152/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28768328 memory=8609208 CPUtime=19899 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 1075750 0 0 0 1986451 3447 0 0 20 0 28 0 420252135 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7192082 2152302 3541 1 0 7153184 0
[pid=10351/tid=10352] ppid=10349 vsize=28768328 memory=8609208 CPUtime=3.86 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) S 10349 10349 9870 0 -1 1077944384 10858 0 0 0 375 11 0 0 20 0 28 0 420252135 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043975689344 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28768328 memory=1456 CPUtime=30.75 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 67218 0 0 0 2741 334 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28768328 memory=1456 CPUtime=30.59 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 71854 0 0 0 2735 324 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 67 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28768328 memory=8609208 CPUtime=30.84 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 68716 0 0 0 2752 332 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 59 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10356] ppid=10349 vsize=28768328 memory=8609208 CPUtime=30.8 cores=0-7
/proc/10351/task/10356/stat : 10356 (java) S 10349 10349 9870 0 -1 1077944384 64474 0 0 0 2752 328 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043920910992 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10357] ppid=10349 vsize=28768328 memory=1456 CPUtime=30.87 cores=0-7
/proc/10351/task/10357/stat : 10357 (java) S 10349 10349 9870 0 -1 1077944384 73598 0 0 0 2763 324 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043919858448 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10358] ppid=10349 vsize=28768328 memory=279598883702256 CPUtime=30.87 cores=0-7
/proc/10351/task/10358/stat : 10358 (java) S 10349 10349 9870 0 -1 1077944384 61739 0 0 0 2760 327 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043517549456 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10359] ppid=10349 vsize=28768328 memory=0 CPUtime=30.91 cores=0-7
/proc/10351/task/10359/stat : 10359 (java) S 10349 10349 9870 0 -1 1077944384 63113 0 0 0 2763 328 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043516496912 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10360] ppid=10349 vsize=28768328 memory=8609208 CPUtime=30.64 cores=0-7
/proc/10351/task/10360/stat : 10360 (java) S 10349 10349 9870 0 -1 1077944384 58951 0 0 0 2749 315 0 0 20 0 28 0 420252136 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140043515444368 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10361] ppid=10349 vsize=28768328 memory=8609208 CPUtime=4.62 cores=0-7
/proc/10351/task/10361/stat : 10361 (java) S 10349 10349 9870 0 -1 1077944384 42964 0 0 0 315 147 0 0 20 0 28 0 420252137 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042099984368 140043971459714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10362] ppid=10349 vsize=28768328 memory=8609208 CPUtime=0 cores=0-7
/proc/10351/task/10362/stat : 10362 (java) S 10349 10349 9870 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 420252138 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042098930656 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10363] ppid=10349 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/10351/task/10363/stat : 10363 (java) S 10349 10349 9870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 420252138 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042097878016 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10364] ppid=10349 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/10351/task/10364/stat : 10364 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420252140 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042096826576 140043971467163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10365] ppid=10349 vsize=28768328 memory=1456 CPUtime=4.44 cores=0-7
/proc/10351/task/10365/stat : 10365 (java) S 10349 10349 9870 0 -1 1077944384 29919 0 0 0 438 6 0 0 20 0 28 0 420252142 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042095774192 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10366] ppid=10349 vsize=28768328 memory=1456 CPUtime=4.57 cores=0-7
/proc/10351/task/10366/stat : 10366 (java) S 10349 10349 9870 0 -1 1077944384 35511 0 0 0 452 5 0 0 20 0 28 0 420252142 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042094721648 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10367] ppid=10349 vsize=28768328 memory=1456 CPUtime=4.56 cores=0-7
/proc/10351/task/10367/stat : 10367 (java) S 10349 10349 9870 0 -1 1077944384 27656 0 0 0 452 4 0 0 20 0 28 0 420252142 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042093669104 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10368] ppid=10349 vsize=28768328 memory=8609208 CPUtime=1.27 cores=0-7
/proc/10351/task/10368/stat : 10368 (java) S 10349 10349 9870 0 -1 1077944384 24634 0 0 0 122 5 0 0 20 0 28 0 420252142 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042092616560 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10369] ppid=10349 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/10351/task/10369/stat : 10369 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420252143 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042091563232 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10370] ppid=10349 vsize=28768328 memory=1456 CPUtime=0.92 cores=0-7
/proc/10351/task/10370/stat : 10370 (java) S 10349 10349 9870 0 -1 1077944384 3265 0 0 0 46 46 0 0 20 0 28 0 420252143 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042090510768 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10371] ppid=10349 vsize=28768328 memory=1456 CPUtime=2449.06 cores=0-7
/proc/10351/task/10371/stat : 10371 (java) R 10349 10349 9870 0 -1 4202560 25825 0 0 0 244869 37 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042081299288 140043606522462 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10372] ppid=10349 vsize=28768328 memory=3624 CPUtime=2451.82 cores=0-7
/proc/10351/task/10372/stat : 10372 (java) R 10349 10349 9870 0 -1 4202560 16045 0 0 0 245156 26 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042080247768 140043607301125 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10373] ppid=10349 vsize=28768328 memory=1412 CPUtime=2451.99 cores=0-7
/proc/10351/task/10373/stat : 10373 (java) R 10349 10349 9870 0 -1 4202560 173889 0 0 0 244849 350 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042079195016 140043610544855 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10374] ppid=10349 vsize=28768328 memory=3840 CPUtime=2453.85 cores=0-7
/proc/10351/task/10374/stat : 10374 (java) R 10349 10349 9870 0 -1 4202560 31326 0 0 0 245314 71 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042078142776 140043607429002 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10375] ppid=10349 vsize=28768328 memory=8609124 CPUtime=2458.2 cores=0-7
/proc/10351/task/10375/stat : 10375 (java) R 10349 10349 9870 0 -1 4202560 28740 0 0 0 245768 52 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042077092832 140043607230193 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10376] ppid=10349 vsize=28768328 memory=3624 CPUtime=2459.05 cores=0-7
/proc/10351/task/10376/stat : 10376 (java) R 10349 10349 9870 0 -1 4202560 44817 0 0 0 245843 62 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042076037440 140043608485695 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10377] ppid=10349 vsize=28768328 memory=4000 CPUtime=2444.75 cores=0-7
/proc/10351/task/10377/stat : 10377 (java) R 10349 10349 9870 0 -1 4202560 30549 0 0 0 244445 30 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042074983864 140043606522794 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10378] ppid=10349 vsize=28768328 memory=616 CPUtime=2459.5 cores=0-7
/proc/10351/task/10378/stat : 10378 (java) R 10349 10349 9870 0 -1 4202560 18742 0 0 0 245926 24 0 0 20 0 28 0 420252905 29458767872 2152302 33554432000 4194304 4196468 140728428975264 140042073931512 140043605759305 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
Current children cumulated CPU time: 19899 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8610664 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.10 8.20 8.20 9/218 10592
/proc/meminfo: memFree=22723484/32770624 swapFree=66937152/67108860
[pid=10349] ppid=10346 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10349/stat : 10349 (xcsp3-exec) S 10346 10349 9870 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420252134 115843072 364 33554432000 4194304 5098028 140733282536464 140733282534568 140109053866620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21069824 140733282538358 140733282538601 140733282538601 140733282541514 0
/proc/10349/statm: 28282 364 306 221 0 87 0
[pid=10351] ppid=10349 vsize=28768328 memory=8660548 CPUtime=20040.2 cores=0-7
/proc/10351/stat : 10351 (java) S 10349 10349 9870 0 -1 1077944320 1084249 0 0 0 2000557 3464 0 0 20 0 28 0 420252135 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140728428957808 140043971448567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
/proc/10351/statm: 7192082 2165137 3541 1 0 7153184 0
[pid=10351/tid=10352] ppid=10349 vsize=28768328 memory=1456 CPUtime=3.86 cores=0-7
/proc/10351/task/10352/stat : 10352 (java) S 10349 10349 9870 0 -1 1077944384 10858 0 0 0 375 11 0 0 20 0 28 0 420252135 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043975689344 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10353] ppid=10349 vsize=28768328 memory=4872558044660077418 CPUtime=30.92 cores=0-7
/proc/10351/task/10353/stat : 10353 (java) S 10349 10349 9870 0 -1 1077944384 67956 0 0 0 2756 336 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043924068624 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10354] ppid=10349 vsize=28768328 memory=6791534058613427641 CPUtime=30.75 cores=0-7
/proc/10351/task/10354/stat : 10354 (java) S 10349 10349 9870 0 -1 1077944384 72659 0 0 0 2750 325 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043923016080 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10355] ppid=10349 vsize=28768328 memory=2436 CPUtime=31.01 cores=0-7
/proc/10351/task/10355/stat : 10355 (java) S 10349 10349 9870 0 -1 1077944384 69550 0 0 0 2767 334 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043921963536 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 59 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10356] ppid=10349 vsize=28768328 memory=1760 CPUtime=30.97 cores=0-7
/proc/10351/task/10356/stat : 10356 (java) S 10349 10349 9870 0 -1 1077944384 65004 0 0 0 2767 330 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043920910992 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10357] ppid=10349 vsize=28768328 memory=111632 CPUtime=31.03 cores=0-7
/proc/10351/task/10357/stat : 10357 (java) S 10349 10349 9870 0 -1 1077944384 74075 0 0 0 2777 326 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043919858448 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10358] ppid=10349 vsize=28768328 memory=1456 CPUtime=31.03 cores=0-7
/proc/10351/task/10358/stat : 10358 (java) S 10349 10349 9870 0 -1 1077944384 62312 0 0 0 2775 328 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043517549456 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 60 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10359] ppid=10349 vsize=28768328 memory=8660548 CPUtime=31.08 cores=0-7
/proc/10351/task/10359/stat : 10359 (java) S 10349 10349 9870 0 -1 1077944384 63741 0 0 0 2778 330 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043516496912 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10360] ppid=10349 vsize=28768328 memory=916 CPUtime=30.82 cores=0-7
/proc/10351/task/10360/stat : 10360 (java) S 10349 10349 9870 0 -1 1077944384 59550 0 0 0 2765 317 0 0 20 0 28 0 420252136 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140043515444368 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10361] ppid=10349 vsize=28768328 memory=4420 CPUtime=4.64 cores=0-7
/proc/10351/task/10361/stat : 10361 (java) S 10349 10349 9870 0 -1 1077944384 43190 0 0 0 316 148 0 0 20 0 28 0 420252137 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042099984368 140043971459714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10362] ppid=10349 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/10351/task/10362/stat : 10362 (java) S 10349 10349 9870 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 420252138 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042098930656 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10363] ppid=10349 vsize=28768328 memory=2016 CPUtime=0 cores=0-7
/proc/10351/task/10363/stat : 10363 (java) S 10349 10349 9870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 420252138 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042097878016 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10364] ppid=10349 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/10351/task/10364/stat : 10364 (java) S 10349 10349 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420252140 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042096826576 140043971467163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10365] ppid=10349 vsize=28768328 memory=1548 CPUtime=4.44 cores=0-7
/proc/10351/task/10365/stat : 10365 (java) S 10349 10349 9870 0 -1 1077944384 29921 0 0 0 438 6 0 0 20 0 28 0 420252142 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042095774192 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10366] ppid=10349 vsize=28768328 memory=7396 CPUtime=4.57 cores=0-7
/proc/10351/task/10366/stat : 10366 (java) S 10349 10349 9870 0 -1 1077944384 35513 0 0 0 452 5 0 0 20 0 28 0 420252142 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042094721648 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10367] ppid=10349 vsize=28768328 memory=6791534058613427641 CPUtime=4.56 cores=0-7
/proc/10351/task/10367/stat : 10367 (java) S 10349 10349 9870 0 -1 1077944384 27658 0 0 0 452 4 0 0 20 0 28 0 420252142 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042093669104 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10368] ppid=10349 vsize=28768328 memory=288230376992733853 CPUtime=1.27 cores=0-7
/proc/10351/task/10368/stat : 10368 (java) S 10349 10349 9870 0 -1 1077944384 24636 0 0 0 122 5 0 0 20 0 28 0 420252142 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042092616560 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10369] ppid=10349 vsize=28768328 memory=288285352574122653 CPUtime=0 cores=0-7
/proc/10351/task/10369/stat : 10369 (java) S 10349 10349 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420252143 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042091563232 140043971458773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10370] ppid=10349 vsize=28768328 memory=288285571733015124 CPUtime=0.94 cores=0-7
/proc/10351/task/10370/stat : 10370 (java) S 10349 10349 9870 0 -1 1077944384 3280 0 0 0 47 47 0 0 20 0 28 0 420252143 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042090510768 140043971459714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10371] ppid=10349 vsize=28768328 memory=3624 CPUtime=2466.6 cores=0-7
/proc/10351/task/10371/stat : 10371 (java) R 10349 10349 9870 0 -1 4202560 25969 0 0 0 246622 38 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042081299288 140043606522483 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10372] ppid=10349 vsize=28768328 memory=26276 CPUtime=2469.16 cores=0-7
/proc/10351/task/10372/stat : 10372 (java) R 10349 10349 9870 0 -1 4202560 16188 0 0 0 246890 26 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042080247880 140043605667293 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10373] ppid=10349 vsize=28768328 memory=1624 CPUtime=2469.34 cores=0-7
/proc/10351/task/10373/stat : 10373 (java) R 10349 10349 9870 0 -1 4202560 175612 0 0 0 246583 351 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042079195016 140043610544885 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10374] ppid=10349 vsize=28768328 memory=1136 CPUtime=2471.37 cores=0-7
/proc/10351/task/10374/stat : 10374 (java) R 10349 10349 9870 0 -1 4202560 31589 0 0 0 247066 71 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042078142776 140043606521517 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10375] ppid=10349 vsize=28768328 memory=1072 CPUtime=2475.73 cores=0-7
/proc/10351/task/10375/stat : 10375 (java) R 10349 10349 9870 0 -1 4202560 28853 0 0 0 247521 52 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042077092688 140043606520385 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10376] ppid=10349 vsize=28768328 memory=5936 CPUtime=2476.58 cores=0-7
/proc/10351/task/10376/stat : 10376 (java) R 10349 10349 9870 0 -1 4202560 45099 0 0 0 247596 62 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042076037376 140043606031421 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10377] ppid=10349 vsize=28768328 memory=784 CPUtime=2462.27 cores=0-7
/proc/10351/task/10377/stat : 10377 (java) R 10349 10349 9870 0 -1 4202560 30800 0 0 0 246197 30 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042074983880 140043606522948 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
[pid=10351/tid=10378] ppid=10349 vsize=28768328 memory=1060 CPUtime=2477.03 cores=0-7
/proc/10351/task/10378/stat : 10378 (java) R 10349 10349 9870 0 -1 4202560 18889 0 0 0 247679 24 0 0 20 0 28 0 420252905 29458767872 2165137 33554432000 4194304 4196468 140728428975264 140042073931592 140043608636122 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 34009088 140728428983274 140728428983446 140728428983446 140728428986319 0
Current children cumulated CPU time: 20040.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8662004 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.10 8.20 8.20 2/191 10594
/proc/meminfo: memFree=31305936/32770624 swapFree=66937152/67108860
Current cumulated CPU time of completed processes: 0.002377 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20040.9
CPU user time (s): 20006.2
CPU system time (s): 34.6939
CPU usage (%): 795.229
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 9142580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20006.2
system time used= 34.6939
maximum resident set size= 9141128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1085166
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92926
involuntary context switches= 211005


# summary of solver processes directly reported to runsolver:
#   pid: 10349,10351
#   total CPU time (s): 20040.9
#   total CPU user time (s): 20006.2
#   total CPU system time (s): 34.6939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6413 second user time and 24.7351 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-14 06:44:03
IDJOB=4393990
IDBENCH=137043
IDSOLVER=2841
FILE ID=node105/4393990-1568439937
RUNJOBID= node105-1568433701-9897
PBS_JOBID= 21702321
Free space on /tmp= 60864 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393990-1568439937/watcher-4393990-1568439937 -o /tmp/evaluation-result-4393990-1568439937/solver-4393990-1568439937 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 156902664 HOME/instance-4393990-1568439937.xml

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

MD5SUM BENCH= 2e923e7e276bbb1d78c8186edf745710
RANDOM SEED=156902664

node105.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.00
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.00
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.00
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.00
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:        31385284 kB
MemAvailable:   31857248 kB
Buffers:          184380 kB
Cached:           581928 kB
SwapCached:        67776 kB
Active:           427884 kB
Inactive:         410356 kB
Active(anon):      11544 kB
Inactive(anon):    93576 kB
Active(file):     416340 kB
Inactive(file):   316780 kB
Unevictable:      107584 kB
Mlocked:          107584 kB
SwapTotal:      67108860 kB
SwapFree:       66937112 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:        122300 kB
Mapped:            37648 kB
Shmem:             24760 kB
Slab:             137888 kB
SReclaimable:     109360 kB
SUnreclaim:        28528 kB
KernelStack:        3744 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60836 MiB
End job on node105 at 2019-09-14 07:26:03