Trace number 4405812

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-24? (TO) 2528.15 828.073

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-23.xml
MD5SUMea1f89da39181e5263a1c81884ecc603
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark40.8874
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains67
Minimum domain size476
Maximum domain size574
Distribution of domain sizes[{"size":476,"count":4},{"size":478,"count":2},{"size":482,"count":2},{"size":483,"count":2},{"size":484,"count":6},{"size":485,"count":2},{"size":488,"count":2},{"size":489,"count":4},{"size":490,"count":2},{"size":492,"count":2},{"size":493,"count":2},{"size":494,"count":2},{"size":495,"count":4},{"size":496,"count":2},{"size":498,"count":4},{"size":499,"count":2},{"size":500,"count":4},{"size":501,"count":4},{"size":502,"count":4},{"size":503,"count":4},{"size":504,"count":4},{"size":505,"count":2},{"size":506,"count":2},{"size":507,"count":4},{"size":509,"count":2},"...",{"size":536,"count":6}, {"size":537,"count":2}, {"size":538,"count":2}, {"size":539,"count":4}, {"size":540,"count":2}, {"size":542,"count":2}, {"size":543,"count":4}, {"size":547,"count":2}, {"size":550,"count":8}, {"size":551,"count":2}, {"size":552,"count":4}, {"size":553,"count":2}, {"size":554,"count":2}, {"size":555,"count":2}, {"size":557,"count":2}, {"size":559,"count":6}, {"size":560,"count":4}, {"size":562,"count":2}, {"size":565,"count":2}, {"size":566,"count":2}, {"size":567,"count":2}, {"size":569,"count":2}, {"size":571,"count":6}, {"size":573,"count":2}, {"size":574,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405812-1569412458.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4405812-1569412458.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...

Verifier Data 

One s line expected

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 (13176 MiB free)
  memory of node 1: 16384 MiB (11325 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405812-1569412458/watcher-4405812-1569412458 -o /tmp/evaluation-result-4405812-1569412458/solver-4405812-1569412458 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5935 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1956141798 HOME/instance-4405812-1569412458.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6979, runsolver pid=6976
Current StackSize limit: 8192 KiB


[startup+0.100168 s]*
/proc/loadavg: 2.07 2.02 1.81 4/227 6995
/proc/meminfo: memFree=25073764/32770624 swapFree=66941108/67108860
[pid=6979] ppid=6976 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6979/stat : 6979 (xcsp3-exec) S 6976 6979 5904 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517516756 115843072 363 33554432000 4194304 5098028 140721098299472 140721098297576 140525302792828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17211392 140721098302330 140721098302573 140721098302573 140721098305482 0
/proc/6979/statm: 28282 363 304 221 0 87 0
[pid=6981] ppid=6979 vsize=15144776 memory=29688 CPUtime=0.13 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6979 6979 5904 0 -1 1077944320 5832 0 0 0 12 1 0 0 20 0 15 0 517516756 15508250624 7422 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3786194 7422 3140 1 0 3748377 0
[pid=6981/tid=6982] ppid=6979 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) R 6979 6979 5904 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 517516757 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415898867296 140415877041276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6979 vsize=15144776 memory=3472468339245823184 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415847254544 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415846202000 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415845148944 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415844096400 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516759 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415037020912 140415894645378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6979 6979 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517516759 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415035967136 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6979 6979 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517516760 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415034914032 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415033862608 140415894652827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) R 6979 6979 5904 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415032809712 140415879529935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) R 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0.02 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6979 6979 5904 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 7422 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31140 KiB

[startup+0.210628 s]*
/proc/loadavg: 2.07 2.02 1.81 4/227 6995
/proc/meminfo: memFree=25060528/32770624 swapFree=66941108/67108860
[pid=6979] ppid=6976 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6979/stat : 6979 (xcsp3-exec) S 6976 6979 5904 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517516756 115843072 363 33554432000 4194304 5098028 140721098299472 140721098297576 140525302792828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17211392 140721098302330 140721098302573 140721098302573 140721098305482 0
/proc/6979/statm: 28282 363 304 221 0 87 0
[pid=6981] ppid=6979 vsize=15144776 memory=40800 CPUtime=0.34 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6979 6979 5904 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 517516756 15508250624 10200 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3786194 10200 3293 1 0 3748377 0
[pid=6981/tid=6982] ppid=6979 vsize=15144776 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) R 6979 6979 5904 0 -1 4202560 6612 0 0 0 18 2 0 0 20 0 15 0 517516757 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415898866144 140415894646166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6979 vsize=15144776 memory=3472468339245823184 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415847254544 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415846202000 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415845148944 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415844096400 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6979 6979 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517516759 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415037020912 140415894645378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6979 6979 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517516759 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415035967136 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6979 6979 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517516760 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415034914032 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6979 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415033862608 140415894652827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6979 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6979 6979 5904 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6979 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6979 6979 5904 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0.08 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) R 6979 6979 5904 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140414963148784 140415873314256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6979 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6979 vsize=15144776 memory=140210350671488 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516762 15508250624 10200 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42252 KiB

[startup+0.310597 s]*
/proc/loadavg: 2.07 2.02 1.81 3/227 6995
/proc/meminfo: memFree=25054920/32770624 swapFree=66941108/67108860
[pid=6979] ppid=6976 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6979/stat : 6979 (xcsp3-exec) S 6976 6979 5904 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517516756 115843072 363 33554432000 4194304 5098028 140721098299472 140721098297576 140525302792828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17211392 140721098302330 140721098302573 140721098302573 140721098305482 0
/proc/6979/statm: 28282 363 304 221 0 87 0
[pid=6981] ppid=6979 vsize=15149032 memory=49796 CPUtime=0.52 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6979 6979 5904 0 -1 1077944320 10728 0 0 0 48 4 0 0 20 0 15 0 517516756 15512608768 12449 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3787258 12449 3361 1 0 3748377 0
[pid=6981/tid=6982] ppid=6979 vsize=15149032 memory=4212167822348820889 CPUtime=0.3 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) R 6979 6979 5904 0 -1 4202560 7775 0 0 0 27 3 0 0 20 0 15 0 517516757 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415898865344 140415878714718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6979 vsize=15149032 memory=3472468506578351792 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415847254544 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6979 vsize=15149032 memory=140210350671489 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415846202000 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6979 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516757 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415845148944 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6979 vsize=15149032 memory=140210214149919 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415844096400 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6979 vsize=15149032 memory=280420428279072 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6979 6979 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517516759 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415037020912 140415894645378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6979 vsize=15149032 memory=140210214126863 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6979 6979 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517516759 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415035967136 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6979 vsize=15149032 memory=280420564807520 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6979 6979 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517516760 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415034914032 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6979 vsize=15149032 memory=140210214131471 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415033862608 140415894652827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6979 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6979 6979 5904 0 -1 1077944384 530 0 0 0 4 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6979 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6979 6979 5904 0 -1 1077944384 251 0 0 0 4 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6979 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6979 6979 5904 0 -1 1077944384 883 0 0 0 13 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6979 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6979 vsize=15149032 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516762 15512608768 12449 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51248 KiB

[startup+0.701083 s]
/proc/loadavg: 2.07 2.02 1.81 5/227 6995
/proc/meminfo: memFree=25030484/32770624 swapFree=66941108/67108860
[pid=6979] ppid=6976 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6979/stat : 6979 (xcsp3-exec) S 6976 6979 5904 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517516756 115843072 363 33554432000 4194304 5098028 140721098299472 140721098297576 140525302792828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17211392 140721098302330 140721098302573 140721098302573 140721098305482 0
/proc/6979/statm: 28282 363 304 221 0 87 0
[pid=6981] ppid=6979 vsize=15151156 memory=101600 CPUtime=1.79 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6979 6979 5904 0 -1 1077944320 16083 0 0 0 173 6 0 0 20 0 15 0 517516756 15514783744 25400 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3787789 25400 3446 1 0 3748889 0
[pid=6981/tid=6982] ppid=6979 vsize=15151156 memory=6153395287087403600 CPUtime=0.68 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) R 6979 6979 5904 0 -1 4202560 9127 0 0 0 64 4 0 0 20 0 15 0 517516757 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415898871520 140415876283098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6979 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415847254544 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6979 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415846202000 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6979 vsize=15151156 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516757 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415845148944 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6979 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) S 6979 6979 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517516757 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415844096400 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6979 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6979 6979 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415037020912 140415894645378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6979 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6979 6979 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415035967136 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6979 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6979 6979 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517516760 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415034914032 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6979 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415033862608 140415894652827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6979 vsize=15151156 memory=1096 CPUtime=0.37 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) R 6979 6979 5904 0 -1 4202560 1809 0 0 0 37 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415032790704 140415878045126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6979 vsize=15151156 memory=1228 CPUtime=0.36 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) R 6979 6979 5904 0 -1 4202560 1765 0 0 0 36 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140415031743096 140415876156708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6979 vsize=15151156 memory=6152 CPUtime=0.34 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6979 6979 5904 0 -1 1077944384 2073 0 0 0 34 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6979 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6979 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6979 6979 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 25400 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103052 KiB

[startup+1.50113 s]
/proc/loadavg: 2.07 2.02 1.81 5/227 6995
/proc/meminfo: memFree=24906892/32770624 swapFree=66941108/67108860
[pid=6979] ppid=6976 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6979/stat : 6979 (xcsp3-exec) S 6976 6979 5904 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517516756 115843072 363 33554432000 4194304 5098028 140721098299472 140721098297576 140525302792828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17211392 140721098302330 140721098302573 140721098302573 140721098305482 0
/proc/6979/statm: 28282 363 304 221 0 87 0

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

/proc/6981/task/6985/stat : 6985 (java) R 6979 6979 5904 0 -1 4202560 124117 0 0 0 56351 177 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415845148944 140415879587772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6979 vsize=15151156 memory=1452 CPUtime=563.9 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) R 6979 6979 5904 0 -1 4202560 153862 0 0 0 56215 175 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415844096600 140415879619527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6979 vsize=15151156 memory=12735784 CPUtime=79.22 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6979 6979 5904 0 -1 1077944384 139338 0 0 0 7911 11 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415037019232 140415894644437 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6979 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6979 6979 5904 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415035967200 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6979 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6979 6979 5904 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 517516760 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415034914048 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6979 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415033862608 140415894652827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6979 vsize=15151156 memory=1724 CPUtime=1.8 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6979 6979 5904 0 -1 1077944384 10823 0 0 0 179 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6979 vsize=15151156 memory=12735788 CPUtime=1.56 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6979 6979 5904 0 -1 1077944384 8264 0 0 0 155 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6979 vsize=15151156 memory=3260 CPUtime=0.59 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6979 6979 5904 0 -1 1077944384 6603 0 0 0 58 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6979 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6979 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6979 vsize=15151156 memory=111632 CPUtime=0.7 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6979 6979 5904 0 -1 1077944384 1029 0 0 0 24 46 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12737240 KiB

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

[startup+826.031 s]
# the end of solver process 6979 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000747 s, system=0.001494 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+828.073 s]
# the end of solver process 6981 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.57 s, system=7.57871 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+827.201 s]
/proc/loadavg: 4.68 4.29 3.16 6/227 7098
/proc/meminfo: memFree=12245832/32770624 swapFree=66941112/67108860
[pid=6981] ppid=6976 vsize=15151156 memory=12735788 CPUtime=2524.83 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6976 6979 5904 0 -1 1077944320 688373 0 0 0 251731 752 0 0 20 0 15 0 517516756 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3787789 3183947 3516 1 0 3748889 0
[pid=6981/tid=6982] ppid=6976 vsize=15151156 memory=12735788 CPUtime=178.39 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) S 6976 6979 5904 0 -1 1077944384 35833 0 0 0 17792 47 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415898871248 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6976 vsize=15151156 memory=12735788 CPUtime=565.76 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) R 6976 6979 5904 0 -1 4202560 113530 0 0 0 56408 168 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415847254432 140415879331900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6976 vsize=15151156 memory=8112282956445269571 CPUtime=565.16 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) R 6976 6979 5904 0 -1 4202560 93643 0 0 0 56356 160 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415846202200 140415879585440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6976 vsize=15151156 memory=12735788 CPUtime=566.47 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) R 6976 6979 5904 0 -1 4202560 124117 0 0 0 56470 177 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415845149144 140415879477648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6976 vsize=15151156 memory=2016 CPUtime=565.09 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) R 6976 6979 5904 0 -1 4202560 153862 0 0 0 56334 175 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415844096600 140415879331983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6976 vsize=15151156 memory=1416 CPUtime=79.22 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6976 6979 5904 0 -1 1077944384 139338 0 0 0 7911 11 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415037019232 140415894644437 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6976 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6976 6979 5904 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415035967200 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6976 vsize=15151156 memory=64844 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6976 6979 5904 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 517516760 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415034914048 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6976 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6976 6979 5904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415033862256 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6976 vsize=15151156 memory=2016 CPUtime=1.8 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6976 6979 5904 0 -1 1077944384 10823 0 0 0 179 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6976 vsize=15151156 memory=1416 CPUtime=1.56 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6976 6979 5904 0 -1 1077944384 8264 0 0 0 155 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6976 vsize=15151156 memory=10728 CPUtime=0.59 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6976 6979 5904 0 -1 1077944384 6603 0 0 0 58 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6976 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6976 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6976 vsize=15151156 memory=3984 CPUtime=0.7 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6976 6979 5904 0 -1 1077944384 1029 0 0 0 24 46 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current cumulated CPU time of completed processes: 0.002241 s
Current children cumulated CPU time: 2524.83 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12735788 KiB

[startup+827.601 s]
/proc/loadavg: 4.68 4.29 3.16 6/227 7098
/proc/meminfo: memFree=12245832/32770624 swapFree=66941112/67108860
[pid=6981] ppid=6976 vsize=15151156 memory=12735788 CPUtime=2526.42 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6976 6979 5904 0 -1 1077944320 688420 0 0 0 251890 752 0 0 20 0 15 0 517516756 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3787789 3183947 3516 1 0 3748889 0
[pid=6981/tid=6982] ppid=6976 vsize=15151156 memory=1228 CPUtime=178.39 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) S 6976 6979 5904 0 -1 1077944384 35833 0 0 0 17792 47 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415898871248 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6976 vsize=15151156 memory=6152 CPUtime=566.16 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) R 6976 6979 5904 0 -1 4202560 113542 0 0 0 56448 168 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415847254432 140415879331983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6976 vsize=15151156 memory=780 CPUtime=565.56 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) R 6976 6979 5904 0 -1 4202560 93654 0 0 0 56396 160 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415846202200 140415879331870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6976 vsize=15151156 memory=14008 CPUtime=566.87 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) R 6976 6979 5904 0 -1 4202560 124130 0 0 0 56510 177 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415845149144 140415879587783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6976 vsize=15151156 memory=34628 CPUtime=565.49 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) R 6976 6979 5904 0 -1 4202560 153871 0 0 0 56374 175 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415844096600 140415879584836 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6976 vsize=15151156 memory=8112282956445269571 CPUtime=79.22 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6976 6979 5904 0 -1 1077944384 139338 0 0 0 7911 11 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415037019232 140415894644437 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6976 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6976 6979 5904 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415035967200 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6976 vsize=15151156 memory=1748 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6976 6979 5904 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 517516760 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415034914048 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6976 vsize=15151156 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6976 6979 5904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415033862256 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6976 vsize=15151156 memory=808 CPUtime=1.8 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6976 6979 5904 0 -1 1077944384 10823 0 0 0 179 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6976 vsize=15151156 memory=4100 CPUtime=1.56 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6976 6979 5904 0 -1 1077944384 8264 0 0 0 155 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6976 vsize=15151156 memory=8112282956445269571 CPUtime=0.59 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6976 6979 5904 0 -1 1077944384 6603 0 0 0 58 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6976 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6976 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6976 vsize=15151156 memory=12735788 CPUtime=0.7 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6976 6979 5904 0 -1 1077944384 1031 0 0 0 24 46 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current cumulated CPU time of completed processes: 0.002241 s
Current children cumulated CPU time: 2526.42 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12735788 KiB

[startup+828.001 s]*
/proc/loadavg: 4.71 4.30 3.17 6/227 7098
/proc/meminfo: memFree=12245832/32770624 swapFree=66941112/67108860
[pid=6981] ppid=6976 vsize=15151156 memory=12735788 CPUtime=2528.05 cores=0,2,4,6
/proc/6981/stat : 6981 (java) S 6976 6979 5904 0 -1 1077944320 688425 0 0 0 252053 752 0 0 20 0 15 0 517516756 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140736823378288 140415894634231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
/proc/6981/statm: 3787789 3183947 3516 1 0 3748889 0
[pid=6981/tid=6982] ppid=6976 vsize=15151156 memory=1724 CPUtime=178.39 cores=0,2,4,6
/proc/6981/task/6982/stat : 6982 (java) S 6976 6979 5904 0 -1 1077944384 35833 0 0 0 17792 47 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415898871248 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6983] ppid=6976 vsize=15151156 memory=1096 CPUtime=566.56 cores=0,2,4,6
/proc/6981/task/6983/stat : 6983 (java) R 6976 6979 5904 0 -1 4202560 113543 0 0 0 56488 168 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415847254432 140415879332006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6984] ppid=6976 vsize=15151156 memory=-7003737579269690708 CPUtime=565.97 cores=0,2,4,6
/proc/6981/task/6984/stat : 6984 (java) R 6976 6979 5904 0 -1 4202560 93655 0 0 0 56437 160 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415846202200 140415879332006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6985] ppid=6976 vsize=15151156 memory=780 CPUtime=567.27 cores=0,2,4,6
/proc/6981/task/6985/stat : 6985 (java) R 6976 6979 5904 0 -1 4202560 124131 0 0 0 56550 177 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415845149144 140415879331983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6986] ppid=6976 vsize=15151156 memory=14008 CPUtime=565.9 cores=0,2,4,6
/proc/6981/task/6986/stat : 6986 (java) R 6976 6979 5904 0 -1 4202560 153873 0 0 0 56415 175 0 0 20 0 15 0 517516757 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415844096600 140415879331841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6987] ppid=6976 vsize=15151156 memory=34628 CPUtime=79.22 cores=0,2,4,6
/proc/6981/task/6987/stat : 6987 (java) S 6976 6979 5904 0 -1 1077944384 139338 0 0 0 7911 11 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415037019232 140415894644437 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6988] ppid=6976 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6988/stat : 6988 (java) S 6976 6979 5904 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 517516759 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415035967200 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6989] ppid=6976 vsize=15151156 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6989/stat : 6989 (java) S 6976 6979 5904 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 517516760 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415034914048 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6990] ppid=6976 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6990/stat : 6990 (java) S 6976 6979 5904 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415033862256 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6991] ppid=6976 vsize=15151156 memory=500 CPUtime=1.8 cores=0,2,4,6
/proc/6981/task/6991/stat : 6991 (java) S 6976 6979 5904 0 -1 1077944384 10823 0 0 0 179 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415032809712 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6992] ppid=6976 vsize=15151156 memory=928 CPUtime=1.56 cores=0,2,4,6
/proc/6981/task/6992/stat : 6992 (java) S 6976 6979 5904 0 -1 1077944384 8264 0 0 0 155 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140415031757168 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6993] ppid=6976 vsize=15151156 memory=3620 CPUtime=0.59 cores=0,2,4,6
/proc/6981/task/6993/stat : 6993 (java) S 6976 6979 5904 0 -1 1077944384 6603 0 0 0 58 1 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414963148784 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6994] ppid=6976 vsize=15151156 memory=64844 CPUtime=0 cores=0,2,4,6
/proc/6981/task/6994/stat : 6994 (java) S 6976 6979 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414962096480 140415894644437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
[pid=6981/tid=6995] ppid=6976 vsize=15151156 memory=988 CPUtime=0.7 cores=0,2,4,6
/proc/6981/task/6995/stat : 6995 (java) S 6976 6979 5904 0 -1 1077944384 1031 0 0 0 24 46 0 0 20 0 15 0 517516762 15514783744 3183947 33554432000 4194304 4196468 140736823395744 140414961044528 140415894645378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7536640 140736823403503 140736823403674 140736823403674 140736823406543 0
Current cumulated CPU time of completed processes: 0.002241 s
Current children cumulated CPU time: 2528.05 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12735788 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 828.073
CPU time (s): 2528.15
CPU user time (s): 2520.57
CPU system time (s): 7.57871
CPU usage (%): 305.305
Max. virtual memory (cumulated for all children) (KiB): 15265308
Max. memory (cumulated for all children) (KiB): 12737240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.57
system time used= 7.57871
maximum resident set size= 12736116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28666
involuntary context switches= 21639


# summary of solver processes directly reported to runsolver:
#   pid: 6979,6981
#   total CPU time (s): 2528.15
#   total CPU user time (s): 2520.57
#   total CPU system time (s): 7.57871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06093 second user time and 8.67946 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-25 13:56:33
IDJOB=4405812
IDBENCH=138447
IDSOLVER=2869
FILE ID=node139/4405812-1569412458
RUNJOBID= node139-1569408644-5935
PBS_JOBID= 21705708
Free space on /tmp= 5120 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-23.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405812-1569412458/watcher-4405812-1569412458 -o /tmp/evaluation-result-4405812-1569412458/solver-4405812-1569412458 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5935 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1956141798 HOME/instance-4405812-1569412458.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603
RANDOM SEED=1956141798

node139.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.57
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.57
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.57
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.57
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:        25089904 kB
MemAvailable:   31631992 kB
Buffers:          136116 kB
Cached:          6493456 kB
SwapCached:        64764 kB
Active:          3496596 kB
Inactive:        3352524 kB
Active(anon):     155572 kB
Inactive(anon):   119604 kB
Active(file):    3341024 kB
Inactive(file):  3232920 kB
Unevictable:      109024 kB
Mlocked:          109024 kB
SwapTotal:      67108860 kB
SwapFree:       66941108 kB
Dirty:             26156 kB
Writeback:             0 kB
AnonPages:        358624 kB
Mapped:            71384 kB
Shmem:             47440 kB
Slab:             426400 kB
SReclaimable:     396604 kB
SUnreclaim:        29796 kB
KernelStack:        4000 kB
PageTables:         5856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1512476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5092 MiB
End job on node139 at 2019-09-25 14:10:21