Trace number 4399579

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallel? (TO) 19815.5 2520.15

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-160.xml
MD5SUM3ff67dee7a06e1e6311de3a7585abde9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark146.729
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size534
Maximum domain size534
Distribution of domain sizes[{"size":534,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399579-1568706971.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399579-1568706971.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.27/0.68	c solve instance...
19814.71/2520.07	s UNKNOWN
19814.71/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 (15324 MiB free)
  memory of node 1: 16384 MiB (13325 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399579-1568706971/watcher-4399579-1568706971 -o /tmp/evaluation-result-4399579-1568706971/solver-4399579-1568706971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 627495170 HOME/instance-4399579-1568706971.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8544, runsolver pid=8541

[startup+0.100061 s]*
/proc/loadavg: 8.18 8.24 8.25 3/211 8565
/proc/meminfo: memFree=29319312/32770624 swapFree=66958320/67108860
[pid=8544] ppid=8541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446633599 115843072 364 33554432000 4194304 5098028 140725449811120 140725449809224 139892049416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36474880 140725449818998 140725449819241 140725449819241 140725449822154 0
/proc/8544/statm: 28282 364 305 221 0 87 0
[pid=8546] ppid=8544 vsize=28227396 memory=29672 CPUtime=0.12 cores=0-7
/proc/8546/stat : 8546 (java) S 8544 8544 7356 0 -1 1077944320 5895 0 0 0 10 2 0 0 20 0 20 0 446633599 28904853504 7418 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7056849 7418 3123 1 0 7019032 0
[pid=8546/tid=8547] ppid=8544 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) R 8544 8544 7356 0 -1 4202560 3843 0 0 0 8 1 0 0 20 0 20 0 446633599 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883208490624 139883204276826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8544 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8544 vsize=28227396 memory=139807320721024 CPUtime=0 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8551] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8551/stat : 8551 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883153718288 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8552] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8552/stat : 8552 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883152664976 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8553] ppid=8544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8553/stat : 8553 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883151612176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8554] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8554/stat : 8554 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883150559888 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8555] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8555/stat : 8555 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 7418 33554432000 4194304 4196468 140734381841312 139883149507088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8556] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8556/stat : 8556 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633601 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881332398704 139883204266626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8557] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8557/stat : 8557 (java) S 8544 8544 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446633602 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881331344672 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8558] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8558/stat : 8558 (java) S 8544 8544 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446633602 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881330292336 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8559] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8559/stat : 8559 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633604 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881329240656 139883204274075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8560] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8560/stat : 8560 (java) S 8544 8544 7356 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881328187504 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8561] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8561/stat : 8561 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881327134704 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8562] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8562/stat : 8562 (java) S 8544 8544 7356 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881326082416 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8563] ppid=8544 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8546/task/8563/stat : 8563 (java) S 8544 8544 7356 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881325029616 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8564] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8564/stat : 8564 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881323977568 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8565] ppid=8544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8565/stat : 8565 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 7418 33554432000 4194304 4196468 140734381841312 139881322924848 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31128 KiB

[startup+0.210445 s]*
/proc/loadavg: 8.18 8.24 8.25 2/211 8565
/proc/meminfo: memFree=29305568/32770624 swapFree=66958320/67108860
[pid=8544] ppid=8541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446633599 115843072 364 33554432000 4194304 5098028 140725449811120 140725449809224 139892049416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36474880 140725449818998 140725449819241 140725449819241 140725449822154 0
/proc/8544/statm: 28282 364 305 221 0 87 0
[pid=8546] ppid=8544 vsize=28227396 memory=41036 CPUtime=0.33 cores=0-7
/proc/8546/stat : 8546 (java) S 8544 8544 7356 0 -1 1077944320 9552 0 0 0 30 3 0 0 20 0 20 0 446633599 28904853504 10259 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7056849 10259 3299 1 0 7019032 0
[pid=8546/tid=8547] ppid=8544 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) R 8544 8544 7356 0 -1 4202560 6671 0 0 0 17 2 0 0 20 0 20 0 446633599 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883208489600 139883204267414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8544 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8544 vsize=28227396 memory=139807320729821 CPUtime=0 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8551] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8551/stat : 8551 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883153718288 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8552] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8552/stat : 8552 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883152664976 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8553] ppid=8544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8553/stat : 8553 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883151612176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8554] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8554/stat : 8554 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883150559888 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8555] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8555/stat : 8555 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28904853504 10259 33554432000 4194304 4196468 140734381841312 139883149507088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8556] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8556/stat : 8556 (java) S 8544 8544 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446633601 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881332398704 139883204266626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8557] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8557/stat : 8557 (java) S 8544 8544 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446633602 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881331344672 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8558] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8558/stat : 8558 (java) S 8544 8544 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446633602 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881330292336 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8559] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8559/stat : 8559 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633604 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881329240656 139883204274075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8560] ppid=8544 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8546/task/8560/stat : 8560 (java) S 8544 8544 7356 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881328187504 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8561] ppid=8544 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8546/task/8561/stat : 8561 (java) S 8544 8544 7356 0 -1 1077944384 304 0 0 0 1 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881327134704 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8562] ppid=8544 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8546/task/8562/stat : 8562 (java) S 8544 8544 7356 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881326082416 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8563] ppid=8544 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/8546/task/8563/stat : 8563 (java) R 8544 8544 7356 0 -1 4202560 711 0 0 0 8 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881325029424 139883188514800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8564] ppid=8544 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8564/stat : 8564 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881323977568 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8565] ppid=8544 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8565/stat : 8565 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633605 28904853504 10259 33554432000 4194304 4196468 140734381841312 139881322924848 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42492 KiB

[startup+0.310526 s]*
/proc/loadavg: 8.18 8.24 8.25 3/211 8565
/proc/meminfo: memFree=29298408/32770624 swapFree=66958320/67108860
[pid=8544] ppid=8541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446633599 115843072 364 33554432000 4194304 5098028 140725449811120 140725449809224 139892049416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36474880 140725449818998 140725449819241 140725449819241 140725449822154 0
/proc/8544/statm: 28282 364 305 221 0 87 0
[pid=8546] ppid=8544 vsize=28231652 memory=50316 CPUtime=0.52 cores=0-7
/proc/8546/stat : 8546 (java) S 8544 8544 7356 0 -1 1077944320 10890 0 0 0 48 4 0 0 20 0 20 0 446633599 28909211648 12579 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7057913 12579 3370 1 0 7019032 0
[pid=8546/tid=8547] ppid=8544 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) R 8544 8544 7356 0 -1 4202560 7798 0 0 0 27 3 0 0 20 0 20 0 446633599 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883208486592 139883188335966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8551] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8551/stat : 8551 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883153718288 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8552] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8552/stat : 8552 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883152664976 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8553] ppid=8544 vsize=28231652 memory=139807158266543 CPUtime=0 cores=0-7
/proc/8546/task/8553/stat : 8553 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883151612176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8554] ppid=8544 vsize=28231652 memory=139807158268848 CPUtime=0 cores=0-7
/proc/8546/task/8554/stat : 8554 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883150559888 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8555] ppid=8544 vsize=28231652 memory=139807158271152 CPUtime=0 cores=0-7
/proc/8546/task/8555/stat : 8555 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633600 28909211648 12579 33554432000 4194304 4196468 140734381841312 139883149507088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8556] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8556/stat : 8556 (java) S 8544 8544 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446633601 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881332398704 139883204266626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8557] ppid=8544 vsize=28231652 memory=279614316556176 CPUtime=0 cores=0-7
/proc/8546/task/8557/stat : 8557 (java) S 8544 8544 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446633602 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881331344672 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8558] ppid=8544 vsize=28231652 memory=279614316553872 CPUtime=0 cores=0-7
/proc/8546/task/8558/stat : 8558 (java) S 8544 8544 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446633602 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881330292336 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8559] ppid=8544 vsize=28231652 memory=279614316560784 CPUtime=0 cores=0-7
/proc/8546/task/8559/stat : 8559 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633604 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881329240656 139883204274075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8560] ppid=8544 vsize=28231652 memory=279614316502032 CPUtime=0.02 cores=0-7
/proc/8546/task/8560/stat : 8560 (java) S 8544 8544 7356 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881328187504 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8561] ppid=8544 vsize=28231652 memory=279614316574608 CPUtime=0.03 cores=0-7
/proc/8546/task/8561/stat : 8561 (java) S 8544 8544 7356 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881327134704 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8562] ppid=8544 vsize=28231652 memory=279614316581520 CPUtime=0.03 cores=0-7
/proc/8546/task/8562/stat : 8562 (java) R 8544 8544 7356 0 -1 4202560 317 0 0 0 3 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881326082416 139883187640964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8563] ppid=8544 vsize=28231652 memory=279614316579216 CPUtime=0.12 cores=0-7
/proc/8546/task/8563/stat : 8563 (java) S 8544 8544 7356 0 -1 1077944384 784 0 0 0 12 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881325029616 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8564] ppid=8544 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8564/stat : 8564 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881323977568 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8565] ppid=8544 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8546/task/8565/stat : 8565 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446633605 28909211648 12579 33554432000 4194304 4196468 140734381841312 139881322924848 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51772 KiB

[startup+0.70159 s]
/proc/loadavg: 8.18 8.24 8.25 3/211 8565
/proc/meminfo: memFree=29286708/32770624 swapFree=66958320/67108860
[pid=8544] ppid=8541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446633599 115843072 364 33554432000 4194304 5098028 140725449811120 140725449809224 139892049416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36474880 140725449818998 140725449819241 140725449819241 140725449822154 0
/proc/8544/statm: 28282 364 305 221 0 87 0
[pid=8546] ppid=8544 vsize=28766288 memory=99480 CPUtime=1.55 cores=0-7
/proc/8546/stat : 8546 (java) S 8544 8544 7356 0 -1 1077944320 15217 0 0 0 148 7 0 0 20 0 28 0 446633599 29456678912 24870 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7191572 24870 3453 1 0 7152672 0
[pid=8546/tid=8547] ppid=8544 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) S 8544 8544 7356 0 -1 1077944384 9409 0 0 0 63 4 0 0 20 0 28 0 446633599 29456678912 24870 33554432000 4194304 4196468 140734381841312 139883208496256 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8544 vsize=28766288 memory=139807158477680 CPUtime=0 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446633600 29456678912 24870 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8544 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8544 8544 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446633600 29456678912 24870 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8544 vsize=28766288 memory=8024 CPUtime=0 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446633600 29456678912 24870 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0

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

[pid=8546/tid=8570] ppid=8544 vsize=28768336 memory=298326665 CPUtime=2432.78 cores=0-7
/proc/8546/task/8570/stat : 8570 (java) R 8544 8544 7356 0 -1 4202560 123126 0 0 0 243231 47 0 0 20 0 28 0 446633668 29458776064 344630 33554432000 4194304 4196468 140734381841312 139881001847712 139882806980953 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8571] ppid=8544 vsize=28768336 memory=2372 CPUtime=2435.21 cores=0-7
/proc/8546/task/8571/stat : 8571 (java) R 8544 8544 7356 0 -1 4202560 328077 0 0 0 243379 142 0 0 20 0 28 0 446633668 29458776064 344630 33554432000 4194304 4196468 140734381841312 139881000792120 139882815921378 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8572] ppid=8544 vsize=28768336 memory=0 CPUtime=2429.98 cores=0-7
/proc/8546/task/8572/stat : 8572 (java) R 8544 8544 7356 0 -1 4202560 83158 0 0 0 242952 46 0 0 20 0 28 0 446633668 29458776064 344630 33554432000 4194304 4196468 140734381841312 139880999740008 139882814844991 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8573] ppid=8544 vsize=28768336 memory=0 CPUtime=2437.98 cores=0-7
/proc/8546/task/8573/stat : 8573 (java) R 8544 8544 7356 0 -1 4202560 381899 0 0 0 243652 146 0 0 20 0 28 0 446633668 29458776064 344630 33554432000 4194304 4196468 140734381841312 139880998687072 139882813750035 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current children cumulated CPU time: 19674.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1379976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.15 8.18 9/219 8788
/proc/meminfo: memFree=28070624/32770624 swapFree=66958320/67108860
[pid=8544] ppid=8541 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446633599 115843072 364 33554432000 4194304 5098028 140725449811120 140725449809224 139892049416828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36474880 140725449818998 140725449819241 140725449819241 140725449822154 0
/proc/8544/statm: 28282 364 305 221 0 87 0
[pid=8546] ppid=8544 vsize=28768336 memory=1270792 CPUtime=19814.7 cores=0-7
/proc/8546/stat : 8546 (java) S 8544 8544 7356 0 -1 1077944320 1871448 0 0 0 1977440 4031 0 0 20 0 28 0 446633599 29458776064 317698 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7192084 317698 3544 1 0 7153184 0
[pid=8546/tid=8547] ppid=8544 vsize=28768336 memory=1398722017469774279 CPUtime=0.67 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) S 8544 8544 7356 0 -1 1077944384 9409 0 0 0 63 4 0 0 20 0 28 0 446633599 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883208496256 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8544 vsize=28768336 memory=4872558044660077418 CPUtime=12.11 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8544 8544 7356 0 -1 1077944384 52213 0 0 0 1121 90 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8544 vsize=28768336 memory=508 CPUtime=12.01 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8544 8544 7356 0 -1 1077944384 52307 0 0 0 1111 90 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8544 vsize=28768336 memory=1560 CPUtime=12.15 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8544 8544 7356 0 -1 1077944384 56867 0 0 0 1123 92 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8551] ppid=8544 vsize=28768336 memory=932 CPUtime=12.15 cores=0-7
/proc/8546/task/8551/stat : 8551 (java) S 8544 8544 7356 0 -1 1077944384 50694 0 0 0 1125 90 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883153718288 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8552] ppid=8544 vsize=28768336 memory=1568 CPUtime=12.19 cores=0-7
/proc/8546/task/8552/stat : 8552 (java) S 8544 8544 7356 0 -1 1077944384 54884 0 0 0 1126 93 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883152664976 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8553] ppid=8544 vsize=28768336 memory=8112282956445269571 CPUtime=12.06 cores=0-7
/proc/8546/task/8553/stat : 8553 (java) S 8544 8544 7356 0 -1 1077944384 55605 0 0 0 1111 95 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883151612176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8554] ppid=8544 vsize=28768336 memory=880 CPUtime=12.13 cores=0-7
/proc/8546/task/8554/stat : 8554 (java) S 8544 8544 7356 0 -1 1077944384 55279 0 0 0 1120 93 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883150559888 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8555] ppid=8544 vsize=28768336 memory=1976 CPUtime=12.16 cores=0-7
/proc/8546/task/8555/stat : 8555 (java) S 8544 8544 7356 0 -1 1077944384 49502 0 0 0 1125 91 0 0 20 0 28 0 446633600 29458776064 317698 33554432000 4194304 4196468 140734381841312 139883149507088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8556] ppid=8544 vsize=28768336 memory=2496 CPUtime=44.73 cores=0-7
/proc/8546/task/8556/stat : 8556 (java) S 8544 8544 7356 0 -1 1077944384 143333 0 0 0 1706 2767 0 0 20 0 28 0 446633601 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881332398704 139883204266626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8557] ppid=8544 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/8546/task/8557/stat : 8557 (java) S 8544 8544 7356 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 446633602 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881331344736 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8558] ppid=8544 vsize=28768336 memory=111636 CPUtime=0 cores=0-7
/proc/8546/task/8558/stat : 8558 (java) S 8544 8544 7356 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 446633602 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881330292352 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8559] ppid=8544 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/8546/task/8559/stat : 8559 (java) S 8544 8544 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446633604 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881329240656 139883204274075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8560] ppid=8544 vsize=28768336 memory=1804 CPUtime=2.74 cores=0-7
/proc/8546/task/8560/stat : 8560 (java) S 8544 8544 7356 0 -1 1077944384 14086 0 0 0 271 3 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881328187504 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8561] ppid=8544 vsize=28768336 memory=916 CPUtime=3.41 cores=0-7
/proc/8546/task/8561/stat : 8561 (java) S 8544 8544 7356 0 -1 1077944384 22288 0 0 0 336 5 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881327134704 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8562] ppid=8544 vsize=28768336 memory=4792 CPUtime=2.73 cores=0-7
/proc/8546/task/8562/stat : 8562 (java) S 8544 8544 7356 0 -1 1077944384 17530 0 0 0 270 3 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881326082416 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8563] ppid=8544 vsize=28768336 memory=1412 CPUtime=0.78 cores=0-7
/proc/8546/task/8563/stat : 8563 (java) S 8544 8544 7356 0 -1 1077944384 10129 0 0 0 77 1 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881325029616 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8564] ppid=8544 vsize=28768336 memory=4000 CPUtime=0 cores=0-7
/proc/8546/task/8564/stat : 8564 (java) S 8544 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881323977568 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8565] ppid=8544 vsize=28768336 memory=1552 CPUtime=0.81 cores=0-7
/proc/8546/task/8565/stat : 8565 (java) S 8544 8544 7356 0 -1 1077944384 5003 0 0 0 65 16 0 0 20 0 28 0 446633605 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881322924848 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8566] ppid=8544 vsize=28768336 memory=1712 CPUtime=2449.01 cores=0-7
/proc/8546/task/8566/stat : 8566 (java) R 8544 8544 7356 0 -1 4202560 137492 0 0 0 244840 61 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881006058872 139882812467498 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8567] ppid=8544 vsize=28768336 memory=1196 CPUtime=2451.21 cores=0-7
/proc/8546/task/8567/stat : 8567 (java) R 8544 8544 7356 0 -1 4202560 93554 0 0 0 245079 42 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881005007192 139882807685223 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8568] ppid=8544 vsize=28768336 memory=1044 CPUtime=2483.5 cores=0-7
/proc/8546/task/8568/stat : 8568 (java) R 8544 8544 7356 0 -1 4202560 20770 0 0 0 248331 19 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881003949760 139882815921770 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8569] ppid=8544 vsize=28768336 memory=712 CPUtime=2472.51 cores=0-7
/proc/8546/task/8569/stat : 8569 (java) R 8544 8544 7356 0 -1 4202560 47736 0 0 0 247221 30 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881002897208 139882815921800 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8570] ppid=8544 vsize=28768336 memory=2832 CPUtime=2450.18 cores=0-7
/proc/8546/task/8570/stat : 8570 (java) R 8544 8544 7356 0 -1 4202560 124794 0 0 0 244968 50 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881001844184 139882815840287 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8571] ppid=8544 vsize=28768336 memory=8024 CPUtime=2452.64 cores=0-7
/proc/8546/task/8571/stat : 8571 (java) R 8544 8544 7356 0 -1 4202560 329773 0 0 0 245118 146 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139881000796152 139882815921822 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8572] ppid=8544 vsize=28768336 memory=10428 CPUtime=2447.26 cores=0-7
/proc/8546/task/8572/stat : 8572 (java) R 8544 8544 7356 0 -1 4202560 84071 0 0 0 244680 46 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139880999742480 139882812470322 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8573] ppid=8544 vsize=28768336 memory=14012 CPUtime=2455.38 cores=0-7
/proc/8546/task/8573/stat : 8573 (java) R 8544 8544 7356 0 -1 4202560 382744 0 0 0 245390 148 0 0 20 0 28 0 446633668 29458776064 317698 33554432000 4194304 4196468 140734381841312 139880998687480 139882816654757 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current children cumulated CPU time: 19814.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1272248 KiB

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

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

[startup+2520.15 s]
# the end of solver process 8546 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19775.2 s, system=40.3509 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.08 8.15 8.18 4/217 8790
/proc/meminfo: memFree=28070592/32770624 swapFree=66958320/67108860
[pid=8546] ppid=8541 vsize=28901464 memory=1270948 CPUtime=19815.5 cores=0-7
/proc/8546/stat : 8546 (java) S 8541 8544 7356 0 -1 1077944320 1872062 0 0 0 1977515 4034 0 0 20 0 27 0 446633599 29595099136 317737 33554432000 4194304 4196468 140734381841312 140734381823856 139883204255479 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
/proc/8546/statm: 7225366 317737 3546 1 0 7186466 0
[pid=8546/tid=8547] ppid=8541 vsize=28901464 memory=1398722017469774279 CPUtime=0.67 cores=0-7
/proc/8546/task/8547/stat : 8547 (java) S 8541 8544 7356 0 -1 1077944384 9409 0 0 0 63 4 0 0 20 0 27 0 446633599 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883208496256 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8548] ppid=8541 vsize=28901464 memory=4872558044660077418 CPUtime=12.11 cores=0-7
/proc/8546/task/8548/stat : 8548 (java) S 8541 8544 7356 0 -1 1077944384 52213 0 0 0 1121 90 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883156876176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8549] ppid=8541 vsize=28901464 memory=988 CPUtime=12.01 cores=0-7
/proc/8546/task/8549/stat : 8549 (java) S 8541 8544 7356 0 -1 1077944384 52307 0 0 0 1111 90 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883155823376 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8550] ppid=8541 vsize=28901464 memory=2020 CPUtime=12.15 cores=0-7
/proc/8546/task/8550/stat : 8550 (java) S 8541 8544 7356 0 -1 1077944384 56867 0 0 0 1123 92 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883154771088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8551] ppid=8541 vsize=28901464 memory=1432 CPUtime=12.15 cores=0-7
/proc/8546/task/8551/stat : 8551 (java) S 8541 8544 7356 0 -1 1077944384 50694 0 0 0 1125 90 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883153718288 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8552] ppid=8541 vsize=28901464 memory=776 CPUtime=12.19 cores=0-7
/proc/8546/task/8552/stat : 8552 (java) S 8541 8544 7356 0 -1 1077944384 54884 0 0 0 1126 93 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883152664976 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8553] ppid=8541 vsize=28901464 memory=1056 CPUtime=12.06 cores=0-7
/proc/8546/task/8553/stat : 8553 (java) S 8541 8544 7356 0 -1 1077944384 55605 0 0 0 1111 95 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883151612176 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8554] ppid=8541 vsize=28901464 memory=932 CPUtime=12.13 cores=0-7
/proc/8546/task/8554/stat : 8554 (java) S 8541 8544 7356 0 -1 1077944384 55279 0 0 0 1120 93 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883150559888 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8555] ppid=8541 vsize=28901464 memory=1568 CPUtime=12.16 cores=0-7
/proc/8546/task/8555/stat : 8555 (java) S 8541 8544 7356 0 -1 1077944384 49502 0 0 0 1125 91 0 0 20 0 27 0 446633600 29595099136 317737 33554432000 4194304 4196468 140734381841312 139883149507088 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8556] ppid=8541 vsize=28901464 memory=1444 CPUtime=44.76 cores=0-7
/proc/8546/task/8556/stat : 8556 (java) R 8541 8544 7356 0 -1 4202560 143333 0 0 0 1707 2769 0 0 20 0 27 0 446633601 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881332398624 139883204276826 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8557] ppid=8541 vsize=28901464 memory=880 CPUtime=0 cores=0-7
/proc/8546/task/8557/stat : 8557 (java) S 8541 8544 7356 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 27 0 446633602 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881331344736 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8558] ppid=8541 vsize=28901464 memory=1976 CPUtime=0 cores=0-7
/proc/8546/task/8558/stat : 8558 (java) S 8541 8544 7356 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 27 0 446633602 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881330292352 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8560] ppid=8541 vsize=28901464 memory=2496 CPUtime=2.74 cores=0-7
/proc/8546/task/8560/stat : 8560 (java) S 8541 8544 7356 0 -1 1077944384 14239 0 0 0 271 3 0 0 20 0 27 0 446633605 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881328187504 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8561] ppid=8541 vsize=28901464 memory=1760 CPUtime=3.41 cores=0-7
/proc/8546/task/8561/stat : 8561 (java) S 8541 8544 7356 0 -1 1077944384 22288 0 0 0 336 5 0 0 20 0 27 0 446633605 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881327134704 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8562] ppid=8541 vsize=28901464 memory=111636 CPUtime=2.73 cores=0-7
/proc/8546/task/8562/stat : 8562 (java) S 8541 8544 7356 0 -1 1077944384 17530 0 0 0 270 3 0 0 20 0 27 0 446633605 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881326082416 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8563] ppid=8541 vsize=28901464 memory=804 CPUtime=0.78 cores=0-7
/proc/8546/task/8563/stat : 8563 (java) S 8541 8544 7356 0 -1 1077944384 10310 0 0 0 77 1 0 0 20 0 27 0 446633605 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881325029616 139883204266626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8564] ppid=8541 vsize=28901464 memory=1804 CPUtime=0 cores=0-7
/proc/8546/task/8564/stat : 8564 (java) S 8541 8544 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 446633605 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881323977568 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8566] ppid=8541 vsize=28901464 memory=916 CPUtime=2449.09 cores=0-7
/proc/8546/task/8566/stat : 8566 (java) S 8541 8544 7356 0 -1 1077944384 137493 0 0 0 244848 61 0 0 20 0 27 0 446633668 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881006055312 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8567] ppid=8541 vsize=28901464 memory=4792 CPUtime=2451.3 cores=0-7
/proc/8546/task/8567/stat : 8567 (java) S 8541 8544 7356 0 -1 1077944384 93557 0 0 0 245088 42 0 0 20 0 27 0 446633668 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881005003360 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8568] ppid=8541 vsize=28901464 memory=1093 CPUtime=2483.63 cores=0-7
/proc/8546/task/8568/stat : 8568 (java) S 8541 8544 7356 0 -1 1077944384 20770 0 0 0 248344 19 0 0 20 0 27 0 446633668 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881003949872 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8569] ppid=8541 vsize=28901464 memory=2020 CPUtime=2472.61 cores=0-7
/proc/8546/task/8569/stat : 8569 (java) S 8541 8544 7356 0 -1 1077944384 47736 0 0 0 247231 30 0 0 20 0 27 0 446633668 29595099136 317737 33554432000 4194304 4196468 140734381841312 139881002897072 139883204265685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8570] ppid=8541 vsize=28901464 memory=1432 CPUtime=2450.27 cores=0-7
/proc/8546/task/8570/stat : 8570 (java) R 8541 8544 7356 0 -1 1077944384 124797 0 0 0 244977 50 0 0 20 0 27 0 446633668 29595099136 317740 33554432000 4194304 4196468 140734381841312 139881001845328 139883204265685 256 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8571] ppid=8541 vsize=28901464 memory=776 CPUtime=2452.72 cores=0-7
/proc/8546/task/8571/stat : 8571 (java) R 8541 8544 7356 0 -1 1077944384 329774 0 0 0 245126 146 0 0 20 0 26 0 446633668 29595099136 317743 33554432000 4194304 4196468 140734381841312 139881000791984 139883204265685 256 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8572] ppid=8541 vsize=28901464 memory=0 CPUtime=2447.34 cores=0-7
/proc/8546/task/8572/stat : 8572 (java) R 8541 8544 7356 0 -1 1077944384 84072 0 0 0 244688 46 0 0 20 0 22 0 446633668 29595099136 317813 33554432000 4194304 4196468 140734381841312 139880999739872 139883204265685 256 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
[pid=8546/tid=8573] ppid=8541 vsize=28901464 memory=4420 CPUtime=2455.47 cores=0-7
/proc/8546/task/8573/stat : 8573 (java) R 8541 8544 7356 0 -1 1077944384 382745 0 0 0 245399 148 0 0 20 0 18 0 446633668 29595099136 317819 33554432000 4194304 4196468 140734381841312 139880998687072 139883204265685 256 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 38838272 140734381843434 140734381843606 140734381843606 140734381846479 0
Current cumulated CPU time of completed processes: 0.0024 s
Current children cumulated CPU time: 19815.5 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 1270948 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19815.5
CPU user time (s): 19775.2
CPU system time (s): 40.3509
CPU usage (%): 786.283
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 1694592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19775.2
system time used= 40.3509
maximum resident set size= 1709520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1872628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202921
involuntary context switches= 230109


# summary of solver processes directly reported to runsolver:
#   pid: 8544,8546
#   total CPU time (s): 19815.5
#   total CPU user time (s): 19775.2
#   total CPU system time (s): 40.3509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.4869 second user time and 20.6585 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-17 09:55:29
IDJOB=4399579
IDBENCH=127955
IDSOLVER=2854
FILE ID=node145/4399579-1568706971
RUNJOBID= node145-1568701156-7383
PBS_JOBID= 21703915
Free space on /tmp= 59532 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-160.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-4399579-1568706971/watcher-4399579-1568706971 -o /tmp/evaluation-result-4399579-1568706971/solver-4399579-1568706971 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 627495170 HOME/instance-4399579-1568706971.xml

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

MD5SUM BENCH= 3ff67dee7a06e1e6311de3a7585abde9
RANDOM SEED=627495170

node145.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.59
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.59
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.59
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.59
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:        29336524 kB
MemAvailable:   31851548 kB
Buffers:          189236 kB
Cached:          2616312 kB
SwapCached:        41072 kB
Active:          1385456 kB
Inactive:        1465008 kB
Active(anon):       7196 kB
Inactive(anon):    86528 kB
Active(file):    1378260 kB
Inactive(file):  1378480 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       66958320 kB
Dirty:             26272 kB
Writeback:             0 kB
AnonPages:        248056 kB
Mapped:            47408 kB
Shmem:             40616 kB
Slab:             176516 kB
SReclaimable:     148240 kB
SUnreclaim:        28276 kB
KernelStack:        3872 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 59508 MiB
End job on node145 at 2019-09-17 10:37:30