Trace number 4400011

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallel? (TO) 20054.8 2520.2

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-100-20-6.xml
MD5SUM571b8211ed3e79202e57862d25f221de
Bench CategoryCOP (optimization 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 variables2100
Number of constraints2120
Number of domains1
Minimum domain size5536
Maximum domain size5536
Distribution of domain sizes[{"size":5536,"count":2100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":2000},{"arity":100,"count":20}]
Number of extensional constraints0
Number of intensional constraints2100
Distribution of constraint types[{"type":"intension","count":2100},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400011-1568700502.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400011-1568700502.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
8.64/2.30	c solve instance...
20053.90/2520.07	s UNKNOWN
20053.90/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 (14989 MiB free)
  memory of node 1: 16384 MiB (15307 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400011-1568700502/watcher-4400011-1568700502 -o /tmp/evaluation-result-4400011-1568700502/solver-4400011-1568700502 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568700462-1084 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1967384268 HOME/instance-4400011-1568700502.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=1101, runsolver pid=1098
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 7.50 7.39 4.57 2/215 1122
/proc/meminfo: memFree=31007548/32770624 swapFree=67004556/67108860
[pid=1101] ppid=1098 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1101/stat : 1101 (xcsp3-exec) S 1098 1101 1057 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446289771 115843072 363 33554432000 4194304 5098028 140727420091280 140727420089384 140300580909692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19795968 140727420093301 140727420093545 140727420093545 140727420096458 0
/proc/1101/statm: 28282 363 305 221 0 87 0
[pid=1103] ppid=1101 vsize=28227396 memory=29296 CPUtime=0.12 cores=0-7
/proc/1103/stat : 1103 (java) S 1101 1101 1057 0 -1 1077944320 5797 0 0 0 10 2 0 0 20 0 20 0 446289771 28904853504 7324 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7056849 7324 3122 1 0 7019032 0
[pid=1103/tid=1104] ppid=1101 vsize=28227396 memory=-5738297875902521725 CPUtime=0.09 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) R 1101 1101 1057 0 -1 4202560 3695 0 0 0 8 1 0 0 20 0 20 0 446289772 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229716272944 140229712051606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1101 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1101 vsize=28227396 memory=139642262460032 CPUtime=0 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1108] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1108/stat : 1108 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229260118672 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1109] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1109/stat : 1109 (java) S 1101 1101 1057 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229259066128 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1110] ppid=1101 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1103/task/1110/stat : 1110 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229258013584 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1111] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1111/stat : 1111 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229256961040 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1112] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1112/stat : 1112 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229255908496 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1113] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1113/stat : 1113 (java) S 1101 1101 1057 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446289774 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229213104112 140229712050818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1114] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1114/stat : 1114 (java) S 1101 1101 1057 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446289774 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229212050336 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1115] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1115/stat : 1115 (java) S 1101 1101 1057 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446289775 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229210997744 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1116] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1116/stat : 1116 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229209946320 140229712058267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1117] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1117/stat : 1117 (java) S 1101 1101 1057 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229208893936 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1118] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1118/stat : 1118 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140229207841392 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1119] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1119/stat : 1119 (java) S 1101 1101 1057 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140228821117680 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1120] ppid=1101 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1103/task/1120/stat : 1120 (java) R 1101 1101 1057 0 -1 4202560 383 0 0 0 1 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140228820065136 140229691468053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1121] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1121/stat : 1121 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 7324 33554432000 4194304 4196468 140735624972896 140228819011808 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1122] ppid=1101 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1103/task/1122/stat : 1122 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289778 28904853504 7324 33554432000 4194304 4196468 140735624972896 140228817959344 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30748 KiB

[startup+0.210683 s]*
/proc/loadavg: 7.50 7.39 4.57 2/215 1122
/proc/meminfo: memFree=30994444/32770624 swapFree=67004556/67108860
[pid=1101] ppid=1098 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1101/stat : 1101 (xcsp3-exec) S 1098 1101 1057 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446289771 115843072 363 33554432000 4194304 5098028 140727420091280 140727420089384 140300580909692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19795968 140727420093301 140727420093545 140727420093545 140727420096458 0
/proc/1101/statm: 28282 363 305 221 0 87 0
[pid=1103] ppid=1101 vsize=28227396 memory=40992 CPUtime=0.33 cores=0-7
/proc/1103/stat : 1103 (java) S 1101 1101 1057 0 -1 1077944320 9551 0 0 0 30 3 0 0 20 0 20 0 446289771 28904853504 10248 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7056849 10248 3298 1 0 7019032 0
[pid=1103/tid=1104] ppid=1101 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) R 1101 1101 1057 0 -1 4202560 6680 0 0 0 17 2 0 0 20 0 20 0 446289772 28904853504 10248 33554432000 4194304 4196468 140735624972896 140229716273712 140229712051606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1101 vsize=28227396 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28904853504 10248 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1101 vsize=28227396 memory=288370018414171776 CPUtime=0 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28904853504 10248 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1108] ppid=1101 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1103/task/1108/stat : 1108 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229260118672 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1109] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1109/stat : 1109 (java) S 1101 1101 1057 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229259066128 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1110] ppid=1101 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1103/task/1110/stat : 1110 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229258013584 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1111] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1111/stat : 1111 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229256961040 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1112] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1112/stat : 1112 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289773 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229255908496 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1113] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1113/stat : 1113 (java) S 1101 1101 1057 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446289774 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229213104112 140229712050818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1114] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1114/stat : 1114 (java) S 1101 1101 1057 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446289774 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229212050336 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1115] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1115/stat : 1115 (java) S 1101 1101 1057 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446289775 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229210997744 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1116] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1116/stat : 1116 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229209946320 140229712058267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1117] ppid=1101 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1103/task/1117/stat : 1117 (java) S 1101 1101 1057 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229208893936 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1118] ppid=1101 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1103/task/1118/stat : 1118 (java) S 1101 1101 1057 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140229207841392 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1119] ppid=1101 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/1103/task/1119/stat : 1119 (java) S 1101 1101 1057 0 -1 1077944384 308 0 0 0 1 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140228821117680 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1120] ppid=1101 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/1103/task/1120/stat : 1120 (java) R 1101 1101 1057 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140228820062944 140229696120158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1121] ppid=1101 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1121/stat : 1121 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289777 28904853504 10313 33554432000 4194304 4196468 140735624972896 140228819011808 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1122] ppid=1101 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1103/task/1122/stat : 1122 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289778 28904853504 10313 33554432000 4194304 4196468 140735624972896 140228817959344 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42444 KiB

[startup+0.310799 s]*
/proc/loadavg: 7.50 7.39 4.57 6/215 1122
/proc/meminfo: memFree=30987536/32770624 swapFree=67004556/67108860
[pid=1101] ppid=1098 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1101/stat : 1101 (xcsp3-exec) S 1098 1101 1057 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446289771 115843072 363 33554432000 4194304 5098028 140727420091280 140727420089384 140300580909692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19795968 140727420093301 140727420093545 140727420093545 140727420096458 0
/proc/1101/statm: 28282 363 305 221 0 87 0
[pid=1103] ppid=1101 vsize=28231652 memory=49752 CPUtime=0.52 cores=0-7
/proc/1103/stat : 1103 (java) S 1101 1101 1057 0 -1 1077944320 10872 0 0 0 48 4 0 0 20 0 20 0 446289771 28909211648 12438 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7057913 12438 3338 1 0 7019032 0
[pid=1103/tid=1104] ppid=1101 vsize=28231652 memory=4774505469681996649 CPUtime=0.3 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) R 1101 1101 1057 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 20 0 446289772 28909211648 12475 33554432000 4194304 4196468 140735624972896 140229716273456 140229712061597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1101 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28909211648 12475 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1101 vsize=28231652 memory=728 CPUtime=0 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28909211648 12475 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1101 vsize=28231652 memory=4000 CPUtime=0 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12475 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1108] ppid=1101 vsize=28231652 memory=2832 CPUtime=0 cores=0-7
/proc/1103/task/1108/stat : 1108 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229260118672 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1109] ppid=1101 vsize=28231652 memory=1212 CPUtime=0 cores=0-7
/proc/1103/task/1109/stat : 1109 (java) S 1101 1101 1057 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229259066128 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1110] ppid=1101 vsize=28231652 memory=1036 CPUtime=0 cores=0-7
/proc/1103/task/1110/stat : 1110 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229258013584 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1111] ppid=1101 vsize=28231652 memory=14008 CPUtime=0 cores=0-7
/proc/1103/task/1111/stat : 1111 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229256961040 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1112] ppid=1101 vsize=28231652 memory=12024 CPUtime=0 cores=0-7
/proc/1103/task/1112/stat : 1112 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289773 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229255908496 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1113] ppid=1101 vsize=28231652 memory=2116 CPUtime=0 cores=0-7
/proc/1103/task/1113/stat : 1113 (java) S 1101 1101 1057 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446289774 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229213104112 140229712050818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1114] ppid=1101 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1114/stat : 1114 (java) S 1101 1101 1057 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446289774 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229212050336 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1115] ppid=1101 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1115/stat : 1115 (java) S 1101 1101 1057 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446289775 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229210997744 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1116] ppid=1101 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1116/stat : 1116 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229209946320 140229712058267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1117] ppid=1101 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1103/task/1117/stat : 1117 (java) R 1101 1101 1057 0 -1 4202560 535 0 0 0 3 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229208884320 140229691732775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1118] ppid=1101 vsize=28231652 memory=139642137576879 CPUtime=0.02 cores=0-7
/proc/1103/task/1118/stat : 1118 (java) S 1101 1101 1057 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140229207841392 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1119] ppid=1101 vsize=28231652 memory=67 CPUtime=0.03 cores=0-7
/proc/1103/task/1119/stat : 1119 (java) S 1101 1101 1057 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140228821117680 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1120] ppid=1101 vsize=28231652 memory=51172 CPUtime=0.12 cores=0-7
/proc/1103/task/1120/stat : 1120 (java) S 1101 1101 1057 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140228820065136 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1121] ppid=1101 vsize=28231652 memory=110297088 CPUtime=0 cores=0-7
/proc/1103/task/1121/stat : 1121 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446289777 28909211648 12507 33554432000 4194304 4196468 140735624972896 140228819011808 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1122] ppid=1101 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7
/proc/1103/task/1122/stat : 1122 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289778 28909211648 12507 33554432000 4194304 4196468 140735624972896 140228817959344 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51204 KiB

[startup+0.700979 s]
/proc/loadavg: 7.50 7.39 4.57 6/215 1122
/proc/meminfo: memFree=30967252/32770624 swapFree=67004556/67108860
[pid=1101] ppid=1098 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1101/stat : 1101 (xcsp3-exec) S 1098 1101 1057 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446289771 115843072 363 33554432000 4194304 5098028 140727420091280 140727420089384 140300580909692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19795968 140727420093301 140727420093545 140727420093545 140727420096458 0
/proc/1101/statm: 28282 363 305 221 0 87 0
[pid=1103] ppid=1101 vsize=28233776 memory=117144 CPUtime=1.98 cores=0-7
/proc/1103/stat : 1103 (java) S 1101 1101 1057 0 -1 1077944320 18428 0 0 0 191 7 0 0 20 0 20 0 446289771 28911386624 29286 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7058444 29286 3454 1 0 7019544 0
[pid=1103/tid=1104] ppid=1101 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) R 1101 1101 1057 0 -1 4202560 9303 0 0 0 64 4 0 0 20 0 20 0 446289772 28911386624 29286 33554432000 4194304 4196468 140735624972896 140229716274064 140229348221198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1101 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28911386624 29286 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1101 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289772 28911386624 29286 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1101 vsize=28233776 memory=2052 CPUtime=0 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446289773 28911386624 29286 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0

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

[pid=1103/tid=1129] ppid=1101 vsize=28768336 memory=2052 CPUtime=2489.47 cores=0-7
/proc/1103/task/1129/stat : 1129 (java) R 1101 1101 1057 0 -1 4202560 8197 0 0 0 248937 10 0 0 20 0 28 0 446290004 29458776064 183785 33554432000 4194304 4196468 140735624972896 140228732886456 140229351502144 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1130] ppid=1101 vsize=28768336 memory=8112282956445269571 CPUtime=2479 cores=0-7
/proc/1103/task/1130/stat : 1130 (java) R 1101 1101 1057 0 -1 4202560 16417 0 0 0 247877 23 0 0 20 0 28 0 446290004 29458776064 183785 33554432000 4194304 4196468 140735624972896 140228731833704 140229356577605 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current children cumulated CPU time: 19913.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 736592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.96 8.21 8.13 10/224 1346
/proc/meminfo: memFree=30298896/32770624 swapFree=67004556/67108860
[pid=1101] ppid=1098 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1101/stat : 1101 (xcsp3-exec) S 1098 1101 1057 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446289771 115843072 363 33554432000 4194304 5098028 140727420091280 140727420089384 140300580909692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19795968 140727420093301 140727420093545 140727420093545 140727420096458 0
/proc/1101/statm: 28282 363 305 221 0 87 0
[pid=1103] ppid=1101 vsize=28768336 memory=738816 CPUtime=20053.9 cores=0-7
/proc/1103/stat : 1103 (java) S 1101 1101 1057 0 -1 1077944320 364551 0 0 0 2004473 917 0 0 20 0 28 0 446289771 29458776064 184704 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7192084 184704 3548 1 0 7153184 0
[pid=1103/tid=1104] ppid=1101 vsize=28768336 memory=4774505469681996649 CPUtime=2.17 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) S 1101 1101 1057 0 -1 1077944384 12133 0 0 0 209 8 0 0 20 0 28 0 446289772 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229716280448 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1101 vsize=28768336 memory=4126316290023845779 CPUtime=2.87 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1101 1101 1057 0 -1 1077944384 9580 0 0 0 254 33 0 0 20 0 28 0 446289772 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1101 vsize=28768336 memory=804 CPUtime=2.81 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1101 1101 1057 0 -1 1077944384 7080 0 0 0 247 34 0 0 20 0 28 0 446289772 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1101 vsize=28768336 memory=1660 CPUtime=2.86 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1101 1101 1057 0 -1 1077944384 7340 0 0 0 251 35 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1108] ppid=1101 vsize=28768336 memory=4774505469681996649 CPUtime=2.87 cores=0-7
/proc/1103/task/1108/stat : 1108 (java) S 1101 1101 1057 0 -1 1077944384 9971 0 0 0 254 33 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229260118672 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1109] ppid=1101 vsize=28768336 memory=4126316290023845779 CPUtime=2.88 cores=0-7
/proc/1103/task/1109/stat : 1109 (java) S 1101 1101 1057 0 -1 1077944384 8189 0 0 0 254 34 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229259066128 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1110] ppid=1101 vsize=28768336 memory=728 CPUtime=2.85 cores=0-7
/proc/1103/task/1110/stat : 1110 (java) S 1101 1101 1057 0 -1 1077944384 8554 0 0 0 249 36 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229258013584 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1111] ppid=1101 vsize=28768336 memory=4000 CPUtime=2.86 cores=0-7
/proc/1103/task/1111/stat : 1111 (java) S 1101 1101 1057 0 -1 1077944384 7016 0 0 0 249 37 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229256961040 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1112] ppid=1101 vsize=28768336 memory=2832 CPUtime=2.82 cores=0-7
/proc/1103/task/1112/stat : 1112 (java) S 1101 1101 1057 0 -1 1077944384 8572 0 0 0 249 33 0 0 20 0 28 0 446289773 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229255908496 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1113] ppid=1101 vsize=28768336 memory=1212 CPUtime=5.92 cores=0-7
/proc/1103/task/1113/stat : 1113 (java) S 1101 1101 1057 0 -1 1077944384 18477 0 0 0 253 339 0 0 20 0 28 0 446289774 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229213104112 140229712050818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1114] ppid=1101 vsize=28768336 memory=1036 CPUtime=0 cores=0-7
/proc/1103/task/1114/stat : 1114 (java) S 1101 1101 1057 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446289774 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229212050400 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1115] ppid=1101 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/1103/task/1115/stat : 1115 (java) S 1101 1101 1057 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446289775 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229210997760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1116] ppid=1101 vsize=28768336 memory=12024 CPUtime=0 cores=0-7
/proc/1103/task/1116/stat : 1116 (java) S 1101 1101 1057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229209946320 140229712058267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1117] ppid=1101 vsize=28768336 memory=2116 CPUtime=4.59 cores=0-7
/proc/1103/task/1117/stat : 1117 (java) S 1101 1101 1057 0 -1 1077944384 27663 0 0 0 453 6 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229208893936 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1118] ppid=1101 vsize=28768336 memory=25592 CPUtime=4.51 cores=0-7
/proc/1103/task/1118/stat : 1118 (java) S 1101 1101 1057 0 -1 1077944384 27910 0 0 0 446 5 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140229207841392 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1119] ppid=1101 vsize=28768336 memory=1452 CPUtime=4.56 cores=0-7
/proc/1103/task/1119/stat : 1119 (java) S 1101 1101 1057 0 -1 1077944384 26080 0 0 0 452 4 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228821117680 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1120] ppid=1101 vsize=28768336 memory=740312 CPUtime=1.16 cores=0-7
/proc/1103/task/1120/stat : 1120 (java) S 1101 1101 1057 0 -1 1077944384 25533 0 0 0 111 5 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228820065136 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1121] ppid=1101 vsize=28768336 memory=1716 CPUtime=0 cores=0-7
/proc/1103/task/1121/stat : 1121 (java) S 1101 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446289777 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228819011808 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1122] ppid=1101 vsize=28768336 memory=784 CPUtime=0.94 cores=0-7
/proc/1103/task/1122/stat : 1122 (java) S 1101 1101 1057 0 -1 1077944384 3501 0 0 0 0 94 0 0 20 0 28 0 446289778 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228817959344 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1123] ppid=1101 vsize=28768336 memory=1452 CPUtime=2490.07 cores=0-7
/proc/1103/task/1123/stat : 1123 (java) R 1101 1101 1057 0 -1 4202560 12948 0 0 0 248990 17 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228806879736 140229351502313 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1124] ppid=1101 vsize=28768336 memory=740824 CPUtime=2493.58 cores=0-7
/proc/1103/task/1124/stat : 1124 (java) R 1101 1101 1057 0 -1 4202560 9094 0 0 0 249343 15 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228805828392 140229351502096 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1125] ppid=1101 vsize=28768336 memory=1452 CPUtime=2502.94 cores=0-7
/proc/1103/task/1125/stat : 1125 (java) R 1101 1101 1057 0 -1 4202560 12118 0 0 0 250278 16 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228804775848 140229351502346 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1126] ppid=1101 vsize=28768336 memory=1660 CPUtime=2501.97 cores=0-7
/proc/1103/task/1126/stat : 1126 (java) R 1101 1101 1057 0 -1 4202560 26749 0 0 0 250143 54 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228736045496 140229351502168 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1127] ppid=1101 vsize=28768336 memory=4774505469681996649 CPUtime=2509.58 cores=0-7
/proc/1103/task/1127/stat : 1127 (java) R 1101 1101 1057 0 -1 4202560 56146 0 0 0 250832 126 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228734995456 140229352950377 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1128] ppid=1101 vsize=28768336 memory=4126316290023845779 CPUtime=2505.53 cores=0-7
/proc/1103/task/1128/stat : 1128 (java) R 1101 1101 1057 0 -1 4202560 13882 0 0 0 250537 16 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228733939552 140229357792322 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1129] ppid=1101 vsize=28768336 memory=2832 CPUtime=2506.94 cores=0-7
/proc/1103/task/1129/stat : 1129 (java) R 1101 1101 1057 0 -1 4202560 8209 0 0 0 250684 10 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228732886456 140229351502214 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1130] ppid=1101 vsize=28768336 memory=1212 CPUtime=2496.42 cores=0-7
/proc/1103/task/1130/stat : 1130 (java) R 1101 1101 1057 0 -1 4202560 16441 0 0 0 249619 23 0 0 20 0 28 0 446290004 29458776064 184704 33554432000 4194304 4196468 140735624972896 140228731833568 140229351502223 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current children cumulated CPU time: 20053.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 740268 KiB

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

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

[startup+2520.2 s]
# the end of solver process 1103 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20045.5 s, system=9.25104 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: 7.96 8.21 8.13 3/223 1348
/proc/meminfo: memFree=30298896/32770624 swapFree=67004556/67108860
[pid=1103] ppid=1098 vsize=28901464 memory=739008 CPUtime=20054.6 cores=0-7
/proc/1103/stat : 1103 (java) S 1098 1101 1057 0 -1 1077944320 365011 0 0 0 2004542 920 0 0 20 0 28 0 446289771 29595099136 184752 33554432000 4194304 4196468 140735624972896 140735624955440 140229712039671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
/proc/1103/statm: 7225366 184752 3550 1 0 7186466 0
[pid=1103/tid=1104] ppid=1098 vsize=28901464 memory=4774505469681996649 CPUtime=2.17 cores=0-7
/proc/1103/task/1104/stat : 1104 (java) S 1098 1101 1057 0 -1 1077944384 12133 0 0 0 209 8 0 0 20 0 28 0 446289772 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229716280448 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1105] ppid=1098 vsize=28901464 memory=4126316290023845779 CPUtime=2.87 cores=0-7
/proc/1103/task/1105/stat : 1105 (java) S 1098 1101 1057 0 -1 1077944384 9580 0 0 0 254 33 0 0 20 0 28 0 446289772 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229677320464 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1106] ppid=1098 vsize=28901464 memory=2376 CPUtime=2.81 cores=0-7
/proc/1103/task/1106/stat : 1106 (java) S 1098 1101 1057 0 -1 1077944384 7080 0 0 0 247 34 0 0 20 0 28 0 446289772 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229262223760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1107] ppid=1098 vsize=28901464 memory=1768 CPUtime=2.86 cores=0-7
/proc/1103/task/1107/stat : 1107 (java) S 1098 1101 1057 0 -1 1077944384 7340 0 0 0 251 35 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229261171216 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1108] ppid=1098 vsize=28901464 memory=111628 CPUtime=2.87 cores=0-7
/proc/1103/task/1108/stat : 1108 (java) S 1098 1101 1057 0 -1 1077944384 9971 0 0 0 254 33 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229260118672 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1109] ppid=1098 vsize=28901464 memory=1452 CPUtime=2.88 cores=0-7
/proc/1103/task/1109/stat : 1109 (java) S 1098 1101 1057 0 -1 1077944384 8189 0 0 0 254 34 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229259066128 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1110] ppid=1098 vsize=28901464 memory=740312 CPUtime=2.85 cores=0-7
/proc/1103/task/1110/stat : 1110 (java) S 1098 1101 1057 0 -1 1077944384 8554 0 0 0 249 36 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229258013584 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1111] ppid=1098 vsize=28901464 memory=15540712917698067 CPUtime=2.86 cores=0-7
/proc/1103/task/1111/stat : 1111 (java) S 1098 1101 1057 0 -1 1077944384 7016 0 0 0 249 37 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229256961040 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1112] ppid=1098 vsize=28901464 memory=304331840090025900 CPUtime=2.82 cores=0-7
/proc/1103/task/1112/stat : 1112 (java) S 1098 1101 1057 0 -1 1077944384 8572 0 0 0 249 33 0 0 20 0 28 0 446289773 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229255908496 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1113] ppid=1098 vsize=28901464 memory=592562219363037730 CPUtime=5.97 cores=0-7
/proc/1103/task/1113/stat : 1113 (java) R 1098 1101 1057 0 -1 4202560 18477 0 0 0 255 342 0 0 20 0 28 0 446289774 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229213104248 140229704667879 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1114] ppid=1098 vsize=28901464 memory=288293255345605363 CPUtime=0 cores=0-7
/proc/1103/task/1114/stat : 1114 (java) S 1098 1101 1057 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446289774 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229212050400 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1115] ppid=1098 vsize=28901464 memory=319036838424887212 CPUtime=0 cores=0-7
/proc/1103/task/1115/stat : 1115 (java) S 1098 1101 1057 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446289775 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229210997760 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1116] ppid=1098 vsize=28901464 memory=-7171091309919768728 CPUtime=0 cores=0-7
/proc/1103/task/1116/stat : 1116 (java) S 1098 1101 1057 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229209945376 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1117] ppid=1098 vsize=28901464 memory=3544649781680092815 CPUtime=4.59 cores=0-7
/proc/1103/task/1117/stat : 1117 (java) S 1098 1101 1057 0 -1 1077944384 27663 0 0 0 453 6 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229208893936 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1118] ppid=1098 vsize=28901464 memory=3904937756168168404 CPUtime=4.51 cores=0-7
/proc/1103/task/1118/stat : 1118 (java) S 1098 1101 1057 0 -1 1077944384 28089 0 0 0 446 5 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140229207841392 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1119] ppid=1098 vsize=28901464 memory=-6443103296945964437 CPUtime=4.56 cores=0-7
/proc/1103/task/1119/stat : 1119 (java) S 1098 1101 1057 0 -1 1077944384 26080 0 0 0 452 4 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228821117680 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1120] ppid=1098 vsize=28901464 memory=-6079983017413990902 CPUtime=1.16 cores=0-7
/proc/1103/task/1120/stat : 1120 (java) S 1098 1101 1057 0 -1 1077944384 25533 0 0 0 111 5 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228820065136 140229712050818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1121] ppid=1098 vsize=28901464 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1103/task/1121/stat : 1121 (java) S 1098 1101 1057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446289777 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228819011808 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1123] ppid=1098 vsize=28901464 memory=-7375337448733758088 CPUtime=2490.14 cores=0-7
/proc/1103/task/1123/stat : 1123 (java) S 1098 1101 1057 0 -1 1077944384 12948 0 0 0 248997 17 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228806879600 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1124] ppid=1098 vsize=28901464 memory=8112282956445269571 CPUtime=2493.65 cores=0-7
/proc/1103/task/1124/stat : 1124 (java) S 1098 1101 1057 0 -1 1077944384 9094 0 0 0 249350 15 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228805828048 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1125] ppid=1098 vsize=28901464 memory=1984 CPUtime=2503.02 cores=0-7
/proc/1103/task/1125/stat : 1125 (java) S 1098 1101 1057 0 -1 1077944384 12118 0 0 0 250286 16 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228804775712 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1126] ppid=1098 vsize=28901464 memory=2376 CPUtime=2502.05 cores=0-7
/proc/1103/task/1126/stat : 1126 (java) S 1098 1101 1057 0 -1 1077944384 26749 0 0 0 250151 54 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228736044960 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1127] ppid=1098 vsize=28901464 memory=1768 CPUtime=2509.71 cores=0-7
/proc/1103/task/1127/stat : 1127 (java) R 1098 1101 1057 0 -1 4202560 56146 0 0 0 250845 126 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228734995344 140229352950428 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1128] ppid=1098 vsize=28901464 memory=111628 CPUtime=2505.6 cores=0-7
/proc/1103/task/1128/stat : 1128 (java) S 1098 1101 1057 0 -1 1077944384 13882 0 0 0 250544 16 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228733939488 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1129] ppid=1098 vsize=28901464 memory=804 CPUtime=2507.01 cores=0-7
/proc/1103/task/1129/stat : 1129 (java) S 1098 1101 1057 0 -1 1077944384 8209 0 0 0 250691 10 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228732886320 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1130] ppid=1098 vsize=28901464 memory=1452 CPUtime=2496.49 cores=0-7
/proc/1103/task/1130/stat : 1130 (java) S 1098 1101 1057 0 -1 1077944384 16441 0 0 0 249626 23 0 0 20 0 28 0 446290004 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228731833568 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
[pid=1103/tid=1347] ppid=1098 vsize=28901464 memory=740312 CPUtime=0 cores=0-7
/proc/1103/task/1347/stat : 1347 (java) S 1098 1101 1057 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 446541774 29595099136 184752 33554432000 4194304 4196468 140735624972896 140228730786032 140229712049877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10096640 140735624975338 140735624975510 140735624975510 140735624978383 0
Current cumulated CPU time of completed processes: 0.00231 s
Current children cumulated CPU time: 20054.6 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 739008 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 20054.8
CPU user time (s): 20045.5
CPU system time (s): 9.25104
CPU usage (%): 795.76
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 2321928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20045.5
system time used= 9.25104
maximum resident set size= 2326636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76802
involuntary context switches= 241234


# summary of solver processes directly reported to runsolver:
#   pid: 1101,1103
#   total CPU time (s): 20054.8
#   total CPU user time (s): 20045.5
#   total CPU system time (s): 9.25104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.7344 second user time and 27.5533 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-17 08:07:42
IDJOB=4400011
IDBENCH=115771
IDSOLVER=2854
FILE ID=node133/4400011-1568700502
RUNJOBID= node133-1568700462-1084
PBS_JOBID= 21703896
Free space on /tmp= 59576 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-100-20-6.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-4400011-1568700502/watcher-4400011-1568700502 -o /tmp/evaluation-result-4400011-1568700502/solver-4400011-1568700502 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568700462-1084 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1967384268 HOME/instance-4400011-1568700502.xml

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

MD5SUM BENCH= 571b8211ed3e79202e57862d25f221de
RANDOM SEED=1967384268

node133.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.18
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.18
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.18
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.18
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:        31024656 kB
MemAvailable:   31889224 kB
Buffers:          246460 kB
Cached:           908552 kB
SwapCached:         3176 kB
Active:           568188 kB
Inactive:         590152 kB
Active(anon):      27312 kB
Inactive(anon):    24740 kB
Active(file):     540876 kB
Inactive(file):   565412 kB
Unevictable:      111468 kB
Mlocked:          111468 kB
SwapTotal:      67108860 kB
SwapFree:       67004556 kB
Dirty:             26004 kB
Writeback:             0 kB
AnonPages:        112696 kB
Mapped:            48640 kB
Shmem:             40108 kB
Slab:             177388 kB
SReclaimable:     148228 kB
SUnreclaim:        29160 kB
KernelStack:        3344 kB
PageTables:         6104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59552 MiB
End job on node133 at 2019-09-17 08:49:42