Trace number 4394651

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 20067.8 2520.16

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-4394651-1568417805.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394651-1568417805.xml, -tl, 20160s, -p, 8]
0.34/0.24	c 8 solvers in parallel
0.34/0.30	c parse instance...
8.56/2.29	c solve instance...
20067.06/2520.08	s UNKNOWN
20067.06/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 (11934 MiB free)
  memory of node 1: 16384 MiB (15521 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394651-1568417805/watcher-4394651-1568417805 -o /tmp/evaluation-result-4394651-1568417805/solver-4394651-1568417805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568417008-2703 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 977110421 HOME/instance-4394651-1568417805.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=2898, runsolver pid=2895
Starting watchdog thread
solver pid=Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 7.71 6.64 4.11 2/211 2919
/proc/meminfo: memFree=28096696/32770624 swapFree=66999920/67108860
[pid=2898] ppid=2895 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2898/stat : 2898 (xcsp3-exec) S 2895 2898 2676 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418045406 115843072 363 33554432000 4194304 5098028 140734178898448 140734178896552 139921954464380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32264192 140734178906998 140734178907241 140734178907241 140734178910154 0
/proc/2898/statm: 28282 363 304 221 0 87 0
[pid=2900] ppid=2898 vsize=28227388 memory=30080 CPUtime=0.12 cores=0-7
/proc/2900/stat : 2900 (java) S 2898 2898 2676 0 -1 1077944320 5989 0 0 0 11 1 0 0 20 0 20 0 418045406 28904845312 7520 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7056847 7520 3119 1 0 7019032 0
[pid=2900/tid=2901] ppid=2898 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) R 2898 2898 2676 0 -1 4202560 3907 0 0 0 8 1 0 0 20 0 20 0 418045406 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047484547904 140047480337565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2898 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2898 vsize=28227388 memory=140272572262016 CPUtime=0 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2904/stat : 2904 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047430830480 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2905] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2905/stat : 2905 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047429777680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2906] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2906/stat : 2906 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047428725904 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2907] ppid=2898 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2907/stat : 2907 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047427673104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2908] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2908/stat : 2908 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047426620304 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2909] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2909/stat : 2909 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 7520 33554432000 4194304 4196468 140723567264112 140047425567504 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2910] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2910/stat : 2910 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045408 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045607602544 140047480326786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2911] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2911/stat : 2911 (java) S 2898 2898 2676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418045409 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045606548512 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2912] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2912/stat : 2912 (java) S 2898 2898 2676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418045409 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045605495664 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2913] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2913/stat : 2913 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045604443984 140047480334235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2914] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2914/stat : 2914 (java) S 2898 2898 2676 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045603392368 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2915] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2915/stat : 2915 (java) S 2898 2898 2676 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045602339568 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2916] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2916/stat : 2916 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045601286768 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2917] ppid=2898 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/2900/task/2917/stat : 2917 (java) S 2898 2898 2676 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045600233968 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2918] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2918/stat : 2918 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045599181408 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2919] ppid=2898 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2919/stat : 2919 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 7520 33554432000 4194304 4196468 140723567264112 140045598128688 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31532 KiB

[startup+0.210339 s]*
/proc/loadavg: 7.71 6.64 4.11 3/211 2919
/proc/meminfo: memFree=28083592/32770624 swapFree=66999920/67108860
[pid=2898] ppid=2895 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2898/stat : 2898 (xcsp3-exec) S 2895 2898 2676 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418045406 115843072 363 33554432000 4194304 5098028 140734178898448 140734178896552 139921954464380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32264192 140734178906998 140734178907241 140734178907241 140734178910154 0
/proc/2898/statm: 28282 363 304 221 0 87 0
[pid=2900] ppid=2898 vsize=28227388 memory=41108 CPUtime=0.34 cores=0-7
/proc/2900/stat : 2900 (java) S 2898 2898 2676 0 -1 1077944320 9591 0 0 0 31 3 0 0 20 0 20 0 418045406 28904845312 10277 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7056847 10277 3251 1 0 7019032 0
[pid=2900/tid=2901] ppid=2898 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) R 2898 2898 2676 0 -1 4202560 6714 0 0 0 18 2 0 0 20 0 20 0 418045406 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047484549088 140047089281484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2898 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2898 vsize=28227388 memory=140272572280807 CPUtime=0 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2898 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2904/stat : 2904 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047430830480 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2905] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2905/stat : 2905 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047429777680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2906] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2906/stat : 2906 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047428725904 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2907] ppid=2898 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2907/stat : 2907 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047427673104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2908] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2908/stat : 2908 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047426620304 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2909] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2909/stat : 2909 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045407 28904845312 10277 33554432000 4194304 4196468 140723567264112 140047425567504 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2910] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2910/stat : 2910 (java) S 2898 2898 2676 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418045408 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045607602544 140047480326786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2911] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2911/stat : 2911 (java) S 2898 2898 2676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418045409 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045606548512 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2912] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2912/stat : 2912 (java) S 2898 2898 2676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418045409 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045605495664 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2913] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2913/stat : 2913 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045604443984 140047480334235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2914] ppid=2898 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/2900/task/2914/stat : 2914 (java) S 2898 2898 2676 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045603392368 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2915] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2915/stat : 2915 (java) S 2898 2898 2676 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045602339568 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2916] ppid=2898 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/2900/task/2916/stat : 2916 (java) S 2898 2898 2676 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045601286768 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2917] ppid=2898 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/2900/task/2917/stat : 2917 (java) R 2898 2898 2676 0 -1 4202560 722 0 0 0 8 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045600233776 140047459451392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2918] ppid=2898 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2918/stat : 2918 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045599181408 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2919] ppid=2898 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2919/stat : 2919 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28904845312 10277 33554432000 4194304 4196468 140723567264112 140045598128688 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42560 KiB

[startup+0.312633 s]*
/proc/loadavg: 7.71 6.64 4.11 2/211 2919
/proc/meminfo: memFree=28076372/32770624 swapFree=66999920/67108860
[pid=2898] ppid=2895 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2898/stat : 2898 (xcsp3-exec) S 2895 2898 2676 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418045406 115843072 363 33554432000 4194304 5098028 140734178898448 140734178896552 139921954464380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32264192 140734178906998 140734178907241 140734178907241 140734178910154 0
/proc/2898/statm: 28282 363 304 221 0 87 0
[pid=2900] ppid=2898 vsize=28231644 memory=47144 CPUtime=0.47 cores=0-7
/proc/2900/stat : 2900 (java) S 2898 2898 2676 0 -1 1077944320 10641 0 0 0 44 3 0 0 20 0 20 0 418045406 28909203456 11786 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7057911 11786 3336 1 0 7019032 0
[pid=2900/tid=2901] ppid=2898 vsize=28231644 memory=1398722017469774279 CPUtime=0.27 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) R 2898 2898 2676 0 -1 4202560 7659 0 0 0 25 2 0 0 20 0 20 0 418045406 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047484532288 140047464396126 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2904/stat : 2904 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047430830480 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2905] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2905/stat : 2905 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047429777680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2906] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2906/stat : 2906 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047428725904 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2907] ppid=2898 vsize=28231644 memory=140272424020655 CPUtime=0 cores=0-7
/proc/2900/task/2907/stat : 2907 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047427673104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2908] ppid=2898 vsize=28231644 memory=140272424022960 CPUtime=0 cores=0-7
/proc/2900/task/2908/stat : 2908 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047426620304 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2909] ppid=2898 vsize=28231644 memory=140272424025264 CPUtime=0 cores=0-7
/proc/2900/task/2909/stat : 2909 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045407 28909203456 11786 33554432000 4194304 4196468 140723567264112 140047425567504 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2910] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2910/stat : 2910 (java) S 2898 2898 2676 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418045408 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045607602544 140047480326786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2911] ppid=2898 vsize=28231644 memory=280544848064400 CPUtime=0 cores=0-7
/proc/2900/task/2911/stat : 2911 (java) S 2898 2898 2676 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418045409 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045606548512 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2912] ppid=2898 vsize=28231644 memory=280544848062096 CPUtime=0 cores=0-7
/proc/2900/task/2912/stat : 2912 (java) S 2898 2898 2676 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418045409 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045605495664 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2913] ppid=2898 vsize=28231644 memory=280544848069008 CPUtime=0 cores=0-7
/proc/2900/task/2913/stat : 2913 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045604443984 140047480334235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2914] ppid=2898 vsize=28231644 memory=280544848010288 CPUtime=0.02 cores=0-7
/proc/2900/task/2914/stat : 2914 (java) S 2898 2898 2676 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045603392368 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2915] ppid=2898 vsize=28231644 memory=280544848082832 CPUtime=0.01 cores=0-7
/proc/2900/task/2915/stat : 2915 (java) S 2898 2898 2676 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045602339568 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2916] ppid=2898 vsize=28231644 memory=280544848089744 CPUtime=0.03 cores=0-7
/proc/2900/task/2916/stat : 2916 (java) S 2898 2898 2676 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045601286768 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2917] ppid=2898 vsize=28231644 memory=280544848087440 CPUtime=0.11 cores=0-7
/proc/2900/task/2917/stat : 2917 (java) S 2898 2898 2676 0 -1 1077944384 792 0 0 0 11 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045600233968 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2918] ppid=2898 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2918/stat : 2918 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045599181408 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2919] ppid=2898 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/2900/task/2919/stat : 2919 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045412 28909203456 11786 33554432000 4194304 4196468 140723567264112 140045598128688 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 48596 KiB

[startup+0.701075 s]
/proc/loadavg: 7.71 6.64 4.11 4/211 2919
/proc/meminfo: memFree=28054704/32770624 swapFree=66999920/67108860
[pid=2898] ppid=2895 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2898/stat : 2898 (xcsp3-exec) S 2895 2898 2676 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418045406 115843072 363 33554432000 4194304 5098028 140734178898448 140734178896552 139921954464380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32264192 140734178906998 140734178907241 140734178907241 140734178910154 0
/proc/2898/statm: 28282 363 304 221 0 87 0
[pid=2900] ppid=2898 vsize=28233768 memory=109968 CPUtime=1.87 cores=0-7
/proc/2900/stat : 2900 (java) S 2898 2898 2676 0 -1 1077944320 16622 0 0 0 182 5 0 0 20 0 20 0 418045406 28911378432 27492 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7058442 27492 3453 1 0 7019544 0
[pid=2900/tid=2901] ppid=2898 vsize=28233768 memory=0 CPUtime=0.65 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) R 2898 2898 2676 0 -1 4202560 9221 0 0 0 62 3 0 0 20 0 20 0 418045406 28911378432 27492 33554432000 4194304 4196468 140723567264112 140047484541168 140047480337565 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2898 vsize=28233768 memory=140272424231792 CPUtime=0 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418045407 28911378432 27492 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2898 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2898 2898 2676 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418045407 28911378432 27492 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2898 vsize=28233768 memory=776 CPUtime=0 cores=0-7

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

[pid=2900/tid=2926] ppid=2898 vsize=28768328 memory=1452 CPUtime=2480.66 cores=0-7
/proc/2900/task/2926/stat : 2926 (java) R 2898 2898 2676 0 -1 4202560 19499 0 0 0 248042 24 0 0 20 0 28 0 418045642 29458767872 773686 33554432000 4194304 4196468 140723567264112 140045273282960 140047098861103 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2927] ppid=2898 vsize=28768328 memory=1452 CPUtime=2479.26 cores=0-7
/proc/2900/task/2927/stat : 2927 (java) R 2898 2898 2676 0 -1 4202560 12606 0 0 0 247905 21 0 0 20 0 28 0 418045642 29458767872 773686 33554432000 4194304 4196468 140723567264112 140045272227464 140047098861271 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current children cumulated CPU time: 19925.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3096196 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.04 8.23 8.01 9/219 3139
/proc/meminfo: memFree=25010676/32770624 swapFree=66999924/67108860
[pid=2898] ppid=2895 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2898/stat : 2898 (xcsp3-exec) S 2895 2898 2676 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418045406 115843072 363 33554432000 4194304 5098028 140734178898448 140734178896552 139921954464380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32264192 140734178906998 140734178907241 140734178907241 140734178910154 0
/proc/2898/statm: 28282 363 304 221 0 87 0
[pid=2900] ppid=2898 vsize=28768328 memory=3109092 CPUtime=20067.1 cores=0-7
/proc/2900/stat : 2900 (java) S 2898 2898 2676 0 -1 1077944320 700991 0 0 0 2005343 1363 0 0 20 0 28 0 418045406 29458767872 777273 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7192082 777273 3550 1 0 7153184 0
[pid=2900/tid=2901] ppid=2898 vsize=28768328 memory=1398722017469774279 CPUtime=2.17 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) S 2898 2898 2676 0 -1 1077944384 10045 0 0 0 211 6 0 0 20 0 28 0 418045406 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047484556416 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2898 vsize=28768328 memory=2832 CPUtime=3.66 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2898 2898 2676 0 -1 1077944384 10889 0 0 0 316 50 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2898 vsize=28768328 memory=1712 CPUtime=3.65 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2898 2898 2676 0 -1 1077944384 10262 0 0 0 311 54 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2898 vsize=28768328 memory=1220 CPUtime=3.68 cores=0-7
/proc/2900/task/2904/stat : 2904 (java) S 2898 2898 2676 0 -1 1077944384 8185 0 0 0 311 57 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047430830480 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2905] ppid=2898 vsize=28768328 memory=4126316290023845779 CPUtime=3.62 cores=0-7
/proc/2900/task/2905/stat : 2905 (java) S 2898 2898 2676 0 -1 1077944384 14215 0 0 0 310 52 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047429777680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2906] ppid=2898 vsize=28768328 memory=4128 CPUtime=3.61 cores=0-7
/proc/2900/task/2906/stat : 2906 (java) S 2898 2898 2676 0 -1 1077944384 8782 0 0 0 309 52 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047428725904 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2907] ppid=2898 vsize=28768328 memory=1452 CPUtime=3.68 cores=0-7
/proc/2900/task/2907/stat : 2907 (java) S 2898 2898 2676 0 -1 1077944384 9683 0 0 0 311 57 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047427673104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2908] ppid=2898 vsize=28768328 memory=8112282956445269571 CPUtime=3.63 cores=0-7
/proc/2900/task/2908/stat : 2908 (java) S 2898 2898 2676 0 -1 1077944384 12839 0 0 0 310 53 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047426620304 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2909] ppid=2898 vsize=28768328 memory=692 CPUtime=3.7 cores=0-7
/proc/2900/task/2909/stat : 2909 (java) S 2898 2898 2676 0 -1 1077944384 13541 0 0 0 314 56 0 0 20 0 28 0 418045407 29458767872 777273 33554432000 4194304 4196468 140723567264112 140047425567504 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2910] ppid=2898 vsize=28768328 memory=4128 CPUtime=4.02 cores=0-7
/proc/2900/task/2910/stat : 2910 (java) S 2898 2898 2676 0 -1 1077944384 27035 0 0 0 188 214 0 0 20 0 28 0 418045408 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045607602544 140047480326786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2911] ppid=2898 vsize=28768328 memory=2832 CPUtime=0 cores=0-7
/proc/2900/task/2911/stat : 2911 (java) S 2898 2898 2676 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 418045409 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045606548576 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2912] ppid=2898 vsize=28768328 memory=1712 CPUtime=0 cores=0-7
/proc/2900/task/2912/stat : 2912 (java) S 2898 2898 2676 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 418045409 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045605495680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2913] ppid=2898 vsize=28768328 memory=1220 CPUtime=0 cores=0-7
/proc/2900/task/2913/stat : 2913 (java) S 2898 2898 2676 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045604443984 140047480334235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2914] ppid=2898 vsize=28768328 memory=8112282956445269571 CPUtime=10.6 cores=0-7
/proc/2900/task/2914/stat : 2914 (java) S 2898 2898 2676 0 -1 1077944384 69804 0 0 0 1050 10 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045603392368 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2915] ppid=2898 vsize=28768328 memory=5988 CPUtime=11.06 cores=0-7
/proc/2900/task/2915/stat : 2915 (java) S 2898 2898 2676 0 -1 1077944384 82364 0 0 0 1096 10 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045602339568 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2916] ppid=2898 vsize=28768328 memory=1544 CPUtime=10.65 cores=0-7
/proc/2900/task/2916/stat : 2916 (java) S 2898 2898 2676 0 -1 1077944384 77131 0 0 0 1053 12 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045601286768 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2917] ppid=2898 vsize=28768328 memory=776 CPUtime=1.63 cores=0-7
/proc/2900/task/2917/stat : 2917 (java) S 2898 2898 2676 0 -1 1077944384 38865 0 0 0 156 7 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045600233968 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2918] ppid=2898 vsize=28768328 memory=1056 CPUtime=0 cores=0-7
/proc/2900/task/2918/stat : 2918 (java) S 2898 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045599181408 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2919] ppid=2898 vsize=28768328 memory=14012 CPUtime=0.92 cores=0-7
/proc/2900/task/2919/stat : 2919 (java) S 2898 2898 2676 0 -1 1077944384 8142 0 0 0 24 68 0 0 20 0 28 0 418045412 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045598128688 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2920] ppid=2898 vsize=28768328 memory=21180 CPUtime=2493.73 cores=0-7
/proc/2900/task/2920/stat : 2920 (java) R 2898 2898 2676 0 -1 4202560 15821 0 0 0 249352 21 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045597067592 140047098861312 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2921] ppid=2898 vsize=28768328 memory=3580 CPUtime=2501.54 cores=0-7
/proc/2900/task/2921/stat : 2921 (java) R 2898 2898 2676 0 -1 4202560 11397 0 0 0 250136 18 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045278543240 140047098861348 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2922] ppid=2898 vsize=28768328 memory=40256 CPUtime=2499.83 cores=0-7
/proc/2900/task/2922/stat : 2922 (java) R 2898 2898 2676 0 -1 4202560 135762 0 0 0 249676 307 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045277491448 140047099681118 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2923] ppid=2898 vsize=28768328 memory=988 CPUtime=2502.27 cores=0-7
/proc/2900/task/2923/stat : 2923 (java) R 2898 2898 2676 0 -1 4202560 26133 0 0 0 250188 39 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045276438648 140047098861127 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2924] ppid=2898 vsize=28768328 memory=992 CPUtime=2504.15 cores=0-7
/proc/2900/task/2924/stat : 2924 (java) R 2898 2898 2676 0 -1 4202560 17389 0 0 0 250394 21 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045275385344 140047098861251 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2925] ppid=2898 vsize=28768328 memory=5988 CPUtime=2499.76 cores=0-7
/proc/2900/task/2925/stat : 2925 (java) R 2898 2898 2676 0 -1 4202560 59139 0 0 0 249756 220 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045274335792 140047093940644 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2926] ppid=2898 vsize=28768328 memory=1544 CPUtime=2498.35 cores=0-7
/proc/2900/task/2926/stat : 2926 (java) R 2898 2898 2676 0 -1 4202560 19508 0 0 0 249811 24 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045273280120 140047098860980 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2927] ppid=2898 vsize=28768328 memory=776 CPUtime=2496.93 cores=0-7
/proc/2900/task/2927/stat : 2927 (java) R 2898 2898 2676 0 -1 4202560 12632 0 0 0 249672 21 0 0 20 0 28 0 418045642 29458767872 777273 33554432000 4194304 4196468 140723567264112 140045272227464 140047098861374 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current children cumulated CPU time: 20067.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3110544 KiB

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

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

[startup+2520.16 s]
# the end of solver process 2900 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20054.1 s, system=13.692 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.04 8.23 8.01 3/218 3141
/proc/meminfo: memFree=25010852/32770624 swapFree=66999924/67108860
[pid=2900] ppid=2895 vsize=28901456 memory=3109296 CPUtime=20067.8 cores=0-7
/proc/2900/stat : 2900 (java) S 2895 2898 2676 0 -1 1077944320 701224 0 0 0 2005413 1366 0 0 20 0 28 0 418045406 29595090944 777324 33554432000 4194304 4196468 140723567264112 140723567246656 140047480315639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
/proc/2900/statm: 7225364 777324 3552 1 0 7186466 0
[pid=2900/tid=2901] ppid=2895 vsize=28901456 memory=1398722017469774279 CPUtime=2.17 cores=0-7
/proc/2900/task/2901/stat : 2901 (java) S 2895 2898 2676 0 -1 1077944384 10045 0 0 0 211 6 0 0 20 0 28 0 418045406 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047484556416 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2902] ppid=2895 vsize=28901456 memory=4126316290023845779 CPUtime=3.66 cores=0-7
/proc/2900/task/2902/stat : 2902 (java) S 2895 2898 2676 0 -1 1077944384 10889 0 0 0 316 50 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047432936080 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2903] ppid=2895 vsize=28901456 memory=8112282956445269571 CPUtime=3.65 cores=0-7
/proc/2900/task/2903/stat : 2903 (java) S 2895 2898 2676 0 -1 1077944384 10262 0 0 0 311 54 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047431883280 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2904] ppid=2895 vsize=28901456 memory=3109092 CPUtime=3.68 cores=0-7
/proc/2900/task/2904/stat : 2904 (java) S 2895 2898 2676 0 -1 1077944384 8185 0 0 0 311 57 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047430830480 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2905] ppid=2895 vsize=28901456 memory=9536 CPUtime=3.62 cores=0-7
/proc/2900/task/2905/stat : 2905 (java) S 2895 2898 2676 0 -1 1077944384 14215 0 0 0 310 52 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047429777680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2906] ppid=2895 vsize=28901456 memory=692 CPUtime=3.61 cores=0-7
/proc/2900/task/2906/stat : 2906 (java) S 2895 2898 2676 0 -1 1077944384 8782 0 0 0 309 52 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047428725904 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2907] ppid=2895 vsize=28901456 memory=4128 CPUtime=3.68 cores=0-7
/proc/2900/task/2907/stat : 2907 (java) S 2895 2898 2676 0 -1 1077944384 9683 0 0 0 311 57 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047427673104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2908] ppid=2895 vsize=28901456 memory=2832 CPUtime=3.63 cores=0-7
/proc/2900/task/2908/stat : 2908 (java) S 2895 2898 2676 0 -1 1077944384 12839 0 0 0 310 53 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047426620304 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2909] ppid=2895 vsize=28901456 memory=1712 CPUtime=3.7 cores=0-7
/proc/2900/task/2909/stat : 2909 (java) S 2895 2898 2676 0 -1 1077944384 13541 0 0 0 314 56 0 0 20 0 28 0 418045407 29595090944 777324 33554432000 4194304 4196468 140723567264112 140047425567504 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2910] ppid=2895 vsize=28901456 memory=1220 CPUtime=4.07 cores=0-7
/proc/2900/task/2910/stat : 2910 (java) R 2895 2898 2676 0 -1 4202560 27035 0 0 0 190 217 0 0 20 0 28 0 418045408 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045607602680 140047472943847 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2911] ppid=2895 vsize=28901456 memory=992 CPUtime=0 cores=0-7
/proc/2900/task/2911/stat : 2911 (java) S 2895 2898 2676 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 418045409 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045606548576 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2912] ppid=2895 vsize=28901456 memory=1440 CPUtime=0 cores=0-7
/proc/2900/task/2912/stat : 2912 (java) S 2895 2898 2676 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 418045409 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045605495680 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2913] ppid=2895 vsize=28901456 memory=1760 CPUtime=0 cores=0-7
/proc/2900/task/2913/stat : 2913 (java) S 2895 2898 2676 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045604443040 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2914] ppid=2895 vsize=28901456 memory=111632 CPUtime=10.6 cores=0-7
/proc/2900/task/2914/stat : 2914 (java) S 2895 2898 2676 0 -1 1077944384 69804 0 0 0 1050 10 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045603392368 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2915] ppid=2895 vsize=28901456 memory=800 CPUtime=11.06 cores=0-7
/proc/2900/task/2915/stat : 2915 (java) S 2895 2898 2676 0 -1 1077944384 82364 0 0 0 1096 10 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045602339568 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2916] ppid=2895 vsize=28901456 memory=4100 CPUtime=10.65 cores=0-7
/proc/2900/task/2916/stat : 2916 (java) S 2895 2898 2676 0 -1 1077944384 77131 0 0 0 1053 12 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045601286768 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2917] ppid=2895 vsize=28901456 memory=1804 CPUtime=1.63 cores=0-7
/proc/2900/task/2917/stat : 2917 (java) S 2895 2898 2676 0 -1 1077944384 38865 0 0 0 156 7 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045600233968 140047480326786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2918] ppid=2895 vsize=28901456 memory=920 CPUtime=0 cores=0-7
/proc/2900/task/2918/stat : 2918 (java) S 2895 2898 2676 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418045412 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045599181408 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2920] ppid=2895 vsize=28901456 memory=4200 CPUtime=2493.81 cores=0-7
/proc/2900/task/2920/stat : 2920 (java) S 2895 2898 2676 0 -1 1077944384 15821 0 0 0 249360 21 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045597067456 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2921] ppid=2895 vsize=28901456 memory=1408 CPUtime=2501.62 cores=0-7
/proc/2900/task/2921/stat : 2921 (java) S 2895 2898 2676 0 -1 1077944384 11397 0 0 0 250144 18 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045278543104 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2922] ppid=2895 vsize=28901456 memory=3788 CPUtime=2499.91 cores=0-7
/proc/2900/task/2922/stat : 2922 (java) S 2895 2898 2676 0 -1 1077944384 135762 0 0 0 249684 307 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045277491312 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2923] ppid=2895 vsize=28901456 memory=1452 CPUtime=2502.35 cores=0-7
/proc/2900/task/2923/stat : 2923 (java) S 2895 2898 2676 0 -1 1077944384 26134 0 0 0 250196 39 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045276438800 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2924] ppid=2895 vsize=28901456 memory=3109092 CPUtime=2504.23 cores=0-7
/proc/2900/task/2924/stat : 2924 (java) S 2895 2898 2676 0 -1 1077944384 17389 0 0 0 250402 21 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045275385968 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2925] ppid=2895 vsize=28901456 memory=1660 CPUtime=2499.89 cores=0-7
/proc/2900/task/2925/stat : 2925 (java) R 2895 2898 2676 0 -1 4202560 59139 0 0 0 249769 220 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045274335792 140047093940705 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2926] ppid=2895 vsize=28901456 memory=7379242982922480231 CPUtime=2498.42 cores=0-7
/proc/2900/task/2926/stat : 2926 (java) S 2895 2898 2676 0 -1 1077944384 19512 0 0 0 249818 24 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045273280192 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=2927] ppid=2895 vsize=28901456 memory=7518308109780674406 CPUtime=2497.01 cores=0-7
/proc/2900/task/2927/stat : 2927 (java) S 2895 2898 2676 0 -1 1077944384 12632 0 0 0 249680 21 0 0 20 0 28 0 418045642 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045272227328 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
[pid=2900/tid=3140] ppid=2895 vsize=28901456 memory=5787477641288517003 CPUtime=0 cores=0-7
/proc/2900/task/3140/stat : 3140 (java) S 2895 2898 2676 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418297408 29595090944 777324 33554432000 4194304 4196468 140723567264112 140045271179376 140047480325845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140723567272938 140723567273110 140723567273110 140723567275983 0
Current cumulated CPU time of completed processes: 0.00245 s
Current children cumulated CPU time: 20067.8 s
Current children cumulated vsize: 28901456 KiB
Current children cumulated memory: 3109296 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 20067.8
CPU user time (s): 20054.1
CPU system time (s): 13.692
CPU usage (%): 796.291
Max. virtual memory (cumulated for all children) (KiB): 28901456
Max. memory (cumulated for all children) (KiB): 3110544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20054.1
system time used= 13.692
maximum resident set size= 3109568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701799
page faults= 0
swaps= 0
block input operations= 6520
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73610
involuntary context switches= 224567


# summary of solver processes directly reported to runsolver:
#   pid: 2898,2900
#   total CPU time (s): 20067.8
#   total CPU user time (s): 20054.1
#   total CPU system time (s): 13.692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.4446 second user time and 23.4094 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 01:36:06
IDJOB=4394651
IDBENCH=115771
IDSOLVER=2843
FILE ID=node123/4394651-1568417805
RUNJOBID= node123-1568417008-2703
PBS_JOBID= 21702266
Free space on /tmp= 59184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
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-4394651-1568417805/watcher-4394651-1568417805 -o /tmp/evaluation-result-4394651-1568417805/solver-4394651-1568417805 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568417008-2703 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 977110421 HOME/instance-4394651-1568417805.xml

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

MD5SUM BENCH= 571b8211ed3e79202e57862d25f221de
RANDOM SEED=977110421

node123.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.49
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.49
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.49
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.49
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:        28114656 kB
MemAvailable:   31871248 kB
Buffers:          141556 kB
Cached:          3879240 kB
SwapCached:         7388 kB
Active:          1195288 kB
Inactive:        2837324 kB
Active(anon):       3636 kB
Inactive(anon):    49336 kB
Active(file):    1191652 kB
Inactive(file):  2787988 kB
Unevictable:      107512 kB
Mlocked:          107512 kB
SwapTotal:      67108860 kB
SwapFree:       66999920 kB
Dirty:             26188 kB
Writeback:             0 kB
AnonPages:        112600 kB
Mapped:            44360 kB
Shmem:             32684 kB
Slab:             215140 kB
SReclaimable:     185576 kB
SUnreclaim:        29564 kB
KernelStack:        3360 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59156 MiB
End job on node123 at 2019-09-14 02:18:07