Trace number 4281344

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)OPT55 28.5525 4.3357201

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-10-a3.xml
MD5SUM1a91370fd3edda64a19224a97cd9d854
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark12.032
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints48
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":45},{"size":501,"count":10}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity45
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}]
Number of extensional constraints0
Number of intensional constraints46
Distribution of constraint types[{"type":"intension","count":46},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281344-1503186009.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281344-1503186009.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.00/0.59	c solve instance...
1.98/0.75	o 80 
1.98/0.79	o 75 
2.69/0.80	o 73 
2.69/0.87	o 72 
3.42/0.93	o 70 
3.42/0.94	o 68 
4.15/1.04	o 66 
4.15/1.05	o 65 
4.15/1.08	o 62 
6.36/1.40	o 60 
11.96/2.09	o 59 
13.48/2.26	o 55 
27.86/4.09	s OPTIMUM FOUND
27.86/4.09	v <instantiation>
27.86/4.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list>
27.86/4.09	v 	<values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values>
27.86/4.09	v </instantiation>

Verifier Data 

OK	55

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281344-1503186009/watcher-4281344-1503186009 -o /tmp/evaluation-result-4281344-1503186009/solver-4281344-1503186009 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1085053225 HOME/instance-4281344-1503186009.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21798, runsolver pid=21795


[startup+0.100064 s]*
/proc/loadavg: 8.11 8.03 8.02 3/199 21819
/proc/meminfo: memFree=27321404/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=25999808 memory=26704 CPUtime=0.11 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 5487 0 0 0 10 1 0 0 20 0 20 0 151688529 26623803392 6676 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6499952 6676 2885 1 0 6488269 0
[pid=21800/tid=21801] ppid=21798 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) R 21798 21798 19607 0 -1 4202560 3474 0 0 0 8 0 0 0 20 0 20 0 151688529 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752802522928 139752798301590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=25999808 memory=140401767900800 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21805] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21805/stat : 21805 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752747752208 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21806] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21806/stat : 21806 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752746699408 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21807] ppid=21798 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21807/stat : 21807 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752745646608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21808] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21808/stat : 21808 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752744593808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21809] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21809/stat : 21809 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26623803392 6676 33554432000 4194304 4196468 140722063210320 139752743541008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21810] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21810/stat : 21810 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688531 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751540431728 139752798300802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21811] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21811/stat : 21811 (java) S 21798 21798 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151688532 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751539377696 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21812] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21812/stat : 21812 (java) S 21798 21798 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151688532 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751538324848 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21813] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21813/stat : 21813 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688534 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751537273168 139752798308251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21814] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21814/stat : 21814 (java) S 21798 21798 19607 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 151688534 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751536220528 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21815] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21815/stat : 21815 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688534 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751535167728 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21816] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21816/stat : 21816 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688535 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751534114928 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21817] ppid=21798 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21800/task/21817/stat : 21817 (java) R 21798 21798 19607 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 20 0 151688535 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751533062128 139752779527216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21818] ppid=21798 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21818/stat : 21818 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688535 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751532010592 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21819] ppid=21798 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21819/stat : 21819 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688535 26623803392 6676 33554432000 4194304 4196468 140722063210320 139751530957872 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28088 KiB

[startup+0.210331 s]*
/proc/loadavg: 8.11 8.03 8.02 2/199 21819
/proc/meminfo: memFree=27309632/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=26004064 memory=39148 CPUtime=0.33 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 8371 0 0 0 30 3 0 0 20 0 20 0 151688529 26628161536 9787 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6501016 9787 3005 1 0 6488269 0
[pid=21800/tid=21801] ppid=21798 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) D 21798 21798 19607 0 -1 1077944384 5448 0 0 0 18 1 0 0 20 0 20 0 151688529 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752802500464 139752790968877 0 4 0 16800975 18446744072101707300 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=26004064 memory=288370777919612544 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21805] ppid=21798 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21805/stat : 21805 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628194304 9787 33554432000 4194304 4196468 140722063210320 139752747752208 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21806] ppid=21798 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21806/stat : 21806 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628194304 9787 33554432000 4194304 4196468 140722063210320 139752746699408 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21807] ppid=21798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21807/stat : 21807 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752745646608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21808] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21808/stat : 21808 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752744593808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21809] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21809/stat : 21809 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628161536 9787 33554432000 4194304 4196468 140722063210320 139752743541008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21810] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21810/stat : 21810 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688531 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751540431728 139752798300802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21811] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21811/stat : 21811 (java) S 21798 21798 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151688532 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751539377696 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21812] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21812/stat : 21812 (java) S 21798 21798 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151688532 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751538324848 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21813] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21813/stat : 21813 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688534 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751537273168 139752798308251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21814] ppid=21798 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/21800/task/21814/stat : 21814 (java) S 21798 21798 19607 0 -1 1077944384 675 0 0 0 1 0 0 0 20 0 20 0 151688534 26628194304 9787 33554432000 4194304 4196468 140722063210320 139751536220528 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21815] ppid=21798 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/21800/task/21815/stat : 21815 (java) S 21798 21798 19607 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 151688534 26628194304 9787 33554432000 4194304 4196468 140722063210320 139751535167728 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21816] ppid=21798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21816/stat : 21816 (java) S 21798 21798 19607 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 151688535 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751534114928 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21817] ppid=21798 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/21800/task/21817/stat : 21817 (java) S 21798 21798 19607 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 20 0 151688535 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751533062128 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21818] ppid=21798 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21818/stat : 21818 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688535 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751532010592 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21819] ppid=21798 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21819/stat : 21819 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688535 26628161536 9787 33554432000 4194304 4196468 140722063210320 139751530957872 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40532 KiB

[startup+0.310262 s]*
/proc/loadavg: 8.11 8.03 8.02 2/199 21819
/proc/meminfo: memFree=27302932/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=26004140 memory=46092 CPUtime=0.49 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 9312 0 0 0 45 4 0 0 20 0 20 0 151688529 26628239360 11523 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6501035 11523 3052 1 0 6488269 0
[pid=21800/tid=21801] ppid=21798 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) R 21798 21798 19607 0 -1 4202560 6196 0 0 0 27 2 0 0 20 0 20 0 151688529 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752802528144 139752798311581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21805] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21805/stat : 21805 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752747752208 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21806] ppid=21798 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/21800/task/21806/stat : 21806 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752746699408 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21807] ppid=21798 vsize=26004140 memory=140401608586159 CPUtime=0 cores=0-7
/proc/21800/task/21807/stat : 21807 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752745646608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21808] ppid=21798 vsize=26004140 memory=140401608588464 CPUtime=0 cores=0-7
/proc/21800/task/21808/stat : 21808 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752744593808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21809] ppid=21798 vsize=26004140 memory=140401608590768 CPUtime=0 cores=0-7
/proc/21800/task/21809/stat : 21809 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688530 26628239360 11523 33554432000 4194304 4196468 140722063210320 139752743541008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21810] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21810/stat : 21810 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151688531 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751540431728 139752798300802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21811] ppid=21798 vsize=26004140 memory=280803217188496 CPUtime=0 cores=0-7
/proc/21800/task/21811/stat : 21811 (java) S 21798 21798 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151688532 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751539377696 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21812] ppid=21798 vsize=26004140 memory=280803217195408 CPUtime=0 cores=0-7
/proc/21800/task/21812/stat : 21812 (java) S 21798 21798 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151688532 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751538324848 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21813] ppid=21798 vsize=26004140 memory=280803217136688 CPUtime=0 cores=0-7
/proc/21800/task/21813/stat : 21813 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688534 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751537273168 139752798308251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21814] ppid=21798 vsize=26004140 memory=280803217209232 CPUtime=0.02 cores=0-7
/proc/21800/task/21814/stat : 21814 (java) S 21798 21798 19607 0 -1 1077944384 682 0 0 0 2 0 0 0 20 0 20 0 151688534 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751536220528 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21815] ppid=21798 vsize=26004140 memory=280803217216144 CPUtime=0.02 cores=0-7
/proc/21800/task/21815/stat : 21815 (java) S 21798 21798 19607 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 151688534 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751535167728 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21816] ppid=21798 vsize=26004140 memory=280803217213840 CPUtime=0.01 cores=0-7
/proc/21800/task/21816/stat : 21816 (java) S 21798 21798 19607 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 151688535 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751534114928 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21817] ppid=21798 vsize=26004140 memory=280803217230000 CPUtime=0.12 cores=0-7
/proc/21800/task/21817/stat : 21817 (java) R 21798 21798 19607 0 -1 4202560 845 0 0 0 12 0 0 0 20 0 20 0 151688535 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751533062128 139752798311002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21818] ppid=21798 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21818/stat : 21818 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151688535 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751532010592 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21819] ppid=21798 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/21800/task/21819/stat : 21819 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151688535 26628239360 11523 33554432000 4194304 4196468 140722063210320 139751530957872 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47476 KiB

[startup+0.701019 s]
/proc/loadavg: 8.11 8.03 8.02 4/199 21819
/proc/meminfo: memFree=27286436/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=26538700 memory=95524 CPUtime=1.98 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 13331 0 0 0 192 6 0 0 20 0 28 0 151688529 27175628800 23881 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6634675 23881 3207 1 0 6621909 0
[pid=21800/tid=21801] ppid=21798 vsize=26538700 memory=280803217587888 CPUtime=0.57 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) S 21798 21798 19607 0 -1 1077944384 6847 0 0 0 54 3 0 0 20 0 28 0 151688529 27175628800 23881 33554432000 4194304 4196468 140722063210320 139752802530432 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=26538700 memory=140401608794992 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151688530 27175628800 23881 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151688530 27175628800 23881 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=26538700 memory=4620 CPUtime=0 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151688530 27175628800 23881 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0

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

# cumulated CPU time of all completed processes:  user=28.3885 s, system=0.163999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20201 s]
/proc/loadavg: 8.11 8.03 8.02 9/207 21923
/proc/meminfo: memFree=27139908/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=26605264 memory=211212 CPUtime=21.45 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 21316 0 0 0 2134 11 0 0 20 0 28 0 151688529 27243790336 52803 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6651316 52803 3266 1 0 6638550 0
[pid=21800/tid=21801] ppid=21798 vsize=26605264 memory=0 CPUtime=0.57 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) S 21798 21798 19607 0 -1 1077944384 6850 0 0 0 54 3 0 0 20 0 28 0 151688529 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752802530432 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=26605264 memory=7163659521894930022 CPUtime=0 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21805] ppid=21798 vsize=26605264 memory=6226324810908588392 CPUtime=0 cores=0-7
/proc/21800/task/21805/stat : 21805 (java) S 21798 21798 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752747752208 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21806] ppid=21798 vsize=26605264 memory=8102582798389621041 CPUtime=0 cores=0-7
/proc/21800/task/21806/stat : 21806 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752746699408 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21807] ppid=21798 vsize=26605264 memory=8104553123276863537 CPUtime=0 cores=0-7
/proc/21800/task/21807/stat : 21807 (java) S 21798 21798 19607 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752745646608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21808] ppid=21798 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/21800/task/21808/stat : 21808 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752744593808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21809] ppid=21798 vsize=26605264 memory=129612 CPUtime=0 cores=0-7
/proc/21800/task/21809/stat : 21809 (java) S 21798 21798 19607 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 52803 33554432000 4194304 4196468 140722063210320 139752743541008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21810] ppid=21798 vsize=26605264 memory=4620 CPUtime=0 cores=0-7
/proc/21800/task/21810/stat : 21810 (java) S 21798 21798 19607 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 151688531 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751540431728 139752798300802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21811] ppid=21798 vsize=26605264 memory=1428 CPUtime=0 cores=0-7
/proc/21800/task/21811/stat : 21811 (java) S 21798 21798 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151688532 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751539377696 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21812] ppid=21798 vsize=26605264 memory=1204 CPUtime=0 cores=0-7
/proc/21800/task/21812/stat : 21812 (java) S 21798 21798 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151688532 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751538324848 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21813] ppid=21798 vsize=26605264 memory=15880 CPUtime=0 cores=0-7
/proc/21800/task/21813/stat : 21813 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688534 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751537273168 139752798308251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21814] ppid=21798 vsize=26605264 memory=25456 CPUtime=1.27 cores=0-7
/proc/21800/task/21814/stat : 21814 (java) S 21798 21798 19607 0 -1 1077944384 2900 0 0 0 127 0 0 0 20 0 28 0 151688534 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751536220528 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21815] ppid=21798 vsize=26605264 memory=4048 CPUtime=1.46 cores=0-7
/proc/21800/task/21815/stat : 21815 (java) S 21798 21798 19607 0 -1 1077944384 2672 0 0 0 145 1 0 0 20 0 28 0 151688534 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751535167728 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21816] ppid=21798 vsize=26605264 memory=18488 CPUtime=1.46 cores=0-7
/proc/21800/task/21816/stat : 21816 (java) S 21798 21798 19607 0 -1 1077944384 2527 0 0 0 145 1 0 0 20 0 28 0 151688535 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751534114928 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21817] ppid=21798 vsize=26605264 memory=280803217203088 CPUtime=0.64 cores=0-7
/proc/21800/task/21817/stat : 21817 (java) S 21798 21798 19607 0 -1 1077944384 2718 0 0 0 63 1 0 0 20 0 28 0 151688535 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751533062128 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21818] ppid=21798 vsize=26605264 memory=280803216982256 CPUtime=0 cores=0-7
/proc/21800/task/21818/stat : 21818 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151688535 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751532010592 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21819] ppid=21798 vsize=26605264 memory=280803216985488 CPUtime=0 cores=0-7
/proc/21800/task/21819/stat : 21819 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688535 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751530957872 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21916] ppid=21798 vsize=26605264 memory=280803216985360 CPUtime=0.87 cores=0-7
/proc/21800/task/21916/stat : 21916 (java) R 21798 21798 19607 0 -1 4202560 19 0 0 0 87 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751450443496 139752421566472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21917] ppid=21798 vsize=26605264 memory=288230574492221466 CPUtime=0.93 cores=0-7
/proc/21800/task/21917/stat : 21917 (java) R 21798 21798 19607 0 -1 4202560 18 0 0 0 93 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751447286352 139752420964348 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21918] ppid=21798 vsize=26605264 memory=0 CPUtime=0.91 cores=0-7
/proc/21800/task/21918/stat : 21918 (java) R 21798 21798 19607 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751449391688 139752419367262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21919] ppid=21798 vsize=26605264 memory=0 CPUtime=0.92 cores=0-7
/proc/21800/task/21919/stat : 21919 (java) R 21798 21798 19607 0 -1 4202560 22 0 0 0 92 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751451496536 139752418812608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21920] ppid=21798 vsize=26605264 memory=0 CPUtime=0.9 cores=0-7
/proc/21800/task/21920/stat : 21920 (java) R 21798 21798 19607 0 -1 4202560 17 0 0 0 90 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751448337712 139752419367106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21921] ppid=21798 vsize=26605264 memory=0 CPUtime=0.87 cores=0-7
/proc/21800/task/21921/stat : 21921 (java) R 21798 21798 19607 0 -1 4202560 18 0 0 0 87 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751455707352 139752418789206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21922] ppid=21798 vsize=26605264 memory=6656426216303648864 CPUtime=0.9 cores=0-7
/proc/21800/task/21922/stat : 21922 (java) R 21798 21798 19607 0 -1 4202560 16 0 0 0 90 0 0 0 20 0 28 0 151688755 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751453602080 139752419757489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21923] ppid=21798 vsize=26605264 memory=0 CPUtime=0.85 cores=0-7
/proc/21800/task/21923/stat : 21923 (java) R 21798 21798 19607 0 -1 4202560 17 0 0 0 85 0 0 0 20 0 28 0 151688756 27243790336 52803 33554432000 4194304 4196468 140722063210320 139751454654288 139752419269809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
Current children cumulated CPU time: 21.45 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 212596 KiB

[startup+4.00101 s]*
/proc/loadavg: 8.18 8.05 8.02 9/207 21923
/proc/meminfo: memFree=27125284/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
[pid=21800] ppid=21798 vsize=26605264 memory=223344 CPUtime=27.86 cores=0-7
/proc/21800/stat : 21800 (java) S 21798 21798 19607 0 -1 1077944320 21723 0 0 0 2771 15 0 0 20 0 28 0 151688529 27243790336 55836 33554432000 4194304 4196468 140722063210320 140722063192864 139752798289655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
/proc/21800/statm: 6651316 55836 3268 1 0 6638550 0
[pid=21800/tid=21801] ppid=21798 vsize=26605264 memory=7584172172082901604 CPUtime=0.57 cores=0-7
/proc/21800/task/21801/stat : 21801 (java) S 21798 21798 19607 0 -1 1077944384 6850 0 0 0 54 3 0 0 20 0 28 0 151688529 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752802530432 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21802] ppid=21798 vsize=26605264 memory=3904676068185879600 CPUtime=0 cores=0-7
/proc/21800/task/21802/stat : 21802 (java) S 21798 21798 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752750910608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21803] ppid=21798 vsize=26605264 memory=6199981266666166705 CPUtime=0 cores=0-7
/proc/21800/task/21803/stat : 21803 (java) S 21798 21798 19607 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752749857808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21804] ppid=21798 vsize=26605264 memory=4872558044660077418 CPUtime=0.01 cores=0-7
/proc/21800/task/21804/stat : 21804 (java) S 21798 21798 19607 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752748805008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21805] ppid=21798 vsize=26605264 memory=5428 CPUtime=0 cores=0-7
/proc/21800/task/21805/stat : 21805 (java) S 21798 21798 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752747752208 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21806] ppid=21798 vsize=26605264 memory=4100 CPUtime=0 cores=0-7
/proc/21800/task/21806/stat : 21806 (java) S 21798 21798 19607 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752746699408 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21807] ppid=21798 vsize=26605264 memory=1156 CPUtime=0 cores=0-7
/proc/21800/task/21807/stat : 21807 (java) S 21798 21798 19607 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752745646608 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21808] ppid=21798 vsize=26605264 memory=2476 CPUtime=0 cores=0-7
/proc/21800/task/21808/stat : 21808 (java) S 21798 21798 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752744593808 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21809] ppid=21798 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/21800/task/21809/stat : 21809 (java) S 21798 21798 19607 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 151688530 27243790336 55836 33554432000 4194304 4196468 140722063210320 139752743541008 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21810] ppid=21798 vsize=26605264 memory=197884 CPUtime=0 cores=0-7
/proc/21800/task/21810/stat : 21810 (java) S 21798 21798 19607 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 151688531 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751540431728 139752798300802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21811] ppid=21798 vsize=26605264 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21800/task/21811/stat : 21811 (java) S 21798 21798 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151688532 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751539377760 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21812] ppid=21798 vsize=26605264 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21800/task/21812/stat : 21812 (java) S 21798 21798 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151688532 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751538324864 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21813] ppid=21798 vsize=26605264 memory=-7737605734073691286 CPUtime=0 cores=0-7
/proc/21800/task/21813/stat : 21813 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688534 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751537273168 139752798308251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21814] ppid=21798 vsize=26605264 memory=-7025452035942946156 CPUtime=1.34 cores=0-7
/proc/21800/task/21814/stat : 21814 (java) S 21798 21798 19607 0 -1 1077944384 2912 0 0 0 134 0 0 0 20 0 28 0 151688534 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751536220528 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21815] ppid=21798 vsize=26605264 memory=6944656591801717918 CPUtime=1.5 cores=0-7
/proc/21800/task/21815/stat : 21815 (java) S 21798 21798 19607 0 -1 1077944384 2676 0 0 0 149 1 0 0 20 0 28 0 151688534 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751535167728 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21816] ppid=21798 vsize=26605264 memory=6944613755328037012 CPUtime=1.49 cores=0-7
/proc/21800/task/21816/stat : 21816 (java) S 21798 21798 19607 0 -1 1077944384 2533 0 0 0 148 1 0 0 20 0 28 0 151688535 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751534114928 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21817] ppid=21798 vsize=26605264 memory=0 CPUtime=0.65 cores=0-7
/proc/21800/task/21817/stat : 21817 (java) S 21798 21798 19607 0 -1 1077944384 2735 0 0 0 64 1 0 0 20 0 28 0 151688535 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751533062128 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21818] ppid=21798 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21818/stat : 21818 (java) S 21798 21798 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151688535 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751532010592 139752798299861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21819] ppid=21798 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/21800/task/21819/stat : 21819 (java) S 21798 21798 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151688535 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751530957872 139752798300802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21916] ppid=21798 vsize=26605264 memory=0 CPUtime=1.64 cores=0-7
/proc/21800/task/21916/stat : 21916 (java) R 21798 21798 19607 0 -1 4202560 23 0 0 0 164 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751450442672 139752419544176 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21917] ppid=21798 vsize=26605264 memory=0 CPUtime=1.73 cores=0-7
/proc/21800/task/21917/stat : 21917 (java) R 21798 21798 19607 0 -1 4202560 22 0 0 0 173 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751447286520 139752419543691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21918] ppid=21798 vsize=26605264 memory=3472592183261933599 CPUtime=1.67 cores=0-7
/proc/21800/task/21918/stat : 21918 (java) R 21798 21798 19607 0 -1 4202560 25 0 0 0 167 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751449391704 139752419367339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21919] ppid=21798 vsize=26605264 memory=3683998608358192159 CPUtime=1.7 cores=0-7
/proc/21800/task/21919/stat : 21919 (java) R 21798 21798 19607 0 -1 4202560 234 0 0 0 169 1 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751451496680 139752419269640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21920] ppid=21798 vsize=26605264 memory=5791726317272917849 CPUtime=1.67 cores=0-7
/proc/21800/task/21920/stat : 21920 (java) R 21798 21798 19607 0 -1 4202560 33 0 0 0 167 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751448338088 139752418789246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21921] ppid=21798 vsize=26605264 memory=7740401749175064162 CPUtime=1.62 cores=0-7
/proc/21800/task/21921/stat : 21921 (java) R 21798 21798 19607 0 -1 4202560 25 0 0 0 162 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751455706968 139752419269680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21922] ppid=21798 vsize=26605264 memory=3054156605268329607 CPUtime=1.69 cores=0-7
/proc/21800/task/21922/stat : 21922 (java) R 21798 21798 19607 0 -1 4202560 22 0 0 0 169 0 0 0 20 0 28 0 151688755 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751453602080 139752419543560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
[pid=21800/tid=21923] ppid=21798 vsize=26605264 memory=-8175879895639241819 CPUtime=1.64 cores=0-7
/proc/21800/task/21923/stat : 21923 (java) R 21798 21798 19607 0 -1 4202560 95 0 0 0 164 0 0 0 20 0 28 0 151688756 27243790336 55836 33554432000 4194304 4196468 140722063210320 139751454654432 139752418812774 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722063217816 140722063217992 140722063217992 140722063220687 0
Current children cumulated CPU time: 27.86 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 224728 KiB

[startup+4.20046 s]
/proc/loadavg: 8.18 8.05 8.02 9/207 21923
/proc/meminfo: memFree=27125284/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

[startup+4.30035 s]
/proc/loadavg: 8.18 8.05 8.02 9/207 21923
/proc/meminfo: memFree=27125284/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21798/stat : 21798 (xcsp3-exec) S 21795 21798 19607 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151688529 9740288 346 33554432000 4194304 5098028 140729007339584 140729007337688 140329899725436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23482368 140729007346794 140729007347004 140729007347004 140729007349739 0
/proc/21798/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 4.33572
CPU time (s): 28.5525
CPU user time (s): 28.3885
CPU system time (s): 0.163999
CPU usage (%): 658.54
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 224728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.3885
system time used= 0.163999
maximum resident set size= 224152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4465
involuntary context switches= 774


# summary of solver processes directly reported to runsolver:
#   pid: 21798
#   total CPU time (s): 28.5525
#   total CPU user time (s): 28.3885
#   total CPU system time (s): 0.163999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056343 second user time and 0.086603 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-20 01:25:49
IDJOB=4281344
IDBENCH=126224
IDSOLVER=2676
FILE ID=node106/4281344-1503186009
RUNJOBID= node106-1503176127-19634
PBS_JOBID= 20630846
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-a3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281344-1503186009/watcher-4281344-1503186009 -o /tmp/evaluation-result-4281344-1503186009/solver-4281344-1503186009 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1085053225 HOME/instance-4281344-1503186009.xml

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

MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854
RANDOM SEED=1085053225

node106.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.86
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.86
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.86
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.86
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:        27337256 kB
MemAvailable:   31970112 kB
Buffers:          240176 kB
Cached:          4684912 kB
SwapCached:            0 kB
Active:          1072980 kB
Inactive:        3910108 kB
Active(anon):      14000 kB
Inactive(anon):    80012 kB
Active(file):    1058980 kB
Inactive(file):  3830096 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7596 kB
Writeback:             0 kB
AnonPages:        106212 kB
Mapped:            51988 kB
Shmem:             33420 kB
Slab:             146024 kB
SReclaimable:     119232 kB
SUnreclaim:        26792 kB
KernelStack:        3520 kB
PageTables:         4880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-20 01:25:53