Trace number 4404501

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-20 parallel? (TO) 20043.3 2520.17

General information on the benchmark

NameBibd/Bibd-sum-open/
Bibd-sum-57-076-20-15-05.xml
MD5SUM103999ad3c646e4e3c5e6682f24aa76f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4332
Number of constraints1730
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4332}]
Minimum variable degree59
Maximum variable degree59
Distribution of variable degrees[{"degree":59,"count":4332}]
Minimum constraint arity57
Maximum constraint arity4332
Distribution of constraint arities[{"arity":57,"count":76},{"arity":76,"count":57},{"arity":152,"count":1596},{"arity":4332,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":1729}]
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-4404501-1568996803.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404501-1568996803.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
52.97/9.96	c solve instance...
20042.45/2520.08	s UNKNOWN
20042.45/2520.08	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 (8913 MiB free)
  memory of node 1: 16384 MiB (7400 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404501-1568996803/watcher-4404501-1568996803 -o /tmp/evaluation-result-4404501-1568996803/solver-4404501-1568996803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1892781750 HOME/instance-4404501-1568996803.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=16740, runsolver pid=16737
Current StackSize limit: 8192 KiB


[startup+0.100144 s]*
/proc/loadavg: 8.50 8.33 8.29 3/211 16761
/proc/meminfo: memFree=16688324/32770624 swapFree=66986244/67108860
[pid=16740] ppid=16737 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16740/stat : 16740 (xcsp3-exec) S 16737 16740 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475937211 115843072 363 33554432000 4194304 5098028 140737000467904 140737000466008 140091235701372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22028288 140737000469365 140737000469609 140737000469609 140737000472522 0
/proc/16740/statm: 28282 363 305 221 0 87 0
[pid=16742] ppid=16740 vsize=28227396 memory=28924 CPUtime=0.12 cores=0-7
/proc/16742/stat : 16742 (java) S 16740 16740 14667 0 -1 1077944320 5702 0 0 0 11 1 0 0 20 0 20 0 475937212 28904853504 7231 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7056849 7231 3120 1 0 7019032 0
[pid=16742/tid=16743] ppid=16740 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) R 16740 16740 14667 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 20 0 475937212 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588430989104 140588411831614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16740 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16740 vsize=28227396 memory=139772113770112 CPUtime=0 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16747] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16747/stat : 16747 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588376218128 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16748] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16748/stat : 16748 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588375165840 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16749] ppid=16740 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16749/stat : 16749 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140588374113040 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16750] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16750/stat : 16750 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140587971763344 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16751] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16751/stat : 16751 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 7231 33554432000 4194304 4196468 140734604174944 140587970710544 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16752] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16752/stat : 16752 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937214 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586555250800 140588426766978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16753] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16753/stat : 16753 (java) S 16740 16740 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475937215 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586554196768 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16754] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16754/stat : 16754 (java) S 16740 16740 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475937215 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586553144432 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16755] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16755/stat : 16755 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586552092752 140588426774427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16756] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16756/stat : 16756 (java) S 16740 16740 14667 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586551040624 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16757] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16757/stat : 16757 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586549987824 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16758] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16758/stat : 16758 (java) S 16740 16740 14667 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586548935536 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16759] ppid=16740 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16742/task/16759/stat : 16759 (java) R 16740 16740 14667 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 475937217 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586547882736 140588405674342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16760] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16760/stat : 16760 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937218 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586546829664 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16761] ppid=16740 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16761/stat : 16761 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937218 28904853504 7231 33554432000 4194304 4196468 140734604174944 140586545776944 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30376 KiB

[startup+0.210188 s]*
/proc/loadavg: 8.50 8.33 8.29 2/211 16761
/proc/meminfo: memFree=16674512/32770624 swapFree=66986244/67108860
[pid=16740] ppid=16737 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16740/stat : 16740 (xcsp3-exec) S 16737 16740 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475937211 115843072 363 33554432000 4194304 5098028 140737000467904 140737000466008 140091235701372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22028288 140737000469365 140737000469609 140737000469609 140737000472522 0
/proc/16740/statm: 28282 363 305 221 0 87 0
[pid=16742] ppid=16740 vsize=28227396 memory=40852 CPUtime=0.33 cores=0-7
/proc/16742/stat : 16742 (java) S 16740 16740 14667 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 475937212 28904853504 10213 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7056849 10213 3277 1 0 7019032 0
[pid=16742/tid=16743] ppid=16740 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) R 16740 16740 14667 0 -1 4202560 6646 0 0 0 17 2 0 0 20 0 20 0 475937212 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588430995504 140588426767766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16740 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16740 vsize=28227396 memory=139772117158728 CPUtime=0 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16740 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16747] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16747/stat : 16747 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588376218128 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16748] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16748/stat : 16748 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588375165840 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16749] ppid=16740 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16749/stat : 16749 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140588374113040 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16750] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16750/stat : 16750 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140587971763344 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16751] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16751/stat : 16751 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28904853504 10213 33554432000 4194304 4196468 140734604174944 140587970710544 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16752] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16752/stat : 16752 (java) S 16740 16740 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475937214 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586555250800 140588426766978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16753] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16753/stat : 16753 (java) S 16740 16740 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475937215 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586554196768 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16754] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16754/stat : 16754 (java) S 16740 16740 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475937215 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586553144432 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16755] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16755/stat : 16755 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586552092752 140588426774427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16756] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16756/stat : 16756 (java) S 16740 16740 14667 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 475937217 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586551040624 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16757] ppid=16740 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16742/task/16757/stat : 16757 (java) R 16740 16740 14667 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 20 0 475937217 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586549987824 140588426767766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16758] ppid=16740 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/16742/task/16758/stat : 16758 (java) R 16740 16740 14667 0 -1 4202560 181 0 0 0 1 0 0 0 20 0 20 0 475937217 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586548935536 140588426767766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16759] ppid=16740 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/16742/task/16759/stat : 16759 (java) R 16740 16740 14667 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 20 0 475937217 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586547882736 140588426767766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16760] ppid=16740 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16760/stat : 16760 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937218 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586546829664 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16761] ppid=16740 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16761/stat : 16761 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937218 28904853504 10213 33554432000 4194304 4196468 140734604174944 140586545776944 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42304 KiB

[startup+0.309497 s]*
/proc/loadavg: 8.50 8.33 8.29 3/211 16761
/proc/meminfo: memFree=16667512/32770624 swapFree=66986244/67108860
[pid=16740] ppid=16737 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16740/stat : 16740 (xcsp3-exec) S 16737 16740 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475937211 115843072 363 33554432000 4194304 5098028 140737000467904 140737000466008 140091235701372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22028288 140737000469365 140737000469609 140737000469609 140737000472522 0
/proc/16740/statm: 28282 363 305 221 0 87 0
[pid=16742] ppid=16740 vsize=28231652 memory=49992 CPUtime=0.53 cores=0-7
/proc/16742/stat : 16742 (java) S 16740 16740 14667 0 -1 1077944320 10824 0 0 0 49 4 0 0 20 0 20 0 475937212 28909211648 12498 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7057913 12498 3330 1 0 7019032 0
[pid=16742/tid=16743] ppid=16740 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) R 16740 16740 14667 0 -1 4202560 7759 0 0 0 27 3 0 0 20 0 20 0 475937212 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588430989616 140588410836318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16747] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16747/stat : 16747 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588376218128 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16748] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16748/stat : 16748 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588375165840 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16749] ppid=16740 vsize=28231652 memory=139771993221807 CPUtime=0 cores=0-7
/proc/16742/task/16749/stat : 16749 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140588374113040 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16750] ppid=16740 vsize=28231652 memory=139771993224112 CPUtime=0 cores=0-7
/proc/16742/task/16750/stat : 16750 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140587971763344 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16751] ppid=16740 vsize=28231652 memory=139771993226416 CPUtime=0 cores=0-7
/proc/16742/task/16751/stat : 16751 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28909211648 12498 33554432000 4194304 4196468 140734604174944 140587970710544 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16752] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16752/stat : 16752 (java) S 16740 16740 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475937214 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586555250800 140588426766978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16753] ppid=16740 vsize=28231652 memory=279543986466704 CPUtime=0 cores=0-7
/proc/16742/task/16753/stat : 16753 (java) S 16740 16740 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 475937215 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586554196768 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16754] ppid=16740 vsize=28231652 memory=279543986464400 CPUtime=0 cores=0-7
/proc/16742/task/16754/stat : 16754 (java) S 16740 16740 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475937215 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586553144432 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16755] ppid=16740 vsize=28231652 memory=279543986471312 CPUtime=0 cores=0-7
/proc/16742/task/16755/stat : 16755 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937217 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586552092752 140588426774427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16756] ppid=16740 vsize=28231652 memory=279543986412592 CPUtime=0.02 cores=0-7
/proc/16742/task/16756/stat : 16756 (java) R 16740 16740 14667 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 20 0 475937217 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586551030736 140588407931563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16757] ppid=16740 vsize=28231652 memory=279543986485136 CPUtime=0.03 cores=0-7
/proc/16742/task/16757/stat : 16757 (java) S 16740 16740 14667 0 -1 1077944384 349 0 0 0 3 0 0 0 20 0 20 0 475937217 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586549987824 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16758] ppid=16740 vsize=28231652 memory=279543986492048 CPUtime=0.02 cores=0-7
/proc/16742/task/16758/stat : 16758 (java) S 16740 16740 14667 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 20 0 475937217 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586548935536 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16759] ppid=16740 vsize=28231652 memory=279543986489744 CPUtime=0.13 cores=0-7
/proc/16742/task/16759/stat : 16759 (java) S 16740 16740 14667 0 -1 1077944384 795 0 0 0 13 0 0 0 20 0 20 0 475937217 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586547882736 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16760] ppid=16740 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16760/stat : 16760 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937218 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586546829664 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16761] ppid=16740 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16742/task/16761/stat : 16761 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475937218 28909211648 12498 33554432000 4194304 4196468 140734604174944 140586545776944 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51444 KiB

[startup+0.700945 s]
/proc/loadavg: 8.50 8.33 8.29 4/211 16761
/proc/meminfo: memFree=16645088/32770624 swapFree=66986244/67108860
[pid=16740] ppid=16737 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16740/stat : 16740 (xcsp3-exec) S 16737 16740 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475937211 115843072 363 33554432000 4194304 5098028 140737000467904 140737000466008 140091235701372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22028288 140737000469365 140737000469609 140737000469609 140737000472522 0
/proc/16740/statm: 28282 363 305 221 0 87 0
[pid=16742] ppid=16740 vsize=28233776 memory=115612 CPUtime=1.9 cores=0-7
/proc/16742/stat : 16742 (java) S 16740 16740 14667 0 -1 1077944320 16999 0 0 0 184 6 0 0 20 0 20 0 475937212 28911386624 28903 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7058444 28903 3459 1 0 7019544 0
[pid=16742/tid=16743] ppid=16740 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) R 16740 16740 14667 0 -1 4202560 9251 0 0 0 63 4 0 0 20 0 20 0 475937212 28911386624 28903 33554432000 4194304 4196468 140734604174944 140588430976400 140588053833450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16740 vsize=28233776 memory=139771993432944 CPUtime=0 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28911386624 28903 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16740 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475937213 28911386624 28903 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16740 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16740 16740 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475937213 28911386624 28903 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0

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

[pid=16742/tid=16769] ppid=16740 vsize=28766288 memory=4250496 CPUtime=2472.32 cores=0-7
/proc/16742/task/16769/stat : 16769 (java) R 16740 16740 14667 0 -1 4202560 15820 0 0 0 247198 34 0 0 20 0 28 0 475938249 29456678912 1063649 33554432000 4194304 4196468 140734604174944 140586531295704 140588063213092 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16770] ppid=16740 vsize=28766288 memory=1452 CPUtime=2471.12 cores=0-7
/proc/16742/task/16770/stat : 16770 (java) R 16740 16740 14667 0 -1 4202560 17256 0 0 0 247088 24 0 0 20 0 28 0 475938249 29456678912 1063649 33554432000 4194304 4196468 140734604174944 140586530242440 140588063213391 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16771] ppid=16740 vsize=28766288 memory=29548 CPUtime=2459.06 cores=0-7
/proc/16742/task/16771/stat : 16771 (java) R 16740 16740 14667 0 -1 4202560 23173 0 0 0 245871 35 0 0 20 0 28 0 475938249 29456678912 1063649 33554432000 4194304 4196468 140734604174944 140586529189504 140588054799006 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current children cumulated CPU time: 19901.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 4256048 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.65 8.64 8.43 9/218 16956
/proc/meminfo: memFree=12455728/32770624 swapFree=66986244/67108860
[pid=16740] ppid=16737 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16740/stat : 16740 (xcsp3-exec) S 16737 16740 14667 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475937211 115843072 363 33554432000 4194304 5098028 140737000467904 140737000466008 140091235701372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22028288 140737000469365 140737000469609 140737000469609 140737000472522 0
/proc/16740/statm: 28282 363 305 221 0 87 0
[pid=16742] ppid=16740 vsize=28766288 memory=4256644 CPUtime=20042.4 cores=0-7
/proc/16742/stat : 16742 (java) S 16740 16740 14667 0 -1 1077944320 811406 0 0 0 2002518 1727 0 0 20 0 28 0 475937212 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7191572 1064161 3543 1 0 7152672 0
[pid=16742/tid=16743] ppid=16740 vsize=28766288 memory=8317482817917895235 CPUtime=4.18 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) S 16740 16740 14667 0 -1 1077944384 13759 0 0 0 404 14 0 0 20 0 28 0 475937212 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588430996608 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16740 vsize=28766288 memory=111632 CPUtime=19.61 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16740 16740 14667 0 -1 1077944384 25649 0 0 0 1816 145 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16740 vsize=28766288 memory=796 CPUtime=19.57 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16740 16740 14667 0 -1 1077944384 32399 0 0 0 1816 141 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16740 vsize=28766288 memory=4100 CPUtime=19.56 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16740 16740 14667 0 -1 1077944384 25113 0 0 0 1814 142 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16747] ppid=16740 vsize=28766288 memory=2832 CPUtime=19.55 cores=0-7
/proc/16742/task/16747/stat : 16747 (java) S 16740 16740 14667 0 -1 1077944384 27522 0 0 0 1821 134 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588376218128 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16748] ppid=16740 vsize=28766288 memory=1084 CPUtime=19.47 cores=0-7
/proc/16742/task/16748/stat : 16748 (java) S 16740 16740 14667 0 -1 1077944384 25692 0 0 0 1812 135 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588375165840 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16749] ppid=16740 vsize=28766288 memory=14012 CPUtime=19.64 cores=0-7
/proc/16742/task/16749/stat : 16749 (java) S 16740 16740 14667 0 -1 1077944384 26872 0 0 0 1822 142 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140588374113040 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16750] ppid=16740 vsize=28766288 memory=14048 CPUtime=19.53 cores=0-7
/proc/16742/task/16750/stat : 16750 (java) S 16740 16740 14667 0 -1 1077944384 30706 0 0 0 1823 130 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140587971763344 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16751] ppid=16740 vsize=28766288 memory=29560 CPUtime=19.52 cores=0-7
/proc/16742/task/16751/stat : 16751 (java) S 16740 16740 14667 0 -1 1077944384 22262 0 0 0 1820 132 0 0 20 0 28 0 475937213 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140587970710544 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16752] ppid=16740 vsize=28766288 memory=2120 CPUtime=3.75 cores=0-7
/proc/16742/task/16752/stat : 16752 (java) S 16740 16740 14667 0 -1 1077944384 25688 0 0 0 229 146 0 0 20 0 28 0 475937214 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586555250800 140588426766978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16753] ppid=16740 vsize=28766288 memory=532 CPUtime=0 cores=0-7
/proc/16742/task/16753/stat : 16753 (java) S 16740 16740 14667 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475937215 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586554196832 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16754] ppid=16740 vsize=28766288 memory=1564 CPUtime=0 cores=0-7
/proc/16742/task/16754/stat : 16754 (java) S 16740 16740 14667 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 475937215 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586553144448 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16755] ppid=16740 vsize=28766288 memory=924 CPUtime=0 cores=0-7
/proc/16742/task/16755/stat : 16755 (java) S 16740 16740 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475937217 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586552092752 140588426774427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16756] ppid=16740 vsize=28766288 memory=1680 CPUtime=3.03 cores=0-7
/proc/16742/task/16756/stat : 16756 (java) S 16740 16740 14667 0 -1 1077944384 23217 0 0 0 297 6 0 0 20 0 28 0 475937217 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586551040624 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16757] ppid=16740 vsize=28766288 memory=1452 CPUtime=2.77 cores=0-7
/proc/16742/task/16757/stat : 16757 (java) S 16740 16740 14667 0 -1 1077944384 23934 0 0 0 272 5 0 0 20 0 28 0 475937217 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586549987824 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16758] ppid=16740 vsize=28766288 memory=4126316290023845779 CPUtime=2.62 cores=0-7
/proc/16742/task/16758/stat : 16758 (java) S 16740 16740 14667 0 -1 1077944384 23750 0 0 0 256 6 0 0 20 0 28 0 475937217 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586548935536 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16759] ppid=16740 vsize=28766288 memory=1984 CPUtime=0.99 cores=0-7
/proc/16742/task/16759/stat : 16759 (java) S 16740 16740 14667 0 -1 1077944384 24691 0 0 0 96 3 0 0 20 0 28 0 475937217 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586547882736 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16760] ppid=16740 vsize=28766288 memory=532 CPUtime=0 cores=0-7
/proc/16742/task/16760/stat : 16760 (java) S 16740 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475937218 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586546829664 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16761] ppid=16740 vsize=28766288 memory=1564 CPUtime=1.09 cores=0-7
/proc/16742/task/16761/stat : 16761 (java) S 16740 16740 14667 0 -1 1077944384 3295 0 0 0 62 47 0 0 20 0 28 0 475937218 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586545776944 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16764] ppid=16740 vsize=28766288 memory=924 CPUtime=2477.78 cores=0-7
/proc/16742/task/16764/stat : 16764 (java) R 16740 16740 14667 0 -1 4202560 20854 0 0 0 247741 37 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586536557464 140588062750657 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16765] ppid=16740 vsize=28766288 memory=1680 CPUtime=2489.78 cores=0-7
/proc/16742/task/16765/stat : 16765 (java) R 16740 16740 14667 0 -1 4202560 21603 0 0 0 248957 21 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586535505880 140588063588174 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16766] ppid=16740 vsize=28766288 memory=1440 CPUtime=2478.76 cores=0-7
/proc/16742/task/16766/stat : 16766 (java) R 16740 16740 14667 0 -1 4202560 99589 0 0 0 247798 78 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586534455952 140588057716032 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16767] ppid=16740 vsize=28766288 memory=912 CPUtime=2476.3 cores=0-7
/proc/16742/task/16767/stat : 16767 (java) R 16740 16740 14667 0 -1 4202560 236231 0 0 0 247471 159 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586533400792 140588062616736 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16768] ppid=16740 vsize=28766288 memory=1984 CPUtime=2489.26 cores=0-7
/proc/16742/task/16768/stat : 16768 (java) R 16740 16740 14667 0 -1 4202560 20700 0 0 0 248872 54 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586532348536 140588063213060 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16769] ppid=16740 vsize=28766288 memory=2480 CPUtime=2489.97 cores=0-7
/proc/16742/task/16769/stat : 16769 (java) R 16740 16740 14667 0 -1 4202560 15929 0 0 0 248963 34 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586531295704 140588063213260 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16770] ppid=16740 vsize=28766288 memory=1768 CPUtime=2488.77 cores=0-7
/proc/16742/task/16770/stat : 16770 (java) R 16740 16740 14667 0 -1 4202560 17343 0 0 0 248853 24 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586530242440 140588063213188 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16771] ppid=16740 vsize=28766288 memory=1712 CPUtime=2476.72 cores=0-7
/proc/16742/task/16771/stat : 16771 (java) R 16740 16740 14667 0 -1 4202560 23214 0 0 0 247637 35 0 0 20 0 28 0 475938249 29456678912 1064161 33554432000 4194304 4196468 140734604174944 140586529189504 140588054799023 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current children cumulated CPU time: 20042.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 4258096 KiB

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

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

[startup+2520.17 s]
# the end of solver process 16742 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20025.9 s, system=17.3282 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.76 8.66 8.44 3/216 16958
/proc/meminfo: memFree=12455416/32770624 swapFree=66986244/67108860
[pid=16742] ppid=16737 vsize=28899416 memory=4256796 CPUtime=20043.2 cores=0-7
/proc/16742/stat : 16742 (java) S 16737 16740 14667 0 -1 1077944320 811954 0 0 0 2002594 1729 0 0 20 0 27 0 475937212 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140734604157488 140588426755831 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
/proc/16742/statm: 7224854 1064199 3545 1 0 7185954 0
[pid=16742/tid=16743] ppid=16737 vsize=28899416 memory=8317482817917895235 CPUtime=4.18 cores=0-7
/proc/16742/task/16743/stat : 16743 (java) S 16737 16740 14667 0 -1 1077944384 13759 0 0 0 404 14 0 0 20 0 27 0 475937212 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588430996608 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16744] ppid=16737 vsize=28899416 memory=4126316290023845779 CPUtime=19.61 cores=0-7
/proc/16742/task/16744/stat : 16744 (java) S 16737 16740 14667 0 -1 1077944384 25649 0 0 0 1816 145 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588379376016 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16745] ppid=16737 vsize=28899416 memory=14048 CPUtime=19.57 cores=0-7
/proc/16742/task/16745/stat : 16745 (java) S 16737 16740 14667 0 -1 1077944384 32399 0 0 0 1816 141 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588378323216 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16746] ppid=16737 vsize=28899416 memory=29560 CPUtime=19.56 cores=0-7
/proc/16742/task/16746/stat : 16746 (java) S 16737 16740 14667 0 -1 1077944384 25113 0 0 0 1814 142 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588377270928 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16747] ppid=16737 vsize=28899416 memory=2120 CPUtime=19.55 cores=0-7
/proc/16742/task/16747/stat : 16747 (java) S 16737 16740 14667 0 -1 1077944384 27522 0 0 0 1821 134 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588376218128 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16748] ppid=16737 vsize=28899416 memory=532 CPUtime=19.47 cores=0-7
/proc/16742/task/16748/stat : 16748 (java) S 16737 16740 14667 0 -1 1077944384 25692 0 0 0 1812 135 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588375165840 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16749] ppid=16737 vsize=28899416 memory=1564 CPUtime=19.64 cores=0-7
/proc/16742/task/16749/stat : 16749 (java) S 16737 16740 14667 0 -1 1077944384 26872 0 0 0 1822 142 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140588374113040 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16750] ppid=16737 vsize=28899416 memory=924 CPUtime=19.53 cores=0-7
/proc/16742/task/16750/stat : 16750 (java) S 16737 16740 14667 0 -1 1077944384 30706 0 0 0 1823 130 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140587971763344 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16751] ppid=16737 vsize=28899416 memory=1680 CPUtime=19.52 cores=0-7
/proc/16742/task/16751/stat : 16751 (java) S 16737 16740 14667 0 -1 1077944384 22262 0 0 0 1820 132 0 0 20 0 27 0 475937213 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140587970710544 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16752] ppid=16737 vsize=28899416 memory=1440 CPUtime=3.8 cores=0-7
/proc/16742/task/16752/stat : 16752 (java) R 16737 16740 14667 0 -1 4202560 25688 0 0 0 231 149 0 0 20 0 27 0 475937214 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586555250936 140588419384039 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16753] ppid=16737 vsize=28899416 memory=912 CPUtime=0 cores=0-7
/proc/16742/task/16753/stat : 16753 (java) S 16737 16740 14667 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 27 0 475937215 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586554196832 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16754] ppid=16737 vsize=28899416 memory=1984 CPUtime=0 cores=0-7
/proc/16742/task/16754/stat : 16754 (java) S 16737 16740 14667 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 27 0 475937215 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586553144448 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16756] ppid=16737 vsize=28899416 memory=2480 CPUtime=3.03 cores=0-7
/proc/16742/task/16756/stat : 16756 (java) S 16737 16740 14667 0 -1 1077944384 23217 0 0 0 297 6 0 0 20 0 27 0 475937217 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586551040624 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16757] ppid=16737 vsize=28899416 memory=2832 CPUtime=2.77 cores=0-7
/proc/16742/task/16757/stat : 16757 (java) S 16737 16740 14667 0 -1 1077944384 23934 0 0 0 272 5 0 0 20 0 27 0 475937217 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586549987824 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16758] ppid=16737 vsize=28899416 memory=1084 CPUtime=2.62 cores=0-7
/proc/16742/task/16758/stat : 16758 (java) S 16737 16740 14667 0 -1 1077944384 23750 0 0 0 256 6 0 0 20 0 27 0 475937217 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586548935536 140588426766978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16759] ppid=16737 vsize=28899416 memory=14012 CPUtime=0.99 cores=0-7
/proc/16742/task/16759/stat : 16759 (java) S 16737 16740 14667 0 -1 1077944384 24699 0 0 0 96 3 0 0 20 0 27 0 475937217 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586547881632 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16760] ppid=16737 vsize=28899416 memory=14048 CPUtime=0 cores=0-7
/proc/16742/task/16760/stat : 16760 (java) S 16737 16740 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 475937218 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586546829664 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16764] ppid=16737 vsize=28899416 memory=29560 CPUtime=2477.87 cores=0-7
/proc/16742/task/16764/stat : 16764 (java) S 16737 16740 14667 0 -1 1077944384 20854 0 0 0 247750 37 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586536557408 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16765] ppid=16737 vsize=28899416 memory=2120 CPUtime=2489.87 cores=0-7
/proc/16742/task/16765/stat : 16765 (java) S 16737 16740 14667 0 -1 1077944384 21603 0 0 0 248966 21 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586535509584 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16766] ppid=16737 vsize=28899416 memory=532 CPUtime=2478.88 cores=0-7
/proc/16742/task/16766/stat : 16766 (java) R 16737 16740 14667 0 -1 4202560 99589 0 0 0 247810 78 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586534455952 140588057716232 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16767] ppid=16737 vsize=28899416 memory=1564 CPUtime=2476.39 cores=0-7
/proc/16742/task/16767/stat : 16767 (java) S 16737 16740 14667 0 -1 1077944384 236231 0 0 0 247480 159 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586533400656 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16768] ppid=16737 vsize=28899416 memory=924 CPUtime=2489.35 cores=0-7
/proc/16742/task/16768/stat : 16768 (java) S 16737 16740 14667 0 -1 1077944384 20700 0 0 0 248881 54 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586532348400 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16769] ppid=16737 vsize=28899416 memory=1680 CPUtime=2490.05 cores=0-7
/proc/16742/task/16769/stat : 16769 (java) S 16737 16740 14667 0 -1 1077944384 15929 0 0 0 248971 34 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586531295568 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16770] ppid=16737 vsize=28899416 memory=1452 CPUtime=2488.85 cores=0-7
/proc/16742/task/16770/stat : 16770 (java) S 16737 16740 14667 0 -1 1077944384 17343 0 0 0 248861 24 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586530242304 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16771] ppid=16737 vsize=28899416 memory=4254596 CPUtime=2476.81 cores=0-7
/proc/16742/task/16771/stat : 16771 (java) S 16737 16740 14667 0 -1 1077944384 23214 0 0 0 247646 35 0 0 20 0 27 0 475938249 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586529189616 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
[pid=16742/tid=16957] ppid=16737 vsize=28899416 memory=1112 CPUtime=0 cores=0-7
/proc/16742/task/16957/stat : 16957 (java) S 16737 16740 14667 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 27 0 476189215 29593001984 1064199 33554432000 4194304 4196468 140734604174944 140586528141680 140588426766037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18968576 140734604182506 140734604182678 140734604182678 140734604185551 0
Current cumulated CPU time of completed processes: 0.002244 s
Current children cumulated CPU time: 20043.2 s
Current children cumulated vsize: 28899416 KiB
Current children cumulated memory: 4256796 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 20043.3
CPU user time (s): 20025.9
CPU system time (s): 17.3282
CPU usage (%): 795.313
Max. virtual memory (cumulated for all children) (KiB): 28899416
Max. memory (cumulated for all children) (KiB): 4642676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20025.9
system time used= 17.3282
maximum resident set size= 4641224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83072
involuntary context switches= 208934


# summary of solver processes directly reported to runsolver:
#   pid: 16740,16742
#   total CPU time (s): 20043.3
#   total CPU user time (s): 20025.9
#   total CPU system time (s): 17.3282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9108 second user time and 33.6651 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-20 17:16:22
IDJOB=4404501
IDBENCH=124102
IDSOLVER=2865
FILE ID=node104/4404501-1568996803
RUNJOBID= node104-1568989783-14694
PBS_JOBID= 21704713
Free space on /tmp= 9832 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-57-076-20-15-05.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-4404501-1568996803/watcher-4404501-1568996803 -o /tmp/evaluation-result-4404501-1568996803/solver-4404501-1568996803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1892781750 HOME/instance-4404501-1568996803.xml

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

MD5SUM BENCH= 103999ad3c646e4e3c5e6682f24aa76f
RANDOM SEED=1892781750

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        16704852 kB
MemAvailable:   31827004 kB
Buffers:           98864 kB
Cached:         14924424 kB
SwapCached:        22652 kB
Active:          7472260 kB
Inactive:        7578096 kB
Active(anon):       4216 kB
Inactive(anon):    71720 kB
Active(file):    7468044 kB
Inactive(file):  7506376 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986244 kB
Dirty:             26400 kB
Writeback:             0 kB
AnonPages:        219532 kB
Mapped:            52468 kB
Shmem:             40708 kB
Slab:             606704 kB
SReclaimable:     576192 kB
SUnreclaim:        30512 kB
KernelStack:        3712 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9804 MiB
End job on node104 at 2019-09-20 17:58:23