Trace number 4394127

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-06-14OPT310 139.853 51.9741

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-3.xml
MD5SUM486402128da484f7cb4aeca2fb99213d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark310
Best CPU time to get the best result obtained on this benchmark32.8706
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size410
Distribution of domain sizes[{"size":5,"count":50},{"size":410,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

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-4394127-1568325698.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394127-1568325698.xml, -tl, 2400s, -p, 4]
0.13/0.21	c 4 solvers in parallel
0.35/0.28	c parse instance...
1.22/0.67	c solve instance...
13.21/3.87	o 409 
13.98/4.01	o 365 
14.38/4.18	o 360 
15.93/4.57	o 359 
16.31/4.61	o 358 
17.32/4.93	o 357 
19.83/5.78	o 356 
20.44/5.98	o 355 
20.44/5.99	o 354 
20.81/6.01	o 353 
20.81/6.02	o 352 
20.81/6.03	o 350 
20.81/6.06	o 349 
20.81/6.07	o 347 
22.43/6.62	o 346 
23.13/6.88	o 345 
23.44/6.90	o 344 
23.44/6.91	o 343 
24.30/7.19	o 342 
24.62/7.23	o 341 
24.62/7.24	o 340 
24.62/7.27	o 339 
24.93/7.36	o 338 
25.27/7.48	o 337 
25.95/7.82	o 336 
26.49/8.31	o 335 
26.85/8.41	o 334 
27.09/8.53	o 333 
27.58/8.76	o 332 
28.21/8.95	o 331 
28.51/9.08	o 330 
29.57/9.40	o 329 
30.40/10.13	o 328 
30.61/10.27	o 327 
31.94/10.75	o 326 
32.46/10.93	o 325 
33.03/11.12	o 324 
33.97/11.51	o 323 
36.23/12.41	o 322 
38.66/14.52	o 321 
44.46/20.16	o 320 
45.52/20.60	o 319 
46.70/21.04	o 318 
48.18/22.05	o 317 
54.47/24.01	o 316 
60.26/26.08	o 314 
70.30/28.86	o 313 
80.55/32.97	o 312 
87.07/38.03	o 311 
88.47/38.73	o 310 
139.77/51.95	s OPTIMUM FOUND
139.77/51.95	v <instantiation>
139.77/51.95	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list>
139.77/51.95	v 	<values>9 47 129 213 244 0 44 115 193 244 1 6 85 176 229 6 91 143 206 231 0 81 93 176 214 310 310 310 308 307 35 45 64 31 66 44 71 78 36 66 5 75 91 53 81 79 38 60 25 77 81 12 83 37 93 4 1 2 3 0 1 4 0 2 3 4 0 3 1 2 3 2 4 0 1 2 0 1 3 4 244 47 129 213 9 115 0 193 244 44 6 176 229 85 1 206 231 91 6 143 81 93 0 176 214 </values>
139.77/51.95	v </instantiation>

Verifier Data 

OK	310

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394127-1568325698/watcher-4394127-1568325698 -o /tmp/evaluation-result-4394127-1568325698/solver-4394127-1568325698 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 498627957 HOME/instance-4394127-1568325698.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
Current StackSize limit: 8192 KiB

solver pid=28143, runsolver pid=28140

[startup+0.100108 s]*
/proc/loadavg: 6.18 6.12 6.26 8/235 28159
/proc/meminfo: memFree=31080500/32770624 swapFree=66933568/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15144768 memory=29116 CPUtime=0.13 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 5791 0 0 0 12 1 0 0 20 0 15 0 408841316 15508242432 7279 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3786192 7279 3120 1 0 3748377 0
[pid=28145/tid=28146] ppid=28143 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) R 28143 28143 25300 0 -1 4202560 3673 0 0 0 8 1 0 0 20 0 15 0 408841316 15508242432 7279 33554432000 4194304 4196468 140731170488688 140340790588320 140340786371990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15144768 memory=3472468067724543184 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 7279 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 7279 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 7279 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 7279 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408841318 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408841318 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339658581152 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408841319 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339657528048 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) R 28143 28143 25300 0 -1 4202560 329 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339655424848 140340786371990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) R 28143 28143 25300 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) R 28143 28143 25300 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 7279 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30564 KiB

[startup+0.210927 s]*
/proc/loadavg: 6.18 6.12 6.26 6/235 28159
/proc/meminfo: memFree=31068580/32770624 swapFree=66933568/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15144768 memory=41024 CPUtime=0.35 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 9499 0 0 0 32 3 0 0 20 0 15 0 408841316 15508242432 10256 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3786192 10256 3276 1 0 3748377 0
[pid=28145/tid=28146] ppid=28143 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) R 28143 28143 25300 0 -1 4202560 6682 0 0 0 18 2 0 0 20 0 15 0 408841316 15508242432 10256 33554432000 4194304 4196468 140731170488688 140340790595040 140340770440542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15144768 memory=3472468067724543184 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 10256 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 10256 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 10256 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408841317 15508242432 10256 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408841318 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408841318 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339658581152 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408841319 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339657528048 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) S 28143 28143 25300 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) S 28143 28143 25300 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0.08 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) S 28143 28143 25300 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15144768 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841321 15508242432 10256 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42472 KiB

[startup+0.317105 s]*
/proc/loadavg: 6.18 6.12 6.26 6/235 28159
/proc/meminfo: memFree=31059716/32770624 swapFree=66933568/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15149024 memory=50520 CPUtime=0.54 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 10997 0 0 0 50 4 0 0 20 0 15 0 408841316 15512600576 12630 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3787256 12630 3342 1 0 3748377 0
[pid=28145/tid=28146] ppid=28143 vsize=15149024 memory=8514701219880992413 CPUtime=0.31 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) R 28143 28143 25300 0 -1 4202560 7949 0 0 0 28 3 0 0 20 0 15 0 408841316 15512600576 12630 33554432000 4194304 4196468 140731170488688 140340790590016 140340770440542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15149024 memory=3472468067724543184 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15512600576 12630 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15149024 memory=139938829391488 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15512600576 12630 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841317 15512600576 12630 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15149024 memory=139938691688479 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408841317 15512600576 12630 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15149024 memory=279877383356192 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408841318 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15149024 memory=139938691665423 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408841318 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339658581152 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15149024 memory=279877521066080 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408841319 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339657528048 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15149024 memory=139938691670031 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) S 28143 28143 25300 0 -1 1077944384 444 0 0 0 4 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) S 28143 28143 25300 0 -1 1077944384 430 0 0 0 4 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) S 28143 28143 25300 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15149024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408841321 15512600576 12630 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51968 KiB

[startup+0.702077 s]
/proc/loadavg: 6.18 6.12 6.26 9/235 28159
/proc/meminfo: memFree=31046716/32770624 swapFree=66933568/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15419452 memory=88944 CPUtime=1.51 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 14495 0 0 0 145 6 0 0 20 0 19 0 408841316 15789518848 22236 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3854863 22236 3452 1 0 3815965 0
[pid=28145/tid=28146] ppid=28143 vsize=15419452 memory=7236547281622689387 CPUtime=0.66 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) S 28143 28143 25300 0 -1 1077944384 9466 0 0 0 62 4 0 0 20 0 19 0 408841316 15789518848 22236 33554432000 4194304 4196468 140731170488688 140340790600832 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15419452 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408841317 15789518848 22236 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15419452 memory=6298373484264312918 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408841317 15789518848 22236 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15419452 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408841317 15789518848 22236 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15419452 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408841317 15789518848 22236 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15419452 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408841318 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15419452 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408841318 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339658581152 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15419452 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408841319 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339657528048 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15419452 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15419452 memory=20088 CPUtime=0.19 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) R 28143 28143 25300 0 -1 1077944384 941 0 0 0 19 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15419452 memory=984 CPUtime=0.18 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) R 28143 28143 25300 0 -1 1077944384 849 0 0 0 18 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339654358992 140340786370261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15419452 memory=2032 CPUtime=0.4 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) R 28143 28143 25300 0 -1 4202560 1766 0 0 0 40 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339653314880 140340766074844 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15419452 memory=7090143983960547920 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15419452 memory=7013348624500549744 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408841321 15789518848 22236 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 90392 KiB

[startup+1.50625 s]
/proc/loadavg: 6.18 6.12 6.26 14/239 28163
/proc/meminfo: memFree=31006388/32770624 swapFree=66933568/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0

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

/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 19 0 408841321 16062164992 64614 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28392] ppid=28143 vsize=15685708 memory=279877384026624 CPUtime=12.37 cores=0,2,4,6
/proc/28145/task/28392/stat : 28392 (java) R 28143 28143 25300 0 -1 4202560 165 0 0 0 1237 0 0 0 20 0 19 0 408845189 16062164992 64614 33554432000 4194304 4196468 140731170488688 140339633826760 140340426711912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28393] ppid=28143 vsize=15685708 memory=1564 CPUtime=12.2 cores=0,2,4,6
/proc/28145/task/28393/stat : 28393 (java) R 28143 28143 25300 0 -1 4202560 772 0 0 0 1220 0 0 0 20 0 19 0 408845189 16062164992 64614 33554432000 4194304 4196468 140731170488688 140339636986104 140340431059260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28394] ppid=28143 vsize=15685708 memory=976 CPUtime=12.37 cores=0,2,4,6
/proc/28145/task/28394/stat : 28394 (java) R 28143 28143 25300 0 -1 4202560 378 0 0 0 1237 0 0 0 20 0 19 0 408845189 16062164992 64614 33554432000 4194304 4196468 140731170488688 140339635935344 140340430460028 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28395] ppid=28143 vsize=15685708 memory=772 CPUtime=12.3 cores=0,2,4,6
/proc/28145/task/28395/stat : 28395 (java) R 28143 28143 25300 0 -1 4202560 220 0 0 0 1230 0 0 0 20 0 19 0 408845189 16062164992 64614 33554432000 4194304 4196468 140731170488688 140339634880176 140340433041214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 137.97 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 259904 KiB

[startup+51.6009 s]
/proc/loadavg: 4.79 5.76 6.13 6/240 28397
/proc/meminfo: memFree=30845492/32770624 swapFree=66933588/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15685708 memory=256464 CPUtime=139.47 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 76771 0 0 0 13926 21 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3921427 64116 3531 1 0 3882529 0
[pid=28145/tid=28146] ppid=28143 vsize=15685708 memory=6791534058613427641 CPUtime=0.68 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) S 28143 28143 25300 0 -1 1077944384 11017 0 0 0 64 4 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340790600832 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15685708 memory=2532 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 2024 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15685708 memory=1440 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 2341 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15685708 memory=808 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 2519 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15685708 memory=1772 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 1007 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15685708 memory=111632 CPUtime=0.03 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 1640 0 0 0 2 1 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15685708 memory=804 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339658581216 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15685708 memory=772 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841319 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339657528064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15685708 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15685708 memory=2832 CPUtime=5.01 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) S 28143 28143 25300 0 -1 1077944384 18645 0 0 0 500 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15685708 memory=1548 CPUtime=5.28 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) S 28143 28143 25300 0 -1 1077944384 15983 0 0 0 527 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15685708 memory=1056 CPUtime=0.77 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) S 28143 28143 25300 0 -1 1077944384 7634 0 0 0 77 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15685708 memory=259492 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15685708 memory=3620 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28392] ppid=28143 vsize=15685708 memory=279877384673056 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28392/stat : 28392 (java) S 28143 28143 25300 0 -1 1077944384 199 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339633831616 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28393] ppid=28143 vsize=15685708 memory=0 CPUtime=12.57 cores=0,2,4,6
/proc/28145/task/28393/stat : 28393 (java) S 28143 28143 25300 0 -1 1077944384 857 0 0 0 1257 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339636990608 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28394] ppid=28143 vsize=15685708 memory=279877384600896 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28394/stat : 28394 (java) S 28143 28143 25300 0 -1 1077944384 399 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339635938064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28395] ppid=28143 vsize=15685708 memory=279877384601088 CPUtime=12.7 cores=0,2,4,6
/proc/28145/task/28395/stat : 28395 (java) R 28143 28143 25300 0 -1 4202560 225 0 0 0 1270 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339634880176 140340433040941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 139.47 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 257912 KiB

[startup+51.8009 s]
/proc/loadavg: 4.79 5.76 6.13 6/240 28397
/proc/meminfo: memFree=30845492/32770624 swapFree=66933588/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15685708 memory=256464 CPUtime=139.67 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 76771 0 0 0 13946 21 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3921427 64116 3531 1 0 3882529 0
[pid=28145/tid=28146] ppid=28143 vsize=15685708 memory=279877383464448 CPUtime=0.68 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) S 28143 28143 25300 0 -1 1077944384 11017 0 0 0 64 4 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340790600832 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15685708 memory=6791534058613427641 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 2024 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15685708 memory=98177 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 2341 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15685708 memory=95969 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 2519 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15685708 memory=93761 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 1007 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15685708 memory=5041 CPUtime=0.03 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 1640 0 0 0 2 1 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15685708 memory=3472328296227682113 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339658581216 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15685708 memory=625 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841319 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339657528064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15685708 memory=279877384186496 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15685708 memory=6944656592455359580 CPUtime=5.01 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) S 28143 28143 25300 0 -1 1077944384 18645 0 0 0 500 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15685708 memory=6944656575208382560 CPUtime=5.28 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) S 28143 28143 25300 0 -1 1077944384 15983 0 0 0 527 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15685708 memory=6944652177228980320 CPUtime=0.77 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) S 28143 28143 25300 0 -1 1077944384 7634 0 0 0 77 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15685708 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15685708 memory=6943526294502006880 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28392] ppid=28143 vsize=15685708 memory=6656426216303648864 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28392/stat : 28392 (java) S 28143 28143 25300 0 -1 1077944384 199 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339633831616 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28393] ppid=28143 vsize=15685708 memory=6791534058613427641 CPUtime=12.57 cores=0,2,4,6
/proc/28145/task/28393/stat : 28393 (java) S 28143 28143 25300 0 -1 1077944384 857 0 0 0 1257 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339636990608 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28394] ppid=28143 vsize=15685708 memory=6656426216303648864 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28394/stat : 28394 (java) S 28143 28143 25300 0 -1 1077944384 399 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339635938064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28395] ppid=28143 vsize=15685708 memory=6655300316396806240 CPUtime=12.9 cores=0,2,4,6
/proc/28145/task/28395/stat : 28395 (java) R 28143 28143 25300 0 -1 4202560 225 0 0 0 1290 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339634880176 140340433040987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 139.67 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 257912 KiB

[startup+51.9009 s]
/proc/loadavg: 4.79 5.76 6.13 6/240 28397
/proc/meminfo: memFree=30845492/32770624 swapFree=66933588/67108860
[pid=28143] ppid=28140 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28143/stat : 28143 (xcsp3-exec) S 28140 28143 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408841315 115843072 362 33554432000 4194304 5098028 140729443049344 140729443047448 140612656554620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12255232 140729443054459 140729443054701 140729443054701 140729443057610 0
/proc/28143/statm: 28282 362 304 221 0 87 0
[pid=28145] ppid=28143 vsize=15685708 memory=256464 CPUtime=139.77 cores=0,2,4,6
/proc/28145/stat : 28145 (java) S 28143 28143 25300 0 -1 1077944320 76771 0 0 0 13956 21 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140731170471232 140340786360055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
/proc/28145/statm: 3921427 64116 3531 1 0 3882529 0
[pid=28145/tid=28146] ppid=28143 vsize=15685708 memory=258456 CPUtime=0.68 cores=0,2,4,6
/proc/28145/task/28146/stat : 28146 (java) S 28143 28143 25300 0 -1 1077944384 11017 0 0 0 64 4 0 0 20 0 19 0 408841316 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340790600832 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28147] ppid=28143 vsize=15685708 memory=256464 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28147/stat : 28147 (java) S 28143 28143 25300 0 -1 1077944384 2024 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340742913040 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28148] ppid=28143 vsize=15685708 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/28145/task/28148/stat : 28148 (java) S 28143 28143 25300 0 -1 1077944384 2341 0 0 0 5 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340741860496 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28149] ppid=28143 vsize=15685708 memory=2257 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28149/stat : 28149 (java) S 28143 28143 25300 0 -1 1077944384 2519 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340377082640 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28150] ppid=28143 vsize=15685708 memory=256464 CPUtime=0.07 cores=0,2,4,6
/proc/28145/task/28150/stat : 28150 (java) S 28143 28143 25300 0 -1 1077944384 1007 0 0 0 6 1 0 0 20 0 19 0 408841317 16062164992 64116 33554432000 4194304 4196468 140731170488688 140340376030096 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28151] ppid=28143 vsize=15685708 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/28145/task/28151/stat : 28151 (java) S 28143 28143 25300 0 -1 1077944384 1640 0 0 0 2 1 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339659634928 140340786371202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28152] ppid=28143 vsize=15685708 memory=245480 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28152/stat : 28152 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841318 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339658581216 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28153] ppid=28143 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28153/stat : 28153 (java) S 28143 28143 25300 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408841319 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339657528064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28154] ppid=28143 vsize=15685708 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28154/stat : 28154 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339656476624 140340786378651 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28155] ppid=28143 vsize=15685708 memory=3932 CPUtime=5.01 cores=0,2,4,6
/proc/28145/task/28155/stat : 28155 (java) S 28143 28143 25300 0 -1 1077944384 18645 0 0 0 500 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339655424752 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28156] ppid=28143 vsize=15685708 memory=2832 CPUtime=5.28 cores=0,2,4,6
/proc/28145/task/28156/stat : 28156 (java) S 28143 28143 25300 0 -1 1077944384 15983 0 0 0 527 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339654372208 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28157] ppid=28143 vsize=15685708 memory=528 CPUtime=0.77 cores=0,2,4,6
/proc/28145/task/28157/stat : 28157 (java) S 28143 28143 25300 0 -1 1077944384 7634 0 0 0 77 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339653319152 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28158] ppid=28143 vsize=15685708 memory=77 CPUtime=0 cores=0,2,4,6
/proc/28145/task/28158/stat : 28158 (java) S 28143 28143 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339652266848 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28159] ppid=28143 vsize=15685708 memory=258456 CPUtime=0.02 cores=0,2,4,6
/proc/28145/task/28159/stat : 28159 (java) S 28143 28143 25300 0 -1 1077944384 377 0 0 0 1 1 0 0 20 0 19 0 408841321 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339651213872 140340786371202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28392] ppid=28143 vsize=15685708 memory=1448 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28392/stat : 28392 (java) S 28143 28143 25300 0 -1 1077944384 199 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339633831616 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28393] ppid=28143 vsize=15685708 memory=1448 CPUtime=12.57 cores=0,2,4,6
/proc/28145/task/28393/stat : 28393 (java) S 28143 28143 25300 0 -1 1077944384 857 0 0 0 1257 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339636990608 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28394] ppid=28143 vsize=15685708 memory=1448 CPUtime=12.74 cores=0,2,4,6
/proc/28145/task/28394/stat : 28394 (java) S 28143 28143 25300 0 -1 1077944384 399 0 0 0 1274 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339635938064 140340786370261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
[pid=28145/tid=28395] ppid=28143 vsize=15685708 memory=256464 CPUtime=13 cores=0,2,4,6
/proc/28145/task/28395/stat : 28395 (java) R 28143 28143 25300 0 -1 4202560 225 0 0 0 1300 0 0 0 20 0 19 0 408845189 16062164992 64116 33554432000 4194304 4196468 140731170488688 140339634880176 140340433040987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29929472 140731170493423 140731170493594 140731170493594 140731170496463 0
Current children cumulated CPU time: 139.77 s
Current children cumulated vsize: 15798836 KiB
Current children cumulated memory: 257912 KiB

Child status: 0
Real time (s): 51.9741
CPU time (s): 139.853
CPU user time (s): 139.628
CPU system time (s): 0.224927
CPU usage (%): 269.083
Max. virtual memory (cumulated for all children) (KiB): 15798836
Max. memory (cumulated for all children) (KiB): 263496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.628
system time used= 0.224927
maximum resident set size= 263588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6262
involuntary context switches= 2260


# summary of solver processes directly reported to runsolver:
#   pid: 28143
#   total CPU time (s): 139.853
#   total CPU user time (s): 139.628
#   total CPU system time (s): 0.224927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.403772 second user time and 0.543565 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 00:00:59
IDJOB=4394127
IDBENCH=115848
IDSOLVER=2842
FILE ID=node151/4394127-1568325698
RUNJOBID= node151-1568323682-25331
PBS_JOBID= 21701147
Free space on /tmp= 56976 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-3.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-4394127-1568325698/watcher-4394127-1568325698 -o /tmp/evaluation-result-4394127-1568325698/solver-4394127-1568325698 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 498627957 HOME/instance-4394127-1568325698.xml

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

MD5SUM BENCH= 486402128da484f7cb4aeca2fb99213d
RANDOM SEED=498627957

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31098036 kB
MemAvailable:   31679352 kB
Buffers:          127644 kB
Cached:           744512 kB
SwapCached:        72580 kB
Active:           652252 kB
Inactive:         473944 kB
Active(anon):     188788 kB
Inactive(anon):    96396 kB
Active(file):     463464 kB
Inactive(file):   377548 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933568 kB
Dirty:             25800 kB
Writeback:             0 kB
AnonPages:        306288 kB
Mapped:            47680 kB
Shmem:             22820 kB
Slab:             140496 kB
SReclaimable:     112280 kB
SUnreclaim:        28216 kB
KernelStack:        4096 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1413980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56948 MiB
End job on node151 at 2019-09-13 00:01:52