Trace number 4407372

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24 parallelOPT4783 21.3332 5.69129

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.8186
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-4407372-1569347590.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407372-1569347590.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.63/1.34	c solve instance...
6.70/1.69	o 0 
7.43/1.76	o 0 
7.43/1.78	o 47 
9.45/2.07	o 60 
9.45/2.07	o 114 
9.45/2.07	o 118 
9.45/2.07	o 885 
9.45/2.09	o 1190 
12.80/2.83	o 2909 
13.62/3.02	o 2910 
14.72/3.55	o 2913 
14.72/3.59	o 2914 
15.13/3.66	o 2916 
15.77/3.70	o 3019 
15.77/3.72	o 3097 
15.77/3.73	o 3195 
15.77/3.74	o 3291 
15.77/3.76	o 3299 
15.77/3.77	o 3313 
15.77/3.78	o 3378 
15.77/3.79	o 3406 
15.77/3.80	o 3465 
16.27/3.81	o 3481 
16.27/3.82	o 3496 
16.27/3.84	o 3554 
16.27/3.85	o 3576 
16.27/3.86	o 3663 
16.27/3.88	o 3755 
16.27/3.89	o 3786 
16.67/3.90	o 3787 
16.67/3.91	o 3884 
16.67/3.92	o 3972 
16.67/3.93	o 4034 
16.67/3.94	o 4075 
16.67/3.95	o 4083 
16.67/3.98	o 4168 
16.67/3.99	o 4237 
16.67/4.00	o 4316 
17.16/4.01	o 4470 
17.16/4.02	o 4480 
17.16/4.03	o 4575 
17.16/4.05	o 4576 
17.16/4.06	o 4609 
17.16/4.07	o 4626 
17.16/4.08	o 4651 
17.66/4.20	o 4652 
18.58/4.83	o 4755 
18.58/4.85	o 4772 
19.58/5.26	o 4782 
21.06/5.66	o 4783 
21.06/5.67	s OPTIMUM FOUND
21.06/5.67	v <instantiation>
21.06/5.67	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>
21.06/5.67	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>
21.06/5.67	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 (11801 MiB free)
  memory of node 1: 16384 MiB (13084 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407372-1569347590/watcher-4407372-1569347590 -o /var/tmp/evaluation-result-4407372-1569347590/solver-4407372-1569347590 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407372-1569347590.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14591, runsolver pid=14588

[startup+0.100111 s]*
/proc/loadavg: 8.64 8.37 8.25 2/213 14612
/proc/meminfo: memFree=25464180/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28227396 memory=31944 CPUtime=0.12 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 5443 0 0 0 11 1 0 0 20 0 20 0 511021584 28904853504 7986 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7056849 7986 3121 1 0 7019032 0
[pid=14593/tid=14594] ppid=14591 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) R 14591 14591 11698 0 -1 4202560 3362 0 0 0 8 0 0 0 20 0 20 0 511021584 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759960531040 139759956311446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28227396 memory=139763202406016 CPUtime=0 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759339845280 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759338792176 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) S 14591 14591 11698 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759335635312 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) S 14591 14591 11698 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759333529712 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 7986 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33396 KiB

[startup+0.209964 s]*
/proc/loadavg: 8.64 8.37 8.25 2/213 14612
/proc/meminfo: memFree=25452436/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28227396 memory=43072 CPUtime=0.33 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 9023 0 0 0 30 3 0 0 20 0 20 0 511021584 28904853504 10768 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7056849 10768 3269 1 0 7019032 0
[pid=14593/tid=14594] ppid=14591 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) R 14591 14591 11698 0 -1 4202560 6176 0 0 0 18 2 0 0 20 0 20 0 511021584 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759960532240 139759956311446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28227396 memory=288230608969400658 CPUtime=0 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28227396 memory=3761828742138967712 CPUtime=0 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759339845280 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511021587 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759338792176 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 604 0 0 0 1 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) S 14591 14591 11698 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759335635312 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) R 14591 14591 11698 0 -1 4202560 701 0 0 0 7 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759333529712 139759948536638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28904853504 10768 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44524 KiB

[startup+0.309688 s]*
/proc/loadavg: 8.64 8.37 8.25 4/213 14612
/proc/meminfo: memFree=25445740/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28231652 memory=51940 CPUtime=0.53 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 10292 0 0 0 49 4 0 0 20 0 20 0 511021584 28909211648 12985 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7057913 12985 3360 1 0 7019032 0
[pid=14593/tid=14594] ppid=14591 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) R 14591 14591 11698 0 -1 4202560 7252 0 0 0 27 2 0 0 20 0 20 0 511021584 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759960530624 139759940379998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511021587 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28231652 memory=139763067740623 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511021587 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759339845280 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28231652 memory=279526135508880 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511021587 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759338792176 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28231652 memory=279526135506576 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28231652 memory=279526135513488 CPUtime=0.03 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 619 0 0 0 3 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28231652 memory=279526135454736 CPUtime=0.02 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) R 14591 14591 11698 0 -1 4202560 292 0 0 0 2 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759335616328 139759949405228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28231652 memory=279526135527312 CPUtime=0.02 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28231652 memory=279526135534192 CPUtime=0.12 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) S 14591 14591 11698 0 -1 1077944384 754 0 0 0 12 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759333529712 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021590 28909211648 13013 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53392 KiB

[startup+0.700895 s]
/proc/loadavg: 8.64 8.37 8.25 6/213 14612
/proc/meminfo: memFree=25416840/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28233776 memory=106660 CPUtime=1.98 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 15745 0 0 0 192 6 0 0 20 0 20 0 511021584 28911386624 26665 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7058444 26665 3457 1 0 7019544 0
[pid=14593/tid=14594] ppid=14591 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) R 14591 14591 11698 0 -1 4202560 8690 0 0 0 64 4 0 0 20 0 20 0 511021584 28911386624 26665 33554432000 4194304 4196468 140731593080432 139759960534912 139759592653477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511021585 28911386624 26665 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28911386624 26665 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28233776 memory=1164 CPUtime=0 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511021585 28911386624 26665 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0

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

[pid=14593/tid=14594] ppid=14591 vsize=28769364 memory=8025788818473374820 CPUtime=1.3 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) S 14591 14591 11698 0 -1 1077944384 9237 0 0 0 125 5 0 0 20 0 28 0 511021584 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759960540288 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28769364 memory=7661859282850506086 CPUtime=0.09 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 199 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28769364 memory=7379522297529854568 CPUtime=0.04 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 198 0 0 0 3 1 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28769364 memory=7881696724453321575 CPUtime=0.06 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 175 0 0 0 4 2 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 301 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 142 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28769364 memory=279526135735424 CPUtime=0.05 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 181 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28769364 memory=64850248076010 CPUtime=0.01 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 28 0 511021587 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28769364 memory=279526135665072 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759339845344 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28769364 memory=64850248076010 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759338792192 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28769364 memory=2110113675001780 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28769364 memory=2998389 CPUtime=2.27 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 5645 0 0 0 225 2 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28769364 memory=0 CPUtime=2.32 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) S 14591 14591 11698 0 -1 1077944384 6569 0 0 0 230 2 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759335635312 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28769364 memory=17668 CPUtime=2.41 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 3782 0 0 0 241 0 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28769364 memory=19876 CPUtime=1.06 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) S 14591 14591 11698 0 -1 1077944384 5801 0 0 0 102 4 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759333529712 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28769364 memory=22084 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28769364 memory=24292 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 111568 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 18.58 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 447724 KiB

[startup+5.20114 s]
/proc/loadavg: 8.59 8.36 8.24 4/221 15004
/proc/meminfo: memFree=25048428/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28769364 memory=443176 CPUtime=19.58 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 42998 0 0 0 1910 48 0 0 20 0 28 0 511021584 29459828736 110794 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7192341 110794 3537 1 0 7153441 0
[pid=14593/tid=14594] ppid=14591 vsize=28769364 memory=288283394070132410 CPUtime=1.31 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) S 14591 14591 11698 0 -1 1077944384 9239 0 0 0 126 5 0 0 20 0 28 0 511021584 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759960540288 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28769364 memory=7590655979367786604 CPUtime=0.09 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 199 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28769364 memory=7590655979367786604 CPUtime=0.04 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 198 0 0 0 3 1 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28769364 memory=7447093768195764330 CPUtime=0.06 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 175 0 0 0 4 2 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28769364 memory=7595163968282912612 CPUtime=0.03 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28769364 memory=7595163968282912612 CPUtime=0.05 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 301 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28769364 memory=128161824142478 CPUtime=0.05 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28769364 memory=6444202927386551396 CPUtime=0.09 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 142 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28769364 memory=7221586200865171563 CPUtime=0.05 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 181 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0.01 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 28 0 511021587 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759339845344 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759338792192 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=2.32 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 5659 0 0 0 230 2 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=2.41 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) S 14591 14591 11698 0 -1 1077944384 6601 0 0 0 239 2 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759335635312 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=2.41 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 3782 0 0 0 241 0 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=1.07 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) S 14591 14591 11698 0 -1 1077944384 5813 0 0 0 103 4 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759333529712 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28769364 memory=3762821687044630635 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14997] ppid=14591 vsize=28769364 memory=4049923788338982504 CPUtime=0.12 cores=0-7
/proc/14593/task/14997/stat : 14997 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 12 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759313796848 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14998] ppid=14591 vsize=28769364 memory=4049923788338982504 CPUtime=0.02 cores=0-7
/proc/14593/task/14998/stat : 14998 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759315903872 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14999] ppid=14591 vsize=28769364 memory=0 CPUtime=0.16 cores=0-7
/proc/14593/task/14999/stat : 14999 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 16 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759319061504 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=15000] ppid=14591 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/15000/stat : 15000 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759314850944 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=15001] ppid=14591 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/14593/task/15001/stat : 15001 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759318008576 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=15002] ppid=14591 vsize=28769364 memory=0 CPUtime=0.34 cores=0-7
/proc/14593/task/15002/stat : 15002 (java) R 14591 14591 11698 0 -1 4202560 17 0 0 0 34 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759316958024 139759601332279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=15003] ppid=14591 vsize=28769364 memory=139763067745856 CPUtime=0.02 cores=0-7
/proc/14593/task/15003/stat : 15003 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759311693312 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=15004] ppid=14591 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/14593/task/15004/stat : 15004 (java) S 14591 14591 11698 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 511022069 29459828736 110794 33554432000 4194304 4196468 140731593080432 139759312746112 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 19.58 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 444628 KiB

[startup+5.60179 s]
/proc/loadavg: 8.59 8.36 8.24 4/221 15004
/proc/meminfo: memFree=25048428/32770624 swapFree=66992416/67108860
[pid=14591] ppid=14588 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14591/stat : 14591 (xcsp3-exec) S 14588 14591 11698 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511021584 115843072 363 33554432000 4194304 5098028 140732807545888 140732807543992 139810098823804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24883200 140732807553879 140732807554138 140732807554138 140732807557062 0
/proc/14591/statm: 28282 363 304 221 0 87 0
[pid=14593] ppid=14591 vsize=28769364 memory=443364 CPUtime=21.06 cores=0-7
/proc/14593/stat : 14593 (java) S 14591 14591 11698 0 -1 1077944320 43729 0 0 0 2058 48 0 0 20 0 28 0 511021584 29459828736 110841 33554432000 4194304 4196468 140731593080432 140731593062976 139759956299511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
/proc/14593/statm: 7192341 110841 3537 1 0 7153441 0
[pid=14593/tid=14594] ppid=14591 vsize=28769364 memory=1324 CPUtime=1.31 cores=0-7
/proc/14593/task/14594/stat : 14594 (java) S 14591 14591 11698 0 -1 1077944384 9240 0 0 0 126 5 0 0 20 0 28 0 511021584 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759960540288 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14595] ppid=14591 vsize=28769364 memory=780 CPUtime=0.09 cores=0-7
/proc/14593/task/14595/stat : 14595 (java) S 14591 14591 11698 0 -1 1077944384 199 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759915060240 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14596] ppid=14591 vsize=28769364 memory=3620 CPUtime=0.04 cores=0-7
/proc/14593/task/14596/stat : 14596 (java) S 14591 14591 11698 0 -1 1077944384 198 0 0 0 3 1 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759506697360 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14597] ppid=14591 vsize=28769364 memory=1576 CPUtime=0.06 cores=0-7
/proc/14593/task/14597/stat : 14597 (java) S 14591 14591 11698 0 -1 1077944384 175 0 0 0 4 2 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759505644304 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14598] ppid=14591 vsize=28769364 memory=1028 CPUtime=0.03 cores=0-7
/proc/14593/task/14598/stat : 14598 (java) S 14591 14591 11698 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759504591760 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14599] ppid=14591 vsize=28769364 memory=1060 CPUtime=0.05 cores=0-7
/proc/14593/task/14599/stat : 14599 (java) S 14591 14591 11698 0 -1 1077944384 301 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759503538704 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14600] ppid=14591 vsize=28769364 memory=2828 CPUtime=0.05 cores=0-7
/proc/14593/task/14600/stat : 14600 (java) S 14591 14591 11698 0 -1 1077944384 115 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759502486160 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14601] ppid=14591 vsize=28769364 memory=756 CPUtime=0.09 cores=0-7
/proc/14593/task/14601/stat : 14601 (java) S 14591 14591 11698 0 -1 1077944384 142 0 0 0 6 3 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759501433104 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14602] ppid=14591 vsize=28769364 memory=1548 CPUtime=0.05 cores=0-7
/proc/14593/task/14602/stat : 14602 (java) S 14591 14591 11698 0 -1 1077944384 181 0 0 0 3 2 0 0 20 0 28 0 511021585 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759500380560 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14603] ppid=14591 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/14593/task/14603/stat : 14603 (java) S 14591 14591 11698 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 28 0 511021587 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759340899056 139759956310658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14604] ppid=14591 vsize=28769364 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/14593/task/14604/stat : 14604 (java) S 14591 14591 11698 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759339845344 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14605] ppid=14591 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14605/stat : 14605 (java) S 14591 14591 11698 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511021587 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759338792192 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14606] ppid=14591 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14606/stat : 14606 (java) S 14591 14591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759337740752 139759956318107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14607] ppid=14591 vsize=28769364 memory=0 CPUtime=2.37 cores=0-7
/proc/14593/task/14607/stat : 14607 (java) S 14591 14591 11698 0 -1 1077944384 5929 0 0 0 235 2 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759336687856 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14608] ppid=14591 vsize=28769364 memory=0 CPUtime=2.42 cores=0-7
/proc/14593/task/14608/stat : 14608 (java) R 14591 14591 11698 0 -1 4202560 6601 0 0 0 240 2 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759335635312 139759935732864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14609] ppid=14591 vsize=28769364 memory=0 CPUtime=2.45 cores=0-7
/proc/14593/task/14609/stat : 14609 (java) S 14591 14591 11698 0 -1 1077944384 4027 0 0 0 245 0 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759334582256 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14610] ppid=14591 vsize=28769364 memory=0 CPUtime=1.07 cores=0-7
/proc/14593/task/14610/stat : 14610 (java) S 14591 14591 11698 0 -1 1077944384 5892 0 0 0 103 4 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759333529712 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14611] ppid=14591 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14611/stat : 14611 (java) S 14591 14591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759332477920 139759956309717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
[pid=14593/tid=14612] ppid=14591 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/14593/task/14612/stat : 14612 (java) S 14591 14591 11698 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 28 0 511021590 29459828736 110841 33554432000 4194304 4196468 140731593080432 139759331425456 139759956310658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36724736 140731593081820 140731593081995 140731593081995 140731593084879 0
Current children cumulated CPU time: 21.06 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 444816 KiB

Child status: 0
Real time (s): 5.69129
CPU time (s): 21.3332
CPU user time (s): 20.8294
CPU system time (s): 0.503832
CPU usage (%): 374.84
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 447832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8294
system time used= 0.503832
maximum resident set size= 446584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7575
involuntary context switches= 482


# summary of solver processes directly reported to runsolver:
#   pid: 14591
#   total CPU time (s): 21.3332
#   total CPU user time (s): 20.8294
#   total CPU system time (s): 0.503832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066718 second user time and 0.096626 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 19:52:27
IDJOB=4407372
IDBENCH=133275
IDSOLVER=2872
FILE ID=node121/4407372-1569347590
RUNJOBID= node121-1569335936-11725
PBS_JOBID= 21705063
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
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 /var/tmp/evaluation-result-4407372-1569347590/watcher-4407372-1569347590 -o /var/tmp/evaluation-result-4407372-1569347590/solver-4407372-1569347590 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407372-1569347590.xml

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

MD5SUM BENCH= d0ad504447153d615b89b5c6990e2d3b
RANDOM SEED=1301745985

node121.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.75
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.75
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.75
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.75
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:        25483728 kB
MemAvailable:   31846848 kB
Buffers:          145352 kB
Cached:          6308308 kB
SwapCached:         4604 kB
Active:          3206588 kB
Inactive:        3253936 kB
Active(anon):       2840 kB
Inactive(anon):    53860 kB
Active(file):    3203748 kB
Inactive(file):  3200076 kB
Unevictable:      109072 kB
Mlocked:          109072 kB
SwapTotal:      67108860 kB
SwapFree:       66992416 kB
Dirty:             26052 kB
Writeback:             0 kB
AnonPages:        111976 kB
Mapped:            52392 kB
Shmem:             41104 kB
Slab:             417220 kB
SReclaimable:     387756 kB
SUnreclaim:        29464 kB
KernelStack:        3392 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513380 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node121 at 2019-09-24 19:52:33