Trace number 4393985

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) 20059.5 2520.2

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-200-10-1.xml
MD5SUM4dc4d699091ca89690279c2093d69f52
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 size10594
Maximum domain size10594
Distribution of domain sizes[{"size":10594,"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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393985-1568417607.xml"  -tl '20160s' -p 8
0.20/0.27	c Choco e747e1e
0.20/0.27	c [HOME/instance-4393985-1568417607.xml, -tl, 20160s, -p, 8]
0.38/0.32	c 8 solvers in parallel
0.38/0.39	c parse instance...
10.06/2.63	c solve instance...
20058.63/2520.09	s UNKNOWN
20058.63/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: 16375 MiB (13715 MiB free)
  memory of node 1: 16384 MiB (13910 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393985-1568417607/watcher-4393985-1568417607 -o /tmp/evaluation-result-4393985-1568417607/solver-4393985-1568417607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263611414 HOME/instance-4393985-1568417607.xml 

running on 8 cores: 0-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=9427, runsolver pid=9424
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 1.01 1.29 1.52 2/203 9439
/proc/meminfo: memFree=28277288/32770688 swapFree=66919992/67108860
[pid=9427] ppid=9424 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9427/stat : 9427 (xcsp3-exec) S 9424 9427 9382 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417767025 115843072 363 33554432000 4194304 5098028 140728562543488 140728562541592 140222521528956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26902528 140728562549621 140728562549865 140728562549865 140728562552778 0
/proc/9427/statm: 28282 363 305 221 0 87 0
[pid=9429] ppid=9427 vsize=27759784 memory=20020 CPUtime=0.02 cores=0-7
/proc/9429/stat : 9429 (java) S 9427 9427 9382 0 -1 1077944320 3860 0 0 0 2 0 0 0 20 0 13 0 417767027 28426018816 5005 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 6939946 5005 2101 1 0 6902487 0
[pid=9429/tid=9430] ppid=9427 vsize=27759784 memory=1398722017469774279 CPUtime=0.02 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) R 9427 9427 9382 0 -1 4202560 2556 0 0 0 2 0 0 0 20 0 13 0 417767030 28426018816 5005 33554432000 4194304 4196468 140730196246848 139631171276656 139631152723763 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9427 vsize=27759784 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9427 vsize=27759784 memory=139992767121024 CPUtime=0 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9427 vsize=27759784 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 417767033 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 417767034 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630668093680 139631167052418 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9427 9427 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 417767035 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630667039904 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9441] ppid=9427 vsize=27759784 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9441/stat : 9441 (java) S 9427 9427 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 417767035 28426018816 5005 33554432000 4194304 4196468 140730196246848 139630665986864 139631167051477 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 27872912 KiB
Current children cumulated memory: 21472 KiB

[startup+0.210622 s]*
/proc/loadavg: 1.01 1.29 1.52 4/212 9448
/proc/meminfo: memFree=28270432/32770688 swapFree=66919992/67108860
[pid=9427] ppid=9424 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9427/stat : 9427 (xcsp3-exec) S 9424 9427 9382 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417767025 115843072 363 33554432000 4194304 5098028 140728562543488 140728562541592 140222521528956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26902528 140728562549621 140728562549865 140728562549865 140728562552778 0
/proc/9427/statm: 28282 363 305 221 0 87 0
[pid=9429] ppid=9427 vsize=28227388 memory=31944 CPUtime=0.2 cores=0-7
/proc/9429/stat : 9429 (java) S 9427 9427 9382 0 -1 1077944320 6460 0 0 0 19 1 0 0 20 0 20 0 417767027 28904845312 7986 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 7056847 7986 3175 1 0 7019032 0
[pid=9429/tid=9430] ppid=9427 vsize=28227388 memory=8316850467074736180 CPUtime=0.12 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) R 9427 9427 9382 0 -1 4202560 3698 0 0 0 12 0 0 0 20 0 20 0 417767030 28904845312 7986 33554432000 4194304 4196468 140730196246848 139631171275168 139631167053206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9427 vsize=28227388 memory=1915930 CPUtime=0 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9427 vsize=28227388 memory=139992767130663 CPUtime=0 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767034 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630668093680 139631167052418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9427 9427 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417767035 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630667039904 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9441] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9441/stat : 9441 (java) S 9427 9427 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417767035 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630665986800 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9442] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9442/stat : 9442 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630664935376 139631167059867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9443] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9443/stat : 9443 (java) R 9427 9427 9382 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630663883504 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9444] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9444/stat : 9444 (java) R 9427 9427 9382 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630277159792 139631151873920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9445] ppid=9427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9445/stat : 9445 (java) R 9427 9427 9382 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630276106736 139631167052418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9446] ppid=9427 vsize=28227388 memory=-1 CPUtime=0.04 cores=0-7
/proc/9429/task/9446/stat : 9446 (java) R 9427 9427 9382 0 -1 4202560 730 0 0 0 4 0 0 0 20 0 20 0 417767038 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630275054192 139631145983648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9447] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9447/stat : 9447 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767039 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630274001376 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9448] ppid=9427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9448/stat : 9448 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767039 28904845312 7986 33554432000 4194304 4196468 140730196246848 139630272948912 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 33396 KiB

[startup+0.311417 s]*
/proc/loadavg: 1.01 1.29 1.52 3/212 9448
/proc/meminfo: memFree=28259424/32770688 swapFree=66919992/67108860
[pid=9427] ppid=9424 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9427/stat : 9427 (xcsp3-exec) S 9424 9427 9382 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417767025 115843072 363 33554432000 4194304 5098028 140728562543488 140728562541592 140222521528956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26902528 140728562549621 140728562549865 140728562549865 140728562552778 0
/proc/9427/statm: 28282 363 305 221 0 87 0
[pid=9429] ppid=9427 vsize=28227388 memory=41460 CPUtime=0.38 cores=0-7
/proc/9429/stat : 9429 (java) S 9427 9427 9382 0 -1 1077944320 9602 0 0 0 35 3 0 0 20 0 20 0 417767027 28904845312 10365 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 7056847 10365 3314 1 0 7019032 0
[pid=9429/tid=9430] ppid=9427 vsize=28227388 memory=1398722017469774279 CPUtime=0.23 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) R 9427 9427 9382 0 -1 4202560 6660 0 0 0 21 2 0 0 20 0 20 0 417767030 28904845312 10365 33554432000 4194304 4196468 140730196246848 139631171276256 139631147263937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9427 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9427 vsize=28227388 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9427 vsize=28227388 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9427 vsize=28227388 memory=-6948055166404804227 CPUtime=0 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9427 vsize=28227388 memory=6944920475294002582 CPUtime=0 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9427 vsize=28227388 memory=7684433391216329786 CPUtime=0 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9427 vsize=28227388 memory=-7378441852809278818 CPUtime=0 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9427 vsize=28227388 memory=8514701219781834910 CPUtime=0 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9427 vsize=28227388 memory=-8102431393132624720 CPUtime=0 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) S 9427 9427 9382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417767034 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630668093680 139631167052418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9427 vsize=28227388 memory=8325818968683490714 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9427 9427 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417767035 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630667039904 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9441] ppid=9427 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9429/task/9441/stat : 9441 (java) S 9427 9427 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417767035 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630665986800 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9442] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9442/stat : 9442 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630664935376 139631167059867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9443] ppid=9427 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/9429/task/9443/stat : 9443 (java) S 9427 9427 9382 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 417767038 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630663883504 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9444] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9444/stat : 9444 (java) S 9427 9427 9382 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 20 0 417767038 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630277159792 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9445] ppid=9427 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9429/task/9445/stat : 9445 (java) S 9427 9427 9382 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 417767038 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630276106736 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9446] ppid=9427 vsize=28227388 memory=0 CPUtime=0.09 cores=0-7
/proc/9429/task/9446/stat : 9446 (java) R 9427 9427 9382 0 -1 4202560 781 0 0 0 9 0 0 0 20 0 20 0 417767038 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630275054192 139631167062618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9447] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9447/stat : 9447 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767039 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630274001376 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9448] ppid=9427 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9448/stat : 9448 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767039 28904845312 10365 33554432000 4194304 4196468 140730196246848 139630272948912 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42912 KiB

[startup+0.701072 s]
/proc/loadavg: 1.01 1.29 1.52 3/212 9448
/proc/meminfo: memFree=28244104/32770688 swapFree=66919992/67108860
[pid=9427] ppid=9424 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9427/stat : 9427 (xcsp3-exec) S 9424 9427 9382 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417767025 115843072 363 33554432000 4194304 5098028 140728562543488 140728562541592 140222521528956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26902528 140728562549621 140728562549865 140728562549865 140728562552778 0
/proc/9427/statm: 28282 363 305 221 0 87 0
[pid=9429] ppid=9427 vsize=28233768 memory=84416 CPUtime=1.52 cores=0-7
/proc/9429/stat : 9429 (java) S 9427 9427 9382 0 -1 1077944320 14309 0 0 0 145 7 0 0 20 0 20 0 417767027 28911378432 21104 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 7058442 21104 3436 1 0 7019544 0
[pid=9429/tid=9430] ppid=9427 vsize=28233768 memory=164 CPUtime=0.6 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) R 9427 9427 9382 0 -1 4202560 8463 0 0 0 57 3 0 0 20 0 20 0 417767030 28911378432 21104 33554432000 4194304 4196468 140730196246848 139631171275744 139630804268951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9427 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9427 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9427 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9427 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9427 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9427 vsize=28233768 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9427 vsize=28233768 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9427 9427 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9427 vsize=28233768 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417767033 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9427 vsize=28233768 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) S 9427 9427 9382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417767034 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630668093680 139631167052418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9427 vsize=28233768 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9427 9427 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417767035 28911378432 21104 33554432000 4194304 4196468 140730196246848 139630667039904 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0

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

[pid=9429/tid=9455] ppid=9427 vsize=28768328 memory=7447099360311534950 CPUtime=2466.37 cores=0-7
/proc/9429/task/9455/stat : 9455 (java) R 9427 9427 9382 0 -1 4202560 13474 0 0 0 246619 18 0 0 20 0 28 0 417767297 29458767872 1209248 33554432000 4194304 4196468 140730196246848 139629267225688 139630815115824 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9456] ppid=9427 vsize=28768328 memory=7375034061085697382 CPUtime=2468.33 cores=0-7
/proc/9429/task/9456/stat : 9456 (java) R 9427 9427 9382 0 -1 4202560 21805 0 0 0 246803 30 0 0 20 0 28 0 417767298 29458767872 1209248 33554432000 4194304 4196468 140730196246848 139629266176800 139630817338027 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current children cumulated CPU time: 19917.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 4838444 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.66 8.34 7.84 9/219 9664
/proc/meminfo: memFree=23436844/32770688 swapFree=66919992/67108860
[pid=9427] ppid=9424 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9427/stat : 9427 (xcsp3-exec) S 9424 9427 9382 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417767025 115843072 363 33554432000 4194304 5098028 140728562543488 140728562541592 140222521528956 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26902528 140728562549621 140728562549865 140728562549865 140728562552778 0
/proc/9427/statm: 28282 363 305 221 0 87 0
[pid=9429] ppid=9427 vsize=28768328 memory=4855456 CPUtime=20058.6 cores=0-7
/proc/9429/stat : 9429 (java) S 9427 9427 9382 0 -1 1077944320 670062 0 0 0 2004069 1794 0 0 20 0 28 0 417767027 29458767872 1213864 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 7192082 1213864 3549 1 0 7153184 0
[pid=9429/tid=9430] ppid=9427 vsize=28768328 memory=1452 CPUtime=2.44 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) S 9427 9427 9382 0 -1 1077944384 12054 0 0 0 235 9 0 0 20 0 28 0 417767030 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139631171282048 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9427 vsize=28768328 memory=1452 CPUtime=9.68 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9427 9427 9382 0 -1 1077944384 21354 0 0 0 849 119 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9427 vsize=28768328 memory=4126316290023845779 CPUtime=9.53 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9427 9427 9382 0 -1 1077944384 16058 0 0 0 843 110 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9427 vsize=28768328 memory=2828 CPUtime=9.59 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9427 9427 9382 0 -1 1077944384 17124 0 0 0 841 118 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9427 vsize=28768328 memory=1176 CPUtime=9.61 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9427 9427 9382 0 -1 1077944384 15804 0 0 0 844 117 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9427 vsize=28768328 memory=980 CPUtime=9.59 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9427 9427 9382 0 -1 1077944384 18042 0 0 0 841 118 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9427 vsize=28768328 memory=14008 CPUtime=9.7 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9427 9427 9382 0 -1 1077944384 14610 0 0 0 851 119 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9427 vsize=28768328 memory=12028 CPUtime=9.74 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9427 9427 9382 0 -1 1077944384 16006 0 0 0 850 124 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9427 vsize=28768328 memory=25560 CPUtime=9.54 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9427 9427 9382 0 -1 1077944384 21734 0 0 0 839 115 0 0 20 0 28 0 417767033 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9427 vsize=28768328 memory=2120 CPUtime=4.11 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) S 9427 9427 9382 0 -1 1077944384 28183 0 0 0 282 129 0 0 20 0 28 0 417767034 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630668093680 139631167052418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9427 vsize=28768328 memory=496 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9427 9427 9382 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 417767035 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630667039968 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9441] ppid=9427 vsize=28768328 memory=1560 CPUtime=0 cores=0-7
/proc/9429/task/9441/stat : 9441 (java) S 9427 9427 9382 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 417767035 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630665986816 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9442] ppid=9427 vsize=28768328 memory=928 CPUtime=0 cores=0-7
/proc/9429/task/9442/stat : 9442 (java) S 9427 9427 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417767038 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630664935376 139631167059867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9443] ppid=9427 vsize=28768328 memory=1724 CPUtime=9.05 cores=0-7
/proc/9429/task/9443/stat : 9443 (java) S 9427 9427 9382 0 -1 1077944384 55575 0 0 0 898 7 0 0 20 0 28 0 417767038 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630663883504 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9444] ppid=9427 vsize=28768328 memory=1964 CPUtime=8.32 cores=0-7
/proc/9429/task/9444/stat : 9444 (java) S 9427 9427 9382 0 -1 1077944384 55362 0 0 0 825 7 0 0 20 0 28 0 417767038 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630277159792 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9445] ppid=9427 vsize=28768328 memory=2776 CPUtime=8.15 cores=0-7
/proc/9429/task/9445/stat : 9445 (java) S 9427 9427 9382 0 -1 1077944384 46809 0 0 0 807 8 0 0 20 0 28 0 417767038 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630276106736 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9446] ppid=9427 vsize=28768328 memory=924 CPUtime=1.62 cores=0-7
/proc/9429/task/9446/stat : 9446 (java) S 9427 9427 9382 0 -1 1077944384 26656 0 0 0 155 7 0 0 20 0 28 0 417767038 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630275054192 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9447] ppid=9427 vsize=28768328 memory=1444 CPUtime=0 cores=0-7
/proc/9429/task/9447/stat : 9447 (java) S 9427 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417767039 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630274001376 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9448] ppid=9427 vsize=28768328 memory=1764 CPUtime=0.97 cores=0-7
/proc/9429/task/9448/stat : 9448 (java) S 9427 9427 9382 0 -1 1077944384 3364 0 0 0 16 81 0 0 20 0 28 0 417767039 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630272948912 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9449] ppid=9427 vsize=28768328 memory=111632 CPUtime=2500.05 cores=0-7
/proc/9429/task/9449/stat : 9449 (java) R 9427 9427 9382 0 -1 4202560 24648 0 0 0 249961 44 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630261877128 139630810105564 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9450] ppid=9427 vsize=28768328 memory=800 CPUtime=2498.92 cores=0-7
/proc/9429/task/9450/stat : 9450 (java) R 9427 9427 9382 0 -1 4202560 22065 0 0 0 249849 43 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139630260825448 139630814137059 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9451] ppid=9427 vsize=28768328 memory=4100 CPUtime=2488.85 cores=0-7
/proc/9429/task/9451/stat : 9451 (java) R 9427 9427 9382 0 -1 4202560 132747 0 0 0 248539 346 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629271437784 139630808214281 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9452] ppid=9427 vsize=28768328 memory=8112282956445269571 CPUtime=2491.59 cores=0-7
/proc/9429/task/9452/stat : 9452 (java) R 9427 9427 9382 0 -1 4202560 19334 0 0 0 249140 19 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629270385080 139630815609167 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9453] ppid=9427 vsize=28768328 memory=4836992 CPUtime=2497.87 cores=0-7
/proc/9429/task/9453/stat : 9453 (java) R 9427 9427 9382 0 -1 4202560 48106 0 0 0 249632 155 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629269331744 139630816745103 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9454] ppid=9427 vsize=28768328 memory=1656 CPUtime=2499.98 cores=0-7
/proc/9429/task/9454/stat : 9454 (java) R 9427 9427 9382 0 -1 4202560 17475 0 0 0 249969 29 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629268282160 139630814137071 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9455] ppid=9427 vsize=28768328 memory=1398722017469774279 CPUtime=2483.59 cores=0-7
/proc/9429/task/9455/stat : 9455 (java) R 9427 9427 9382 0 -1 4202560 13576 0 0 0 248341 18 0 0 20 0 28 0 417767297 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629267225704 139630815565642 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9456] ppid=9427 vsize=28768328 memory=4126316290023845779 CPUtime=2485.95 cores=0-7
/proc/9429/task/9456/stat : 9456 (java) R 9427 9427 9382 0 -1 4202560 21947 0 0 0 248565 30 0 0 20 0 28 0 417767298 29458767872 1213864 33554432000 4194304 4196468 140730196246848 139629266173208 139630815548203 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current children cumulated CPU time: 20058.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 4856908 KiB

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

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

[startup+2520.2 s]
# the end of solver process 9429 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20041.5 s, system=18.0084 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.66 8.34 7.84 3/218 9666
/proc/meminfo: memFree=23436956/32770688 swapFree=66919992/67108860
[pid=9429] ppid=9424 vsize=28901456 memory=4855656 CPUtime=20059.4 cores=0-7
/proc/9429/stat : 9429 (java) S 9424 9427 9382 0 -1 1077944320 670601 0 0 0 2004145 1796 0 0 20 0 28 0 417767027 29595090944 1213914 33554432000 4194304 4196468 140730196246848 140730196229392 139631167041271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
/proc/9429/statm: 7225364 1213914 3551 1 0 7186466 0
[pid=9429/tid=9430] ppid=9424 vsize=28901456 memory=1398722017469774279 CPUtime=2.44 cores=0-7
/proc/9429/task/9430/stat : 9430 (java) S 9424 9427 9382 0 -1 1077944384 12054 0 0 0 235 9 0 0 20 0 28 0 417767030 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139631171282048 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9431] ppid=9424 vsize=28901456 memory=4126316290023845779 CPUtime=9.68 cores=0-7
/proc/9429/task/9431/stat : 9431 (java) S 9424 9427 9382 0 -1 1077944384 21354 0 0 0 849 119 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630718265872 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9432] ppid=9424 vsize=28901456 memory=776 CPUtime=9.53 cores=0-7
/proc/9429/task/9432/stat : 9432 (java) S 9424 9427 9382 0 -1 1077944384 16058 0 0 0 843 110 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630717213328 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9433] ppid=9424 vsize=28901456 memory=660 CPUtime=9.59 cores=0-7
/proc/9429/task/9433/stat : 9433 (java) S 9424 9427 9382 0 -1 1077944384 17124 0 0 0 841 118 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630716160272 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9434] ppid=9424 vsize=28901456 memory=1556 CPUtime=9.61 cores=0-7
/proc/9429/task/9434/stat : 9434 (java) S 9424 9427 9382 0 -1 1077944384 15804 0 0 0 844 117 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630715107728 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9435] ppid=9424 vsize=28901456 memory=9588 CPUtime=9.59 cores=0-7
/proc/9429/task/9435/stat : 9435 (java) S 9424 9427 9382 0 -1 1077944384 18042 0 0 0 841 118 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630714055696 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9436] ppid=9424 vsize=28901456 memory=1712 CPUtime=9.7 cores=0-7
/proc/9429/task/9436/stat : 9436 (java) S 9424 9427 9382 0 -1 1077944384 14610 0 0 0 851 119 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630713003152 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9437] ppid=9424 vsize=28901456 memory=5980 CPUtime=9.74 cores=0-7
/proc/9429/task/9437/stat : 9437 (java) S 9424 9427 9382 0 -1 1077944384 16006 0 0 0 850 124 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630711950096 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9438] ppid=9424 vsize=28901456 memory=4164 CPUtime=9.54 cores=0-7
/proc/9429/task/9438/stat : 9438 (java) S 9424 9427 9382 0 -1 1077944384 21734 0 0 0 839 115 0 0 20 0 28 0 417767033 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630710897552 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9439] ppid=9424 vsize=28901456 memory=1056 CPUtime=4.15 cores=0-7
/proc/9429/task/9439/stat : 9439 (java) R 9424 9427 9382 0 -1 4202560 28183 0 0 0 284 131 0 0 20 0 28 0 417767034 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630668093680 139631159669479 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9440] ppid=9424 vsize=28901456 memory=2828 CPUtime=0 cores=0-7
/proc/9429/task/9440/stat : 9440 (java) S 9424 9427 9382 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 417767035 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630667039968 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9441] ppid=9424 vsize=28901456 memory=1176 CPUtime=0 cores=0-7
/proc/9429/task/9441/stat : 9441 (java) S 9424 9427 9382 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 417767035 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630665986816 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9442] ppid=9424 vsize=28901456 memory=980 CPUtime=0 cores=0-7
/proc/9429/task/9442/stat : 9442 (java) S 9424 9427 9382 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 417767038 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630664935024 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9443] ppid=9424 vsize=28901456 memory=14008 CPUtime=9.05 cores=0-7
/proc/9429/task/9443/stat : 9443 (java) S 9424 9427 9382 0 -1 1077944384 55575 0 0 0 898 7 0 0 20 0 28 0 417767038 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630663883504 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9444] ppid=9424 vsize=28901456 memory=12028 CPUtime=8.32 cores=0-7
/proc/9429/task/9444/stat : 9444 (java) S 9424 9427 9382 0 -1 1077944384 55362 0 0 0 825 7 0 0 20 0 28 0 417767038 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630277159792 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9445] ppid=9424 vsize=28901456 memory=25560 CPUtime=8.15 cores=0-7
/proc/9429/task/9445/stat : 9445 (java) S 9424 9427 9382 0 -1 1077944384 46809 0 0 0 807 8 0 0 20 0 28 0 417767038 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630276106736 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9446] ppid=9424 vsize=28901456 memory=2120 CPUtime=1.62 cores=0-7
/proc/9429/task/9446/stat : 9446 (java) S 9424 9427 9382 0 -1 1077944384 26656 0 0 0 155 7 0 0 20 0 28 0 417767038 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630275054192 139631167052418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9447] ppid=9424 vsize=28901456 memory=496 CPUtime=0 cores=0-7
/proc/9429/task/9447/stat : 9447 (java) S 9424 9427 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417767039 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630274001376 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9449] ppid=9424 vsize=28901456 memory=1560 CPUtime=2500.13 cores=0-7
/proc/9429/task/9449/stat : 9449 (java) S 9424 9427 9382 0 -1 1077944384 24649 0 0 0 249969 44 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630261877264 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9450] ppid=9424 vsize=28901456 memory=928 CPUtime=2499 cores=0-7
/proc/9429/task/9450/stat : 9450 (java) S 9424 9427 9382 0 -1 1077944384 22067 0 0 0 249857 43 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139630260825456 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9451] ppid=9424 vsize=28901456 memory=1724 CPUtime=2488.93 cores=0-7
/proc/9429/task/9451/stat : 9451 (java) S 9424 9427 9382 0 -1 1077944384 132754 0 0 0 248547 346 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629271437360 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9452] ppid=9424 vsize=28901456 memory=1964 CPUtime=2491.68 cores=0-7
/proc/9429/task/9452/stat : 9452 (java) S 9424 9427 9382 0 -1 1077944384 19338 0 0 0 249149 19 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629270384592 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9453] ppid=9424 vsize=28901456 memory=2776 CPUtime=2498 cores=0-7
/proc/9429/task/9453/stat : 9453 (java) R 9424 9427 9382 0 -1 4202560 48106 0 0 0 249645 155 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629269331744 139630816744880 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9454] ppid=9424 vsize=28901456 memory=4126316290023845779 CPUtime=2500.06 cores=0-7
/proc/9429/task/9454/stat : 9454 (java) S 9424 9427 9382 0 -1 1077944384 17476 0 0 0 249977 29 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629268278960 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9455] ppid=9424 vsize=28901456 memory=496 CPUtime=2483.68 cores=0-7
/proc/9429/task/9455/stat : 9455 (java) S 9424 9427 9382 0 -1 1077944384 13576 0 0 0 248350 18 0 0 20 0 28 0 417767297 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629267225376 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9456] ppid=9424 vsize=28901456 memory=1764 CPUtime=2486.04 cores=0-7
/proc/9429/task/9456/stat : 9456 (java) S 9424 9427 9382 0 -1 1077944384 21951 0 0 0 248574 30 0 0 20 0 28 0 417767298 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629266173232 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
[pid=9429/tid=9665] ppid=9424 vsize=28901456 memory=111632 CPUtime=0 cores=0-7
/proc/9429/task/9665/stat : 9665 (java) S 9424 9427 9382 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 418019029 29595090944 1213914 33554432000 4194304 4196468 140730196246848 139629265125360 139631167051477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140730196251626 140730196251798 140730196251798 140730196254671 0
Current cumulated CPU time of completed processes: 0.002866 s
Current children cumulated CPU time: 20059.4 s
Current children cumulated vsize: 28901456 KiB
Current children cumulated memory: 4855656 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 20059.5
CPU user time (s): 20041.5
CPU system time (s): 18.0084
CPU usage (%): 795.949
Max. virtual memory (cumulated for all children) (KiB): 28901456
Max. memory (cumulated for all children) (KiB): 4856908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20041.5
system time used= 18.0084
maximum resident set size= 4855960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72230
involuntary context switches= 237443


# summary of solver processes directly reported to runsolver:
#   pid: 9427,9429
#   total CPU time (s): 20059.5
#   total CPU user time (s): 20041.5
#   total CPU system time (s): 18.0084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.8278 second user time and 28.9609 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 07:53:49
IDJOB=4393985
IDBENCH=115615
IDSOLVER=2841
FILE ID=node120/4393985-1568417607
RUNJOBID= node120-1323932029-9409
PBS_JOBID= 21702277
Free space on /tmp= 61648 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-200-10-1.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-4393985-1568417607/watcher-4393985-1568417607 -o /tmp/evaluation-result-4393985-1568417607/solver-4393985-1568417607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263611414 HOME/instance-4393985-1568417607.xml

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

MD5SUM BENCH= 4dc4d699091ca89690279c2093d69f52
RANDOM SEED=1263611414

node120.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		: 2667.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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28288624 kB
MemAvailable:   31827156 kB
Buffers:          191036 kB
Cached:          3652496 kB
SwapCached:        77548 kB
Active:          1083920 kB
Inactive:        2841484 kB
Active(anon):       3980 kB
Inactive(anon):   127860 kB
Active(file):    1079940 kB
Inactive(file):  2713624 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26164 kB
Writeback:             0 kB
AnonPages:        112668 kB
Mapped:            48136 kB
Shmem:             41008 kB
Slab:             150392 kB
SReclaimable:     121604 kB
SUnreclaim:        28788 kB
KernelStack:        3296 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61624 MiB
End job on node120 at 2011-12-15 08:35:50