Trace number 4399241

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 2019-09-16OPT171 6.10646 2.06204

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-3-5-30-1.xml
MD5SUMe91753cc37d5672b16b54feba0c5cd89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark171
Best CPU time to get the best result obtained on this benchmark0.21607
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints497
Number of domains47
Minimum domain size2
Maximum domain size15
Distribution of domain sizes[{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}]
Number of extensional constraints45
Number of intensional constraints451
Distribution of constraint types[{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399241-1568696181.xml"  -tl '2520s' -p 4
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4399241-1568696181.xml, -tl, 2520s, -p, 4]
0.35/0.24	c 4 solvers in parallel
0.35/0.31	c parse instance...
3.59/1.36	c solve instance...
3.95/1.50	o 330 
4.34/1.52	o 323 
4.34/1.52	o 321 
4.34/1.53	o 318 
4.34/1.53	o 316 
4.34/1.53	o 312 
4.34/1.53	o 310 
4.34/1.54	o 308 
4.34/1.55	o 306 
4.34/1.55	o 304 
4.34/1.55	o 302 
4.34/1.55	o 300 
4.34/1.56	o 298 
4.34/1.56	o 297 
4.34/1.56	o 295 
4.34/1.56	o 293 
4.34/1.57	o 291 
4.34/1.57	o 290 
4.34/1.59	o 288 
4.34/1.59	o 286 
4.34/1.60	o 285 
4.34/1.60	o 283 
4.34/1.60	o 281 
4.66/1.62	o 279 
4.66/1.62	o 277 
4.66/1.62	o 276 
4.66/1.62	o 275 
4.66/1.63	o 273 
4.66/1.63	o 271 
4.66/1.63	o 269 
4.66/1.63	o 257 
4.66/1.64	o 256 
4.66/1.64	o 254 
4.66/1.65	o 252 
4.66/1.65	o 251 
4.66/1.65	o 250 
4.66/1.65	o 249 
4.66/1.66	o 247 
4.66/1.67	o 245 
4.66/1.67	o 244 
4.66/1.67	o 242 
4.66/1.68	o 240 
4.66/1.68	o 239 
4.66/1.69	o 238 
4.66/1.70	o 237 
4.66/1.70	o 235 
5.02/1.70	o 233 
5.02/1.73	o 232 
5.02/1.73	o 231 
5.02/1.73	o 230 
5.02/1.73	o 229 
5.02/1.73	o 228 
5.02/1.73	o 227 
5.02/1.74	o 226 
5.02/1.74	o 225 
5.02/1.74	o 224 
5.02/1.75	o 223 
5.02/1.75	o 222 
5.02/1.75	o 221 
5.02/1.77	o 220 
5.02/1.77	o 219 
5.02/1.77	o 218 
5.02/1.77	o 217 
5.02/1.78	o 216 
5.02/1.78	o 215 
5.02/1.78	o 214 
5.02/1.78	o 213 
5.02/1.79	o 212 
5.02/1.79	o 211 
5.02/1.79	o 210 
5.02/1.79	o 209 
5.02/1.80	o 208 
5.30/1.83	o 207 
5.30/1.83	o 206 
5.30/1.84	o 205 
5.30/1.84	o 204 
5.30/1.84	o 203 
5.30/1.85	o 202 
5.30/1.85	o 201 
5.30/1.86	o 200 
5.30/1.86	o 199 
5.30/1.86	o 198 
5.30/1.86	o 197 
5.30/1.87	o 196 
5.30/1.87	o 195 
5.30/1.87	o 194 
5.30/1.87	o 193 
5.30/1.88	o 192 
5.30/1.88	o 191 
5.30/1.88	o 190 
5.30/1.88	o 189 
5.30/1.89	o 188 
5.30/1.89	o 187 
5.30/1.89	o 186 
5.30/1.89	o 185 
5.30/1.90	o 184 
5.30/1.90	o 183 
5.59/1.92	o 182 
5.59/1.92	o 181 
5.59/1.92	o 180 
5.59/1.94	o 179 
5.59/1.94	o 178 
5.59/1.94	o 177 
5.59/1.94	o 176 
5.59/1.95	o 175 
5.59/1.95	o 174 
5.59/1.95	o 173 
5.59/1.96	o 172 
5.59/1.96	o 171 
5.96/2.04	s OPTIMUM FOUND
5.96/2.04	v <instantiation>
5.96/2.04	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list>
5.96/2.04	v 	<values>0 1 2 3 4 5 9 6 7 10 13 8 12 14 11 0 0 0 0 0 0 17 13 20 3 1 4 0 1 18 6 8 7 7 9 11 8 13 10 6 9 9 9 6 8 8 6 7 7 8 13 13 8 6 9 11 11 10 13 7 1 4 2 3 4 2 2 5 4 1 4 4 10 9 4 2 2 3 1 5 1 1 2 3 1 4 5 1 2 2 </values>
5.96/2.04	v </instantiation>

Verifier Data 

OK	171

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399241-1568696181/watcher-4399241-1568696181 -o /tmp/evaluation-result-4399241-1568696181/solver-4399241-1568696181 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 340132943 HOME/instance-4399241-1568696181.xml 

running on 4 cores: 0-3

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


[startup+0.10159 s]*
/proc/loadavg: 8.22 8.28 7.15 7/233 10450
/proc/meminfo: memFree=30369864/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15144776 memory=28956 CPUtime=0.12 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 5639 0 0 0 11 1 0 0 20 0 15 0 445559727 15508250624 7239 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3786194 7239 3155 1 0 3748377 0
[pid=10436/tid=10437] ppid=10434 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) R 10434 10434 4816 0 -1 4202560 3551 0 0 0 8 1 0 0 20 0 15 0 445559727 15508250624 7239 33554432000 4194304 4196468 140728476140192 140225441717520 140225437502870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 7239 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15144776 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 7239 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 7239 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 7239 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15144776 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) S 10434 10434 4816 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224901372272 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224900319472 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15144776 memory=140285434046080 CPUtime=0.01 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) R 10434 10434 4816 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224899266672 140225416195217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15144776 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 7239 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30408 KiB

[startup+0.216589 s]*
/proc/loadavg: 8.22 8.28 7.15 6/233 10450
/proc/meminfo: memFree=30356348/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15144776 memory=40140 CPUtime=0.35 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 9221 0 0 0 32 3 0 0 20 0 15 0 445559727 15508250624 10035 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3786194 10035 3277 1 0 3748377 0
[pid=10436/tid=10437] ppid=10434 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) R 10434 10434 4816 0 -1 4202560 6512 0 0 0 18 2 0 0 20 0 15 0 445559727 15508250624 10035 33554432000 4194304 4196468 140728476140192 140225441724768 140225421571422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15144776 memory=9642 CPUtime=0 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 10035 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15144776 memory=3833465089407844384 CPUtime=0 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 10035 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 10035 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15508250624 10035 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15144776 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445559730 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15144776 memory=0 CPUtime=0.04 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) S 10434 10434 4816 0 -1 1077944384 589 0 0 0 4 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224901372272 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) S 10434 10434 4816 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224900319472 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15144776 memory=0 CPUtime=0.08 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) S 10434 10434 4816 0 -1 1077944384 807 0 0 0 8 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224899266672 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559733 15508250624 10035 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41592 KiB

[startup+0.311472 s]*
/proc/loadavg: 8.22 8.28 7.15 7/233 10450
/proc/meminfo: memFree=30352056/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15149032 memory=46508 CPUtime=0.51 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 10457 0 0 0 48 3 0 0 20 0 15 0 445559727 15512608768 11627 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3787258 11627 3354 1 0 3748377 0
[pid=10436/tid=10437] ppid=10434 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) R 10434 10434 4816 0 -1 4202560 7514 0 0 0 27 2 0 0 20 0 15 0 445559727 15512608768 11627 33554432000 4194304 4196468 140728476140192 140225441712448 140225437502870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15512608768 11627 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15149032 memory=2953913 CPUtime=0 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15512608768 11627 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15512608768 11627 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15512608768 11627 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15149032 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445559730 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445559730 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445559730 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15149032 memory=0 CPUtime=0.05 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) S 10434 10434 4816 0 -1 1077944384 619 0 0 0 5 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224901372272 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15149032 memory=-1 CPUtime=0.02 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) S 10434 10434 4816 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224900319472 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15149032 memory=140285434046080 CPUtime=0.12 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) S 10434 10434 4816 0 -1 1077944384 961 0 0 0 12 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224899266672 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15149032 memory=140285434046080 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559733 15512608768 11627 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47960 KiB

[startup+0.70159 s]
/proc/loadavg: 8.22 8.28 7.15 11/233 10450
/proc/meminfo: memFree=30339208/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15151156 memory=78052 CPUtime=1.61 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 14585 0 0 0 156 5 0 0 20 0 15 0 445559727 15514783744 19513 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3787789 19513 3452 1 0 3748889 0
[pid=10436/tid=10437] ppid=10434 vsize=15151156 memory=2120 CPUtime=0.67 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) R 10434 10434 4816 0 -1 4202560 8929 0 0 0 64 3 0 0 20 0 15 0 445559727 15514783744 19513 33554432000 4194304 4196468 140728476140192 140225441729040 140225416568400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15151156 memory=496 CPUtime=0 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15514783744 19513 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15151156 memory=1556 CPUtime=0 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559728 15514783744 19513 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15151156 memory=928 CPUtime=0 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15514783744 19513 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15151156 memory=1628 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445559728 15514783744 19513 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15151156 memory=796 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445559730 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15151156 memory=1444 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445559730 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15151156 memory=1984 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445559730 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15151156 memory=2424 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15151156 memory=7302135314614015844 CPUtime=0.27 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) R 10434 10434 4816 0 -1 4202560 1347 0 0 0 27 0 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224901368640 140225422370531 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15151156 memory=7373047217787199594 CPUtime=0.22 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) R 10434 10434 4816 0 -1 4202560 777 0 0 0 21 1 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224900306224 140225416835280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15151156 memory=7368002589315584080 CPUtime=0.42 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) R 10434 10434 4816 0 -1 4202560 2225 0 0 0 42 0 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224899262432 140225416626376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15151156 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15151156 memory=5794555382653873255 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445559733 15514783744 19513 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 79504 KiB

[startup+1.50559 s]
/proc/loadavg: 8.22 8.28 7.15 8/233 10450
/proc/meminfo: memFree=30280668/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15419460 memory=213880 CPUtime=4.34 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 24867 0 0 0 425 9 0 0 20 0 19 0 445559727 15789527040 53470 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3854865 53470 3490 1 0 3815965 0
[pid=10436/tid=10437] ppid=10434 vsize=15419460 memory=0 CPUtime=1.32 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) S 10434 10434 4816 0 -1 1077944384 11734 0 0 0 127 5 0 0 20 0 19 0 445559727 15789527040 53470 33554432000 4194304 4196468 140728476140192 140225441731712 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15419460 memory=0 CPUtime=0.02 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 19 0 445559728 15789527040 53470 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15419460 memory=0 CPUtime=0.02 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 19 0 445559728 15789527040 53470 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15419460 memory=0 CPUtime=0.02 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 19 0 445559728 15789527040 53470 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15419460 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445559728 15789527040 53470 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15419460 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 19 0 445559730 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15419460 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445559730 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15419460 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445559730 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15419460 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15419460 memory=0 CPUtime=0.96 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) R 10434 10434 4816 0 -1 4202560 3922 0 0 0 96 0 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224901362360 140225422412908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15419460 memory=0 CPUtime=0.97 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) R 10434 10434 4816 0 -1 4202560 2944 0 0 0 96 1 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224900305472 140225420977057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15419460 memory=0 CPUtime=0.67 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) R 10434 10434 4816 0 -1 1077944384 3985 0 0 0 67 0 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224899266672 140225437502082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15419460 memory=46700 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15419460 memory=984 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445559733 15789527040 53470 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 215332 KiB

[startup+2.06199 s]
# the end of solver process 10434 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.82058 s, system=0.285879 s

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

[startup+1.60159 s]
/proc/loadavg: 8.22 8.28 7.15 8/233 10450
/proc/meminfo: memFree=30280668/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15487052 memory=216600 CPUtime=4.66 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 26503 0 0 0 456 10 0 0 20 0 17 0 445559727 15858741248 54150 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3871763 54150 3497 1 0 3832863 0
[pid=10436/tid=10437] ppid=10434 vsize=15487052 memory=1056 CPUtime=1.32 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) S 10434 10434 4816 0 -1 1077944384 11736 0 0 0 127 5 0 0 20 0 17 0 445559727 15858741248 54150 33554432000 4194304 4196468 140728476140192 140225441731712 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15487052 memory=780 CPUtime=0.02 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 17 0 445559728 15858741248 54150 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15487052 memory=1708 CPUtime=0.02 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) R 10434 10434 4816 0 -1 4202560 51 0 0 0 2 0 0 0 20 0 17 0 445559728 15858741248 54150 33554432000 4194304 4196468 140728476140192 140225389058576 140225419116854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15487052 memory=1280 CPUtime=0.02 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 17 0 445559728 15858741248 54150 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15487052 memory=6028 CPUtime=0 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) R 10434 10434 4816 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 445559728 15858741248 54150 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15487052 memory=780 CPUtime=0 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 17 0 445559730 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224905581984 140225437501141 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15487052 memory=3988 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 17 0 445559730 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224904529440 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15487052 memory=1088 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 445559730 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224903476592 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15487052 memory=2832 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15487052 memory=1564 CPUtime=1.04 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) S 10434 10434 4816 0 -1 1077944384 3952 0 0 0 104 0 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224901357264 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15487052 memory=33 CPUtime=1.06 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) R 10434 10434 4816 0 -1 4202560 2976 0 0 0 105 1 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224900319768 140225422386731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15487052 memory=7738421554251786856 CPUtime=0.7 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) S 10434 10434 4816 0 -1 1077944384 4035 0 0 0 70 0 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224899266432 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15487052 memory=4640775124699589216 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15487052 memory=280570617978208 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 17 0 445559733 15858741248 54150 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 218052 KiB

[startup+2.00159 s]*
/proc/loadavg: 8.22 8.28 7.15 11/237 10889
/proc/meminfo: memFree=29907720/32770688 swapFree=66961208/67108860
[pid=10434] ppid=10431 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/10434/stat : 10434 (xcsp3-exec) S 10431 10434 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445559727 115843072 363 33554432000 4194304 5098028 140728050633408 140728050631512 139906365592188 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 28164096 140728050639739 140728050639981 140728050639981 140728050642890 0
/proc/10434/statm: 28282 363 304 221 0 87 0
[pid=10436] ppid=10434 vsize=15620180 memory=489980 CPUtime=5.96 cores=0-3
/proc/10436/stat : 10436 (java) S 10434 10434 4816 0 -1 1077944320 33314 0 0 0 569 27 0 0 20 0 19 0 445559727 15995064320 122495 33554432000 4194304 4196468 140728476140192 140728476122736 140225437490935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
/proc/10436/statm: 3905045 122495 3523 1 0 3866145 0
[pid=10436/tid=10437] ppid=10434 vsize=15620180 memory=301776574710022392 CPUtime=1.34 cores=0-3
/proc/10436/task/10437/stat : 10437 (java) S 10434 10434 4816 0 -1 1077944384 11736 0 0 0 129 5 0 0 20 0 19 0 445559727 15995064320 122495 33554432000 4194304 4196468 140728476140192 140225441731712 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10438] ppid=10434 vsize=15620180 memory=0 CPUtime=0.08 cores=0-3
/proc/10436/task/10438/stat : 10438 (java) S 10434 10434 4816 0 -1 1077944384 150 0 0 0 5 3 0 0 20 0 19 0 445559728 15995064320 122495 33554432000 4194304 4196468 140728476140192 140225390111376 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10439] ppid=10434 vsize=15620180 memory=140285437325295 CPUtime=0.08 cores=0-3
/proc/10436/task/10439/stat : 10439 (java) S 10434 10434 4816 0 -1 1077944384 91 0 0 0 5 3 0 0 20 0 19 0 445559728 15995064320 122495 33554432000 4194304 4196468 140728476140192 140225389058576 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10440] ppid=10434 vsize=15620180 memory=-7240599211820661557 CPUtime=0.08 cores=0-3
/proc/10436/task/10440/stat : 10440 (java) S 10434 10434 4816 0 -1 1077944384 293 0 0 0 5 3 0 0 20 0 19 0 445559728 15995064320 122495 33554432000 4194304 4196468 140728476140192 140225388005776 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10441] ppid=10434 vsize=15620180 memory=5983648038440153135 CPUtime=0.06 cores=0-3
/proc/10436/task/10441/stat : 10441 (java) S 10434 10434 4816 0 -1 1077944384 75 0 0 0 3 3 0 0 20 0 19 0 445559728 15995064320 122495 33554432000 4194304 4196468 140728476140192 140225386952976 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10442] ppid=10434 vsize=15620180 memory=6944656592452807320 CPUtime=0.01 cores=0-3
/proc/10436/task/10442/stat : 10442 (java) S 10434 10434 4816 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 19 0 445559730 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224905583472 140225437502082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10443] ppid=10434 vsize=15620180 memory=664954319714410818 CPUtime=0 cores=0-3
/proc/10436/task/10443/stat : 10443 (java) S 10434 10434 4816 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 445559730 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224904529504 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10444] ppid=10434 vsize=15620180 memory=3471342681754883760 CPUtime=0 cores=0-3
/proc/10436/task/10444/stat : 10444 (java) S 10434 10434 4816 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445559730 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224903476608 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10445] ppid=10434 vsize=15620180 memory=3471202396320837679 CPUtime=0 cores=0-3
/proc/10436/task/10445/stat : 10445 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224902424912 140225437509531 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10446] ppid=10434 vsize=15620180 memory=0 CPUtime=1.26 cores=0-3
/proc/10436/task/10446/stat : 10446 (java) R 10434 10434 4816 0 -1 1077944384 4007 0 0 0 126 0 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224901359056 140225437501141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10447] ppid=10434 vsize=15620180 memory=3905500701923620913 CPUtime=1.24 cores=0-3
/proc/10436/task/10447/stat : 10447 (java) R 10434 10434 4816 0 -1 1077944384 3062 0 0 0 123 1 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224900319472 140225437502082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10448] ppid=10434 vsize=15620180 memory=0 CPUtime=0.82 cores=0-3
/proc/10436/task/10448/stat : 10448 (java) S 10434 10434 4816 0 -1 1077944384 4252 0 0 0 81 1 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224899266672 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10449] ppid=10434 vsize=15620180 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10449/stat : 10449 (java) S 10434 10434 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224898214112 140225437501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10450] ppid=10434 vsize=15620180 memory=0 CPUtime=0 cores=0-3
/proc/10436/task/10450/stat : 10450 (java) S 10434 10434 4816 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445559733 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224897162416 140225437502082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10886] ppid=10434 vsize=15620180 memory=0 CPUtime=0.04 cores=0-3
/proc/10436/task/10886/stat : 10886 (java) R 10434 10434 4816 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 19 0 445559923 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224881874216 140225068725016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10887] ppid=10434 vsize=15620180 memory=3467825727408190768 CPUtime=0.03 cores=0-3
/proc/10436/task/10887/stat : 10887 (java) R 10434 10434 4816 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 445559923 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224885032728 140225068724897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10888] ppid=10434 vsize=15620180 memory=3467824627879784479 CPUtime=0.02 cores=0-3
/proc/10436/task/10888/stat : 10888 (java) R 10434 10434 4816 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 445559923 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224882932552 140225068724847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
[pid=10436/tid=10889] ppid=10434 vsize=15620180 memory=3472328296227680304 CPUtime=0.02 cores=0-3
/proc/10436/task/10889/stat : 10889 (java) R 10434 10434 4816 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 445559923 15995064320 122495 33554432000 4194304 4196468 140728476140192 140224879774408 140225068600960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8491008 140728476144623 140728476144794 140728476144794 140728476147663 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 491432 KiB

Child status: 0
Real time (s): 2.06204
CPU time (s): 6.10646
CPU user time (s): 5.82058
CPU system time (s): 0.285879
CPU usage (%): 296.136
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 491432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.82058
system time used= 0.285879
maximum resident set size= 490800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4621
involuntary context switches= 84


# summary of solver processes directly reported to runsolver:
#   pid: 10434
#   total CPU time (s): 6.10646
#   total CPU user time (s): 5.82058
#   total CPU system time (s): 0.285879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042571 second user time and 0.074938 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 06:55:39
IDJOB=4399241
IDBENCH=126835
IDSOLVER=2853
FILE ID=node116/4399241-1568696181
RUNJOBID= node116-1568694541-4847
PBS_JOBID= 21703807
Free space on /tmp= 61208 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-3-5-30-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399241-1568696181/watcher-4399241-1568696181 -o /tmp/evaluation-result-4399241-1568696181/solver-4399241-1568696181 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 340132943 HOME/instance-4399241-1568696181.xml

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

MD5SUM BENCH= e91753cc37d5672b16b54feba0c5cd89
RANDOM SEED=340132943

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        30385948 kB
MemAvailable:   31651296 kB
Buffers:          146860 kB
Cached:          1412700 kB
SwapCached:        46588 kB
Active:          1245324 kB
Inactive:         561572 kB
Active(anon):     201540 kB
Inactive(anon):    94964 kB
Active(file):    1043784 kB
Inactive(file):   466608 kB
Unevictable:      110568 kB
Mlocked:          110568 kB
SwapTotal:      67108860 kB
SwapFree:       66961208 kB
Dirty:             26700 kB
Writeback:             0 kB
AnonPages:        326968 kB
Mapped:            61228 kB
Shmem:             40292 kB
Slab:             171068 kB
SReclaimable:     141580 kB
SUnreclaim:        29488 kB
KernelStack:        4064 kB
PageTables:         6520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1388604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61180 MiB
End job on node116 at 2019-09-17 06:55:42