Trace number 4297877

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 4.0.7b par (e747e1e)SAT (TO)14 19931.5 2520.15

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-03-opt_c18.xml
MD5SUM631d96c8d55ed895f005166b86b2772f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark19931.5
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints2760
Number of domains4
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}]
Minimum variable degree4
Maximum variable degree62
Distribution of variable degrees[{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2760}]
Number of extensional constraints0
Number of intensional constraints2760
Distribution of constraint types[{"type":"intension","count":2760}]
Optimization problemYES
Type of objectivemin NVALUES

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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297877-1532706700.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297877-1532706700.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
10.92/2.86	c solve instance...
91.05/15.89	o 36 
91.16/15.91	o 36 
94.18/16.53	o 34 
112.33/29.09	o 32 
117.32/29.74	o 30 
130.30/31.49	o 28 
447.63/75.28	o 14 
19930.57/2520.09	s SATISFIABLE
19930.57/2520.09	v <instantiation>
19930.57/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] </list>
19930.57/2520.09	v 	<values>324 86 324 86 100 338 338 100 16 254 324 86 380 142 16 254 16 254 324 86 16 254 86 324 380 142 254 16 736 498 380 142 142 380 268 30 666 428 100 338 498 736 100 338 86 324 16 254 254 16 16 254 324 86 16 254 86 324 428 666 30 268 142 380 428 666 324 86 268 30 380 142 324 86 324 86 16 254 380 142 100 338 428 666 30 268 30 268 498 736 498 736 142 380 254 16 736 498 254 16 324 86 268 30 338 100 142 380 666 428 324 86 498 736 268 30 338 100 16 254 380 142 736 498 736 498 324 86 324 86 16 254 736 498 16 254 30 268 30 268 30 268 428 666 338 100 268 30 268 30 428 666 100 338 268 30 30 268 498 736 380 142 100 338 100 338 86 324 736 498 498 736 666 428 30 268 380 142 428 666 142 380 268 30 30 268 100 338 338 100 380 142 428 666 338 100 142 380 268 30 16 254 86 324 100 338 30 268 254 16 100 338 16 254 338 100 338 100 736 498 142 380 338 100 30 268 100 338 428 666 254 16 254 16 86 324 324 86 142 380 666 428 142 380 100 338 380 142 30 268 30 268 498 736 100 338 268 30 30 268 666 428 380 142 30 268 338 100 666 428 666 428 268 30 100 338 86 324 30 268 86 324 142 380 16 254 338 100 268 30 142 380 254 16 86 324 100 338 324 86 254 16 666 428 16 254 254 16 142 380 100 338 16 254 498 736 100 338 100 338 268 30 268 30 100 338 268 30 338 100 338 100 30 268 30 268 100 338 268 30 338 100 16 254 666 428 16 254 324 86 666 428 498 736 268 30 338 100 268 30 338 100 268 30 100 338 30 268 736 498 338 100 268 30 30 268 380 142 666 428 100 338 268 30 324 86 338 100 30 268 30 268 100 338 268 30 142 380 666 428 </values>
19930.57/2520.09	v </instantiation>
19930.57/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	14

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297877-1532706700/watcher-4297877-1532706700 -o /tmp/evaluation-result-4297877-1532706700/solver-4297877-1532706700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532701649-21462 --watchdog 2580 HOME/xcsp3-exec -seed 2115086012 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297877-1532706700.xml 

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

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

solver pid=21899, runsolver pid=21896

[startup+0.100159 s]*
/proc/loadavg: 8.08 8.28 8.29 2/199 21920
/proc/meminfo: memFree=26820616/32770624 swapFree=67027844/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26104152 memory=28824 CPUtime=0.11 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 5639 0 0 0 10 1 0 0 20 0 20 0 88233164 26730651648 7206 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6526038 7206 3003 1 0 6488315 0
[pid=21901/tid=21902] ppid=21899 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) R 21899 21899 21435 0 -1 4202560 3660 0 0 0 8 0 0 0 20 0 20 0 88233165 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205702227520 140205682083166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26104152 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205256735248 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26104152 memory=139961843893888 CPUtime=0 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205255682704 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205254629648 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21906] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21906/stat : 21906 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205253577104 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21907] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21907/stat : 21907 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205252525072 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21908] ppid=21899 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21908/stat : 21908 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205251472528 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21909] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21909/stat : 21909 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205250419472 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21910] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21910/stat : 21910 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 7206 33554432000 4194304 4196468 140731469819120 140205249366928 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21911] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21911/stat : 21911 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233167 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204892510448 140205698013826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21912] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21912/stat : 21912 (java) S 21899 21899 21435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88233168 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204891456672 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21913] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21913/stat : 21913 (java) S 21899 21899 21435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88233168 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204890403568 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21914] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21914/stat : 21914 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204889352144 140205698021275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21915] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21915/stat : 21915 (java) S 21899 21899 21435 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204888300272 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21916] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21916/stat : 21916 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204887247728 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21917] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21917/stat : 21917 (java) S 21899 21899 21435 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204886194672 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21918] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21918/stat : 21918 (java) R 21899 21899 21435 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204885142128 140205698014614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21919] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21919/stat : 21919 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204884089312 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21920] ppid=21899 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21920/stat : 21920 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233171 26730651648 7206 33554432000 4194304 4196468 140731469819120 140204883036848 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30276 KiB

[startup+0.209931 s]*
/proc/loadavg: 8.08 8.28 8.29 3/199 21920
/proc/meminfo: memFree=26809648/32770624 swapFree=67027844/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26104152 memory=41764 CPUtime=0.33 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 8504 0 0 0 31 2 0 0 20 0 20 0 88233164 26730651648 10441 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6526038 10441 3178 1 0 6488315 0
[pid=21901/tid=21902] ppid=21899 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) R 21899 21899 21435 0 -1 4202560 5554 0 0 0 19 1 0 0 20 0 20 0 88233165 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205702236584 140205698024605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205256735248 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26104152 memory=3474160410792347296 CPUtime=0 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205255682704 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205254629648 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21906] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21906/stat : 21906 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205253577104 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21907] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21907/stat : 21907 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205252525072 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21908] ppid=21899 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21908/stat : 21908 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205251472528 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21909] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21909/stat : 21909 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205250419472 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21910] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21910/stat : 21910 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26730651648 10441 33554432000 4194304 4196468 140731469819120 140205249366928 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21911] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21911/stat : 21911 (java) S 21899 21899 21435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88233167 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204892510448 140205698013826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21912] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21912/stat : 21912 (java) S 21899 21899 21435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88233168 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204891456672 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21913] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21913/stat : 21913 (java) S 21899 21899 21435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88233168 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204890403568 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21914] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21914/stat : 21914 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204889352144 140205698021275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21915] ppid=21899 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21901/task/21915/stat : 21915 (java) R 21899 21899 21435 0 -1 4202560 447 0 0 0 1 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204888300272 140205690987721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21916] ppid=21899 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21901/task/21916/stat : 21916 (java) S 21899 21899 21435 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204887247728 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21917] ppid=21899 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/21901/task/21917/stat : 21917 (java) R 21899 21899 21435 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204886194768 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21918] ppid=21899 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/21901/task/21918/stat : 21918 (java) R 21899 21899 21435 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204885142128 140205683078433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21919] ppid=21899 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21919/stat : 21919 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233170 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204884089312 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21920] ppid=21899 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21920/stat : 21920 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233171 26730651648 10441 33554432000 4194304 4196468 140731469819120 140204883036848 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43216 KiB

[startup+0.309601 s]*
/proc/loadavg: 8.08 8.28 8.29 5/199 21920
/proc/meminfo: memFree=26803692/32770624 swapFree=67027844/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26108408 memory=48412 CPUtime=0.52 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 9358 0 0 0 49 3 0 0 20 0 20 0 88233164 26735009792 12103 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6527102 12103 3218 1 0 6488315 0
[pid=21901/tid=21902] ppid=21899 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) R 21899 21899 21435 0 -1 4202560 6233 0 0 0 27 1 0 0 20 0 20 0 88233165 26735009792 12103 33554432000 4194304 4196468 140731469819120 140205702233792 140205682083166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12103 33554432000 4194304 4196468 140731469819120 140205256735248 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12103 33554432000 4194304 4196468 140731469819120 140205255682704 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205254629648 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21906] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21906/stat : 21906 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205253577104 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21907] ppid=21899 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21901/task/21907/stat : 21907 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205252525072 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21908] ppid=21899 vsize=26108408 memory=139961709982639 CPUtime=0 cores=0-7
/proc/21901/task/21908/stat : 21908 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205251472528 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21909] ppid=21899 vsize=26108408 memory=139961709984944 CPUtime=0 cores=0-7
/proc/21901/task/21909/stat : 21909 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205250419472 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21910] ppid=21899 vsize=26108408 memory=139961709987248 CPUtime=0 cores=0-7
/proc/21901/task/21910/stat : 21910 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26735009792 12158 33554432000 4194304 4196468 140731469819120 140205249366928 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21911] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21911/stat : 21911 (java) S 21899 21899 21435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88233167 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204892510448 140205698013826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21912] ppid=21899 vsize=26108408 memory=279923419981456 CPUtime=0 cores=0-7
/proc/21901/task/21912/stat : 21912 (java) S 21899 21899 21435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88233168 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204891456672 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21913] ppid=21899 vsize=26108408 memory=279923419988368 CPUtime=0 cores=0-7
/proc/21901/task/21913/stat : 21913 (java) S 21899 21899 21435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88233168 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204890403568 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21914] ppid=21899 vsize=26108408 memory=279923419929520 CPUtime=0 cores=0-7
/proc/21901/task/21914/stat : 21914 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204889352144 140205698021275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21915] ppid=21899 vsize=26108408 memory=279923420002192 CPUtime=0.02 cores=0-7
/proc/21901/task/21915/stat : 21915 (java) S 21899 21899 21435 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204888300272 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21916] ppid=21899 vsize=26108408 memory=279923420009104 CPUtime=0.04 cores=0-7
/proc/21901/task/21916/stat : 21916 (java) R 21899 21899 21435 0 -1 4202560 374 0 0 0 4 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204887238112 140205679526930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21917] ppid=21899 vsize=26108408 memory=279923420006800 CPUtime=0.02 cores=0-7
/proc/21901/task/21917/stat : 21917 (java) S 21899 21899 21435 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204886194672 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21918] ppid=21899 vsize=26108408 memory=279923420022960 CPUtime=0.12 cores=0-7
/proc/21901/task/21918/stat : 21918 (java) S 21899 21899 21435 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204885142128 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21919] ppid=21899 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21919/stat : 21919 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88233170 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204884089312 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21920] ppid=21899 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21901/task/21920/stat : 21920 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233171 26735009792 12158 33554432000 4194304 4196468 140731469819120 140204883036848 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49864 KiB

[startup+0.700977 s]
/proc/loadavg: 8.08 8.28 8.29 6/199 21920
/proc/meminfo: memFree=26779748/32770624 swapFree=67027844/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26110532 memory=100292 CPUtime=1.96 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 14696 0 0 0 190 6 0 0 20 0 20 0 88233164 26737184768 25073 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6527633 25073 3362 1 0 6488827 0
[pid=21901/tid=21902] ppid=21899 vsize=26110532 memory=279923420380848 CPUtime=0.67 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) R 21899 21899 21435 0 -1 4202560 7118 0 0 0 64 3 0 0 20 0 20 0 88233165 26737184768 25073 33554432000 4194304 4196468 140731469819120 140205702236528 140205335228166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26110532 memory=139961710191472 CPUtime=0 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88233166 26737184768 25073 33554432000 4194304 4196468 140731469819120 140205256735248 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26737184768 25073 33554432000 4194304 4196468 140731469819120 140205255682704 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26110532 memory=2764 CPUtime=0 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) S 21899 21899 21435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88233166 26737184768 25073 33554432000 4194304 4196468 140731469819120 140205254629648 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0

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

/proc/meminfo: memFree=22052864/32770624 swapFree=67027848/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26645092 memory=4786048 CPUtime=19789.5 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 820730 0 0 0 1978075 873 0 0 20 0 28 0 88233164 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6661273 1196512 3463 1 0 6622467 0
[pid=21901/tid=21902] ppid=21899 vsize=26645092 memory=1452 CPUtime=2.72 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) S 21899 21899 21435 0 -1 1077944384 10544 0 0 0 265 7 0 0 20 0 28 0 88233165 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205702243456 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26645092 memory=1452 CPUtime=7.2 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) R 21899 21899 21435 0 -1 4202560 27455 0 0 0 703 17 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205256735248 140205690630887 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26645092 memory=419 CPUtime=7.26 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) R 21899 21899 21435 0 -1 4202560 24158 0 0 0 706 20 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205255682824 140205690630887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26645092 memory=3472468257871044224 CPUtime=7.29 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) R 21899 21899 21435 0 -1 4202560 19853 0 0 0 712 17 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205254629648 140205682450848 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21906] ppid=21899 vsize=26645092 memory=4786048 CPUtime=7.17 cores=0-7
/proc/21901/task/21906/stat : 21906 (java) R 21899 21899 21435 0 -1 4202560 26515 0 0 0 701 16 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205253577104 140205690630887 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21907] ppid=21899 vsize=26645092 memory=1452 CPUtime=7.28 cores=0-7
/proc/21901/task/21907/stat : 21907 (java) R 21899 21899 21435 0 -1 4202560 29285 0 0 0 709 19 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205252525072 140205682450848 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21908] ppid=21899 vsize=26645092 memory=21912 CPUtime=7.24 cores=0-7
/proc/21901/task/21908/stat : 21908 (java) R 21899 21899 21435 0 -1 4202560 23692 0 0 0 702 22 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205251472528 140205682450848 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21909] ppid=21899 vsize=26645092 memory=0 CPUtime=7.22 cores=0-7
/proc/21901/task/21909/stat : 21909 (java) R 21899 21899 21435 0 -1 4202560 25301 0 0 0 702 20 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205250419472 140205690630887 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21910] ppid=21899 vsize=26645092 memory=1940861 CPUtime=7.28 cores=0-7
/proc/21901/task/21910/stat : 21910 (java) R 21899 21899 21435 0 -1 4202560 29365 0 0 0 711 17 0 0 20 0 28 0 88233166 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140205249366928 140205690630887 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21911] ppid=21899 vsize=26645092 memory=3472328296227679377 CPUtime=1.73 cores=0-7
/proc/21901/task/21911/stat : 21911 (java) S 21899 21899 21435 0 -1 1077944384 75195 0 0 0 141 32 0 0 20 0 28 0 88233167 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204892508960 140205698012885 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21912] ppid=21899 vsize=26645092 memory=7306916055891837009 CPUtime=0 cores=0-7
/proc/21901/task/21912/stat : 21912 (java) S 21899 21899 21435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88233168 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204891456736 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21913] ppid=21899 vsize=26645092 memory=4814136 CPUtime=0 cores=0-7
/proc/21901/task/21913/stat : 21913 (java) S 21899 21899 21435 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 88233168 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204890403584 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21914] ppid=21899 vsize=26645092 memory=3328 CPUtime=0 cores=0-7
/proc/21901/task/21914/stat : 21914 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204889352144 140205698021275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21915] ppid=21899 vsize=26645092 memory=1452 CPUtime=5.37 cores=0-7
/proc/21901/task/21915/stat : 21915 (java) S 21899 21899 21435 0 -1 1077944384 32796 0 0 0 531 6 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204888300272 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21916] ppid=21899 vsize=26645092 memory=1452 CPUtime=5.77 cores=0-7
/proc/21901/task/21916/stat : 21916 (java) S 21899 21899 21435 0 -1 1077944384 44293 0 0 0 571 6 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204887247728 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21917] ppid=21899 vsize=26645092 memory=1452 CPUtime=6.39 cores=0-7
/proc/21901/task/21917/stat : 21917 (java) S 21899 21899 21435 0 -1 1077944384 36326 0 0 0 633 6 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204886194672 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21918] ppid=21899 vsize=26645092 memory=1452 CPUtime=1.17 cores=0-7
/proc/21901/task/21918/stat : 21918 (java) S 21899 21899 21435 0 -1 1077944384 32042 0 0 0 110 7 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204885142128 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21919] ppid=21899 vsize=26645092 memory=776 CPUtime=0 cores=0-7
/proc/21901/task/21919/stat : 21919 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88233170 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204884089312 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21920] ppid=21899 vsize=26645092 memory=1876 CPUtime=1 cores=0-7
/proc/21901/task/21920/stat : 21920 (java) S 21899 21899 21435 0 -1 1077944384 7445 0 0 0 33 67 0 0 20 0 28 0 88233171 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204883036848 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21977] ppid=21899 vsize=26645092 memory=1664 CPUtime=2410.43 cores=0-7
/proc/21901/task/21977/stat : 21977 (java) S 21899 21899 21435 0 -1 1077944384 23637 0 0 0 241019 24 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204864784896 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21978] ppid=21899 vsize=26645092 memory=4786048 CPUtime=2413.99 cores=0-7
/proc/21901/task/21978/stat : 21978 (java) S 21899 21899 21435 0 -1 1077944384 19537 0 0 0 241366 33 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204871102160 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21979] ppid=21899 vsize=26645092 memory=1452 CPUtime=2412.42 cores=0-7
/proc/21901/task/21979/stat : 21979 (java) S 21899 21899 21435 0 -1 1077944384 32218 0 0 0 241216 26 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204872155488 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21980] ppid=21899 vsize=26645092 memory=4788100 CPUtime=2407.72 cores=0-7
/proc/21901/task/21980/stat : 21980 (java) S 21899 21899 21435 0 -1 1077944384 132195 0 0 0 240446 326 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204867948640 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21981] ppid=21899 vsize=26645092 memory=1452 CPUtime=2409.66 cores=0-7
/proc/21901/task/21981/stat : 21981 (java) S 21899 21899 21435 0 -1 1077944384 24529 0 0 0 240936 30 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204865842144 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21982] ppid=21899 vsize=26645092 memory=4789128 CPUtime=2414.5 cores=0-7
/proc/21901/task/21982/stat : 21982 (java) S 21899 21899 21435 0 -1 1077944384 21862 0 0 0 241415 35 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204868997328 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21983] ppid=21899 vsize=26645092 memory=776 CPUtime=2405.05 cores=0-7
/proc/21901/task/21983/stat : 21983 (java) S 21899 21899 21435 0 -1 1077944384 73846 0 0 0 240410 95 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204870049376 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21984] ppid=21899 vsize=26645092 memory=4786048 CPUtime=2408.68 cores=0-7
/proc/21901/task/21984/stat : 21984 (java) S 21899 21899 21435 0 -1 1077944384 25542 0 0 0 240836 32 0 0 20 0 28 0 88240693 27284574208 1196512 33554432000 4194304 4196468 140731469819120 140204866891472 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
Current children cumulated CPU time: 19789.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4787500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.17 8.26 9/208 22044
/proc/meminfo: memFree=22068140/32770624 swapFree=67027848/67108860
[pid=21899] ppid=21896 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21899/stat : 21899 (xcsp3-exec) S 21896 21899 21435 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88233164 115843072 363 33554432000 4194304 5098028 140722348031648 140722348029752 139663725175420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30228480 140722348037173 140722348037376 140722348037376 140722348040138 0
/proc/21899/statm: 28282 363 305 221 0 87 0
[pid=21901] ppid=21899 vsize=26645092 memory=4770764 CPUtime=19930.6 cores=0-7
/proc/21901/stat : 21901 (java) S 21899 21899 21435 0 -1 1077944320 822608 0 0 0 1992183 874 0 0 20 0 28 0 88233164 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140731469801664 140205698002679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
/proc/21901/statm: 6661273 1192691 3463 1 0 6622467 0
[pid=21901/tid=21902] ppid=21899 vsize=26645092 memory=1398720917958146503 CPUtime=2.72 cores=0-7
/proc/21901/task/21902/stat : 21902 (java) S 21899 21899 21435 0 -1 1077944384 10544 0 0 0 265 7 0 0 20 0 28 0 88233165 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205702243456 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21903] ppid=21899 vsize=26645092 memory=4126316290023845779 CPUtime=7.28 cores=0-7
/proc/21901/task/21903/stat : 21903 (java) S 21899 21899 21435 0 -1 1077944384 27489 0 0 0 711 17 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205256735248 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21904] ppid=21899 vsize=26645092 memory=1452 CPUtime=7.35 cores=0-7
/proc/21901/task/21904/stat : 21904 (java) S 21899 21899 21435 0 -1 1077944384 24236 0 0 0 715 20 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205255682704 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21905] ppid=21899 vsize=26645092 memory=4772816 CPUtime=7.37 cores=0-7
/proc/21901/task/21905/stat : 21905 (java) S 21899 21899 21435 0 -1 1077944384 19880 0 0 0 720 17 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205254629648 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21906] ppid=21899 vsize=26645092 memory=6768 CPUtime=7.26 cores=0-7
/proc/21901/task/21906/stat : 21906 (java) S 21899 21899 21435 0 -1 1077944384 27038 0 0 0 710 16 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205253577104 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21907] ppid=21899 vsize=26645092 memory=824 CPUtime=7.37 cores=0-7
/proc/21901/task/21907/stat : 21907 (java) S 21899 21899 21435 0 -1 1077944384 29299 0 0 0 718 19 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205252525072 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21908] ppid=21899 vsize=26645092 memory=1796 CPUtime=7.32 cores=0-7
/proc/21901/task/21908/stat : 21908 (java) S 21899 21899 21435 0 -1 1077944384 23704 0 0 0 710 22 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205251472528 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21909] ppid=21899 vsize=26645092 memory=916 CPUtime=7.31 cores=0-7
/proc/21901/task/21909/stat : 21909 (java) S 21899 21899 21435 0 -1 1077944384 25331 0 0 0 711 20 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205250419472 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21910] ppid=21899 vsize=26645092 memory=4108 CPUtime=7.36 cores=0-7
/proc/21901/task/21910/stat : 21910 (java) S 21899 21899 21435 0 -1 1077944384 29436 0 0 0 719 17 0 0 20 0 28 0 88233166 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140205249366928 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21911] ppid=21899 vsize=26645092 memory=1398720917958146503 CPUtime=1.74 cores=0-7
/proc/21901/task/21911/stat : 21911 (java) S 21899 21899 21435 0 -1 1077944384 75518 0 0 0 142 32 0 0 20 0 28 0 88233167 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204892510448 140205698013826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21912] ppid=21899 vsize=26645092 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/21901/task/21912/stat : 21912 (java) S 21899 21899 21435 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88233168 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204891456736 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21913] ppid=21899 vsize=26645092 memory=3328 CPUtime=0 cores=0-7
/proc/21901/task/21913/stat : 21913 (java) S 21899 21899 21435 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 88233168 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204890403584 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21914] ppid=21899 vsize=26645092 memory=3008 CPUtime=0 cores=0-7
/proc/21901/task/21914/stat : 21914 (java) S 21899 21899 21435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204889352144 140205698021275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21915] ppid=21899 vsize=26645092 memory=2764 CPUtime=5.37 cores=0-7
/proc/21901/task/21915/stat : 21915 (java) S 21899 21899 21435 0 -1 1077944384 32805 0 0 0 531 6 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204888300272 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21916] ppid=21899 vsize=26645092 memory=796 CPUtime=5.77 cores=0-7
/proc/21901/task/21916/stat : 21916 (java) S 21899 21899 21435 0 -1 1077944384 44296 0 0 0 571 6 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204887247728 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21917] ppid=21899 vsize=26645092 memory=1452 CPUtime=6.39 cores=0-7
/proc/21901/task/21917/stat : 21917 (java) S 21899 21899 21435 0 -1 1077944384 36329 0 0 0 633 6 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204886194672 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21918] ppid=21899 vsize=26645092 memory=4772512 CPUtime=1.17 cores=0-7
/proc/21901/task/21918/stat : 21918 (java) S 21899 21899 21435 0 -1 1077944384 32045 0 0 0 110 7 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204885142128 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21919] ppid=21899 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21901/task/21919/stat : 21919 (java) S 21899 21899 21435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88233170 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204884089312 140205698012885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21920] ppid=21899 vsize=26645092 memory=4777424 CPUtime=1.02 cores=0-7
/proc/21901/task/21920/stat : 21920 (java) S 21899 21899 21435 0 -1 1077944384 7465 0 0 0 34 68 0 0 20 0 28 0 88233171 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204883036848 140205698013826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21977] ppid=21899 vsize=26645092 memory=15258134151170438 CPUtime=2427.93 cores=0-7
/proc/21901/task/21977/stat : 21977 (java) R 21899 21899 21435 0 -1 4202560 23686 0 0 0 242769 24 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204864784816 140205343306147 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21978] ppid=21899 vsize=26645092 memory=288230574492221466 CPUtime=2431.53 cores=0-7
/proc/21901/task/21978/stat : 21978 (java) R 21899 21899 21435 0 -1 4202560 19578 0 0 0 243120 33 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204871105552 140205343668315 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21979] ppid=21899 vsize=26645092 memory=288230621803970871 CPUtime=2429.88 cores=0-7
/proc/21901/task/21979/stat : 21979 (java) R 21899 21899 21435 0 -1 4202560 32335 0 0 0 242962 26 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204872155624 140205343306198 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21980] ppid=21899 vsize=26645092 memory=15258134151170438 CPUtime=2425.24 cores=0-7
/proc/21901/task/21980/stat : 21980 (java) R 21899 21899 21435 0 -1 4202560 132319 0 0 0 242198 326 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204867945008 140205341283735 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21981] ppid=21899 vsize=26645092 memory=4791180 CPUtime=2427.25 cores=0-7
/proc/21901/task/21981/stat : 21981 (java) R 21899 21899 21435 0 -1 4202560 24612 0 0 0 242695 30 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204865839136 140205341636534 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21982] ppid=21899 vsize=26645092 memory=288230621803970871 CPUtime=2432.09 cores=0-7
/proc/21901/task/21982/stat : 21982 (java) R 21899 21899 21435 0 -1 4202560 21952 0 0 0 243174 35 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204868997136 140205340839149 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21983] ppid=21899 vsize=26645092 memory=4140 CPUtime=2422.64 cores=0-7
/proc/21901/task/21983/stat : 21983 (java) R 21899 21899 21435 0 -1 4202560 73961 0 0 0 242169 95 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204870052344 140205343306303 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
[pid=21901/tid=21984] ppid=21899 vsize=26645092 memory=6791534058613427641 CPUtime=2426.28 cores=0-7
/proc/21901/task/21984/stat : 21984 (java) R 21899 21899 21435 0 -1 4202560 25651 0 0 0 242596 32 0 0 20 0 28 0 88240693 27284574208 1192691 33554432000 4194304 4196468 140731469819120 140204866891376 140205344671648 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 37654528 140731469821057 140731469821229 140731469821229 140731469823951 0
Current children cumulated CPU time: 19930.6 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4772216 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 21899 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001129 s, system=0.001129 s

[startup+2520.15 s]
# the end of solver process 21901 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19922.7 s, system=8.77335 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.01 8.17 8.26 2/181 22046
/proc/meminfo: memFree=24665096/32770624 swapFree=67027848/67108860
Current cumulated CPU time of completed processes: 0.002258 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19931.5
CPU user time (s): 19922.7
CPU system time (s): 8.77335
CPU usage (%): 790.885
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 5689896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19922.7
system time used= 8.77335
maximum resident set size= 5696892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113003
involuntary context switches= 205523


# summary of solver processes directly reported to runsolver:
#   pid: 21899,21901
#   total CPU time (s): 19931.5
#   total CPU user time (s): 19922.7
#   total CPU system time (s): 8.77335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2625 second user time and 29.0424 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-27 17:51:40
IDJOB=4297877
IDBENCH=141205
IDSOLVER=2760
FILE ID=node102/4297877-1532706700
RUNJOBID= node102-1532701649-21462
PBS_JOBID= 21022298
Free space on /tmp= 52748 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-03-opt_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297877-1532706700/watcher-4297877-1532706700 -o /tmp/evaluation-result-4297877-1532706700/solver-4297877-1532706700 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532701649-21462 --watchdog 2580  HOME/xcsp3-exec -seed 2115086012 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297877-1532706700.xml

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

MD5SUM BENCH= 631d96c8d55ed895f005166b86b2772f
RANDOM SEED=2115086012

node102.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.51
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.51
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.51
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.51
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:        26837888 kB
MemAvailable:   31932420 kB
Buffers:          190892 kB
Cached:          5158844 kB
SwapCached:        53672 kB
Active:          1202812 kB
Inactive:        4228904 kB
Active(anon):       7216 kB
Inactive(anon):    98844 kB
Active(file):    1195596 kB
Inactive(file):  4130060 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67027844 kB
Dirty:             21600 kB
Writeback:             0 kB
AnonPages:        104280 kB
Mapped:            34112 kB
Shmem:             21628 kB
Slab:             196664 kB
SReclaimable:     169424 kB
SUnreclaim:        27240 kB
KernelStack:        3696 kB
PageTables:         5280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52724 MiB
End job on node102 at 2018-07-27 18:33:40