Trace number 4272039

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 5a (2017-07-26)? (TO) 2527.9299 719.45697

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-24-a4.xml
MD5SUM703fa8ddaec9a7a194d23a6d05243a88
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark599
Best CPU time to get the best result obtained on this benchmark2520.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints35928
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":24}]
Minimum variable degree5820
Maximum variable degree5821
Distribution of variable degrees[{"degree":5820,"count":22},{"degree":5821,"count":2}]
Minimum constraint arity1
Maximum constraint arity24
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4048},{"arity":4,"count":31878},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints35927
Distribution of constraint types[{"type":"intension","count":35927},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272039-1502776566.xml"  -tl '2520s' -p 1 -x 3
0.12/0.25	c [HOME/instance-4272039-1502776566.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.31	c simple solver
0.32/0.38	c parse instance...
11.24/3.70	c solve 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 (14887 MiB free)
  memory of node 1: 16384 MiB (15228 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272039-1502776566/watcher-4272039-1502776566 -o /tmp/evaluation-result-4272039-1502776566/solver-4272039-1502776566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1048756042 HOME/instance-4272039-1502776566.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=26651, runsolver pid=26648

[startup+0.100138 s]*
/proc/loadavg: 1.49 1.49 1.51 3/204 26658
/proc/meminfo: memFree=30832064/32770624 swapFree=67108860/67108860
[pid=26651] ppid=26648 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26651/stat : 26651 (xcsp3-exec) S 26648 26651 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 31539186 9740288 345 18446744073709551615 4194304 5098028 140726378766144 140726378764248 139788948152956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 8417280 140726378770809 140726378771014 140726378771014 140726378774507 0
/proc/26651/statm: 2378 345 289 221 0 87 0
[pid=26653] ppid=26651 vsize=13442384 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26651 26651 7968 0 -1 1077944320 3783 0 0 0 1 0 0 0 20 0 8 0 31539195 13765001216 3988 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3360596 3988 2025 1 0 3350093 0
[pid=26653/tid=26654] ppid=26651 vsize=13507920 memory=7078076838863583841 CPUtime=0.01 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) R 26651 26651 7968 0 -1 4202560 2547 0 0 0 1 0 0 0 20 0 8 0 31539195 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139723487737512 139723476688497 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26651 vsize=13507920 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 31539196 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139723417938448 139723483514581 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26651 vsize=13507920 memory=140063047095936 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 31539196 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139723416885904 139723483514581 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26651 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 31539196 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139723415832848 139723483514581 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 31539196 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139723414780304 139723483514581 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 31539197 13832110080 3990 18446744073709551615 4194304 4196468 140725224695152 139722398620400 139723483515522 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26651 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26651 26651 7968 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 31539197 13832110080 4056 18446744073709551615 4194304 4196468 140725224695152 139722397565520 139723483514581 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13451896 KiB
Current children cumulated memory: 17332 KiB

[startup+0.211345 s]*
/proc/loadavg: 1.49 1.49 1.51 3/213 26667
/proc/meminfo: memFree=30822100/32770624 swapFree=67108860/67108860
[pid=26651] ppid=26648 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26651/stat : 26651 (xcsp3-exec) S 26648 26651 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 31539186 9740288 345 18446744073709551615 4194304 5098028 140726378766144 140726378764248 139788948152956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 8417280 140726378770809 140726378771014 140726378771014 140726378774507 0
/proc/26651/statm: 2378 345 289 221 0 87 0
[pid=26653] ppid=26651 vsize=13974352 memory=27924 CPUtime=0.12 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26651 26651 7968 0 -1 1077944320 5428 0 0 0 10 2 0 0 20 0 15 0 31539195 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3493588 6981 2840 1 0 3482964 0
[pid=26653/tid=26654] ppid=26651 vsize=13974352 memory=7078076838863583841 CPUtime=0.09 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) R 26651 26651 7968 0 -1 4202560 3443 0 0 0 8 1 0 0 20 0 15 0 31539195 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139723487736480 139723483516310 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26651 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139723417938448 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26651 vsize=13974352 memory=140063047095936 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139723416885904 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26651 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139723415832848 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 31539196 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139723414780304 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13974352 memory=140063047095936 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 31539197 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722398620400 139723483515522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26651 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26651 26651 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 31539197 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722397566624 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26651 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26651 26651 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 31539198 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722396513520 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26651 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722395462096 139723483522971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26651 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) R 26651 26651 7968 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 31539200 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722394409200 139723483515522 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26651 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722393356656 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26651 vsize=13974352 memory=140063047095936 CPUtime=0.01 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) R 26651 26651 7968 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 31539200 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722392303600 139723462638244 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26651 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14309736448 6981 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26651 vsize=13974352 memory=140063047095936 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539204 14309736448 7046 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29304 KiB

[startup+0.312299 s]*
/proc/loadavg: 1.49 1.49 1.51 5/213 26667
/proc/meminfo: memFree=30809368/32770624 swapFree=67108860/67108860
[pid=26651] ppid=26648 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26651/stat : 26651 (xcsp3-exec) S 26648 26651 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 31539186 9740288 345 18446744073709551615 4194304 5098028 140726378766144 140726378764248 139788948152956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 8417280 140726378770809 140726378771014 140726378771014 140726378774507 0
/proc/26651/statm: 2378 345 289 221 0 87 0
[pid=26653] ppid=26651 vsize=13978608 memory=39688 CPUtime=0.32 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26651 26651 7968 0 -1 1077944320 9125 0 0 0 29 3 0 0 20 0 15 0 31539195 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3494652 9922 3043 1 0 3482964 0
[pid=26653/tid=26654] ppid=26651 vsize=13978608 memory=4278483708103473607 CPUtime=0.19 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) R 26651 26651 7968 0 -1 4202560 6360 0 0 0 17 2 0 0 20 0 15 0 31539195 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139723487725368 139723467584862 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26651 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139723417938448 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26651 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139723416885904 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26651 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139723415832848 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 31539196 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139723414780304 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 31539197 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722398620400 139723483515522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26651 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26651 26651 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 31539197 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722397566624 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26651 26651 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 31539198 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722396513520 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722395462096 139723483522971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26651 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) S 26651 26651 7968 0 -1 1077944384 736 0 0 0 3 0 0 0 20 0 15 0 31539200 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722394409200 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26651 26651 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 31539200 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722393356656 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26651 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26651 26651 7968 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 15 0 31539200 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722392303600 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26651 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539204 14314094592 9922 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41068 KiB

[startup+0.700904 s]
/proc/loadavg: 1.49 1.49 1.51 5/213 26667
/proc/meminfo: memFree=30789224/32770624 swapFree=67108860/67108860
[pid=26651] ppid=26648 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26651/stat : 26651 (xcsp3-exec) S 26648 26651 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 31539186 9740288 345 18446744073709551615 4194304 5098028 140726378766144 140726378764248 139788948152956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 8417280 140726378770809 140726378771014 140726378771014 140726378774507 0
/proc/26651/statm: 2378 345 289 221 0 87 0
[pid=26653] ppid=26651 vsize=13978684 memory=84516 CPUtime=1.4 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26651 26651 7968 0 -1 1077944320 13265 0 0 0 134 6 0 0 20 0 15 0 31539195 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3494671 21129 3152 1 0 3482964 0
[pid=26653/tid=26654] ppid=26651 vsize=13978684 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) R 26651 26651 7968 0 -1 4202560 7827 0 0 0 53 4 0 0 20 0 15 0 31539195 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139723487739360 139723090927140 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26651 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139723417938448 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26651 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139723416885904 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26651 vsize=13978684 memory=7 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539196 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139723415832848 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13978684 memory=36 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) S 26651 26651 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 31539196 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139723414780304 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26651 26651 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 31539197 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722398620400 139723483515522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26651 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26651 26651 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 31539197 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722397566624 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26651 vsize=13978684 memory=7883313791582089521 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26651 26651 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 31539198 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722396513520 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26651 vsize=13978684 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722395462096 139723483522971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26651 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) R 26651 26651 7968 0 -1 4202560 1321 0 0 0 27 0 0 0 20 0 15 0 31539200 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722394397312 139723483507664 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26651 vsize=13978684 memory=140062910063216 CPUtime=0.25 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26651 26651 7968 0 -1 1077944384 1234 0 0 0 25 0 0 0 20 0 15 0 31539200 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722393356656 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26651 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26651 26651 7968 0 -1 1077944384 1576 0 0 0 27 0 0 0 20 0 15 0 31539200 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722392303600 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26651 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26651 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26651 26651 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 31539204 14314172416 21129 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85896 KiB

[startup+1.50074 s]
/proc/loadavg: 1.49 1.49 1.51 5/213 26667
/proc/meminfo: memFree=30651704/32770624 swapFree=67108860/67108860
[pid=26651] ppid=26648 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26651/stat : 26651 (xcsp3-exec) S 26648 26651 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 31539186 9740288 345 18446744073709551615 4194304 5098028 140726378766144 140726378764248 139788948152956 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 8417280 140726378770809 140726378771014 140726378771014 140726378774507 0
/proc/26651/statm: 2378 345 289 221 0 87 0
[pid=26653] ppid=26651 vsize=13980732 memory=228672 CPUtime=4 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26651 26651 7968 0 -1 1077944320 16653 0 0 0 386 14 0 0 20 0 15 0 31539195 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3495183 57168 3214 1 0 3483476 0
[pid=26653/tid=26654] ppid=26651 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) R 26651 26651 7968 0 -1 4202560 8517 0 0 0 127 6 0 0 20 0 15 0 31539195 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 139723487740256 139723093627249 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26651 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) S 26651 26651 7968 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 15 0 31539196 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 139723417938448 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26651 vsize=13980732 memory=56 CPUtime=0.02 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) S 26651 26651 7968 0 -1 1077944384 105 0 0 0 1 1 0 0 20 0 15 0 31539196 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 139723416885904 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26651 vsize=13980732 memory=11830 CPUtime=0.02 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26651 26651 7968 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 15 0 31539196 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 139723415832848 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13980732 memory=20825 CPUtime=0.03 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) S 26651 26651 7968 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 15 0 31539196 14316269568 57168 18446744073709551615 4194304 4196468 140725224695152 139723414780304 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/26653/task/26657/stat : 26657 (java) R 26651 26651 7968 0 -1 4202560 49472 0 0 0 60400 365 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723415832432 139723476132583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26651 vsize=13980732 memory=6943526294502006880 CPUtime=605.57 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) R 26651 26651 7968 0 -1 4202560 56784 0 0 0 60162 395 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723414780504 139723468202200 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26651 vsize=13980732 memory=6943526294502006880 CPUtime=9.25 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26651 26651 7968 0 -1 1077944384 135784 0 0 0 918 7 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722398618720 139723483514581 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26651 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26651 26651 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722397566688 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26651 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26651 26651 7968 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 31539198 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722396513536 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26651 vsize=13980732 memory=280125821826656 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722395462096 139723483522971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26651 vsize=13980732 memory=56 CPUtime=3.1 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) S 26651 26651 7968 0 -1 1077944384 8540 0 0 0 309 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722394409248 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26651 vsize=13980732 memory=6944656575208382560 CPUtime=3.04 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26651 26651 7968 0 -1 1077944384 7155 0 0 0 303 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722393356416 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26651 vsize=13980732 memory=7595995126127355503 CPUtime=0.79 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26651 26651 7968 0 -1 1077944384 3770 0 0 0 78 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722392303648 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26651 vsize=13980732 memory=280125821939232 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26651 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26651 vsize=13980732 memory=1380 CPUtime=0.33 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26651 26651 7968 0 -1 1077944384 1114 0 0 0 19 14 0 0 20 0 15 0 31539204 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11520460 KiB

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

[startup+717.412 s]
# the end of solver process 26651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001809 s, system=0 s

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

[startup+719.457 s]
# the end of solver process 26653 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.04 s, system=16.8901 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+718.401 s]
/proc/loadavg: 4.85 4.41 3.11 6/213 26807
/proc/meminfo: memFree=17697432/32770624 swapFree=67108860/67108860
[pid=26653] ppid=26648 vsize=13980732 memory=11519080 CPUtime=2523.99 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26648 26651 7968 0 -1 1077944320 393937 0 0 0 250716 1683 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3495183 2879770 3260 1 0 3483476 0
[pid=26653/tid=26654] ppid=26648 vsize=13980732 memory=11519080 CPUtime=85.66 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) S 26648 26651 7968 0 -1 1077944384 16752 0 0 0 8553 13 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723487742832 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26648 vsize=13980732 memory=1200 CPUtime=603.57 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) R 26648 26651 7968 0 -1 4202560 40651 0 0 0 59911 446 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723417938032 139723476132583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26648 vsize=13980732 memory=15872 CPUtime=602.98 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) R 26648 26651 7968 0 -1 4202560 72587 0 0 0 59856 442 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723416885488 139723476132583 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26648 vsize=13980732 memory=1236 CPUtime=608.59 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) R 26648 26651 7968 0 -1 4202560 49472 0 0 0 60494 365 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723415832744 139723476132583 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26648 vsize=13980732 memory=640 CPUtime=606.57 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) R 26648 26651 7968 0 -1 4202560 56799 0 0 0 60262 395 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723414780504 139723465101409 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26648 vsize=13980732 memory=1792 CPUtime=9.25 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26648 26651 7968 0 -1 1077944384 135784 0 0 0 918 7 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722398618720 139723483514581 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26648 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26648 26651 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722397566688 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26648 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26648 26651 7968 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 31539198 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722396513536 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26648 vsize=13980732 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26648 26651 7968 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722395461744 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26648 vsize=13980732 memory=4872558044660077418 CPUtime=3.1 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) S 26648 26651 7968 0 -1 1077944384 8540 0 0 0 309 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722394409248 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26648 vsize=13980732 memory=928 CPUtime=3.04 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26648 26651 7968 0 -1 1077944384 7155 0 0 0 303 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722393356416 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26648 vsize=13980732 memory=2164 CPUtime=0.79 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26648 26651 7968 0 -1 1077944384 3770 0 0 0 78 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722392303648 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26648 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26648 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26648 vsize=13980732 memory=8566 CPUtime=0.33 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26648 26651 7968 0 -1 1077944384 1114 0 0 0 19 14 0 0 20 0 15 0 31539204 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current cumulated CPU time of completed processes: 0.001809 s
Current children cumulated CPU time: 2523.99 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11519080 KiB

[startup+719.201 s]
/proc/loadavg: 4.85 4.41 3.11 6/213 26807
/proc/meminfo: memFree=17697556/32770624 swapFree=67108860/67108860
[pid=26653] ppid=26648 vsize=13980732 memory=11519080 CPUtime=2527.08 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26648 26651 7968 0 -1 1077944320 393948 0 0 0 251025 1683 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3495183 2879770 3260 1 0 3483476 0
[pid=26653/tid=26654] ppid=26648 vsize=13980732 memory=1000 CPUtime=85.66 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) S 26648 26651 7968 0 -1 1077944384 16752 0 0 0 8553 13 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723487742832 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26648 vsize=13980732 memory=11519080 CPUtime=604.34 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) R 26648 26651 7968 0 -1 4202560 40651 0 0 0 59988 446 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723417938032 139723476132583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26648 vsize=13980732 memory=4278483708103473607 CPUtime=603.76 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) R 26648 26651 7968 0 -1 4202560 72587 0 0 0 59933 443 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723416885488 139723476132583 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26648 vsize=13980732 memory=8700 CPUtime=609.34 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) R 26648 26651 7968 0 -1 4202560 49472 0 0 0 60569 365 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723415832744 139723476132583 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26648 vsize=13980732 memory=5520 CPUtime=607.37 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) R 26648 26651 7968 0 -1 4202560 56810 0 0 0 60342 395 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723414780504 139723468202014 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26648 vsize=13980732 memory=4612 CPUtime=9.25 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26648 26651 7968 0 -1 1077944384 135784 0 0 0 918 7 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722398618720 139723483514581 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26648 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26648 26651 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722397566688 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26648 vsize=13980732 memory=8700 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26648 26651 7968 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 31539198 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722396513536 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26648 vsize=13980732 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26648 26651 7968 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722395461744 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26648 vsize=13980732 memory=16444 CPUtime=3.1 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) S 26648 26651 7968 0 -1 1077944384 8540 0 0 0 309 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722394409248 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26648 vsize=13980732 memory=12288 CPUtime=3.04 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26648 26651 7968 0 -1 1077944384 7155 0 0 0 303 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722393356416 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26648 vsize=13980732 memory=1236 CPUtime=0.79 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26648 26651 7968 0 -1 1077944384 3770 0 0 0 78 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722392303648 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26648 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26648 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26648 vsize=13980732 memory=1792 CPUtime=0.33 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26648 26651 7968 0 -1 1077944384 1114 0 0 0 19 14 0 0 20 0 15 0 31539204 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current cumulated CPU time of completed processes: 0.001809 s
Current children cumulated CPU time: 2527.08 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11519080 KiB

[startup+719.401 s]
/proc/loadavg: 4.85 4.41 3.11 6/213 26807
/proc/meminfo: memFree=17697556/32770624 swapFree=67108860/67108860
[pid=26653] ppid=26648 vsize=13980732 memory=11519080 CPUtime=2527.85 cores=1,3,5,7
/proc/26653/stat : 26653 (java) S 26648 26651 7968 0 -1 1077944320 393953 0 0 0 251102 1683 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 140725224677696 139723483504375 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
/proc/26653/statm: 3495183 2879770 3260 1 0 3483476 0
[pid=26653/tid=26654] ppid=26648 vsize=13980732 memory=2248 CPUtime=85.66 cores=1,3,5,7
/proc/26653/task/26654/stat : 26654 (java) S 26648 26651 7968 0 -1 1077944384 16752 0 0 0 8553 13 0 0 20 0 15 0 31539195 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723487742832 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26655] ppid=26648 vsize=13980732 memory=4872558044660077418 CPUtime=604.53 cores=1,3,5,7
/proc/26653/task/26655/stat : 26655 (java) R 26648 26651 7968 0 -1 4202560 40651 0 0 0 60007 446 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723417938032 139723476132583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26656] ppid=26648 vsize=13980732 memory=1228 CPUtime=603.95 cores=1,3,5,7
/proc/26653/task/26656/stat : 26656 (java) R 26648 26651 7968 0 -1 4202560 72587 0 0 0 59952 443 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723416885488 139723476132583 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26657] ppid=26648 vsize=13980732 memory=1000 CPUtime=609.53 cores=1,3,5,7
/proc/26653/task/26657/stat : 26657 (java) S 26648 26651 7968 0 -1 1077944384 49472 0 0 0 60588 365 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723415832432 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26658] ppid=26648 vsize=13980732 memory=2012 CPUtime=607.57 cores=1,3,5,7
/proc/26653/task/26658/stat : 26658 (java) R 26648 26651 7968 0 -1 4202560 56815 0 0 0 60362 395 0 0 20 0 15 0 31539196 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139723414780504 139723465100917 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26659] ppid=26648 vsize=13980732 memory=19536 CPUtime=9.25 cores=1,3,5,7
/proc/26653/task/26659/stat : 26659 (java) S 26648 26651 7968 0 -1 1077944384 135784 0 0 0 918 7 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722398618720 139723483514581 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26660] ppid=26648 vsize=13980732 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26660/stat : 26660 (java) S 26648 26651 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 31539197 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722397566688 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26661] ppid=26648 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26661/stat : 26661 (java) S 26648 26651 7968 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 31539198 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722396513536 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26662] ppid=26648 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26662/stat : 26662 (java) S 26648 26651 7968 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722395461744 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26663] ppid=26648 vsize=13980732 memory=4304 CPUtime=3.1 cores=1,3,5,7
/proc/26653/task/26663/stat : 26663 (java) S 26648 26651 7968 0 -1 1077944384 8540 0 0 0 309 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722394409248 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26664] ppid=26648 vsize=13980732 memory=1588 CPUtime=3.04 cores=1,3,5,7
/proc/26653/task/26664/stat : 26664 (java) S 26648 26651 7968 0 -1 1077944384 7155 0 0 0 303 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722393356416 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26665] ppid=26648 vsize=13980732 memory=928 CPUtime=0.79 cores=1,3,5,7
/proc/26653/task/26665/stat : 26665 (java) S 26648 26651 7968 0 -1 1077944384 3770 0 0 0 78 1 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722392303648 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26666] ppid=26648 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/26653/task/26666/stat : 26666 (java) S 26648 26651 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 31539200 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722391251296 139723483514581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
[pid=26653/tid=26667] ppid=26648 vsize=13980732 memory=1440 CPUtime=0.33 cores=1,3,5,7
/proc/26653/task/26667/stat : 26667 (java) S 26648 26651 7968 0 -1 1077944384 1114 0 0 0 19 14 0 0 20 0 15 0 31539204 14316269568 2879770 18446744073709551615 4194304 4196468 140725224695152 139722390199344 139723483515522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27996160 140725224698290 140725224698466 140725224698466 140725224701903 0
Current cumulated CPU time of completed processes: 0.001809 s
Current children cumulated CPU time: 2527.85 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11519080 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 719.457
CPU time (s): 2527.93
CPU user time (s): 2511.04
CPU system time (s): 16.8901
CPU usage (%): 351.366
Max. virtual memory (cumulated for all children) (KiB): 14055780
Max. memory (cumulated for all children) (KiB): 11520460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.04
system time used= 16.8901
maximum resident set size= 11519400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394474
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72969
involuntary context switches= 35230


# summary of solver processes directly reported to runsolver:
#   pid: 26651,26653
#   total CPU time (s): 2527.93
#   total CPU user time (s): 2511.04
#   total CPU system time (s): 16.8901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96334 second user time and 7.19192 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-15 07:42:08
IDJOB=4272039
IDBENCH=126230
IDSOLVER=2664
FILE ID=node128/4272039-1502776566
RUNJOBID= node128-1502649221-29001
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-24-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272039-1502776566/watcher-4272039-1502776566 -o /tmp/evaluation-result-4272039-1502776566/solver-4272039-1502776566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1048756042 HOME/instance-4272039-1502776566.xml

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

MD5SUM BENCH= 703fa8ddaec9a7a194d23a6d05243a88
RANDOM SEED=1048756042

node128.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.94
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.94
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.94
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.94
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:        30838496 kB
MemAvailable:   31710580 kB
Buffers:          218896 kB
Cached:           937072 kB
SwapCached:            0 kB
Active:           668364 kB
Inactive:         846900 kB
Active(anon):     359640 kB
Inactive(anon):    16764 kB
Active(file):     308724 kB
Inactive(file):   830136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9508 kB
Writeback:             0 kB
AnonPages:        410308 kB
Mapped:            49608 kB
Shmem:             17116 kB
Slab:             123540 kB
SReclaimable:      98120 kB
SUnreclaim:        25420 kB
KernelStack:        3776 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     967376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62012 MiB
End job on node128 at 2017-08-15 07:54:08