Trace number 4403924

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-20OPT307 6.91219 2.37219

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff87.xml
MD5SUM60c761b657be0d86f100d87a8dc157a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark1.77999
Satisfiable
(Un)Satisfiability was proved
Number of variables247
Number of constraints241
Number of domains20
Minimum domain size18
Maximum domain size19
Distribution of domain sizes[{"size":18,"count":16},{"size":19,"count":231}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":240},{"degree":31,"count":7}]
Minimum constraint arity2
Maximum constraint arity8
Distribution of constraint arities[{"arity":2,"count":210},{"arity":7,"count":1},{"arity":8,"count":30}]
Number of extensional constraints210
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":210},{"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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403924-1568992025.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403924-1568992025.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
1.73/1.06	c solve instance...
2.03/1.19	o 2955 
2.46/1.28	o 1451 
2.46/1.28	o 1423 
2.46/1.28	o 1217 
2.46/1.29	o 1145 
2.80/1.30	o 1143 
2.80/1.31	o 941 
2.80/1.31	o 869 
2.80/1.31	o 825 
2.80/1.31	o 753 
2.80/1.33	o 739 
2.80/1.33	o 737 
2.80/1.33	o 589 
2.80/1.35	o 470 
2.80/1.38	o 413 
3.21/1.45	o 403 
3.21/1.45	o 401 
3.59/1.57	o 400 
3.59/1.57	o 398 
3.93/1.69	o 379 
5.52/2.02	o 373 
5.52/2.03	o 371 
5.52/2.03	o 359 
5.52/2.04	o 357 
5.90/2.11	o 330 
5.90/2.11	o 311 
5.90/2.11	o 309 
6.28/2.25	o 307 
6.71/2.35	s OPTIMUM FOUND
6.71/2.35	v <instantiation>
6.71/2.35	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] 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>
6.71/2.35	v 	<values>24 96 187 244 332 385 450 1 73 164 221 309 362 427 1 73 164 221 309 362 427 220 148 57 0 88 141 206 221 149 58 1 87 140 205 308 236 145 88 0 53 118 308 236 145 88 0 53 118 486 414 323 266 178 125 60 399 327 236 179 91 38 27 397 325 234 177 89 36 29 163 91 0 57 145 198 263 163 91 0 57 145 198 263 218 146 55 2 90 143 208 0 72 163 220 308 361 426 0 72 163 220 308 361 426 461 389 298 241 153 100 35 15 87 178 235 323 376 441 0 72 163 220 308 361 426 72 0 91 148 236 289 354 72 0 91 148 236 289 354 426 354 263 206 118 65 0 94 22 69 126 214 267 332 94 22 69 126 214 267 332 361 289 198 141 53 0 65 361 289 198 141 53 0 65 134 62 29 86 174 227 292 134 62 29 86 174 227 292 181 109 18 39 127 180 245 8 64 155 212 300 353 418 8 64 155 212 300 353 418 426 354 263 206 118 65 0 1 1 0 1 0 0 60 27 29 0 0 2 0 0 35 15 0 0 0 0 22 22 0 0 29 29 18 8 8 0 </values>
6.71/2.35	v </instantiation>

Verifier Data 

OK	307

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403924-1568992025/watcher-4403924-1568992025 -o /tmp/evaluation-result-4403924-1568992025/solver-4403924-1568992025 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30562 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1489932813 HOME/instance-4403924-1568992025.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=31556, runsolver pid=31553
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 8.25 4.61 2.56 7/234 31572
/proc/meminfo: memFree=10475800/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15144776 memory=31216 CPUtime=0.13 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 5699 0 0 0 12 1 0 0 20 0 15 0 475140321 15508250624 7804 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3786194 7804 3144 1 0 3748377 0
[pid=31558/tid=31559] ppid=31556 vsize=15144776 memory=8514701219881124772 CPUtime=0.08 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) R 31556 31556 30531 0 -1 4202560 3605 0 0 0 8 0 0 0 20 0 15 0 475140322 15508250624 7804 33554432000 4194304 4196468 140727635673200 139812737402000 139812725414718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15144776 memory=3472468662229398736 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 7804 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 7804 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 7804 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 7804 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140324 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140324 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140325 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811670026192 139812716613329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811668981744 139812733188738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0.02 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 475140327 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811667929456 139812733189526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140328 15508250624 7804 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32668 KiB

[startup+0.210747 s]*
/proc/loadavg: 8.25 4.61 2.56 6/234 31572
/proc/meminfo: memFree=10449752/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15144776 memory=42616 CPUtime=0.34 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 9335 0 0 0 31 3 0 0 20 0 15 0 475140321 15508250624 10654 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3786194 10654 3308 1 0 3748377 0
[pid=31558/tid=31559] ppid=31556 vsize=15144776 memory=5855087016065728930 CPUtime=0.2 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) R 31556 31556 30531 0 -1 4202560 6500 0 0 0 18 2 0 0 20 0 15 0 475140322 15508250624 10654 33554432000 4194304 4196468 140727635673200 139812737415616 139812733189526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15144776 memory=3472468662229398736 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 10654 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 10654 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 10654 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15508250624 10654 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140324 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140324 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140325 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) S 31556 31556 30531 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 475140327 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811670034544 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 229 0 0 0 2 0 0 0 20 0 15 0 475140327 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811668981744 139812733188738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0.07 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 15 0 475140327 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811667929456 139812733189526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15144776 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140328 15508250624 10654 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44068 KiB

[startup+0.729801 s]*
/proc/loadavg: 8.25 4.61 2.56 8/234 31572
/proc/meminfo: memFree=10450264/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15151156 memory=56844 CPUtime=0.75 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 11520 0 0 0 71 4 0 0 20 0 15 0 475140321 15514783744 14211 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3787789 14211 3407 1 0 3748889 0
[pid=31558/tid=31559] ppid=31556 vsize=15151156 memory=8514701219881124254 CPUtime=0.41 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) R 31556 31556 30531 0 -1 4202560 8168 0 0 0 38 3 0 0 20 0 15 0 475140322 15514783744 14211 33554432000 4194304 4196468 140727635673200 139812737412720 139812342475457 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15151156 memory=3472468662229398736 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 14211 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15151156 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 14211 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 14211 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15151156 memory=140533209114655 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 14211 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15151156 memory=281066418190080 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140324 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15151156 memory=140533209091599 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140324 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15151156 memory=281066543347808 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140325 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15151156 memory=140533209096207 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15151156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 643 0 0 0 5 0 0 0 20 0 15 0 475140327 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811670034544 139812725414718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15151156 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 1077944384 386 0 0 0 7 0 0 0 20 0 15 0 475140327 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811668981744 139812733188738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15151156 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 4202560 1024 0 0 0 19 0 0 0 20 0 15 0 475140327 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811667928640 139812711543316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140328 15514783744 14211 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 58296 KiB

[startup+0.813504 s]*
/proc/loadavg: 8.25 4.61 2.56 9/234 31572
/proc/meminfo: memFree=10440588/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15151156 memory=67000 CPUtime=1.03 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 13107 0 0 0 98 5 0 0 20 0 15 0 475140321 15514783744 16750 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3787789 16750 3417 1 0 3748889 0
[pid=31558/tid=31559] ppid=31556 vsize=15151156 memory=5852835207561511330 CPUtime=0.49 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) R 31556 31556 30531 0 -1 4202560 8474 0 0 0 46 3 0 0 20 0 15 0 475140322 15514783744 16750 33554432000 4194304 4196468 140727635673200 139812737385488 139812713397050 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15151156 memory=3472468662229398736 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 16750 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15151156 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 16750 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 16750 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475140323 15514783744 16750 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15151156 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475140324 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475140324 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475140325 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15151156 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 1213 0 0 0 13 0 0 0 20 0 15 0 475140327 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811670020424 139812716663699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15151156 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 664 0 0 0 12 0 0 0 20 0 15 0 475140327 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811668967840 139812718105926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15151156 memory=140533334247040 CPUtime=0.27 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 4202560 1448 0 0 0 26 1 0 0 20 0 15 0 475140327 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811667929456 139812725414718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475140327 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15151156 memory=140533334247040 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475140328 15514783744 16750 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 68452 KiB

[startup+1.51151 s]
/proc/loadavg: 8.25 4.61 2.56 12/238 31636
/proc/meminfo: memFree=10230568/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0

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

/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 69515 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15483976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 45 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 69515 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15483976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 69515 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15483976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 69515 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475140324 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475140324 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15483976 memory=281066418267168 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475140325 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15483976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 2667 0 0 0 68 0 0 0 20 0 19 0 475140327 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811670020280 139812714721809 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15483976 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 1641 0 0 0 64 0 0 0 20 0 19 0 475140327 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811668972016 139812733191473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15483976 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 1077944384 2682 0 0 0 57 1 0 0 20 0 19 0 475140327 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811667929456 139812733188738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475140328 15855591424 69515 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 279512 KiB

[startup+2.37213 s]
# the end of solver process 31556 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.70473 s, system=0.207464 s

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

[startup+2.0025 s]
/proc/loadavg: 8.25 4.61 2.56 12/238 31636
/proc/meminfo: memFree=10230568/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15483976 memory=286772 CPUtime=5.52 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 21621 0 0 0 533 19 0 0 20 0 19 0 475140321 15855591424 71693 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3870994 71693 3502 1 0 3832094 0
[pid=31558/tid=31559] ppid=31556 vsize=15483976 memory=6791534058613427641 CPUtime=0.75 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) S 31556 31556 30531 0 -1 1077944384 9195 0 0 0 70 5 0 0 20 0 19 0 475140322 15855591424 71693 33554432000 4194304 4196468 140727635673200 139812737418368 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15483976 memory=41484 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 71693 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15483976 memory=988 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 45 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 71693 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15483976 memory=2012 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 71693 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15483976 memory=1320 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 19 0 475140323 15855591424 71693 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15483976 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475140324 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15483976 memory=5972 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475140324 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15483976 memory=588 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475140325 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15483976 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15483976 memory=7228678081229181548 CPUtime=1.1 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 3117 0 0 0 110 0 0 0 20 0 19 0 475140327 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811670033648 139812714700540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15483976 memory=5788063852999566677 CPUtime=1 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 3075 0 0 0 100 0 0 0 20 0 19 0 475140327 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811668967768 139812718292695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15483976 memory=33 CPUtime=0.63 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 1077944384 2997 0 0 0 62 1 0 0 20 0 19 0 475140327 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811667929456 139812733188738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) S 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475140328 15855591424 71693 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 288224 KiB

[startup+2.20151 s]
/proc/loadavg: 8.25 4.61 2.56 12/238 31636
/proc/meminfo: memFree=10230568/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15486024 memory=284744 CPUtime=6.28 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 22417 0 0 0 608 20 0 0 20 0 19 0 475140321 15857688576 71186 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3871506 71186 3505 1 0 3832606 0
[pid=31558/tid=31559] ppid=31556 vsize=15486024 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) S 31556 31556 30531 0 -1 1077944384 9196 0 0 0 70 5 0 0 20 0 19 0 475140322 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812737418368 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15486024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15486024 memory=22033 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 45 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15486024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15486024 memory=-3253322038155611931 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15486024 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475140324 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15486024 memory=-3252517613199061085 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475140324 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15486024 memory=9023629670928638048 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475140325 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15486024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15486024 memory=41484 CPUtime=1.23 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 3136 0 0 0 123 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811670024352 139812712433962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15486024 memory=988 CPUtime=1.18 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 3354 0 0 0 118 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811668967768 139812733191478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15486024 memory=2012 CPUtime=0.64 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) S 31556 31556 30531 0 -1 1077944384 3027 0 0 0 63 1 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811667929456 139812733188738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15486024 memory=1320 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15486024 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) R 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475140328 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 286196 KiB

[startup+2.3075 s]
/proc/loadavg: 8.25 4.61 2.56 12/238 31636
/proc/meminfo: memFree=10230568/32770624 swapFree=66935460/67108860
[pid=31556] ppid=31553 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31556/stat : 31556 (xcsp3-exec) S 31553 31556 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475140321 115843072 363 33554432000 4194304 5098028 140731111904960 140731111903064 140294565397116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21508096 140731111912314 140731111912557 140731111912557 140731111915466 0
/proc/31556/statm: 28282 363 304 221 0 87 0
[pid=31558] ppid=31556 vsize=15486024 memory=284744 CPUtime=6.71 cores=0,2,4,6
/proc/31558/stat : 31558 (java) S 31556 31556 30531 0 -1 1077944320 22509 0 0 0 651 20 0 0 20 0 19 0 475140321 15857688576 71186 33554432000 4194304 4196468 140727635673200 140727635655744 139812733177591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
/proc/31558/statm: 3871506 71186 3505 1 0 3832606 0
[pid=31558/tid=31559] ppid=31556 vsize=15486024 memory=140533209142913 CPUtime=0.75 cores=0,2,4,6
/proc/31558/task/31559/stat : 31559 (java) S 31556 31556 30531 0 -1 1077944384 9196 0 0 0 70 5 0 0 20 0 19 0 475140322 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812737418368 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31560] ppid=31556 vsize=15486024 memory=7380671248541445222 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31560/stat : 31560 (java) S 31556 31556 30531 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812325943696 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31561] ppid=31556 vsize=15486024 memory=193 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31561/stat : 31561 (java) S 31556 31556 30531 0 -1 1077944384 45 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812324890896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31562] ppid=31556 vsize=15486024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31562/stat : 31562 (java) S 31556 31556 30531 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812323838608 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31563] ppid=31556 vsize=15486024 memory=281066418267168 CPUtime=0.06 cores=0,2,4,6
/proc/31558/task/31563/stat : 31563 (java) S 31556 31556 30531 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 19 0 475140323 15857688576 71186 33554432000 4194304 4196468 140727635673200 139812322785808 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31564] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31564/stat : 31564 (java) S 31556 31556 30531 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475140324 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811674245744 139812733188738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31565] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31565/stat : 31565 (java) S 31556 31556 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475140324 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811673191712 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31566] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31566/stat : 31566 (java) S 31556 31556 30531 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475140325 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811672139376 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31567] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31567/stat : 31567 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811671087696 139812733196187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31568] ppid=31556 vsize=15486024 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/31558/task/31568/stat : 31568 (java) R 31556 31556 30531 0 -1 4202560 3147 0 0 0 130 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811670027912 139812712832401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31569] ppid=31556 vsize=15486024 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/31558/task/31569/stat : 31569 (java) R 31556 31556 30531 0 -1 4202560 3365 0 0 0 127 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811668968528 139812716671702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31570] ppid=31556 vsize=15486024 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/31558/task/31570/stat : 31570 (java) R 31556 31556 30531 0 -1 1077944384 3029 0 0 0 63 1 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811667929456 139812733188738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31571] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31571/stat : 31571 (java) S 31556 31556 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475140327 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811666876896 139812733187797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
[pid=31558/tid=31572] ppid=31556 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31558/task/31572/stat : 31572 (java) R 31556 31556 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475140328 15857688576 71186 33554432000 4194304 4196468 140727635673200 139811665824688 139812733188738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17440768 140727635682287 140727635682458 140727635682458 140727635685327 0
Current children cumulated CPU time: 6.71 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 286196 KiB

Child status: 0
Real time (s): 2.37219
CPU time (s): 6.91219
CPU user time (s): 6.70473
CPU system time (s): 0.207464
CPU usage (%): 291.384
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 289388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.70473
system time used= 0.207464
maximum resident set size= 288268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23102
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= 2626
involuntary context switches= 274


# summary of solver processes directly reported to runsolver:
#   pid: 31556
#   total CPU time (s): 6.91219
#   total CPU user time (s): 6.70473
#   total CPU system time (s): 0.207464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030018 second user time and 0.065414 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-20 17:06:22
IDJOB=4403924
IDBENCH=138367
IDSOLVER=2864
FILE ID=node141/4403924-1568992025
RUNJOBID= node141-1568991778-30562
PBS_JOBID= 21704662
Free space on /tmp= 22824 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff87.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-4403924-1568992025/watcher-4403924-1568992025 -o /tmp/evaluation-result-4403924-1568992025/solver-4403924-1568992025 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30562 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1489932813 HOME/instance-4403924-1568992025.xml

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

MD5SUM BENCH= 60c761b657be0d86f100d87a8dc157a6
RANDOM SEED=1489932813

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        10494464 kB
MemAvailable:   31639352 kB
Buffers:          122892 kB
Cached:         21272808 kB
SwapCached:        62360 kB
Active:         10845696 kB
Inactive:       10779420 kB
Active(anon):     166520 kB
Inactive(anon):   106180 kB
Active(file):   10679176 kB
Inactive(file): 10673240 kB
Unevictable:      109292 kB
Mlocked:          109292 kB
SwapTotal:      67108860 kB
SwapFree:       66935460 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:        292540 kB
Mapped:            61596 kB
Shmem:             35252 kB
Slab:             246456 kB
SReclaimable:     216616 kB
SUnreclaim:        29840 kB
KernelStack:        4080 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1420016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22800 MiB
End job on node141 at 2019-09-20 17:06:25