Trace number 4270538

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-09)OPT770 5.9800301 1.3045501

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff84.xml
MD5SUM57c9b04c42ddec3121be36f9ed91283a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark770
Best CPU time to get the best result obtained on this benchmark0.128846
Satisfiable
(Un)Satisfiability was proved
Number of variables154
Number of constraints151
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":10},{"size":19,"count":144}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":150},{"degree":31,"count":4}]
Minimum constraint arity2
Maximum constraint arity5
Distribution of constraint arities[{"arity":2,"count":120},{"arity":4,"count":1},{"arity":5,"count":30}]
Number of extensional constraints120
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":120},{"type":"ordered","count":1},{"type":"minimum","count":30}]
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.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270538-1502809843.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270538-1502809843.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.69/0.80	c solve instance...
3.38/0.94	o 2868 
3.38/0.97	o 2549 
3.38/0.97	o 2294 
3.38/0.97	o 2024 
3.38/0.98	o 1272 
3.38/0.98	o 1164 
3.38/0.99	o 1024 
3.38/0.99	o 1018 
4.03/1.01	o 970 
4.03/1.01	o 906 
4.03/1.02	o 862 
4.03/1.05	o 822 
4.03/1.05	o 820 
4.03/1.06	o 778 
4.03/1.06	o 776 
4.03/1.11	o 770 
5.39/1.27	s OPTIMUM FOUND
5.39/1.27	v <instantiation>
5.39/1.27	v 	<list>x[0] x[1] x[2] x[3] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[29][0] drd[29][1] drd[29][2] drd[29][3] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] </list>
5.39/1.27	v 	<values>24 118 242 423 1 95 219 400 1 95 219 400 220 126 2 179 221 127 3 178 308 214 90 91 308 214 90 91 486 392 268 87 399 305 181 0 397 303 179 2 163 69 55 236 163 69 55 236 218 124 0 181 0 94 218 399 0 94 218 399 461 367 243 62 15 109 233 414 0 94 218 399 72 22 146 327 72 22 146 327 426 332 208 27 94 0 124 305 94 0 124 305 361 267 143 38 361 267 143 38 134 40 84 265 134 40 84 265 181 87 37 218 8 86 210 391 8 86 210 391 426 332 208 27 1 1 2 3 90 90 87 0 2 55 55 0 0 0 62 15 0 22 22 27 0 0 38 38 40 40 37 8 8 27 </values>
5.39/1.27	v </instantiation>

Verifier Data 

OK	770

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270538-1502809843/watcher-4270538-1502809843 -o /tmp/evaluation-result-4270538-1502809843/solver-4270538-1502809843 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502808895-22661 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1214814880 HOME/instance-4270538-1502809843.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23675, runsolver pid=23672

[startup+0.100059 s]*
/proc/loadavg: 5.11 7.52 7.84 3/199 23696
/proc/meminfo: memFree=31441508/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=25999808 memory=26772 CPUtime=0.11 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 5630 0 0 0 10 1 0 0 20 0 20 0 114071891 26623803392 6693 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6499952 6693 2844 1 0 6488269 0
[pid=23677/tid=23678] ppid=23675 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) R 23675 23675 22634 0 -1 4202560 3639 0 0 0 8 1 0 0 20 0 20 0 114071891 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612057294640 140612037104997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=25999808 memory=140050873177728 CPUtime=0 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26623803392 6693 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071893 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610324879600 140612053072514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114071894 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610323825824 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114071894 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610322772720 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071896 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) S 23675 23675 22634 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 114071896 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610320669424 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071896 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610319616880 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) S 23675 23675 22634 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 114071896 26623803392 6693 33554432000 4194304 4196468 140730135217232 140610318563824 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 114071896 26623803392 6693 33554432000 4194304 4196468 140730135217232 140609847290480 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071897 26623803392 6693 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071897 26623803392 6693 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28156 KiB

[startup+0.210487 s]*
/proc/loadavg: 5.11 7.52 7.84 2/199 23696
/proc/meminfo: memFree=31430468/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=26004096 memory=39304 CPUtime=0.33 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 8360 0 0 0 30 3 0 0 20 0 20 0 114071891 26628194304 9826 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6501016 9826 3079 1 0 6488269 0
[pid=23677/tid=23678] ppid=23675 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) D 23675 23675 22634 0 -1 1077944384 5468 0 0 0 18 1 0 0 20 0 20 0 114071891 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612057263088 140612045740589 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=26004064 memory=140050873681296 CPUtime=0 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 9826 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628194304 9826 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628194304 9826 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071893 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610324879600 140612053072514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114071894 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610323825824 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114071894 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610322772720 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071896 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) S 23675 23675 22634 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 114071896 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610320669424 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) S 23675 23675 22634 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 114071896 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610319616880 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) S 23675 23675 22634 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 114071896 26628161536 9826 33554432000 4194304 4196468 140730135217232 140610318563824 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 696 0 0 0 7 0 0 0 20 0 20 0 114071896 26628161536 9826 33554432000 4194304 4196468 140730135217232 140609847290480 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071897 26628194304 9826 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071897 26628194304 9826 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40688 KiB

[startup+0.310354 s]*
/proc/loadavg: 5.11 7.52 7.84 3/199 23696
/proc/meminfo: memFree=31425816/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=26004064 memory=46160 CPUtime=0.51 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 9227 0 0 0 47 4 0 0 20 0 20 0 114071891 26628161536 11540 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6501016 11540 3108 1 0 6488269 0
[pid=23677/tid=23678] ppid=23675 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) R 23675 23675 22634 0 -1 4202560 6126 0 0 0 27 2 0 0 20 0 20 0 114071891 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612057282960 140612037141854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=26004064 memory=140050763445167 CPUtime=0 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=26004064 memory=140050763447472 CPUtime=0 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=26004064 memory=140050763449776 CPUtime=0 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26628161536 11540 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071893 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610324879600 140612053072514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=26004064 memory=280101526906512 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114071894 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610323825824 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=26004064 memory=280101526913424 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114071894 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610322772720 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=26004064 memory=280101526854704 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071896 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=26004064 memory=280101526927248 CPUtime=0.02 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) S 23675 23675 22634 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 114071896 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610320669424 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=26004064 memory=280101526934160 CPUtime=0 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) S 23675 23675 22634 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 114071896 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610319616880 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=26004064 memory=280101526931856 CPUtime=0.03 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) R 23675 23675 22634 0 -1 4202560 489 0 0 0 3 0 0 0 20 0 20 0 114071896 26628161536 11540 33554432000 4194304 4196468 140730135217232 140610318563824 140612036448276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=26004064 memory=280101526948016 CPUtime=0.12 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 20 0 114071896 26628161536 11540 33554432000 4194304 4196468 140730135217232 140609847290480 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071897 26628161536 11540 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071897 26628161536 11540 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47544 KiB

[startup+0.700995 s]
/proc/loadavg: 5.11 7.52 7.84 5/199 23696
/proc/meminfo: memFree=31396160/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=26006188 memory=157916 CPUtime=2.01 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 14289 0 0 0 194 7 0 0 20 0 20 0 114071891 26630336512 39479 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6501547 39479 3207 1 0 6488781 0
[pid=23677/tid=23678] ppid=23675 vsize=26006188 memory=280101527305904 CPUtime=0.66 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) R 23675 23675 22634 0 -1 4202560 6836 0 0 0 63 3 0 0 20 0 20 0 114071891 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612057296608 140611680726967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=26006188 memory=140050763654000 CPUtime=0 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=26006188 memory=18080 CPUtime=0 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=26006188 memory=4052 CPUtime=0 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071892 26630336512 39479 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=26006188 memory=16236 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) S 23675 23675 22634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 114071893 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610324879600 140612053072514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=26006188 memory=1796 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114071894 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610323825824 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=26006188 memory=644 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114071894 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610322772720 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=26006188 memory=960 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071896 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=26006188 memory=0 CPUtime=0.3 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) R 23675 23675 22634 0 -1 4202560 1418 0 0 0 29 1 0 0 20 0 20 0 114071896 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610320659216 140612030285520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=26006188 memory=800 CPUtime=0.23 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) R 23675 23675 22634 0 -1 4202560 1036 0 0 0 23 0 0 0 20 0 20 0 114071896 26630336512 39479 33554432000 4194304 4196468 140730135217232 140610319597896 140612045298494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=26006188 memory=12068 CPUtime=0.32 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) R 23675 23675 22634 0 -1 4202560 1314 0 0 0 32 0 0 0 20 0 20 0 114071896 26630336512 39991 33554432000 4194304 4196468 140730135217232 140610318553616 140612033697273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=26006188 memory=1440 CPUtime=0.44 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 2373 0 0 0 44 0 0 0 20 0 20 0 114071896 26630336512 39991 33554432000 4194304 4196468 140730135217232 140609847290480 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071897 26630336512 39991 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071897 26630336512 39991 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 159300 KiB

[startup+1.30451 s]
# the end of solver process 23675 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.67074 s, system=0.309287 s

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

[startup+0.801128 s]
/proc/loadavg: 5.11 7.52 7.84 5/199 23696
/proc/meminfo: memFree=31396160/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=26006188 memory=278636 CPUtime=2.69 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 15613 0 0 0 245 24 0 0 20 0 20 0 114071891 26630336512 69659 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6501547 69659 3209 1 0 6488781 0
[pid=23677/tid=23678] ppid=23675 vsize=26006188 memory=6935649255759570240 CPUtime=0.7 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) S 23675 23675 22634 0 -1 1077944384 6850 0 0 0 66 4 0 0 20 0 20 0 114071891 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612057297616 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=26006188 memory=6935649255777587280 CPUtime=0.06 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 54 0 0 0 4 2 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=26006188 memory=6935649255759568960 CPUtime=0.03 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=26006188 memory=8514726395715351173 CPUtime=0.05 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 43 0 0 0 3 2 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=26006188 memory=-9109213556524817781 CPUtime=0.04 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 40 0 0 0 3 1 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=26006188 memory=0 CPUtime=0.03 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=26006188 memory=0 CPUtime=0.03 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 34 0 0 0 2 1 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=26006188 memory=280101526769216 CPUtime=0.06 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 48 0 0 0 4 2 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=26006188 memory=-9178176117318312558 CPUtime=0.06 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 20 0 114071892 26630336512 69659 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) R 23675 23675 22634 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 114071893 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610324878112 140612038126112 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=26006188 memory=1732 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114071894 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610323825824 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=26006188 memory=1948 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114071894 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610322772720 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=26006188 memory=800 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071896 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=26006188 memory=12068 CPUtime=0.34 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) S 23675 23675 22634 0 -1 1077944384 1661 0 0 0 33 1 0 0 20 0 20 0 114071896 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610320660704 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=26006188 memory=1440 CPUtime=0.32 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) S 23675 23675 22634 0 -1 1077944384 1369 0 0 0 32 0 0 0 20 0 20 0 114071896 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610319601872 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=26006188 memory=5792 CPUtime=0.39 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) S 23675 23675 22634 0 -1 1077944384 1622 0 0 0 39 0 0 0 20 0 20 0 114071896 26630336512 69659 33554432000 4194304 4196468 140730135217232 140610318548816 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=26006188 memory=1224 CPUtime=0.46 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 2465 0 0 0 46 0 0 0 20 0 20 0 114071896 26630336512 69659 33554432000 4194304 4196468 140730135217232 140609847286192 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=26006188 memory=8568 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114071897 26630336512 69659 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114071897 26630336512 69659 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 280020 KiB

[startup+1.20176 s]
/proc/loadavg: 5.11 7.52 7.84 12/206 23767
/proc/meminfo: memFree=31179100/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/statm: 2378 346 289 221 0 87 0
[pid=23677] ppid=23675 vsize=26538700 memory=323100 CPUtime=5.39 cores=0-7
/proc/23677/stat : 23677 (java) S 23675 23675 22634 0 -1 1077944320 22039 0 0 0 510 29 0 0 20 0 28 0 114071891 27175628800 80775 33554432000 4194304 4196468 140730135217232 140730135199776 140612053061367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
/proc/23677/statm: 6634675 80775 3247 1 0 6621909 0
[pid=23677/tid=23678] ppid=23675 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/23677/task/23678/stat : 23678 (java) S 23675 23675 22634 0 -1 1077944384 6916 0 0 0 68 4 0 0 20 0 28 0 114071891 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612057302144 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23679] ppid=23675 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/23677/task/23679/stat : 23679 (java) S 23675 23675 22634 0 -1 1077944384 66 0 0 0 4 3 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612005681680 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23680] ppid=23675 vsize=26538700 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/23677/task/23680/stat : 23680 (java) S 23675 23675 22634 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612004629136 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23681] ppid=23675 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/23677/task/23681/stat : 23681 (java) S 23675 23675 22634 0 -1 1077944384 49 0 0 0 4 2 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612003576080 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23682] ppid=23675 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/23677/task/23682/stat : 23682 (java) S 23675 23675 22634 0 -1 1077944384 52 0 0 0 4 1 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612002523536 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23683] ppid=23675 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/23677/task/23683/stat : 23683 (java) S 23675 23675 22634 0 -1 1077944384 51 0 0 0 3 2 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612001471504 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23684] ppid=23675 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/23677/task/23684/stat : 23684 (java) S 23675 23675 22634 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140612000418960 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23685] ppid=23675 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/23677/task/23685/stat : 23685 (java) S 23675 23675 22634 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140611999365904 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23686] ppid=23675 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/23677/task/23686/stat : 23686 (java) S 23675 23675 22634 0 -1 1077944384 57 0 0 0 5 3 0 0 20 0 28 0 114071892 27175628800 80775 33554432000 4194304 4196468 140730135217232 140611998313360 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23687] ppid=23675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23687/stat : 23687 (java) S 23675 23675 22634 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 114071893 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610324879600 140612053072514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23688] ppid=23675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23688/stat : 23688 (java) S 23675 23675 22634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 114071894 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610323825888 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23689] ppid=23675 vsize=26538700 memory=303711698211307546 CPUtime=0 cores=0-7
/proc/23677/task/23689/stat : 23689 (java) S 23675 23675 22634 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 114071894 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610322772736 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23690] ppid=23675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/23677/task/23690/stat : 23690 (java) S 23675 23675 22634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114071896 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610321721296 140612053079963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23691] ppid=23675 vsize=26538700 memory=6154002217907154025 CPUtime=0.66 cores=0-7
/proc/23677/task/23691/stat : 23691 (java) R 23675 23675 22634 0 -1 4202560 2840 0 0 0 65 1 0 0 20 0 28 0 114071896 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610320650512 140612039216601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23692] ppid=23675 vsize=26538700 memory=1 CPUtime=0.64 cores=0-7
/proc/23677/task/23692/stat : 23692 (java) R 23675 23675 22634 0 -1 4202560 2288 0 0 0 63 1 0 0 20 0 28 0 114071896 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610319597896 140612031078336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23693] ppid=23675 vsize=26538700 memory=0 CPUtime=0.64 cores=0-7
/proc/23677/task/23693/stat : 23693 (java) R 23675 23675 22634 0 -1 4202560 2800 0 0 0 64 0 0 0 20 0 28 0 114071896 27175628800 80775 33554432000 4194304 4196468 140730135217232 140610318550640 140612037823577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23694] ppid=23675 vsize=26538700 memory=6656426216303648864 CPUtime=0.56 cores=0-7
/proc/23677/task/23694/stat : 23694 (java) S 23675 23675 22634 0 -1 1077944384 2869 0 0 0 56 0 0 0 20 0 28 0 114071896 27175628800 80775 33554432000 4194304 4196468 140730135217232 140609847290480 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23695] ppid=23675 vsize=26538700 memory=524 CPUtime=0 cores=0-7
/proc/23677/task/23695/stat : 23695 (java) S 23675 23675 22634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114071897 27175628800 80775 33554432000 4194304 4196468 140730135217232 140609846237664 140612053071573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
[pid=23677/tid=23696] ppid=23675 vsize=26538700 memory=2700 CPUtime=0 cores=0-7
/proc/23677/task/23696/stat : 23696 (java) S 23675 23675 22634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 114071897 27175628800 80775 33554432000 4194304 4196468 140730135217232 140609845185200 140612053072514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140730135225490 140730135225667 140730135225667 140730135228367 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 324484 KiB

[startup+1.30099 s]
/proc/loadavg: 5.11 7.52 7.84 12/206 23767
/proc/meminfo: memFree=31179100/32770624 swapFree=67108860/67108860
[pid=23675] ppid=23672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23675/stat : 23675 (xcsp3-exec) S 23672 23675 22634 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114071890 9740288 346 33554432000 4194304 5098028 140735089135952 140735089134056 140584529072764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35782656 140735089144932 140735089145143 140735089145143 140735089147883 0
/proc/23675/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): 1.30455
CPU time (s): 5.98003
CPU user time (s): 5.67074
CPU system time (s): 0.309287
CPU usage (%): 458.396
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 324484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.67074
system time used= 0.309287
maximum resident set size= 326468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3817
involuntary context switches= 109


# summary of solver processes directly reported to runsolver:
#   pid: 23675
#   total CPU time (s): 5.98003
#   total CPU user time (s): 5.67074
#   total CPU system time (s): 0.309287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025669 second user time and 0.064686 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-15 16:56:24
IDJOB=4270538
IDBENCH=138368
IDSOLVER=2662
FILE ID=node113/4270538-1502809843
RUNJOBID= node113-1502808895-22661
PBS_JOBID= 20629822
Free space on /tmp= 61792 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff84.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-4270538-1502809843/watcher-4270538-1502809843 -o /tmp/evaluation-result-4270538-1502809843/solver-4270538-1502809843 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502808895-22661 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1214814880 HOME/instance-4270538-1502809843.xml

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

MD5SUM BENCH= 57c9b04c42ddec3121be36f9ed91283a
RANDOM SEED=1214814880

node113.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.89
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.89
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.89
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.89
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:        31458228 kB
MemAvailable:   31973704 kB
Buffers:          200460 kB
Cached:           590284 kB
SwapCached:            0 kB
Active:           599372 kB
Inactive:         244224 kB
Active(anon):       3284 kB
Inactive(anon):    77668 kB
Active(file):     596088 kB
Inactive(file):   166556 kB
Unevictable:        6588 kB
Mlocked:            6588 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8048 kB
Writeback:             0 kB
AnonPages:         59752 kB
Mapped:            45776 kB
Shmem:             25224 kB
Slab:             163968 kB
SReclaimable:     137336 kB
SUnreclaim:        26632 kB
KernelStack:        3136 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61784 MiB
End job on node113 at 2017-08-15 16:56:26