Trace number 4393912

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-14 parallelOPT4783 24.1096 6.03942

General information on the benchmark

NameMario/
Mario-zinc-s1/Mario-t-hard-1.xml
MD5SUMd0ad504447153d615b89b5c6990e2d3b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4783
Best CPU time to get the best result obtained on this benchmark4.91567
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains164
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}]
Number of extensional constraints100
Number of intensional constraints99
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax 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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393912-1568432631.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393912-1568432631.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.81/1.33	c solve instance...
6.91/1.67	o 0 
7.64/1.80	o 47 
8.36/1.88	o 60 
9.17/1.96	o 885 
10.61/2.20	o 1190 
13.55/2.92	o 1199 
13.55/2.96	o 1216 
13.55/2.98	o 1224 
14.14/3.04	o 1229 
14.14/3.05	o 1234 
14.14/3.09	o 1254 
14.14/3.09	o 1291 
14.71/3.11	o 1292 
14.71/3.13	o 1304 
14.71/3.14	o 1389 
14.71/3.16	o 1403 
14.71/3.16	o 1442 
14.71/3.17	o 1446 
14.71/3.20	o 1479 
15.24/3.21	o 1480 
15.24/3.22	o 1481 
15.24/3.24	o 1486 
15.24/3.26	o 1540 
15.24/3.27	o 3019 
15.83/3.33	o 3021 
16.58/3.41	o 3022 
16.58/3.45	o 3097 
16.58/3.49	o 3195 
17.25/3.50	o 3291 
17.25/3.52	o 3299 
17.25/3.53	o 3313 
17.25/3.55	o 3378 
17.25/3.58	o 3406 
17.25/3.59	o 3465 
17.25/3.60	o 3481 
17.77/3.65	o 3496 
17.77/3.66	o 3554 
17.77/3.68	o 3576 
17.77/3.69	o 3663 
18.38/3.71	o 3755 
18.38/3.73	o 3786 
18.38/3.74	o 3787 
18.38/3.77	o 3884 
18.38/3.79	o 3972 
18.90/3.80	o 4034 
18.90/3.81	o 4075 
18.90/3.82	o 4083 
18.90/3.83	o 4168 
18.90/3.83	o 4237 
18.90/3.84	o 4316 
18.90/3.85	o 4470 
20.21/4.13	o 4480 
20.21/4.13	o 4575 
20.21/4.13	o 4576 
20.21/4.13	o 4609 
20.21/4.13	o 4626 
20.21/4.13	o 4651 
20.21/4.13	o 4652 
20.88/4.78	o 4755 
21.56/5.18	o 4772 
22.81/5.62	o 4782 
24.06/6.02	o 4783 
24.06/6.02	s OPTIMUM FOUND
24.06/6.02	v <instantiation>
24.06/6.02	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list>
24.06/6.02	v 	<values>2 0 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 32 34 35 36 37 38 39 40 41 42 43 44 45 46 47 49 48 50 51 52 53 54 55 56 57 58 59 61 60 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 96 91 94 1 90 95 87 98 99 92 97 86 88 93 89 88 0 315 236 347 294 146 164 366 73 369 369 22 452 102 491 214 62 123 457 304 216 31 350 81 474 494 333 216 394 335 324 0 111 46 141 434 248 296 212 17 46 154 341 152 161 305 25 0 414 19 216 471 147 305 145 494 486 290 282 0 388 208 345 26 81 41 301 17 45 35 491 87 448 377 19 332 401 217 357 17 289 81 434 14 146 53 30 87 26 19 63 20 31 41 8 78 98 7 41 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34 92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98 96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 </values>
24.06/6.02	v </instantiation>

Verifier Data 

OK	4783

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393912-1568432631/watcher-4393912-1568432631 -o /tmp/evaluation-result-4393912-1568432631/solver-4393912-1568432631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 768825504 HOME/instance-4393912-1568432631.xml 

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

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

solver pid=13065, runsolver pid=13062

[startup+0.100113 s]*
/proc/loadavg: 6.54 7.67 8.02 2/212 13086
/proc/meminfo: memFree=31523848/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28227388 memory=30428 CPUtime=0.12 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 5560 0 0 0 11 1 0 0 20 0 20 0 419424700 28904845312 7607 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7056847 7607 3149 1 0 7019032 0
[pid=13067/tid=13068] ppid=13065 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) R 13065 13065 11928 0 -1 4202560 3510 0 0 0 8 0 0 0 20 0 20 0 419424700 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169140596992 140169136377238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28227388 memory=288370331227248256 CPUtime=0 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 7607 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424702 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419424703 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167513818528 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419424703 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167512765936 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424705 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) S 13065 13065 11928 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 419424705 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167510661104 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424705 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167509608560 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424705 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167508556016 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) R 13065 13065 11928 0 -1 4202560 316 0 0 0 2 0 0 0 20 0 20 0 419424705 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167507503472 140169136386650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424706 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424706 28904845312 7607 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31880 KiB

[startup+0.210552 s]*
/proc/loadavg: 6.54 7.67 8.02 2/212 13086
/proc/meminfo: memFree=31510040/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28227388 memory=42848 CPUtime=0.34 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 9466 0 0 0 31 3 0 0 20 0 20 0 419424700 28904845312 10712 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7056847 10712 3276 1 0 7019032 0
[pid=13067/tid=13068] ppid=13065 vsize=28227388 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) R 13065 13065 11928 0 -1 4202560 6556 0 0 0 18 2 0 0 20 0 20 0 419424700 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169140595952 140169136377238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28227388 memory=139955075548461 CPUtime=0 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28904845312 10712 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419424702 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419424703 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167513818528 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419424703 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167512765936 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424705 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) S 13065 13065 11928 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 419424705 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167510661104 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) S 13065 13065 11928 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 419424705 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167509608560 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) R 13065 13065 11928 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 419424705 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167508556016 140169136376450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) R 13065 13065 11928 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 20 0 419424705 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167507503472 140169136386650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424706 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424706 28904845312 10712 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 44300 KiB

[startup+0.310284 s]*
/proc/loadavg: 6.54 7.67 8.02 4/212 13086
/proc/meminfo: memFree=31502768/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28231644 memory=52100 CPUtime=0.52 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 10857 0 0 0 48 4 0 0 20 0 20 0 419424700 28909203456 13025 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7057911 13025 3349 1 0 7019032 0
[pid=13067/tid=13068] ppid=13065 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) R 13065 13065 11928 0 -1 4202560 7687 0 0 0 26 3 0 0 20 0 20 0 419424700 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169140596416 140169120445790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419424701 28909203456 13025 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419424702 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28231644 memory=279909863988608 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419424703 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167513818528 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28231644 memory=279909863993216 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419424703 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167512765936 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28231644 memory=279909863997824 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424705 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28231644 memory=279909864002432 CPUtime=0.03 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) R 13065 13065 11928 0 -1 4202560 550 0 0 0 3 0 0 0 20 0 20 0 419424705 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167510651488 140169113960794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28231644 memory=279909864007040 CPUtime=0.02 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) S 13065 13065 11928 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 20 0 419424705 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167509608560 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28231644 memory=279909864011648 CPUtime=0.02 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) S 13065 13065 11928 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 419424705 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167508556016 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28231644 memory=279909864016256 CPUtime=0.12 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) S 13065 13065 11928 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 20 0 419424705 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167507503472 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424706 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424706 28909203456 13025 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 53552 KiB

[startup+0.700966 s]
/proc/loadavg: 6.54 7.67 8.02 5/212 13086
/proc/meminfo: memFree=31475368/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28233768 memory=110816 CPUtime=2.04 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 17269 0 0 0 197 7 0 0 20 0 20 0 419424700 28911378432 27704 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7058442 27704 3453 1 0 7019544 0
[pid=13067/tid=13068] ppid=13065 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) R 13065 13065 11928 0 -1 4202560 9083 0 0 0 63 4 0 0 20 0 20 0 419424700 28911378432 27704 33554432000 4194304 4196468 140733824717312 140169140602784 140168762105891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28233768 memory=139954932196224 CPUtime=0 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28911378432 27704 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419424701 28911378432 27704 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419424701 28911378432 27704 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0

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

[pid=13067/tid=13068] ppid=13065 vsize=28769356 memory=15460 CPUtime=1.32 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) S 13065 13065 11928 0 -1 1077944384 9655 0 0 0 126 6 0 0 20 0 28 0 419424700 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169140606080 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28769356 memory=17668 CPUtime=0.1 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 696 0 0 0 6 4 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28769356 memory=6791534058613427641 CPUtime=0.05 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 151 0 0 0 3 2 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28769356 memory=288230621803970871 CPUtime=0.06 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28769356 memory=15262527902714418 CPUtime=0.08 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 212 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28769356 memory=0 CPUtime=0.07 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 318 0 0 0 4 3 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28769356 memory=6656426216303648864 CPUtime=0.09 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 163 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 166141 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28769356 memory=1452 CPUtime=0.01 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 1570 0 0 0 1 0 0 0 20 0 28 0 419424702 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28769356 memory=461512 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167513818592 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28769356 memory=984 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167512765952 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28769356 memory=1940 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419424705 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28769356 memory=1416 CPUtime=2.65 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) R 13065 13065 11928 0 -1 4202560 6299 0 0 0 263 2 0 0 20 0 28 0 419424705 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167510660288 140169114340685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28769356 memory=1556 CPUtime=2.76 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) R 13065 13065 11928 0 -1 4202560 7875 0 0 0 273 3 0 0 20 0 28 0 419424705 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167509601328 140169122397184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28769356 memory=740 CPUtime=2.78 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) R 13065 13065 11928 0 -1 4202560 7041 0 0 0 275 3 0 0 20 0 28 0 419424705 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167508556016 140169136379185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28769356 memory=2241 CPUtime=1.09 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) R 13065 13065 11928 0 -1 4202560 6265 0 0 0 107 2 0 0 20 0 28 0 419424705 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167507503472 140169136377238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28769356 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28769356 memory=-7003712468125533586 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 166141 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 21.1 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 666016 KiB

[startup+5.60151 s]
/proc/loadavg: 6.89 7.72 8.04 2/220 13568
/proc/meminfo: memFree=30887320/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28769356 memory=660248 CPUtime=22.81 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 53130 0 0 0 2217 64 0 0 20 0 28 0 419424700 29459820544 165062 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7192339 165062 3531 1 0 7153441 0
[pid=13067/tid=13068] ppid=13065 vsize=28769356 memory=664500 CPUtime=1.32 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) S 13065 13065 11928 0 -1 1077944384 9655 0 0 0 126 6 0 0 20 0 28 0 419424700 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169140606080 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28769356 memory=0 CPUtime=0.1 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 696 0 0 0 6 4 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28769356 memory=0 CPUtime=0.05 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 151 0 0 0 3 2 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28769356 memory=3588 CPUtime=0.06 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28769356 memory=40684 CPUtime=0.08 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 212 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28769356 memory=984 CPUtime=0.07 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 318 0 0 0 4 3 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28769356 memory=1940 CPUtime=0.09 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28769356 memory=1416 CPUtime=0.08 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 163 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28769356 memory=1556 CPUtime=0.08 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165062 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28769356 memory=740 CPUtime=0.01 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 1570 0 0 0 1 0 0 0 20 0 28 0 419424702 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28769356 memory=1052 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167513818592 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28769356 memory=7548 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167512765952 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28769356 memory=4004 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419424705 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28769356 memory=2832 CPUtime=2.72 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) S 13065 13065 11928 0 -1 1077944384 6314 0 0 0 270 2 0 0 20 0 28 0 419424705 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167510661104 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28769356 memory=776 CPUtime=2.81 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) S 13065 13065 11928 0 -1 1077944384 7875 0 0 0 278 3 0 0 20 0 28 0 419424705 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167509608560 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28769356 memory=1160 CPUtime=2.84 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) S 13065 13065 11928 0 -1 1077944384 7041 0 0 0 281 3 0 0 20 0 28 0 419424705 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167508556016 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28769356 memory=1720 CPUtime=1.13 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) S 13065 13065 11928 0 -1 1077944384 6284 0 0 0 110 3 0 0 20 0 28 0 419424705 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167507503472 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28769356 memory=1096 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28769356 memory=5964 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 165062 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 22.81 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 661700 KiB

[startup+6.00095 s]*
/proc/loadavg: 6.89 7.72 8.04 2/220 13584
/proc/meminfo: memFree=30891924/32770624 swapFree=67004232/67108860
[pid=13065] ppid=13062 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13065/stat : 13065 (xcsp3-exec) S 13062 13065 11928 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419424699 115843072 363 33554432000 4194304 5098028 140730278862384 140730278860488 140469379281532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17989632 140730278863734 140730278863977 140730278863977 140730278866890 0
/proc/13065/statm: 28282 363 305 221 0 87 0
[pid=13067] ppid=13065 vsize=28769356 memory=660252 CPUtime=24.06 cores=0-7
/proc/13067/stat : 13067 (java) S 13065 13065 11928 0 -1 1077944320 53286 0 0 0 2342 64 0 0 20 0 28 0 419424700 29459820544 165063 33554432000 4194304 4196468 140733824717312 140733824699856 140169136365303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
/proc/13067/statm: 7192339 165063 3531 1 0 7153441 0
[pid=13067/tid=13068] ppid=13065 vsize=28769356 memory=32758254098972862 CPUtime=1.32 cores=0-7
/proc/13067/task/13068/stat : 13068 (java) S 13065 13065 11928 0 -1 1077944384 9655 0 0 0 126 6 0 0 20 0 28 0 419424700 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169140606080 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13069] ppid=13065 vsize=28769356 memory=0 CPUtime=0.1 cores=0-7
/proc/13067/task/13069/stat : 13069 (java) S 13065 13065 11928 0 -1 1077944384 696 0 0 0 6 4 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169088985872 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13070] ppid=13065 vsize=28769356 memory=139955078612477 CPUtime=0.05 cores=0-7
/proc/13067/task/13070/stat : 13070 (java) S 13065 13065 11928 0 -1 1077944384 151 0 0 0 3 2 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169087933328 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13071] ppid=13065 vsize=28769356 memory=8097827316026060847 CPUtime=0.06 cores=0-7
/proc/13067/task/13071/stat : 13071 (java) S 13065 13065 11928 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169086880784 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13072] ppid=13065 vsize=28769356 memory=7681421203011431829 CPUtime=0.08 cores=0-7
/proc/13067/task/13072/stat : 13072 (java) S 13065 13065 11928 0 -1 1077944384 212 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169085828240 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13073] ppid=13065 vsize=28769356 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/13067/task/13073/stat : 13073 (java) S 13065 13065 11928 0 -1 1077944384 318 0 0 0 4 3 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169084774672 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13074] ppid=13065 vsize=28769356 memory=3472323898181169199 CPUtime=0.09 cores=0-7
/proc/13067/task/13074/stat : 13074 (java) S 13065 13065 11928 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169083722128 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13075] ppid=13065 vsize=28769356 memory=6944656592455097440 CPUtime=0.08 cores=0-7
/proc/13067/task/13075/stat : 13075 (java) S 13065 13065 11928 0 -1 1077944384 163 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169082669584 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13076] ppid=13065 vsize=28769356 memory=0 CPUtime=0.08 cores=0-7
/proc/13067/task/13076/stat : 13076 (java) S 13065 13065 11928 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 28 0 419424701 29459820544 165063 33554432000 4194304 4196468 140733824717312 140169081617040 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13077] ppid=13065 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7
/proc/13067/task/13077/stat : 13077 (java) S 13065 13065 11928 0 -1 1077944384 1570 0 0 0 1 0 0 0 20 0 28 0 419424702 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167514872304 140169136376450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13078] ppid=13065 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13078/stat : 13078 (java) S 13065 13065 11928 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167513818592 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13079] ppid=13065 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13079/stat : 13079 (java) S 13065 13065 11928 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419424703 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167512765952 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13080] ppid=13065 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13080/stat : 13080 (java) S 13065 13065 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419424705 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167511714512 140169136383899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13081] ppid=13065 vsize=28769356 memory=0 CPUtime=2.73 cores=0-7
/proc/13067/task/13081/stat : 13081 (java) S 13065 13065 11928 0 -1 1077944384 6314 0 0 0 271 2 0 0 20 0 28 0 419424705 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167510661104 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13082] ppid=13065 vsize=28769356 memory=0 CPUtime=2.87 cores=0-7
/proc/13067/task/13082/stat : 13082 (java) S 13065 13065 11928 0 -1 1077944384 7890 0 0 0 284 3 0 0 20 0 28 0 419424705 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167509608560 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13083] ppid=13065 vsize=28769356 memory=0 CPUtime=2.85 cores=0-7
/proc/13067/task/13083/stat : 13083 (java) S 13065 13065 11928 0 -1 1077944384 7041 0 0 0 282 3 0 0 20 0 28 0 419424705 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167508556016 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13084] ppid=13065 vsize=28769356 memory=0 CPUtime=1.14 cores=0-7
/proc/13067/task/13084/stat : 13084 (java) S 13065 13065 11928 0 -1 1077944384 6288 0 0 0 111 3 0 0 20 0 28 0 419424705 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167507503472 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13085] ppid=13065 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13085/stat : 13085 (java) S 13065 13065 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167506451168 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13086] ppid=13065 vsize=28769356 memory=0 CPUtime=0 cores=0-7
/proc/13067/task/13086/stat : 13086 (java) S 13065 13065 11928 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 419424706 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167505398704 140169136376450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13577] ppid=13065 vsize=28769356 memory=0 CPUtime=0.19 cores=0-7
/proc/13067/task/13577/stat : 13577 (java) S 13065 13065 11928 0 -1 1077944384 17 0 0 0 19 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167489069024 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13578] ppid=13065 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7
/proc/13067/task/13578/stat : 13578 (java) S 13065 13065 11928 0 -1 1077944384 16 0 0 0 2 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167491176064 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13579] ppid=13065 vsize=28769356 memory=0 CPUtime=0.03 cores=0-7
/proc/13067/task/13579/stat : 13579 (java) S 13065 13065 11928 0 -1 1077944384 17 0 0 0 3 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167486964480 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13580] ppid=13065 vsize=28769356 memory=0 CPUtime=0.03 cores=0-7
/proc/13067/task/13580/stat : 13580 (java) S 13065 13065 11928 0 -1 1077944384 17 0 0 0 3 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167492227968 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13581] ppid=13065 vsize=28769356 memory=0 CPUtime=0.03 cores=0-7
/proc/13067/task/13581/stat : 13581 (java) S 13065 13065 11928 0 -1 1077944384 18 0 0 0 3 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167493280768 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13582] ppid=13065 vsize=28769356 memory=0 CPUtime=0.38 cores=0-7
/proc/13067/task/13582/stat : 13582 (java) R 13065 13065 11928 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167485914184 140168760128041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13583] ppid=13065 vsize=28769356 memory=0 CPUtime=0.05 cores=0-7
/proc/13067/task/13583/stat : 13583 (java) S 13065 13065 11928 0 -1 1077944384 17 0 0 0 5 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167490123008 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
[pid=13067/tid=13584] ppid=13065 vsize=28769356 memory=0 CPUtime=0.37 cores=0-7
/proc/13067/task/13584/stat : 13584 (java) S 13065 13065 11928 0 -1 1077944384 17 0 0 0 37 0 0 0 20 0 28 0 419425262 29459820544 165063 33554432000 4194304 4196468 140733824717312 140167494333824 140169136375509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14544896 140733824721898 140733824722070 140733824722070 140733824724943 0
Current children cumulated CPU time: 24.06 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 661704 KiB

Child status: 0
Real time (s): 6.03942
CPU time (s): 24.1096
CPU user time (s): 23.4453
CPU system time (s): 0.664307
CPU usage (%): 399.204
Max. virtual memory (cumulated for all children) (KiB): 28884140
Max. memory (cumulated for all children) (KiB): 666016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4453
system time used= 0.664307
maximum resident set size= 664972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8562
involuntary context switches= 379


# summary of solver processes directly reported to runsolver:
#   pid: 13065
#   total CPU time (s): 24.1096
#   total CPU user time (s): 23.4453
#   total CPU system time (s): 0.664307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068544 second user time and 0.114581 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 05:43:14
IDJOB=4393912
IDBENCH=133275
IDSOLVER=2841
FILE ID=node148/4393912-1568432631
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393912-1568432631/watcher-4393912-1568432631 -o /tmp/evaluation-result-4393912-1568432631/solver-4393912-1568432631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 768825504 HOME/instance-4393912-1568432631.xml

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

MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b
RANDOM SEED=768825504

node148.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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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:        31542860 kB
MemAvailable:   31910440 kB
Buffers:           91884 kB
Cached:           572440 kB
SwapCached:         3812 kB
Active:           413072 kB
Inactive:         258612 kB
Active(anon):       4356 kB
Inactive(anon):    43744 kB
Active(file):     408716 kB
Inactive(file):   214868 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             25848 kB
Writeback:             0 kB
AnonPages:        113036 kB
Mapped:            44284 kB
Shmem:             32352 kB
Slab:             148276 kB
SReclaimable:     119664 kB
SUnreclaim:        28612 kB
KernelStack:        3440 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-14 05:43:20