Trace number 4400142

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-16 parallelOPT4850 52.6893 11.9393

General information on the benchmark

NameMario/
Mario-zinc-s1/Mario-t-hard-2.xml
MD5SUM2b9b9d57997e47756252872b7d7d2054
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4850
Best CPU time to get the best result obtained on this benchmark17.9325
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains161
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"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-4400142-1568711126.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400142-1568711126.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.77/1.32	c solve instance...
6.95/1.65	o 0 
7.67/1.71	o 0 
7.67/1.76	o 40 
7.67/1.79	o 107 
8.38/1.85	o 196 
8.38/1.89	o 246 
9.02/1.91	o 252 
9.02/1.93	o 271 
9.02/1.95	o 318 
9.02/2.00	o 386 
9.77/2.04	o 480 
9.77/2.05	o 566 
9.77/2.07	o 600 
9.77/2.08	o 614 
9.77/2.10	o 628 
10.47/2.12	o 644 
10.47/2.13	o 711 
10.47/2.16	o 4326 
12.63/2.50	o 4396 
14.88/2.76	o 4397 
14.88/2.77	o 4438 
17.05/3.08	o 4452 
19.25/3.35	o 4504 
21.66/3.84	o 4518 
23.69/4.34	o 4520 
24.13/4.78	o 4556 
26.26/5.24	o 4558 
26.72/5.66	o 4586 
28.98/6.12	o 4587 
28.98/6.13	o 4660 
30.96/6.57	o 4674 
32.93/7.00	o 4759 
35.08/7.43	o 4773 
37.24/7.92	o 4793 
40.18/8.75	o 4794 
42.01/9.12	o 4796 
44.24/9.51	o 4798 
44.58/9.83	o 4807 
46.35/10.17	o 4811 
46.72/10.46	o 4812 
48.35/10.79	o 4813 
48.79/11.08	o 4826 
50.52/11.38	o 4836 
52.26/11.66	o 4838 
52.63/11.92	o 4850 
52.63/11.92	s OPTIMUM FOUND
52.63/11.92	v <instantiation>
52.63/11.92	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>
52.63/11.92	v 	<values>77 0 67 59 37 21 72 23 57 61 7 99 76 81 47 84 74 79 90 31 97 32 49 51 16 24 2 17 18 25 15 53 80 54 30 98 89 26 82 11 13 87 45 39 58 27 96 12 14 33 65 94 5 64 71 75 42 22 66 78 92 41 44 28 86 36 83 69 55 8 3 1 9 68 52 48 19 56 10 38 93 29 88 60 73 6 46 4 95 35 40 34 70 85 91 20 63 43 62 50 8 0 204 309 422 289 102 208 193 308 240 78 43 148 300 5 263 324 295 151 283 147 134 40 186 0 122 329 348 75 200 356 406 194 422 4 118 201 204 104 350 58 186 67 484 235 71 135 217 91 20 0 35 378 268 415 183 451 18 114 160 234 453 109 460 261 341 115 46 4 249 193 172 262 141 463 373 382 126 159 458 79 110 216 324 17 233 431 119 106 16 90 337 146 146 316 139 53 361 50 0 0 40 67 89 50 6 19 47 68 94 86 34 14 14 16 67 99 30 31 78 47 99 42 56 14 62 35 53 62 79 26 7 50 30 24 97 15 67 88 2 55 58 19 42 40 34 83 36 67 59 66 98 31 99 9 58 2 70 73 14 62 94 13 34 56 38 26 94 47 91 36 35 88 33 71 8 23 5 19 31 93 72 92 46 65 8 37 35 2 86 35 3 49 43 67 70 64 96 66 </values>
52.63/11.92	v </instantiation>

Verifier Data 

OK	4850

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400142-1568711126/watcher-4400142-1568711126 -o /tmp/evaluation-result-4400142-1568711126/solver-4400142-1568711126 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 88996333 HOME/instance-4400142-1568711126.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
solver pid=5401, runsolver pid=5398
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 7.93 8.05 8.07 2/215 5422
/proc/meminfo: memFree=30700784/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28227396 memory=28936 CPUtime=0.12 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 5712 0 0 0 11 1 0 0 20 0 20 0 447054507 28904853504 7234 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7056849 7234 3122 1 0 7019032 0
[pid=5403/tid=5404] ppid=5401 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) R 5401 5401 561 0 -1 4202560 3610 0 0 0 8 0 0 0 20 0 20 0 447054507 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475561390896 140475557166486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28227396 memory=140345350542976 CPUtime=0 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 7234 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447054510 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447054510 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473683404192 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447054511 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473682351600 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) S 5401 5401 561 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) S 5401 5401 561 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473678141680 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) S 5401 5401 561 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473677089136 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 7234 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30384 KiB

[startup+0.2109 s]*
/proc/loadavg: 7.93 8.05 8.07 3/215 5422
/proc/meminfo: memFree=30687284/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28227396 memory=40768 CPUtime=0.34 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 20 0 447054507 28904853504 10192 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7056849 10192 3297 1 0 7019032 0
[pid=5403/tid=5404] ppid=5401 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) R 5401 5401 561 0 -1 4202560 6635 0 0 0 18 2 0 0 20 0 20 0 447054507 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475561386464 140475539614192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28227396 memory=140345350558283 CPUtime=0 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28904853504 10192 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447054510 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447054510 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473683404192 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447054511 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473682351600 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) R 5401 5401 561 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) R 5401 5401 561 0 -1 4202560 304 0 0 0 1 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473678141680 140475557175898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) R 5401 5401 561 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473677088944 140475549391678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28904853504 10192 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42216 KiB

[startup+0.311894 s]*
/proc/loadavg: 7.93 8.05 8.07 4/215 5422
/proc/meminfo: memFree=30679640/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28231652 memory=50308 CPUtime=0.52 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 10923 0 0 0 49 3 0 0 20 0 20 0 447054507 28909211648 12577 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7057913 12577 3359 1 0 7019032 0
[pid=5403/tid=5404] ppid=5401 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) R 5401 5401 561 0 -1 4202560 7822 0 0 0 28 2 0 0 20 0 20 0 447054507 28909211648 12577 33554432000 4194304 4196468 140728587931856 140475561385664 140475541235038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12577 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28231652 memory=140345237138095 CPUtime=0 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28231652 memory=140345237140400 CPUtime=0 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28231652 memory=140345237142704 CPUtime=0 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28909211648 12642 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447054510 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28231652 memory=280690474299280 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447054510 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473683404192 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28231652 memory=280690474296976 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447054511 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473682351600 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28231652 memory=280690474303888 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28231652 memory=280690474245168 CPUtime=0.02 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) S 5401 5401 561 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28231652 memory=280690474317712 CPUtime=0.02 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28231652 memory=280690474324624 CPUtime=0.03 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) R 5401 5401 561 0 -1 4202560 421 0 0 0 3 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473678122696 140475549444017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28231652 memory=280690474322320 CPUtime=0.12 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) S 5401 5401 561 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473677089136 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054513 28909211648 12642 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51756 KiB

[startup+0.705578 s]
/proc/loadavg: 7.93 8.05 8.07 5/215 5422
/proc/meminfo: memFree=30648608/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28233776 memory=107928 CPUtime=2.04 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 17155 0 0 0 198 6 0 0 20 0 20 0 447054507 28911386624 26982 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7058444 26982 3455 1 0 7019544 0
[pid=5403/tid=5404] ppid=5401 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) R 5401 5401 561 0 -1 4202560 9236 0 0 0 64 3 0 0 20 0 20 0 447054507 28911386624 26982 33554432000 4194304 4196468 140728587931856 140475561389728 140475181319872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28233776 memory=140345237349232 CPUtime=0 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447054508 28911386624 26982 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447054508 28911386624 26982 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28233776 memory=780 CPUtime=0 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447054508 28911386624 26982 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0

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

/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28769364 memory=924 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 681492 KiB

[startup+11.601 s]
/proc/loadavg: 7.94 8.05 8.07 2/222 5757
/proc/meminfo: memFree=30049072/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28769364 memory=680044 CPUtime=52.26 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 43200 0 0 0 5164 62 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7192341 170011 3535 1 0 7153441 0
[pid=5403/tid=5404] ppid=5401 vsize=28769364 memory=2424 CPUtime=1.28 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) S 5401 5401 561 0 -1 1077944384 9790 0 0 0 123 5 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475561395328 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28769364 memory=1764 CPUtime=0.08 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 175 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28769364 memory=111636 CPUtime=0.1 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 164 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28769364 memory=804 CPUtime=0.07 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 158 0 0 0 4 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28769364 memory=1408 CPUtime=0.1 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 133 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28769364 memory=288230596118053219 CPUtime=0.09 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 221 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 277 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28769364 memory=140345237949168 CPUtime=0.09 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 930 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 130 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 789 0 0 0 2 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473683404256 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 447054511 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473682351616 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28769364 memory=55 CPUtime=2.82 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) S 5401 5401 561 0 -1 1077944384 4350 0 0 0 281 1 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28769364 memory=6656426216303648864 CPUtime=2.66 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 5449 0 0 0 264 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28769364 memory=6944656575208382560 CPUtime=2.7 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) S 5401 5401 561 0 -1 1077944384 5912 0 0 0 268 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473678141680 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28769364 memory=6656426216303648864 CPUtime=1.1 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) S 5401 5401 561 0 -1 1077944384 4822 0 0 0 108 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473677089136 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28769364 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 52.26 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 681492 KiB

[startup+11.801 s]
/proc/loadavg: 7.94 8.05 8.07 2/222 5757
/proc/meminfo: memFree=30049072/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28769364 memory=680044 CPUtime=52.53 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 43345 0 0 0 5191 62 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7192341 170011 3535 1 0 7153441 0
[pid=5403/tid=5404] ppid=5401 vsize=28769364 memory=8112282956445269571 CPUtime=1.28 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) S 5401 5401 561 0 -1 1077944384 9790 0 0 0 123 5 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475561395328 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28769364 memory=1448 CPUtime=0.08 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 175 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28769364 memory=679964 CPUtime=0.1 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 164 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28769364 memory=1732 CPUtime=0.07 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 158 0 0 0 4 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28769364 memory=8317482817917895235 CPUtime=0.1 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 133 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28769364 memory=4126316290023845779 CPUtime=0.09 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 221 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28769364 memory=1552 CPUtime=0.08 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 277 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28769364 memory=1040 CPUtime=0.09 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 930 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28769364 memory=924 CPUtime=0.09 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 130 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28769364 memory=4492 CPUtime=0.02 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 789 0 0 0 2 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28769364 memory=4132 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473683404256 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28769364 memory=780 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 447054511 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473682351616 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28769364 memory=2832 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28769364 memory=1720 CPUtime=2.82 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) S 5401 5401 561 0 -1 1077944384 4350 0 0 0 281 1 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28769364 memory=1056 CPUtime=2.66 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 5449 0 0 0 264 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28769364 memory=1552 CPUtime=2.7 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) S 5401 5401 561 0 -1 1077944384 5914 0 0 0 268 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473678141680 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28769364 memory=1040 CPUtime=1.1 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) S 5401 5401 561 0 -1 1077944384 4824 0 0 0 108 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473677089136 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28769364 memory=924 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28769364 memory=4492 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 52.53 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 681492 KiB

[startup+11.9009 s]
/proc/loadavg: 7.94 8.05 8.07 2/222 5757
/proc/meminfo: memFree=30049072/32770624 swapFree=66954172/67108860
[pid=5401] ppid=5398 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5401/stat : 5401 (xcsp3-exec) S 5398 5401 561 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447054507 115843072 362 33554432000 4194304 5098028 140736680693376 140736680691480 140362410959484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33017856 140736680694653 140736680694894 140736680694894 140736680697802 0
/proc/5401/statm: 28282 362 304 221 0 87 0
[pid=5403] ppid=5401 vsize=28769364 memory=680044 CPUtime=52.63 cores=0-7
/proc/5403/stat : 5403 (java) S 5401 5401 561 0 -1 1077944320 43345 0 0 0 5201 62 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140728587914400 140475557154551 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
/proc/5403/statm: 7192341 170011 3535 1 0 7153441 0
[pid=5403/tid=5404] ppid=5401 vsize=28769364 memory=680044 CPUtime=1.28 cores=0-7
/proc/5403/task/5404/stat : 5404 (java) S 5401 5401 561 0 -1 1077944384 9790 0 0 0 123 5 0 0 20 0 28 0 447054507 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475561395328 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5405] ppid=5401 vsize=28769364 memory=1448 CPUtime=0.08 cores=0-7
/proc/5403/task/5405/stat : 5405 (java) S 5401 5401 561 0 -1 1077944384 175 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475509775120 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5406] ppid=5401 vsize=28769364 memory=1448 CPUtime=0.1 cores=0-7
/proc/5403/task/5406/stat : 5406 (java) S 5401 5401 561 0 -1 1077944384 164 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475508722576 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5407] ppid=5401 vsize=28769364 memory=679980 CPUtime=0.07 cores=0-7
/proc/5403/task/5407/stat : 5407 (java) S 5401 5401 561 0 -1 1077944384 158 0 0 0 4 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475507670032 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5408] ppid=5401 vsize=28769364 memory=0 CPUtime=0.1 cores=0-7
/proc/5403/task/5408/stat : 5408 (java) S 5401 5401 561 0 -1 1077944384 133 0 0 0 6 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475506617488 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5409] ppid=5401 vsize=28769364 memory=0 CPUtime=0.09 cores=0-7
/proc/5403/task/5409/stat : 5409 (java) S 5401 5401 561 0 -1 1077944384 221 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475505563920 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5410] ppid=5401 vsize=28769364 memory=528212 CPUtime=0.08 cores=0-7
/proc/5403/task/5410/stat : 5410 (java) S 5401 5401 561 0 -1 1077944384 277 0 0 0 5 3 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475504511376 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5411] ppid=5401 vsize=28769364 memory=443280 CPUtime=0.09 cores=0-7
/proc/5403/task/5411/stat : 5411 (java) S 5401 5401 561 0 -1 1077944384 930 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475503458832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5412] ppid=5401 vsize=28769364 memory=280690474427792 CPUtime=0.09 cores=0-7
/proc/5403/task/5412/stat : 5412 (java) S 5401 5401 561 0 -1 1077944384 130 0 0 0 5 4 0 0 20 0 28 0 447054508 29459828736 170011 33554432000 4194304 4196468 140728587931856 140475502406288 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5413] ppid=5401 vsize=28769364 memory=8292088525465231505 CPUtime=0.02 cores=0-7
/proc/5403/task/5413/stat : 5413 (java) S 5401 5401 561 0 -1 1077944384 789 0 0 0 2 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473752545776 140475557165698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5414] ppid=5401 vsize=28769364 memory=280690474693440 CPUtime=0 cores=0-7
/proc/5403/task/5414/stat : 5414 (java) S 5401 5401 561 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447054510 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473683404256 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5415] ppid=5401 vsize=28769364 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5403/task/5415/stat : 5415 (java) S 5401 5401 561 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 447054511 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473682351616 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5416] ppid=5401 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5403/task/5416/stat : 5416 (java) S 5401 5401 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473681300176 140475557173147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5417] ppid=5401 vsize=28769364 memory=4492 CPUtime=2.82 cores=0-7
/proc/5403/task/5417/stat : 5417 (java) S 5401 5401 561 0 -1 1077944384 4350 0 0 0 281 1 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473680246768 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5418] ppid=5401 vsize=28769364 memory=4132 CPUtime=2.66 cores=0-7
/proc/5403/task/5418/stat : 5418 (java) S 5401 5401 561 0 -1 1077944384 5449 0 0 0 264 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473679194224 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5419] ppid=5401 vsize=28769364 memory=68 CPUtime=2.7 cores=0-7
/proc/5403/task/5419/stat : 5419 (java) S 5401 5401 561 0 -1 1077944384 5914 0 0 0 268 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473678141680 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5420] ppid=5401 vsize=28769364 memory=1448 CPUtime=1.1 cores=0-7
/proc/5403/task/5420/stat : 5420 (java) S 5401 5401 561 0 -1 1077944384 4824 0 0 0 108 2 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473677089136 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5421] ppid=5401 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/5403/task/5421/stat : 5421 (java) S 5401 5401 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473676036832 140475557164757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
[pid=5403/tid=5422] ppid=5401 vsize=28769364 memory=680044 CPUtime=0 cores=0-7
/proc/5403/task/5422/stat : 5422 (java) S 5401 5401 561 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 447054513 29459828736 170011 33554432000 4194304 4196468 140728587931856 140473674984368 140475557165698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24031232 140728587936752 140728587936923 140728587936923 140728587939791 0
Current children cumulated CPU time: 52.63 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 681492 KiB

Child status: 0
Real time (s): 11.9393
CPU time (s): 52.6893
CPU user time (s): 52.0464
CPU system time (s): 0.642949
CPU usage (%): 441.312
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 681492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.0464
system time used= 0.642949
maximum resident set size= 680580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7678
involuntary context switches= 1075


# summary of solver processes directly reported to runsolver:
#   pid: 5401
#   total CPU time (s): 52.6893
#   total CPU user time (s): 52.0464
#   total CPU system time (s): 0.642949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115897 second user time and 0.171431 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-17 11:04:43
IDJOB=4400142
IDBENCH=133272
IDSOLVER=2855
FILE ID=node117/4400142-1568711126
RUNJOBID= node117-1568700865-599
PBS_JOBID= 21703907
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-t-hard-2.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-4400142-1568711126/watcher-4400142-1568711126 -o /tmp/evaluation-result-4400142-1568711126/solver-4400142-1568711126 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 88996333 HOME/instance-4400142-1568711126.xml

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

MD5SUM BENCH= 2b9b9d57997e47756252872b7d7d2054
RANDOM SEED=88996333

node117.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:        30716788 kB
MemAvailable:   31849496 kB
Buffers:          136668 kB
Cached:          1276272 kB
SwapCached:        49684 kB
Active:           584832 kB
Inactive:         880788 kB
Active(anon):       4400 kB
Inactive(anon):    87576 kB
Active(file):     580432 kB
Inactive(file):   793212 kB
Unevictable:      109132 kB
Mlocked:          109132 kB
SwapTotal:      67108860 kB
SwapFree:       66954172 kB
Dirty:             26276 kB
Writeback:             0 kB
AnonPages:        132608 kB
Mapped:            42536 kB
Shmem:             30128 kB
Slab:             178312 kB
SReclaimable:     149796 kB
SUnreclaim:        28516 kB
KernelStack:        3776 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61160 MiB
End job on node117 at 2019-09-17 11:04:55