Trace number 4270742

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 4.0.5 par (2017-08-09)? (TO) 20088.801 2520.1699

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-200-10-2.xml
MD5SUM902fa3fa04f876c9ed200148bd67d93f
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 variables2200
Number of constraints2210
Number of domains1
Minimum domain size11022
Maximum domain size11022
Distribution of domain sizes[{"size":11022,"count":2200}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity200
Distribution of constraint arities[{"arity":1,"count":200},{"arity":2,"count":2000},{"arity":200,"count":10}]
Number of extensional constraints0
Number of intensional constraints2200
Distribution of constraint types[{"type":"intension","count":2200},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270742-1502653480.xml"  -tl '20160s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4270742-1502653480.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
5.56/1.55	c solve instance...
20087.85/2520.09	s UNKNOWN
20087.85/2520.09	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 (13350 MiB free)
  memory of node 1: 16384 MiB (13842 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270742-1502653480/watcher-4270742-1502653480 -o /tmp/evaluation-result-4270742-1502653480/solver-4270742-1502653480 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502650100-15528 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 521485203 HOME/instance-4270742-1502653480.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=15923, runsolver pid=15920
Current StackSize limit: 8192 KiB


[startup+0.104691 s]*
/proc/loadavg: 8.10 7.94 7.62 2/201 15944
/proc/meminfo: memFree=27827940/32770624 swapFree=67108860/67108860
[pid=15923] ppid=15920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15923/stat : 15923 (xcsp3-exec) S 15920 15923 15501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98428911 9740288 346 33554432000 4194304 5098028 140723894045360 140723894043464 140653386433148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140723894047845 140723894048055 140723894048055 140723894050795 0
/proc/15923/statm: 2378 346 289 221 0 87 0
[pid=15925] ppid=15923 vsize=25999808 memory=29040 CPUtime=0.12 cores=0-7
/proc/15925/stat : 15925 (java) S 15923 15923 15501 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 98428912 26623803392 7260 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6499952 7260 2850 1 0 6488269 0
[pid=15925/tid=15926] ppid=15923 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) R 15923 15923 15501 0 -1 4202560 3693 0 0 0 8 1 0 0 20 0 20 0 98428912 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921319890480 139921315683734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15923 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15923 vsize=25999808 memory=140080974534272 CPUtime=0 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15930] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15930/stat : 15930 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921265133968 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15931] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15931/stat : 15931 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921264081936 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15932] ppid=15923 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15932/stat : 15932 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921263029392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15933] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15933/stat : 15933 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921261976336 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15934] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15934/stat : 15934 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428913 26623803392 7260 33554432000 4194304 4196468 140727275555008 139921260923792 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15935] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15935/stat : 15935 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428914 26623803392 7325 33554432000 4194304 4196468 140727275555008 139920443005168 139921315682946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15936] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15936/stat : 15936 (java) S 15923 15923 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98428915 26623803392 7325 33554432000 4194304 4196468 140727275555008 139920441951392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15937] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15937/stat : 15937 (java) S 15923 15923 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98428915 26623803392 7325 33554432000 4194304 4196468 140727275555008 139920440898288 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15938] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15938/stat : 15938 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428917 26623803392 7325 33554432000 4194304 4196468 140727275555008 139920439846864 139921315690395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15939] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15939/stat : 15939 (java) S 15923 15923 15501 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 98428917 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919448599280 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15940] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15940/stat : 15940 (java) S 15923 15923 15501 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 98428917 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919447546736 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15941] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15941/stat : 15941 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428917 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919446493680 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15942] ppid=15923 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15925/task/15942/stat : 15942 (java) R 15923 15923 15501 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 20 0 98428917 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919445441136 139921294597510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15943] ppid=15923 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15943/stat : 15943 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428918 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919444388320 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15944] ppid=15923 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15944/stat : 15944 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428918 26623803392 7325 33554432000 4194304 4196468 140727275555008 139919443335856 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 30424 KiB

[startup+0.210586 s]*
/proc/loadavg: 8.10 7.94 7.62 2/201 15944
/proc/meminfo: memFree=27818824/32770624 swapFree=67108860/67108860
[pid=15923] ppid=15920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15923/stat : 15923 (xcsp3-exec) S 15920 15923 15501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98428911 9740288 346 33554432000 4194304 5098028 140723894045360 140723894043464 140653386433148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140723894047845 140723894048055 140723894048055 140723894050795 0
/proc/15923/statm: 2378 346 289 221 0 87 0
[pid=15925] ppid=15923 vsize=26004064 memory=40488 CPUtime=0.33 cores=0-7
/proc/15925/stat : 15925 (java) S 15923 15923 15501 0 -1 1077944320 8209 0 0 0 30 3 0 0 20 0 20 0 98428912 26628161536 10122 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6501016 10122 3019 1 0 6488269 0
[pid=15925/tid=15926] ppid=15923 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) R 15923 15923 15501 0 -1 4202560 5419 0 0 0 18 2 0 0 20 0 20 0 98428912 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921319892624 139921315693725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15923 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15923 vsize=26004064 memory=288370457126246016 CPUtime=0 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15930] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15930/stat : 15930 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921265133968 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15931] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15931/stat : 15931 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921264081936 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15932] ppid=15923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15932/stat : 15932 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921263029392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15933] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15933/stat : 15933 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921261976336 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15934] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15934/stat : 15934 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 10122 33554432000 4194304 4196468 140727275555008 139921260923792 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15935] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15935/stat : 15935 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428914 26628161536 10122 33554432000 4194304 4196468 140727275555008 139920443005168 139921315682946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15936] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15936/stat : 15936 (java) S 15923 15923 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98428915 26628161536 10122 33554432000 4194304 4196468 140727275555008 139920441951392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15937] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15937/stat : 15937 (java) S 15923 15923 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98428915 26628161536 10122 33554432000 4194304 4196468 140727275555008 139920440898288 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15938] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15938/stat : 15938 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428917 26628161536 10122 33554432000 4194304 4196468 140727275555008 139920439846864 139921315690395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15939] ppid=15923 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15925/task/15939/stat : 15939 (java) S 15923 15923 15501 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 98428917 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919448599280 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15940] ppid=15923 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/15925/task/15940/stat : 15940 (java) S 15923 15923 15501 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 98428917 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919447546736 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15941] ppid=15923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15941/stat : 15941 (java) S 15923 15923 15501 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 98428917 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919446493680 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15942] ppid=15923 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/15925/task/15942/stat : 15942 (java) S 15923 15923 15501 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 20 0 98428917 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919445441136 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15943] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15943/stat : 15943 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428918 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919444388320 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15944] ppid=15923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15944/stat : 15944 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428918 26628161536 10122 33554432000 4194304 4196468 140727275555008 139919443335856 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41872 KiB

[startup+0.310528 s]*
/proc/loadavg: 8.10 7.94 7.62 3/201 15944
/proc/meminfo: memFree=27812372/32770624 swapFree=67108860/67108860
[pid=15923] ppid=15920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15923/stat : 15923 (xcsp3-exec) S 15920 15923 15501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98428911 9740288 346 33554432000 4194304 5098028 140723894045360 140723894043464 140653386433148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140723894047845 140723894048055 140723894048055 140723894050795 0
/proc/15923/statm: 2378 346 289 221 0 87 0
[pid=15925] ppid=15923 vsize=26004064 memory=46212 CPUtime=0.5 cores=0-7
/proc/15925/stat : 15925 (java) S 15923 15923 15501 0 -1 1077944320 9254 0 0 0 46 4 0 0 20 0 20 0 98428912 26628161536 11553 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6501016 11553 3117 1 0 6488269 0
[pid=15925/tid=15926] ppid=15923 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) R 15923 15923 15501 0 -1 4202560 6102 0 0 0 26 3 0 0 20 0 20 0 98428912 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921319907984 139921315683734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15930] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15930/stat : 15930 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921265133968 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15931] ppid=15923 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15925/task/15931/stat : 15931 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921264081936 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15932] ppid=15923 vsize=26004064 memory=140080828216239 CPUtime=0 cores=0-7
/proc/15925/task/15932/stat : 15932 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921263029392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15933] ppid=15923 vsize=26004064 memory=140080828218544 CPUtime=0 cores=0-7
/proc/15925/task/15933/stat : 15933 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921261976336 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15934] ppid=15923 vsize=26004064 memory=140080828220848 CPUtime=0 cores=0-7
/proc/15925/task/15934/stat : 15934 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428913 26628161536 11553 33554432000 4194304 4196468 140727275555008 139921260923792 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15935] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15935/stat : 15935 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428914 26628161536 11553 33554432000 4194304 4196468 140727275555008 139920443005168 139921315682946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15936] ppid=15923 vsize=26004064 memory=280161656448656 CPUtime=0 cores=0-7
/proc/15925/task/15936/stat : 15936 (java) S 15923 15923 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98428915 26628161536 11553 33554432000 4194304 4196468 140727275555008 139920441951392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15937] ppid=15923 vsize=26004064 memory=280161656455568 CPUtime=0 cores=0-7
/proc/15925/task/15937/stat : 15937 (java) S 15923 15923 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98428915 26628161536 11553 33554432000 4194304 4196468 140727275555008 139920440898288 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15938] ppid=15923 vsize=26004064 memory=280161656396848 CPUtime=0 cores=0-7
/proc/15925/task/15938/stat : 15938 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428917 26628161536 11553 33554432000 4194304 4196468 140727275555008 139920439846864 139921315690395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15939] ppid=15923 vsize=26004064 memory=280161656469392 CPUtime=0.02 cores=0-7
/proc/15925/task/15939/stat : 15939 (java) S 15923 15923 15501 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 98428917 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919448599280 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15940] ppid=15923 vsize=26004064 memory=280161656476304 CPUtime=0.02 cores=0-7
/proc/15925/task/15940/stat : 15940 (java) S 15923 15923 15501 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 98428917 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919447546736 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15941] ppid=15923 vsize=26004064 memory=280161656474000 CPUtime=0.01 cores=0-7
/proc/15925/task/15941/stat : 15941 (java) S 15923 15923 15501 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 98428917 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919446493680 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15942] ppid=15923 vsize=26004064 memory=280161656490160 CPUtime=0.12 cores=0-7
/proc/15925/task/15942/stat : 15942 (java) R 15923 15923 15501 0 -1 4202560 834 0 0 0 12 0 0 0 20 0 20 0 98428917 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919445437504 139921293266538 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15943] ppid=15923 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15943/stat : 15943 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98428918 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919444388320 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15944] ppid=15923 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15925/task/15944/stat : 15944 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98428918 26628161536 11553 33554432000 4194304 4196468 140727275555008 139919443335856 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47596 KiB

[startup+0.700928 s]
/proc/loadavg: 8.10 7.94 7.62 6/201 15944
/proc/meminfo: memFree=27780964/32770624 swapFree=67108860/67108860
[pid=15923] ppid=15920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15923/stat : 15923 (xcsp3-exec) S 15920 15923 15501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98428911 9740288 346 33554432000 4194304 5098028 140723894045360 140723894043464 140653386433148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140723894047845 140723894048055 140723894048055 140723894050795 0
/proc/15923/statm: 2378 346 289 221 0 87 0
[pid=15925] ppid=15923 vsize=26006188 memory=113908 CPUtime=1.96 cores=0-7
/proc/15925/stat : 15925 (java) S 15923 15923 15501 0 -1 1077944320 14453 0 0 0 190 6 0 0 20 0 20 0 98428912 26630336512 28477 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6501547 28477 3205 1 0 6488781 0
[pid=15925/tid=15926] ppid=15923 vsize=26006188 memory=280161656848048 CPUtime=0.67 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) R 15923 15923 15501 0 -1 4202560 6759 0 0 0 63 4 0 0 20 0 20 0 98428912 26630336512 28477 33554432000 4194304 4196468 140727275555008 139921319908144 139920929019668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15923 vsize=26006188 memory=140080828425072 CPUtime=0 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26630336512 28477 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15923 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26630336512 28477 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15923 vsize=26006188 memory=8612 CPUtime=0 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15923 15923 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98428913 26630336512 28477 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0

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

[pid=15925/tid=15950] ppid=15923 vsize=26538700 memory=4144 CPUtime=2494.12 cores=0-7
/proc/15925/task/15950/stat : 15950 (java) R 15923 15923 15501 0 -1 4202560 9279 0 0 0 249396 16 0 0 20 0 28 0 98429070 27175628800 612377 33554432000 4194304 4196468 140727275555008 139918557822376 139920937620046 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15951] ppid=15923 vsize=26538700 memory=28788 CPUtime=2478.84 cores=0-7
/proc/15925/task/15951/stat : 15951 (java) R 15923 15923 15501 0 -1 4202560 15229 0 0 0 247867 17 0 0 20 0 28 0 98429070 27175628800 612377 33554432000 4194304 4196468 140727275555008 139918556769192 139920932231774 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15952] ppid=15923 vsize=26538700 memory=1296 CPUtime=2481.74 cores=0-7
/proc/15925/task/15952/stat : 15952 (java) R 15923 15923 15501 0 -1 4202560 21359 0 0 0 248146 28 0 0 20 0 28 0 98429070 27175628800 612377 33554432000 4194304 4196468 140727275555008 139918555717528 139920937620023 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current children cumulated CPU time: 19946.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2450892 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.18 8.22 8.27 9/208 16006
/proc/meminfo: memFree=25404652/32770624 swapFree=67108860/67108860
[pid=15923] ppid=15920 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15923/stat : 15923 (xcsp3-exec) S 15920 15923 15501 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98428911 9740288 346 33554432000 4194304 5098028 140723894045360 140723894043464 140653386433148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140723894047845 140723894048055 140723894048055 140723894050795 0
/proc/15923/statm: 2378 346 289 221 0 87 0
[pid=15925] ppid=15923 vsize=26538700 memory=2451576 CPUtime=20087.8 cores=0-7
/proc/15925/stat : 15925 (java) S 15923 15923 15501 0 -1 1077944320 361428 0 0 0 2008115 670 0 0 20 0 28 0 98428912 27175628800 612894 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6634675 612894 3296 1 0 6621909 0
[pid=15925/tid=15926] ppid=15923 vsize=26538700 memory=1398720917958146503 CPUtime=1.43 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) S 15923 15923 15501 0 -1 1077944384 7099 0 0 0 138 5 0 0 20 0 28 0 98428912 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921319912576 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15923 vsize=26538700 memory=4872558044660077418 CPUtime=2.82 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15923 15923 15501 0 -1 1077944384 8116 0 0 0 245 37 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15923 vsize=26538700 memory=18476 CPUtime=2.85 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15923 15923 15501 0 -1 1077944384 6089 0 0 0 246 39 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15923 vsize=26538700 memory=17056 CPUtime=2.82 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15923 15923 15501 0 -1 1077944384 5317 0 0 0 243 39 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15930] ppid=15923 vsize=26538700 memory=4048 CPUtime=2.8 cores=0-7
/proc/15925/task/15930/stat : 15930 (java) S 15923 15923 15501 0 -1 1077944384 6292 0 0 0 244 36 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921265133968 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15931] ppid=15923 vsize=26538700 memory=1792 CPUtime=2.81 cores=0-7
/proc/15925/task/15931/stat : 15931 (java) S 15923 15923 15501 0 -1 1077944384 6853 0 0 0 242 39 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921264081936 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15932] ppid=15923 vsize=26538700 memory=648 CPUtime=2.83 cores=0-7
/proc/15925/task/15932/stat : 15932 (java) S 15923 15923 15501 0 -1 1077944384 8916 0 0 0 243 40 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921263029392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15933] ppid=15923 vsize=26538700 memory=648 CPUtime=2.85 cores=0-7
/proc/15925/task/15933/stat : 15933 (java) S 15923 15923 15501 0 -1 1077944384 7346 0 0 0 247 38 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921261976336 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15934] ppid=15923 vsize=26538700 memory=1240 CPUtime=2.78 cores=0-7
/proc/15925/task/15934/stat : 15934 (java) S 15923 15923 15501 0 -1 1077944384 7629 0 0 0 241 37 0 0 20 0 28 0 98428913 27175628800 612894 33554432000 4194304 4196468 140727275555008 139921260923792 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15935] ppid=15923 vsize=26538700 memory=960 CPUtime=1.81 cores=0-7
/proc/15925/task/15935/stat : 15935 (java) S 15923 15923 15501 0 -1 1077944384 19213 0 0 0 113 68 0 0 20 0 28 0 98428914 27175628800 612894 33554432000 4194304 4196468 140727275555008 139920443005168 139921315682946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15936] ppid=15923 vsize=26538700 memory=2340 CPUtime=0 cores=0-7
/proc/15925/task/15936/stat : 15936 (java) S 15923 15923 15501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 98428915 27175628800 612894 33554432000 4194304 4196468 140727275555008 139920441951456 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15937] ppid=15923 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/15925/task/15937/stat : 15937 (java) S 15923 15923 15501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 98428915 27175628800 612894 33554432000 4194304 4196468 140727275555008 139920440898304 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15938] ppid=15923 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/15925/task/15938/stat : 15938 (java) S 15923 15923 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98428917 27175628800 612894 33554432000 4194304 4196468 140727275555008 139920439846864 139921315690395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15939] ppid=15923 vsize=26538700 memory=2244 CPUtime=5.87 cores=0-7
/proc/15925/task/15939/stat : 15939 (java) S 15923 15923 15501 0 -1 1077944384 34284 0 0 0 580 7 0 0 20 0 28 0 98428917 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919448599280 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15940] ppid=15923 vsize=26538700 memory=4124 CPUtime=5.59 cores=0-7
/proc/15925/task/15940/stat : 15940 (java) S 15923 15923 15501 0 -1 1077944384 35651 0 0 0 553 6 0 0 20 0 28 0 98428917 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919447546736 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15941] ppid=15923 vsize=26538700 memory=2208 CPUtime=5.64 cores=0-7
/proc/15925/task/15941/stat : 15941 (java) S 15923 15923 15501 0 -1 1077944384 32902 0 0 0 557 7 0 0 20 0 28 0 98428917 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919446493680 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15942] ppid=15923 vsize=26538700 memory=1384 CPUtime=1.12 cores=0-7
/proc/15925/task/15942/stat : 15942 (java) S 15923 15923 15501 0 -1 1077944384 28024 0 0 0 107 5 0 0 20 0 28 0 98428917 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919445441136 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15943] ppid=15923 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/15925/task/15943/stat : 15943 (java) S 15923 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98428918 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919444388320 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15944] ppid=15923 vsize=26538700 memory=288230621803970871 CPUtime=0.97 cores=0-7
/proc/15925/task/15944/stat : 15944 (java) S 15923 15923 15501 0 -1 1077944384 2919 0 0 0 0 97 0 0 20 0 28 0 98428918 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919443335856 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15945] ppid=15923 vsize=26538700 memory=15252640887999017 CPUtime=2502.32 cores=0-7
/proc/15925/task/15945/stat : 15945 (java) R 15923 15923 15501 0 -1 4202560 16063 0 0 0 250203 29 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919435819368 139920932257188 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15946] ppid=15923 vsize=26538700 memory=1012 CPUtime=2511.71 cores=0-7
/proc/15925/task/15946/stat : 15946 (java) R 15923 15923 15501 0 -1 4202560 8868 0 0 0 251156 15 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919434767176 139920937391001 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15947] ppid=15923 vsize=26538700 memory=1712 CPUtime=2504.33 cores=0-7
/proc/15925/task/15947/stat : 15947 (java) R 15923 15923 15501 0 -1 4202560 17590 0 0 0 250400 33 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919433716184 139920928629202 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15948] ppid=15923 vsize=26538700 memory=1952 CPUtime=2511.66 cores=0-7
/proc/15925/task/15948/stat : 15948 (java) R 15923 15923 15501 0 -1 4202560 27032 0 0 0 251109 57 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139919432663752 139920937619984 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15949] ppid=15923 vsize=26538700 memory=8612 CPUtime=2505.28 cores=0-7
/proc/15925/task/15949/stat : 15949 (java) R 15923 15923 15501 0 -1 4202560 27969 0 0 0 250462 66 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139918558875024 139920933336960 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15950] ppid=15923 vsize=26538700 memory=4620 CPUtime=2511.79 cores=0-7
/proc/15925/task/15950/stat : 15950 (java) R 15923 15923 15501 0 -1 4202560 9287 0 0 0 251163 16 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139918557826032 139920933730020 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15951] ppid=15923 vsize=26538700 memory=1196 CPUtime=2496.14 cores=0-7
/proc/15925/task/15951/stat : 15951 (java) R 15923 15923 15501 0 -1 4202560 15250 0 0 0 249597 17 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139918556769336 139920937390763 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15952] ppid=15923 vsize=26538700 memory=15872 CPUtime=2499.41 cores=0-7
/proc/15925/task/15952/stat : 15952 (java) R 15923 15923 15501 0 -1 4202560 21381 0 0 0 249913 28 0 0 20 0 28 0 98429070 27175628800 612894 33554432000 4194304 4196468 140727275555008 139918555717720 139920934125216 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current children cumulated CPU time: 20087.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2452960 KiB

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

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

[startup+2520.17 s]
# the end of solver process 15925 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20082 s, system=6.74993 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.18 8.22 8.27 3/206 16008
/proc/meminfo: memFree=25404668/32770624 swapFree=67108860/67108860
[pid=15925] ppid=15920 vsize=26671828 memory=2451724 CPUtime=20088.7 cores=0-7
/proc/15925/stat : 15925 (java) S 15920 15923 15501 0 -1 1077944320 361624 0 0 0 2008197 672 0 0 20 0 27 0 98428912 27311951872 612931 33554432000 4194304 4196468 140727275555008 140727275537552 139921315671799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
/proc/15925/statm: 6667957 612931 3298 1 0 6655191 0
[pid=15925/tid=15926] ppid=15920 vsize=26671828 memory=1398720917958146503 CPUtime=1.43 cores=0-7
/proc/15925/task/15926/stat : 15926 (java) S 15920 15923 15501 0 -1 1077944384 7099 0 0 0 138 5 0 0 20 0 27 0 98428912 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921319912576 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15927] ppid=15920 vsize=26671828 memory=4872558044660077418 CPUtime=2.82 cores=0-7
/proc/15925/task/15927/stat : 15927 (java) S 15920 15923 15501 0 -1 1077944384 8116 0 0 0 245 37 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921268292112 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15928] ppid=15920 vsize=26671828 memory=1240 CPUtime=2.85 cores=0-7
/proc/15925/task/15928/stat : 15928 (java) S 15920 15923 15501 0 -1 1077944384 6089 0 0 0 246 39 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921267239568 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15929] ppid=15920 vsize=26671828 memory=960 CPUtime=2.82 cores=0-7
/proc/15925/task/15929/stat : 15929 (java) S 15920 15923 15501 0 -1 1077944384 5317 0 0 0 243 39 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921266186512 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15930] ppid=15920 vsize=26671828 memory=2340 CPUtime=2.8 cores=0-7
/proc/15925/task/15930/stat : 15930 (java) S 15920 15923 15501 0 -1 1077944384 6292 0 0 0 244 36 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921265133968 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15931] ppid=15920 vsize=26671828 memory=932 CPUtime=2.81 cores=0-7
/proc/15925/task/15931/stat : 15931 (java) S 15920 15923 15501 0 -1 1077944384 6853 0 0 0 242 39 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921264081936 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15932] ppid=15920 vsize=26671828 memory=6791534058613427641 CPUtime=2.83 cores=0-7
/proc/15925/task/15932/stat : 15932 (java) S 15920 15923 15501 0 -1 1077944384 8916 0 0 0 243 40 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921263029392 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15933] ppid=15920 vsize=26671828 memory=15872 CPUtime=2.85 cores=0-7
/proc/15925/task/15933/stat : 15933 (java) S 15920 15923 15501 0 -1 1077944384 7346 0 0 0 247 38 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921261976336 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15934] ppid=15920 vsize=26671828 memory=18476 CPUtime=2.78 cores=0-7
/proc/15925/task/15934/stat : 15934 (java) S 15920 15923 15501 0 -1 1077944384 7629 0 0 0 241 37 0 0 20 0 27 0 98428913 27311951872 612931 33554432000 4194304 4196468 140727275555008 139921260923792 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15935] ppid=15920 vsize=26671828 memory=17056 CPUtime=1.84 cores=0-7
/proc/15925/task/15935/stat : 15935 (java) R 15920 15923 15501 0 -1 4202560 19213 0 0 0 114 70 0 0 20 0 27 0 98428914 27311951872 612931 33554432000 4194304 4196468 140727275555008 139920443005304 139921308300007 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15936] ppid=15920 vsize=26671828 memory=4048 CPUtime=0 cores=0-7
/proc/15925/task/15936/stat : 15936 (java) S 15920 15923 15501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 27 0 98428915 27311951872 612931 33554432000 4194304 4196468 140727275555008 139920441951456 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15937] ppid=15920 vsize=26671828 memory=0 CPUtime=0 cores=0-7
/proc/15925/task/15937/stat : 15937 (java) S 15920 15923 15501 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 27 0 98428915 27311951872 612931 33554432000 4194304 4196468 140727275555008 139920440898304 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15939] ppid=15920 vsize=26671828 memory=7100839861465685612 CPUtime=5.87 cores=0-7
/proc/15925/task/15939/stat : 15939 (java) S 15920 15923 15501 0 -1 1077944384 34284 0 0 0 580 7 0 0 20 0 27 0 98428917 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919448599280 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15940] ppid=15920 vsize=26671828 memory=-7175204567652784766 CPUtime=5.59 cores=0-7
/proc/15925/task/15940/stat : 15940 (java) S 15920 15923 15501 0 -1 1077944384 35651 0 0 0 553 6 0 0 20 0 27 0 98428917 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919447546736 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15941] ppid=15920 vsize=26671828 memory=3054156605268465310 CPUtime=5.64 cores=0-7
/proc/15925/task/15941/stat : 15941 (java) S 15920 15923 15501 0 -1 1077944384 32902 0 0 0 557 7 0 0 20 0 27 0 98428917 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919446493680 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15942] ppid=15920 vsize=26671828 memory=4715433313220523562 CPUtime=1.12 cores=0-7
/proc/15925/task/15942/stat : 15942 (java) S 15920 15923 15501 0 -1 1077944384 28024 0 0 0 107 5 0 0 20 0 27 0 98428917 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919445441136 139921315682946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15943] ppid=15920 vsize=26671828 memory=-8412652177879177843 CPUtime=0 cores=0-7
/proc/15925/task/15943/stat : 15943 (java) S 15920 15923 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 98428918 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919444388320 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15945] ppid=15920 vsize=26671828 memory=1572 CPUtime=2502.42 cores=0-7
/proc/15925/task/15945/stat : 15945 (java) S 15920 15923 15501 0 -1 1077944384 16063 0 0 0 250213 29 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919435819120 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15946] ppid=15920 vsize=26671828 memory=2244 CPUtime=2511.81 cores=0-7
/proc/15925/task/15946/stat : 15946 (java) S 15920 15923 15501 0 -1 1077944384 8868 0 0 0 251166 15 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919434767696 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15947] ppid=15920 vsize=26671828 memory=4124 CPUtime=2504.43 cores=0-7
/proc/15925/task/15947/stat : 15947 (java) S 15920 15923 15501 0 -1 1077944384 17591 0 0 0 250410 33 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919433715696 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15948] ppid=15920 vsize=26671828 memory=4144 CPUtime=2511.75 cores=0-7
/proc/15925/task/15948/stat : 15948 (java) S 15920 15923 15501 0 -1 1077944384 27032 0 0 0 251118 57 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139919432662944 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15949] ppid=15920 vsize=26671828 memory=28788 CPUtime=2505.41 cores=0-7
/proc/15925/task/15949/stat : 15949 (java) R 15920 15923 15501 0 -1 4202560 27969 0 0 0 250475 66 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139918558875024 139920933336987 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15950] ppid=15920 vsize=26671828 memory=1296 CPUtime=2511.89 cores=0-7
/proc/15925/task/15950/stat : 15950 (java) S 15920 15923 15501 0 -1 1077944384 9287 0 0 0 251173 16 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139918557821984 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15951] ppid=15920 vsize=26671828 memory=2408 CPUtime=2496.24 cores=0-7
/proc/15925/task/15951/stat : 15951 (java) S 15920 15923 15501 0 -1 1077944384 15250 0 0 0 249607 17 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139918556769648 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=15952] ppid=15920 vsize=26671828 memory=1732 CPUtime=2499.51 cores=0-7
/proc/15925/task/15952/stat : 15952 (java) S 15920 15923 15501 0 -1 1077944384 21381 0 0 0 249923 28 0 0 20 0 27 0 98429070 27311951872 612931 33554432000 4194304 4196468 140727275555008 139918555717088 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
[pid=15925/tid=16007] ppid=15920 vsize=26671828 memory=1224 CPUtime=0 cores=0-7
/proc/15925/task/16007/stat : 16007 (java) S 15920 15923 15501 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 27 0 98680916 27311951872 612931 33554432000 4194304 4196468 140727275555008 139918554669040 139921315682005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140727275562130 140727275562307 140727275562307 140727275565007 0
Current cumulated CPU time of completed processes: 0.00194 s
Current children cumulated CPU time: 20088.7 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 2451724 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 20088.8
CPU user time (s): 20082
CPU system time (s): 6.74993
CPU usage (%): 797.119
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 2501776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20082
system time used= 6.74993
maximum resident set size= 2500400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66693
involuntary context switches= 203612


# summary of solver processes directly reported to runsolver:
#   pid: 15923,15925
#   total CPU time (s): 20088.8
#   total CPU user time (s): 20082
#   total CPU system time (s): 6.74993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 30.3788 second user time and 19.9118 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-13 21:30:22
IDJOB=4270742
IDBENCH=115644
IDSOLVER=2662
FILE ID=node149/4270742-1502653480
RUNJOBID= node149-1502650100-15528
PBS_JOBID= 20628944
Free space on /tmp= 61936 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-200-10-2.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270742-1502653480/watcher-4270742-1502653480 -o /tmp/evaluation-result-4270742-1502653480/solver-4270742-1502653480 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502650100-15528 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 521485203 HOME/instance-4270742-1502653480.xml

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

MD5SUM BENCH= 902fa3fa04f876c9ed200148bd67d93f
RANDOM SEED=521485203

node149.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.43
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.43
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.43
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.43
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:        27846856 kB
MemAvailable:   31971940 kB
Buffers:          275760 kB
Cached:          4122124 kB
SwapCached:            0 kB
Active:          1128320 kB
Inactive:        3323740 kB
Active(anon):      56876 kB
Inactive(anon):    24944 kB
Active(file):    1071444 kB
Inactive(file):  3298796 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7504 kB
Writeback:             0 kB
AnonPages:         60148 kB
Mapped:            43916 kB
Shmem:             25224 kB
Slab:             168152 kB
SReclaimable:     141356 kB
SUnreclaim:        26796 kB
KernelStack:        3200 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-13 22:12:22