Trace number 4254712

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-07-26)OPT1100 42.435902 6.3523598

General information on the benchmark

NameRack/
Rack-m1c-s1/Rack-m1c-r2.xml
MD5SUMa7a611711d538e27d6e463316b2ea293
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1100
Best CPU time to get the best result obtained on this benchmark5.7864599
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints56
Number of domains6
Minimum domain size3
Maximum domain size17
Distribution of domain sizes[{"size":3,"count":50},{"size":5,"count":10},{"size":9,"count":10},{"size":17,"count":10}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":38},{"degree":4,"count":10},{"degree":5,"count":2}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":30},{"arity":4,"count":1},{"arity":5,"count":20},{"arity":10,"count":5}]
Number of extensional constraints30
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":30},{"type":"intension","count":1},{"type":"ordered","count":1},{"type":"sum","count":24}]
Optimization problemYES
Type of objectivemin SUM

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.06	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254712-1502002130.xml"  -tl '1920s' -p 8 -x 0
0.00/0.25	c [HOME/instance-4254712-1502002130.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.31	c 8 solvers in parallel
0.00/0.37	c parse instance...
0.00/0.74	c solve instance...
0.00/0.77	o 2000 
0.00/0.77	o 1950 
0.00/0.78	o 1800 
0.00/0.78	o 1750 
0.00/0.79	o 1600 
0.00/0.80	o 1550 
0.00/0.80	o 1500 
0.00/0.80	o 1400 
0.00/0.81	o 1350 
0.00/0.82	o 1200 
0.00/0.82	o 1150 
0.00/0.94	o 1100 
42.10/6.34	s OPTIMUM FOUND
42.10/6.34	v <instantiation>
42.10/6.34	v 	<list>r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] c[0][0] c[0][1] c[0][2] c[0][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2] c[2][3] c[3][0] c[3][1] c[3][2] c[3][3] c[4][0] c[4][1] c[4][2] c[4][3] c[5][0] c[5][1] c[5][2] c[5][3] c[6][0] c[6][1] c[6][2] c[6][3] c[7][0] c[7][1] c[7][2] c[7][3] c[8][0] c[8][1] c[8][2] c[8][3] c[9][0] c[9][1] c[9][2] c[9][3] rpw[0] rpw[1] rpw[2] rpw[3] rpw[4] rpw[5] rpw[6] rpw[7] rpw[8] rpw[9] rcn[0] rcn[1] rcn[2] rcn[3] rcn[4] rcn[5] rcn[6] rcn[7] rcn[8] rcn[9] rpr[0] rpr[1] rpr[2] rpr[3] rpr[4] rpr[5] rpr[6] rpr[7] rpr[8] rpr[9] </list>
42.10/6.34	v 	<values>2 1 1 1 1 1 1 0 0 0 10 0 0 0 1 3 0 0 5 0 1 0 1 2 1 0 0 1 2 0 3 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 200 150 150 150 150 150 150 0 0 0 16 8 8 8 8 8 8 0 0 0 200 150 150 150 150 150 150 0 0 0 </values>
42.10/6.34	v </instantiation>

Verifier Data 

OK	1100

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254712-1502002130/watcher-4254712-1502002130 -o /tmp/evaluation-result-4254712-1502002130/solver-4254712-1502002130 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501975748-7680 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 419984567 HOME/instance-4254712-1502002130.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.45 8.54 8.61 2/178 7153
/proc/meminfo: memFree=31632152/32770624 swapFree=0/312528
[pid=7153] ppid=7150 vsize=23672 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (runsolver) D 7150 7153 7624 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42123863 24240128 108 18446744073709551615 4194304 4338465 140722470235376 140722470233016 140100715848407 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 22118400 140722470240346 140722470240841 140722470240841 140722470244298 0
/proc/7153/statm: 5918 108 54 36 0 2156 0

[startup+0.100116 s]
/proc/loadavg: 8.45 8.54 8.61 2/178 7153
/proc/meminfo: memFree=31632152/32770624 swapFree=0/312528
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 8.45 8.54 8.61 2/178 7153
/proc/meminfo: memFree=31632152/32770624 swapFree=0/312528
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300318 s]
/proc/loadavg: 8.45 8.54 8.61 2/178 7153
/proc/meminfo: memFree=31632152/32770624 swapFree=0/312528
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700236 s]
/proc/loadavg: 8.45 8.54 8.61 2/178 7153
/proc/meminfo: memFree=31632152/32770624 swapFree=0/312528
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50498 s]
/proc/loadavg: 8.01 8.44 8.58 9/207 7278
/proc/meminfo: memFree=31459796/32770624 swapFree=0/312552
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
[pid=7155] ppid=7153 vsize=26534456 CPUtime=7.07 cores=0-7
/proc/7155/stat : 7155 (java) S 7153 7153 7624 0 -1 1077944320 23140 0 0 0 695 12 0 0 20 0 28 0 42123869 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 140732874565776 139771081354999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
/proc/7155/statm: 6633614 50093 3209 1 0 6621907 0
[pid=7155/tid=7156] ppid=7153 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/7155/task/7156/stat : 7156 (java) S 7153 7153 7624 0 -1 1077944384 8321 0 0 0 59 5 0 0 20 0 28 0 42123869 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139771085595776 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7157] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7157/stat : 7157 (java) S 7153 7153 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770993261328 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7158] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7158/stat : 7158 (java) S 7153 7153 7624 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770992208784 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7159] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7159/stat : 7159 (java) S 7153 7153 7624 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770991156240 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7160] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7160/stat : 7160 (java) S 7153 7153 7624 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770990103696 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7161] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7161/stat : 7161 (java) S 7153 7153 7624 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770989050128 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7162] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7162/stat : 7162 (java) S 7153 7153 7624 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770987997584 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7163] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7163/stat : 7163 (java) S 7153 7153 7624 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770637683216 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7164] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7164/stat : 7164 (java) S 7153 7153 7624 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770636630672 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7165] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7165/stat : 7165 (java) S 7153 7153 7624 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770213046768 139771081366146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7166] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7166/stat : 7166 (java) S 7153 7153 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770211992992 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7167] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7167/stat : 7167 (java) S 7153 7153 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770210940400 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7168] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7168/stat : 7168 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770209888976 139771081373595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7169] ppid=7153 vsize=26534456 CPUtime=0.62 cores=0-7
/proc/7155/task/7169/stat : 7169 (java) R 7153 7153 7624 0 -1 1077944384 3386 0 0 0 61 1 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770208825360 139771081365205 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7170] ppid=7153 vsize=26534456 CPUtime=0.57 cores=0-7
/proc/7155/task/7170/stat : 7170 (java) R 7153 7153 7624 0 -1 4202560 2623 0 0 0 57 0 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770207776272 139771062055815 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7171] ppid=7153 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/7155/task/7171/stat : 7171 (java) R 7153 7153 7624 0 -1 4202560 2687 0 0 0 48 0 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770206716504 139771066462811 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7172] ppid=7153 vsize=26534456 CPUtime=0.55 cores=0-7
/proc/7155/task/7172/stat : 7172 (java) R 7153 7153 7624 0 -1 1077944384 2589 0 0 0 54 1 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770205677936 139771081366146 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7173] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7173/stat : 7173 (java) S 7153 7153 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770204625632 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7174] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7174/stat : 7174 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123880 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770203573168 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7271] ppid=7153 vsize=26534456 CPUtime=0.34 cores=0-7
/proc/7155/task/7271/stat : 7271 (java) R 7153 7153 7624 0 -1 4202560 20 0 0 0 34 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770190299384 139770673147420 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7272] ppid=7153 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/7155/task/7272/stat : 7272 (java) R 7153 7153 7624 0 -1 4202560 17 0 0 0 45 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770194509880 139770672653023 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7273] ppid=7153 vsize=26534456 CPUtime=0.36 cores=0-7
/proc/7155/task/7273/stat : 7273 (java) R 7153 7153 7624 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770188193264 139770672588417 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7274] ppid=7153 vsize=26534456 CPUtime=0.41 cores=0-7
/proc/7155/task/7274/stat : 7274 (java) R 7153 7153 7624 0 -1 4202560 41 0 0 0 41 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770189246520 139770672287113 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7275] ppid=7153 vsize=26534456 CPUtime=0.44 cores=0-7
/proc/7155/task/7275/stat : 7275 (java) R 7153 7153 7624 0 -1 4202560 18 0 0 0 44 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770193456096 139770672900415 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7276] ppid=7153 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/7155/task/7276/stat : 7276 (java) R 7153 7153 7624 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770191352120 140732874598600 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7277] ppid=7153 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/7155/task/7277/stat : 7277 (java) R 7153 7153 7624 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 42123958 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770192405144 139770672653023 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7278] ppid=7153 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/7155/task/7278/stat : 7278 (java) R 7153 7153 7624 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 28 0 42123959 27171282944 50093 18446744073709551615 4194304 4196468 140732874583232 139770195562032 139770672815844 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 26543968

[startup+3.10798 s]
/proc/loadavg: 8.01 8.44 8.58 12/207 7278
/proc/meminfo: memFree=31435724/32770624 swapFree=0/312552
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
[pid=7155] ppid=7153 vsize=26534456 CPUtime=19.26 cores=0-7
/proc/7155/stat : 7155 (java) S 7153 7153 7624 0 -1 1077944320 25098 0 0 0 1909 17 0 0 20 0 28 0 42123869 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 140732874565776 139771081354999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
/proc/7155/statm: 6633614 57303 3222 1 0 6621907 0
[pid=7155/tid=7156] ppid=7153 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/7155/task/7156/stat : 7156 (java) S 7153 7153 7624 0 -1 1077944384 8321 0 0 0 59 5 0 0 20 0 28 0 42123869 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139771085595776 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7157] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7157/stat : 7157 (java) S 7153 7153 7624 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770993261328 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7158] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7158/stat : 7158 (java) S 7153 7153 7624 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770992208784 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7159] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7159/stat : 7159 (java) S 7153 7153 7624 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770991156240 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7160] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7160/stat : 7160 (java) S 7153 7153 7624 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770990103696 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7161] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7161/stat : 7161 (java) S 7153 7153 7624 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770989050128 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7162] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7162/stat : 7162 (java) S 7153 7153 7624 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770987997584 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7163] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7163/stat : 7163 (java) S 7153 7153 7624 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770637683216 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7164] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7164/stat : 7164 (java) S 7153 7153 7624 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 42123870 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770636630672 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7165] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7165/stat : 7165 (java) S 7153 7153 7624 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770213046768 139771081366146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7166] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7166/stat : 7166 (java) S 7153 7153 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770211993056 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7167] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7167/stat : 7167 (java) S 7153 7153 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770210940416 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7168] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7168/stat : 7168 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770209888976 139771081373595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7169] ppid=7153 vsize=26534456 CPUtime=1.62 cores=0-7
/proc/7155/task/7169/stat : 7169 (java) R 7153 7153 7624 0 -1 4202560 3667 0 0 0 161 1 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770208816528 139771062533504 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7170] ppid=7153 vsize=26534456 CPUtime=1.31 cores=0-7
/proc/7155/task/7170/stat : 7170 (java) S 7153 7153 7624 0 -1 1077944384 3246 0 0 0 131 0 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770207783024 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7171] ppid=7153 vsize=26534456 CPUtime=1.35 cores=0-7
/proc/7155/task/7171/stat : 7171 (java) R 7153 7153 7624 0 -1 4202560 3457 0 0 0 135 0 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770206716320 139771064741803 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7172] ppid=7153 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/7155/task/7172/stat : 7172 (java) S 7153 7153 7624 0 -1 1077944384 2818 0 0 0 63 1 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770205677936 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7173] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7173/stat : 7173 (java) S 7153 7153 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770204625632 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7174] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7174/stat : 7174 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123880 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770203573168 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7271] ppid=7153 vsize=26534456 CPUtime=1.53 cores=0-7
/proc/7155/task/7271/stat : 7271 (java) R 7153 7153 7624 0 -1 4202560 24 0 0 0 153 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770190302416 139770672769950 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7272] ppid=7153 vsize=26534456 CPUtime=1.65 cores=0-7
/proc/7155/task/7272/stat : 7272 (java) R 7153 7153 7624 0 -1 4202560 18 0 0 0 165 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770194514256 139770672900463 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7273] ppid=7153 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/7155/task/7273/stat : 7273 (java) S 7153 7153 7624 0 -1 1077944384 21 0 0 0 140 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770188197440 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7274] ppid=7153 vsize=26534456 CPUtime=1.57 cores=0-7
/proc/7155/task/7274/stat : 7274 (java) R 7153 7153 7624 0 -1 4202560 45 0 0 0 157 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770189250240 139770673832715 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7275] ppid=7153 vsize=26534456 CPUtime=1.59 cores=0-7
/proc/7155/task/7275/stat : 7275 (java) R 7153 7153 7624 0 -1 1077944384 22 0 0 0 159 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770193461056 139771081365205 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7276] ppid=7153 vsize=26534456 CPUtime=1.51 cores=0-7
/proc/7155/task/7276/stat : 7276 (java) S 7153 7153 7624 0 -1 1077944384 21 0 0 0 151 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770191355840 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7277] ppid=7153 vsize=26534456 CPUtime=1.56 cores=0-7
/proc/7155/task/7277/stat : 7277 (java) R 7153 7153 7624 0 -1 4202560 20 0 0 0 156 0 0 0 20 0 28 0 42123958 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770192409032 139770672581266 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7278] ppid=7153 vsize=26534456 CPUtime=1.81 cores=0-7
/proc/7155/task/7278/stat : 7278 (java) R 7153 7153 7624 0 -1 4202560 22 0 0 0 181 0 0 0 20 0 28 0 42123959 27171282944 57303 18446744073709551615 4194304 4196468 140732874583232 139770195567176 139770674312510 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
Current children cumulated CPU time (s) 19.26
Current children cumulated vsize (KiB) 26543968

[startup+6.30126 s]
/proc/loadavg: 8.01 8.44 8.58 7/207 7278
/proc/meminfo: memFree=31414520/32770624 swapFree=0/312564
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
[pid=7155] ppid=7153 vsize=26534456 CPUtime=42.1 cores=0-7
/proc/7155/stat : 7155 (java) S 7153 7153 7624 0 -1 1077944320 33477 0 0 0 4147 63 0 0 20 0 28 0 42123869 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 140732874565776 139771081354999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
/proc/7155/statm: 6633614 56110 3248 1 0 6621907 0
[pid=7155/tid=7156] ppid=7153 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/7155/task/7156/stat : 7156 (java) S 7153 7153 7624 0 -1 1077944384 8321 0 0 0 59 5 0 0 20 0 28 0 42123869 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139771085595776 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7157] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7157/stat : 7157 (java) S 7153 7153 7624 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770993261328 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7158] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7158/stat : 7158 (java) S 7153 7153 7624 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770992208784 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7159] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7159/stat : 7159 (java) S 7153 7153 7624 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770991156240 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7160] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7160/stat : 7160 (java) S 7153 7153 7624 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770990103696 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7161] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7161/stat : 7161 (java) S 7153 7153 7624 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770989050128 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7162] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7162/stat : 7162 (java) S 7153 7153 7624 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770987997584 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7163] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7163/stat : 7163 (java) S 7153 7153 7624 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770637683216 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7164] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7164/stat : 7164 (java) S 7153 7153 7624 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770636630672 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7165] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7165/stat : 7165 (java) S 7153 7153 7624 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770213046768 139771081366146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7166] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7166/stat : 7166 (java) S 7153 7153 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770211993056 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7167] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7167/stat : 7167 (java) S 7153 7153 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770210940416 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7168] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7168/stat : 7168 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770209888976 139771081373595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7169] ppid=7153 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/7155/task/7169/stat : 7169 (java) S 7153 7153 7624 0 -1 1077944384 4154 0 0 0 168 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770208835568 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7170] ppid=7153 vsize=26534456 CPUtime=1.55 cores=0-7
/proc/7155/task/7170/stat : 7170 (java) S 7153 7153 7624 0 -1 1077944384 6284 0 0 0 153 2 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770207783024 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7171] ppid=7153 vsize=26534456 CPUtime=1.47 cores=0-7
/proc/7155/task/7171/stat : 7171 (java) S 7153 7153 7624 0 -1 1077944384 4435 0 0 0 146 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770206730480 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7172] ppid=7153 vsize=26534456 CPUtime=0.67 cores=0-7
/proc/7155/task/7172/stat : 7172 (java) S 7153 7153 7624 0 -1 1077944384 3327 0 0 0 66 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770205677936 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7173] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7173/stat : 7173 (java) S 7153 7153 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770204625632 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7174] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7174/stat : 7174 (java) S 7153 7153 7624 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 28 0 42123880 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770203573168 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7271] ppid=7153 vsize=26534456 CPUtime=4.25 cores=0-7
/proc/7155/task/7271/stat : 7271 (java) S 7153 7153 7624 0 -1 1077944384 103 0 0 0 420 5 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770190302320 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7272] ppid=7153 vsize=26534456 CPUtime=4.4 cores=0-7
/proc/7155/task/7272/stat : 7272 (java) R 7153 7153 7624 0 -1 4202560 91 0 0 0 434 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770194514368 139770673430019 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7273] ppid=7153 vsize=26534456 CPUtime=4.17 cores=0-7
/proc/7155/task/7273/stat : 7273 (java) S 7153 7153 7624 0 -1 1077944384 413 0 0 0 412 5 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770188197440 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7274] ppid=7153 vsize=26534456 CPUtime=4.48 cores=0-7
/proc/7155/task/7274/stat : 7274 (java) R 7153 7153 7624 0 -1 4202560 243 0 0 0 445 3 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770189250144 139770668863118 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7275] ppid=7153 vsize=26534456 CPUtime=4.33 cores=0-7
/proc/7155/task/7275/stat : 7275 (java) R 7153 7153 7624 0 -1 1077944384 297 0 0 0 427 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770193461056 139771081365205 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7276] ppid=7153 vsize=26534456 CPUtime=4.23 cores=0-7
/proc/7155/task/7276/stat : 7276 (java) R 7153 7153 7624 0 -1 4202560 82 0 0 0 417 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770191355744 139770673831691 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7277] ppid=7153 vsize=26534456 CPUtime=4.31 cores=0-7
/proc/7155/task/7277/stat : 7277 (java) R 7153 7153 7624 0 -1 4202560 78 0 0 0 425 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770192408544 139770674517095 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7278] ppid=7153 vsize=26534456 CPUtime=4.74 cores=0-7
/proc/7155/task/7278/stat : 7278 (java) R 7153 7153 7624 0 -1 4202560 296 0 0 0 469 5 0 0 20 0 28 0 42123959 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770195566784 139770674836273 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
Current children cumulated CPU time (s) 42.1
Current children cumulated vsize (KiB) 26543968

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7155 sig 9
??? kill 7153 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.30126 s]
/proc/loadavg: 8.01 8.44 8.58 7/207 7278
/proc/meminfo: memFree=31414520/32770624 swapFree=0/312564
[pid=7153] ppid=7150 vsize=9512 CPUtime=0 cores=0-7
/proc/7153/stat : 7153 (xcsp3-exec) S 7150 7153 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42123863 9740288 345 18446744073709551615 4194304 5098028 140722082906048 140722082904152 139911728783996 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 22749184 140722082910617 140722082910826 140722082910826 140722082914283 0
/proc/7153/statm: 2378 345 289 221 0 87 0
[pid=7155] ppid=7153 vsize=26534456 CPUtime=42.1 cores=0-7
/proc/7155/stat : 7155 (java) S 7153 7153 7624 0 -1 1077944320 33477 0 0 0 4147 63 0 0 20 0 28 0 42123869 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 140732874565776 139771081354999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
/proc/7155/statm: 6633614 56110 3248 1 0 6621907 0
[pid=7155/tid=7156] ppid=7153 vsize=26534456 CPUtime=0.64 cores=0-7
/proc/7155/task/7156/stat : 7156 (java) S 7153 7153 7624 0 -1 1077944384 8321 0 0 0 59 5 0 0 20 0 28 0 42123869 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139771085595776 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7157] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7157/stat : 7157 (java) S 7153 7153 7624 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770993261328 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7158] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7158/stat : 7158 (java) S 7153 7153 7624 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770992208784 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7159] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7159/stat : 7159 (java) S 7153 7153 7624 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770991156240 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7160] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7160/stat : 7160 (java) S 7153 7153 7624 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770990103696 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7161] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7161/stat : 7161 (java) S 7153 7153 7624 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770989050128 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7162] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7162/stat : 7162 (java) S 7153 7153 7624 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770987997584 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7163] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7163/stat : 7163 (java) S 7153 7153 7624 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770637683216 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7164] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7164/stat : 7164 (java) S 7153 7153 7624 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 42123870 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770636630672 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7165] ppid=7153 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/7155/task/7165/stat : 7165 (java) S 7153 7153 7624 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770213046768 139771081366146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7166] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7166/stat : 7166 (java) S 7153 7153 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770211993056 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7167] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7167/stat : 7167 (java) S 7153 7153 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 42123872 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770210940416 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7168] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7168/stat : 7168 (java) S 7153 7153 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770209888976 139771081373595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7169] ppid=7153 vsize=26534456 CPUtime=1.69 cores=0-7
/proc/7155/task/7169/stat : 7169 (java) S 7153 7153 7624 0 -1 1077944384 4154 0 0 0 168 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770208835568 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7170] ppid=7153 vsize=26534456 CPUtime=1.55 cores=0-7
/proc/7155/task/7170/stat : 7170 (java) S 7153 7153 7624 0 -1 1077944384 6284 0 0 0 153 2 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770207783024 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7171] ppid=7153 vsize=26534456 CPUtime=1.47 cores=0-7
/proc/7155/task/7171/stat : 7171 (java) S 7153 7153 7624 0 -1 1077944384 4435 0 0 0 146 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770206730480 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7172] ppid=7153 vsize=26534456 CPUtime=0.67 cores=0-7
/proc/7155/task/7172/stat : 7172 (java) S 7153 7153 7624 0 -1 1077944384 3327 0 0 0 66 1 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770205677936 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7173] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7173/stat : 7173 (java) S 7153 7153 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42123875 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770204625632 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7174] ppid=7153 vsize=26534456 CPUtime=0 cores=0-7
/proc/7155/task/7174/stat : 7174 (java) S 7153 7153 7624 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 28 0 42123880 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770203573168 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7271] ppid=7153 vsize=26534456 CPUtime=4.25 cores=0-7
/proc/7155/task/7271/stat : 7271 (java) S 7153 7153 7624 0 -1 1077944384 103 0 0 0 420 5 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770190302320 139771081366146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7272] ppid=7153 vsize=26534456 CPUtime=4.4 cores=0-7
/proc/7155/task/7272/stat : 7272 (java) R 7153 7153 7624 0 -1 4202560 91 0 0 0 434 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770194514368 139770673430019 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7273] ppid=7153 vsize=26534456 CPUtime=4.17 cores=0-7
/proc/7155/task/7273/stat : 7273 (java) S 7153 7153 7624 0 -1 1077944384 413 0 0 0 412 5 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770188197440 139771081365205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7274] ppid=7153 vsize=26534456 CPUtime=4.48 cores=0-7
/proc/7155/task/7274/stat : 7274 (java) R 7153 7153 7624 0 -1 4202560 243 0 0 0 445 3 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770189250144 139770668863118 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7275] ppid=7153 vsize=26534456 CPUtime=4.33 cores=0-7
/proc/7155/task/7275/stat : 7275 (java) R 7153 7153 7624 0 -1 1077944384 297 0 0 0 427 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770193461056 139771081365205 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7276] ppid=7153 vsize=26534456 CPUtime=4.23 cores=0-7
/proc/7155/task/7276/stat : 7276 (java) R 7153 7153 7624 0 -1 4202560 82 0 0 0 417 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770191355744 139770673831691 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7277] ppid=7153 vsize=26534456 CPUtime=4.31 cores=0-7
/proc/7155/task/7277/stat : 7277 (java) R 7153 7153 7624 0 -1 4202560 78 0 0 0 425 6 0 0 20 0 28 0 42123958 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770192408544 139770674517095 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
[pid=7155/tid=7278] ppid=7153 vsize=26534456 CPUtime=4.74 cores=0-7
/proc/7155/task/7278/stat : 7278 (java) R 7153 7153 7624 0 -1 4202560 296 0 0 0 469 5 0 0 20 0 28 0 42123959 27171282944 56110 18446744073709551615 4194304 4196468 140732874583232 139770195566784 139770674836273 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140732874588630 140732874588806 140732874588806 140732874592207 0
Current children cumulated CPU time (s) 42.1
Current children cumulated vsize (KiB) 26543968

Child status: 0
Real time (s): 6.35236
CPU time (s): 42.4359
CPU user time (s): 41.7799
CPU system time (s): 0.655991
CPU usage (%): 668.034
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7799
system time used= 0.655991
maximum resident set size= 230624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162125
involuntary context switches= 531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035972 second user time and 0.057289 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-06 08:34:52
IDJOB=4254712
IDBENCH=140550
IDSOLVER=2636
FILE ID=node135/4254712-1502002130
RUNJOBID= node135-1501975748-7680
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Rack/Rack-m1c-s1/Rack-m1c-r2.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-4254712-1502002130/watcher-4254712-1502002130 -o /tmp/evaluation-result-4254712-1502002130/solver-4254712-1502002130 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501975748-7680 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 419984567 HOME/instance-4254712-1502002130.xml

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

MD5SUM BENCH= a7a611711d538e27d6e463316b2ea293
RANDOM SEED=419984567

node135.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.21
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.21
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.21
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.21
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:        31631764 kB
MemAvailable:   32000028 kB
Buffers:          184736 kB
Cached:           465320 kB
SwapCached:            0 kB
Active:           378444 kB
Inactive:         329308 kB
Active(anon):      58412 kB
Inactive(anon):    16780 kB
Active(file):     320032 kB
Inactive(file):   312528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8200 kB
Writeback:             0 kB
AnonPages:         64856 kB
Mapped:            36340 kB
Shmem:             17152 kB
Slab:             129592 kB
SReclaimable:     103076 kB
SUnreclaim:        26516 kB
KernelStack:        3520 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     287644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62024 MiB
End job on node135 at 2017-08-06 08:34:58