Trace number 4394014

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelSAT (TO)564 20019.2 2520.12

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-13.xml
MD5SUMd698eba466bb4d42bacc008ef87467ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark549
Best CPU time to get the best result obtained on this benchmark20119.1
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin 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-4394014-1568439336.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394014-1568439336.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
29.13/6.77	c solve instance...
40.28/8.24	o 2604 
40.95/8.33	o 2588 
42.13/8.55	o 2562 
42.83/8.61	o 2546 
44.68/9.92	o 2543 
44.68/9.97	o 2524 
45.14/10.05	o 2521 
45.67/10.14	o 2520 
46.19/10.23	o 2518 
46.19/10.28	o 2516 
46.59/10.36	o 2513 
50.19/11.87	o 2502 
50.33/11.94	o 2494 
50.33/11.99	o 2491 
50.54/12.07	o 2488 
50.78/12.13	o 2485 
51.09/12.21	o 2483 
51.09/12.28	o 2474 
51.32/12.33	o 2471 
51.53/12.42	o 2469 
119.42/21.65	o 2467 
140.01/24.48	o 573 
140.16/24.50	o 571 
140.51/24.85	o 570 
141.58/25.11	o 568 
142.57/25.36	o 566 
142.57/25.38	o 565 
144.89/26.50	o 564 
20018.50/2520.08	s SATISFIABLE
20018.50/2520.08	v <instantiation>
20018.50/2520.08	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list>
20018.50/2520.08	v 	<values>109 96 92 95 103 112 118 122 126 129 148 146 111 108 89 86 82 78 76 75 68 62 69 70 66 49 52 53 54 55 57 59 48 44 37 36 35 41 47 34 25 23 26 32 43 46 14 83 90 80 77 98 114 116 119 123 127 131 120 134 139 149 144 140 135 128 124 132 136 145 147 138 133 143 142 137 130 115 141 125 121 117 61 74 73 105 88 94 99 106 102 100 110 107 101 91 81 71 67 65 60 58 45 51 56 42 38 33 24 6 5 13 8 12 22 16 11 4 1 10 20 30 27 15 19 0 18 9 7 2 3 17 21 29 28 31 40 39 50 63 64 72 79 85 84 87 93 97 104 113 5 1 1 2 2 4 2 1 2 7 3 12 2 5 1 2 2 1 2 4 2 4 1 2 6 1 3 1 1 2 1 5 1 5 4 1 2 3 4 3 2 1 5 4 1 10 24 4 7 4 11 5 1 1 2 1 2 3 5 2 5 4 1 1 3 1 3 3 3 21 2 2 7 1 1 3 10 21 5 4 2 22 4 1 11 5 5 1 3 1 1 4 3 2 2 4 6 2 2 2 1 4 2 3 7 3 4 8 5 5 2 1 1 4 6 1 2 4 3 4 4 1 3 3 8 5 3 1 20 1 4 1 2 2 2 3 2 4 5 2 3 2 2 5 2 2 2 2 3 3 </values>
20018.50/2520.08	v </instantiation>
20018.50/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	564

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394014-1568439336/watcher-4394014-1568439336 -o /tmp/evaluation-result-4394014-1568439336/solver-4394014-1568439336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568439068-24126 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 673724921 HOME/instance-4394014-1568439336.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=24356, runsolver pid=24353

[startup+0.100135 s]*
/proc/loadavg: 6.71 7.97 8.12 2/217 24377
/proc/meminfo: memFree=30792776/32770624 swapFree=66968476/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=28227388 memory=28768 CPUtime=0.12 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 5695 0 0 0 10 2 0 0 20 0 20 0 420183137 28904845312 7192 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7056847 7192 3116 1 0 7019032 0
[pid=24358/tid=24359] ppid=24356 vsize=28227388 memory=7897232854221758876 CPUtime=0.09 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 24099 0 -1 4202560 3600 0 0 0 8 1 0 0 20 0 20 0 420183137 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673765288768 139673745102181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=28227388 memory=732370422114782181 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=28227388 memory=140283777328768 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24363] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673309661712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24364] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673308609424 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24365] ppid=24356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673307556624 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24366] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673306504336 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24367] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 7192 33554432000 4194304 4196468 140737177467680 139673305451536 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24368] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183139 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672475732080 139673761069698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24369] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420183140 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672474678048 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24370] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420183140 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672473625712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24371] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183142 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672472574032 139673761077147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24372] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) R 24356 24356 24099 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 420183142 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672220199536 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24373] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) R 24356 24356 24099 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 20 0 420183142 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672219146736 139673754043593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24374] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183142 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672218094448 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24375] ppid=24356 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) R 24356 24356 24099 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 20 0 420183142 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672217041648 139673761070486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24376] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183143 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672215988576 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24377] ppid=24356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183143 28904845312 7192 33554432000 4194304 4196468 140737177467680 139672214935856 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30220 KiB

[startup+0.210854 s]*
/proc/loadavg: 6.71 7.97 8.12 3/217 24377
/proc/meminfo: memFree=30779796/32770624 swapFree=66968476/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=28227388 memory=40392 CPUtime=0.34 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 9363 0 0 0 30 4 0 0 20 0 20 0 420183137 28904845312 10098 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7056847 10098 3279 1 0 7019032 0
[pid=24358/tid=24359] ppid=24356 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 24099 0 -1 4202560 6607 0 0 0 17 2 0 0 20 0 20 0 420183137 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673765295248 139673745139038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=28227388 memory=280567408436984 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=28227388 memory=140283777328768 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24363] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673309661712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24364] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673308609424 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24365] ppid=24356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673307556624 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24366] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673306504336 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24367] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28904845312 10098 33554432000 4194304 4196468 140737177467680 139673305451536 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24368] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 24099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420183139 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672475732080 139673761069698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24369] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420183140 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672474678048 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24370] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420183140 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672473625712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24371] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183142 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672472574032 139673761077147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24372] ppid=24356 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 24099 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 420183142 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672220199536 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24373] ppid=24356 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 24099 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 420183142 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672219146736 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24374] ppid=24356 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 24099 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 420183142 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672218094448 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24375] ppid=24356 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 24099 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 20 0 420183142 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672217041648 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24376] ppid=24356 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183143 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672215988576 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24377] ppid=24356 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183143 28904845312 10098 33554432000 4194304 4196468 140737177467680 139672214935856 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41844 KiB

[startup+0.310733 s]*
/proc/loadavg: 6.71 7.97 8.12 4/217 24377
/proc/meminfo: memFree=30772028/32770624 swapFree=66968476/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=28231644 memory=49684 CPUtime=0.52 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 10806 0 0 0 47 5 0 0 20 0 20 0 420183137 28909203456 12421 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7057911 12421 3347 1 0 7019032 0
[pid=24358/tid=24359] ppid=24356 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 24099 0 -1 4202560 7783 0 0 0 26 4 0 0 20 0 20 0 420183137 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673765289664 139673745139038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24363] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673309661712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24364] ppid=24356 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673308609424 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24365] ppid=24356 vsize=28231644 memory=140283631203247 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673307556624 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24366] ppid=24356 vsize=28231644 memory=140283631205552 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673306504336 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24367] ppid=24356 vsize=28231644 memory=140283631207856 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28909203456 12421 33554432000 4194304 4196468 140737177467680 139673305451536 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24368] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 24099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420183139 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672475732080 139673761069698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24369] ppid=24356 vsize=28231644 memory=280567262422672 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 24099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420183140 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672474678048 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24370] ppid=24356 vsize=28231644 memory=280567262429584 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 24099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420183140 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672473625712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24371] ppid=24356 vsize=28231644 memory=280567262370864 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183142 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672472574032 139673761077147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24372] ppid=24356 vsize=28231644 memory=280567262443408 CPUtime=0.02 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 24099 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 420183142 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672220199536 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24373] ppid=24356 vsize=28231644 memory=280567262450320 CPUtime=0.02 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 24099 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 20 0 420183142 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672219146736 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24374] ppid=24356 vsize=28231644 memory=280567262448016 CPUtime=0.03 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) R 24356 24356 24099 0 -1 4202560 214 0 0 0 3 0 0 0 20 0 20 0 420183142 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672218094448 139673746184413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24375] ppid=24356 vsize=28231644 memory=280567262464176 CPUtime=0.12 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 24099 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 20 0 420183142 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672217041648 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24376] ppid=24356 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183143 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672215988576 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24377] ppid=24356 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183143 28909203456 12421 33554432000 4194304 4196468 140737177467680 139672214935856 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51136 KiB

[startup+0.701017 s]
/proc/loadavg: 6.71 7.97 8.12 5/217 24377
/proc/meminfo: memFree=30739960/32770624 swapFree=66968476/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=28233768 memory=147344 CPUtime=1.8 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 16243 0 0 0 171 9 0 0 20 0 20 0 420183137 28911378432 36836 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7058442 36836 3445 1 0 7019544 0
[pid=24358/tid=24359] ppid=24356 vsize=28233768 memory=280567262759040 CPUtime=0.67 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 24099 0 -1 4202560 9093 0 0 0 62 5 0 0 20 0 20 0 420183137 28911378432 36836 33554432000 4194304 4196468 140737177467680 139673765296896 139673360213467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=28233768 memory=5136780887203 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420183138 28911378432 36836 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420183138 28911378432 36836 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420183138 28911378432 36836 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0

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

[pid=24358/tid=24612] ppid=24356 vsize=29035612 memory=6893052 CPUtime=2386.08 cores=0-7
/proc/24358/task/24612/stat : 24612 (java) R 24356 24356 24099 0 -1 4202560 35235 0 0 0 238508 100 0 0 20 0 28 0 420185787 29732466688 1723263 33554432000 4194304 4196468 140737177467680 139672125660632 139673367392235 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 19398.8 s
Current children cumulated vsize: 29148740 KiB
Current children cumulated memory: 6894504 KiB

[startup+2502.31 s]
/proc/loadavg: 9.00 8.58 8.44 9/224 24831
/proc/meminfo: memFree=23856640/32770624 swapFree=66968492/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=29035612 memory=6952616 CPUtime=19877.3 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 1221815 0 0 0 1984620 3110 0 0 20 0 28 0 420183137 29732466688 1738154 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7258903 1738154 3554 1 0 7220005 0
[pid=24358/tid=24359] ppid=24356 vsize=29035612 memory=6952616 CPUtime=3.25 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) S 24356 24356 24099 0 -1 1077944384 13087 0 0 0 313 12 0 0 20 0 28 0 420183137 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673765299328 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=29035612 memory=6927924 CPUtime=18.66 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 77806 0 0 0 1614 252 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=29035612 memory=6952588 CPUtime=18.69 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 73138 0 0 0 1615 254 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=29035612 memory=6952588 CPUtime=18.76 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 75654 0 0 0 1632 244 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24363] ppid=24356 vsize=29035612 memory=6952588 CPUtime=18.51 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 24099 0 -1 1077944384 78786 0 0 0 1626 225 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673309661712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24364] ppid=24356 vsize=29035612 memory=6952588 CPUtime=18.73 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 24099 0 -1 1077944384 84307 0 0 0 1634 239 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673308609424 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24365] ppid=24356 vsize=29035612 memory=6952616 CPUtime=18.76 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 24099 0 -1 1077944384 76441 0 0 0 1631 245 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673307556624 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24366] ppid=24356 vsize=29035612 memory=6952616 CPUtime=18.76 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 24099 0 -1 1077944384 75749 0 0 0 1633 243 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673306504336 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24367] ppid=24356 vsize=29035612 memory=6893052 CPUtime=18.71 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 24099 0 -1 1077944384 78956 0 0 0 1627 244 0 0 20 0 28 0 420183138 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139673305451536 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24368] ppid=24356 vsize=29035612 memory=6952616 CPUtime=1.55 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 24099 0 -1 1077944384 35054 0 0 0 136 19 0 0 20 0 28 0 420183139 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672475732080 139673761069698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24369] ppid=24356 vsize=29035612 memory=1412 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 24099 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 420183140 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672474678112 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24370] ppid=24356 vsize=29035612 memory=3896 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 24099 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 420183140 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672473625728 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24371] ppid=24356 vsize=29035612 memory=3471202396320888097 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420183142 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672472574032 139673761077147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24372] ppid=24356 vsize=29035612 memory=1452 CPUtime=5.29 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 24099 0 -1 1077944384 37352 0 0 0 522 7 0 0 20 0 28 0 420183142 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672220199536 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24373] ppid=24356 vsize=29035612 memory=6952616 CPUtime=4.89 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 24099 0 -1 1077944384 41276 0 0 0 481 8 0 0 20 0 28 0 420183142 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672219146736 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24374] ppid=24356 vsize=29035612 memory=1452 CPUtime=5.88 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 24099 0 -1 1077944384 49646 0 0 0 580 8 0 0 20 0 28 0 420183142 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672218094448 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24375] ppid=24356 vsize=29035612 memory=1452 CPUtime=1.45 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 24099 0 -1 1077944384 36580 0 0 0 138 7 0 0 20 0 28 0 420183142 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672217041648 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24376] ppid=24356 vsize=29035612 memory=6952588 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420183143 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672215988576 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24377] ppid=24356 vsize=29035612 memory=6927972 CPUtime=1.15 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 24099 0 -1 1077944384 4406 0 0 0 82 33 0 0 20 0 28 0 420183143 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672214935856 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24605] ppid=24356 vsize=29035612 memory=9328 CPUtime=2454.01 cores=0-7
/proc/24358/task/24605/stat : 24605 (java) R 24356 24356 24099 0 -1 4202560 39345 0 0 0 245301 100 0 0 20 0 28 0 420185786 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672205962200 139673367650187 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24606] ppid=24356 vsize=29035612 memory=1452 CPUtime=2458.04 cores=0-7
/proc/24358/task/24606/stat : 24606 (java) R 24356 24356 24099 0 -1 4202560 36157 0 0 0 245708 96 0 0 20 0 28 0 420185786 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672126713800 139673367652101 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24607] ppid=24356 vsize=29035612 memory=1452 CPUtime=2441.24 cores=0-7
/proc/24358/task/24607/stat : 24607 (java) R 24356 24356 24099 0 -1 4202560 75191 0 0 0 243870 254 0 0 20 0 28 0 420185786 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672127766736 139673370038386 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24608] ppid=24356 vsize=29035612 memory=6952616 CPUtime=2457.52 cores=0-7
/proc/24358/task/24608/stat : 24608 (java) R 24356 24356 24099 0 -1 4202560 46241 0 0 0 245592 160 0 0 20 0 28 0 420185787 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672123555880 139673367650744 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24609] ppid=24356 vsize=29035612 memory=8180 CPUtime=2451.85 cores=0-7
/proc/24358/task/24609/stat : 24609 (java) R 24356 24356 24099 0 -1 4202560 49705 0 0 0 245048 137 0 0 20 0 28 0 420185787 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672203858600 139673367650145 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24610] ppid=24356 vsize=29035612 memory=2120 CPUtime=2448.08 cores=0-7
/proc/24358/task/24610/stat : 24610 (java) R 24356 24356 24099 0 -1 4202560 39128 0 0 0 244707 101 0 0 20 0 28 0 420185787 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672124608808 139673367392299 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24611] ppid=24356 vsize=29035612 memory=1452 CPUtime=2451.36 cores=0-7
/proc/24358/task/24611/stat : 24611 (java) R 24356 24356 24099 0 -1 4202560 39207 0 0 0 245054 82 0 0 20 0 28 0 420185787 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672135126936 139673367392067 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24612] ppid=24356 vsize=29035612 memory=6952616 CPUtime=2445.78 cores=0-7
/proc/24358/task/24612/stat : 24612 (java) R 24356 24356 24099 0 -1 4202560 35693 0 0 0 244477 101 0 0 20 0 28 0 420185787 29732466688 1738154 33554432000 4194304 4196468 140737177467680 139672125662800 139673367594350 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 19877.3 s
Current children cumulated vsize: 29148740 KiB
Current children cumulated memory: 6954068 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.92 8.59 8.45 9/224 24831
/proc/meminfo: memFree=23857260/32770624 swapFree=66968492/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 24099 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420183136 115843072 363 33554432000 4194304 5098028 140736402506544 140736402504648 140142262784636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19841024 140736402514806 140736402515049 140736402515049 140736402517962 0
/proc/24356/statm: 28282 363 304 221 0 87 0
[pid=24358] ppid=24356 vsize=29035612 memory=6952596 CPUtime=20018.5 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 24099 0 -1 1077944320 1224956 0 0 0 1998735 3115 0 0 20 0 28 0 420183137 29732466688 1738149 33554432000 4194304 4196468 140737177467680 140737177450224 139673761058551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
/proc/24358/statm: 7258903 1738149 3554 1 0 7220005 0
[pid=24358/tid=24359] ppid=24356 vsize=29035612 memory=1980 CPUtime=3.25 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) S 24356 24356 24099 0 -1 1077944384 13087 0 0 0 313 12 0 0 20 0 28 0 420183137 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673765299328 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24360] ppid=24356 vsize=29035612 memory=-7003737579269690708 CPUtime=18.8 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 24099 0 -1 1077944384 78053 0 0 0 1628 252 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673680910736 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 59 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24361] ppid=24356 vsize=29035612 memory=6952596 CPUtime=18.83 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 24099 0 -1 1077944384 73240 0 0 0 1629 254 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673679857936 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24362] ppid=24356 vsize=29035612 memory=1764 CPUtime=18.89 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 24099 0 -1 1077944384 76256 0 0 0 1645 244 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673310714512 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24363] ppid=24356 vsize=29035612 memory=111632 CPUtime=18.64 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 24099 0 -1 1077944384 79018 0 0 0 1639 225 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673309661712 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 58 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24364] ppid=24356 vsize=29035612 memory=800 CPUtime=18.86 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 24099 0 -1 1077944384 84371 0 0 0 1647 239 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673308609424 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24365] ppid=24356 vsize=29035612 memory=1632 CPUtime=18.89 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 24099 0 -1 1077944384 76490 0 0 0 1644 245 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673307556624 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24366] ppid=24356 vsize=29035612 memory=1808 CPUtime=18.89 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 24099 0 -1 1077944384 75823 0 0 0 1646 243 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673306504336 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24367] ppid=24356 vsize=29035612 memory=924 CPUtime=18.85 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 24099 0 -1 1077944384 79045 0 0 0 1641 244 0 0 20 0 28 0 420183138 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139673305451536 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24368] ppid=24356 vsize=29035612 memory=984 CPUtime=1.55 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 24099 0 -1 1077944384 35255 0 0 0 136 19 0 0 20 0 28 0 420183139 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672475732080 139673761069698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24369] ppid=24356 vsize=29035612 memory=2048 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 24099 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 420183140 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672474678112 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24370] ppid=24356 vsize=29035612 memory=1240 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 24099 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 420183140 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672473625728 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24371] ppid=24356 vsize=29035612 memory=1452 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 24099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420183142 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672472574032 139673761077147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24372] ppid=24356 vsize=29035612 memory=6952596 CPUtime=5.29 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 24099 0 -1 1077944384 37354 0 0 0 522 7 0 0 20 0 28 0 420183142 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672220199536 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24373] ppid=24356 vsize=29035612 memory=1716 CPUtime=4.89 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 24099 0 -1 1077944384 41279 0 0 0 481 8 0 0 20 0 28 0 420183142 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672219146736 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24374] ppid=24356 vsize=29035612 memory=1216 CPUtime=5.88 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 24099 0 -1 1077944384 49648 0 0 0 580 8 0 0 20 0 28 0 420183142 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672218094448 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24375] ppid=24356 vsize=29035612 memory=1000 CPUtime=1.45 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 24099 0 -1 1077944384 36582 0 0 0 138 7 0 0 20 0 28 0 420183142 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672217041648 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24376] ppid=24356 vsize=29035612 memory=7996 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 24099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420183143 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672215988576 139673761068757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24377] ppid=24356 vsize=29035612 memory=1560 CPUtime=1.16 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 24099 0 -1 1077944384 4425 0 0 0 83 33 0 0 20 0 28 0 420183143 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672214935856 139673761069698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24605] ppid=24356 vsize=29035612 memory=14008 CPUtime=2471.58 cores=0-7
/proc/24358/task/24605/stat : 24605 (java) R 24356 24356 24099 0 -1 4202560 39522 0 0 0 247057 101 0 0 20 0 28 0 420185786 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672205962200 139673367928489 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24606] ppid=24356 vsize=29035612 memory=8180 CPUtime=2475.61 cores=0-7
/proc/24358/task/24606/stat : 24606 (java) R 24356 24356 24099 0 -1 4202560 36401 0 0 0 247465 96 0 0 20 0 28 0 420185786 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672126713504 139673367392067 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24607] ppid=24356 vsize=29035612 memory=2120 CPUtime=2458.47 cores=0-7
/proc/24358/task/24607/stat : 24607 (java) R 24356 24356 24099 0 -1 4202560 75378 0 0 0 245590 257 0 0 20 0 28 0 420185786 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672127766984 139673370038433 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24608] ppid=24356 vsize=29035612 memory=13948 CPUtime=2475.08 cores=0-7
/proc/24358/task/24608/stat : 24608 (java) R 24356 24356 24099 0 -1 4202560 46537 0 0 0 247348 160 0 0 20 0 28 0 420185787 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672123558208 139673367650522 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24609] ppid=24356 vsize=29035612 memory=1564 CPUtime=2469.42 cores=0-7
/proc/24358/task/24609/stat : 24609 (java) R 24356 24356 24099 0 -1 4202560 49827 0 0 0 246804 138 0 0 20 0 28 0 420185787 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672203858224 139673367590873 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24610] ppid=24356 vsize=29035612 memory=500 CPUtime=2465.58 cores=0-7
/proc/24358/task/24610/stat : 24610 (java) R 24356 24356 24099 0 -1 4202560 39207 0 0 0 246457 101 0 0 20 0 28 0 420185787 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672124608624 139673367590982 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24611] ppid=24356 vsize=29035612 memory=932 CPUtime=2468.93 cores=0-7
/proc/24358/task/24611/stat : 24611 (java) R 24356 24356 24099 0 -1 4202560 39341 0 0 0 246810 83 0 0 20 0 28 0 420185787 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672135127024 139673367392087 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
[pid=24358/tid=24612] ppid=24356 vsize=29035612 memory=6791534058613427641 CPUtime=2463.34 cores=0-7
/proc/24358/task/24612/stat : 24612 (java) R 24356 24356 24099 0 -1 4202560 35908 0 0 0 246233 101 0 0 20 0 28 0 420185787 29732466688 1738149 33554432000 4194304 4196468 140737177467680 139672125660432 139673367391617 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8208384 140737177469930 140737177470102 140737177470102 140737177472975 0
Current children cumulated CPU time: 20018.5 s
Current children cumulated vsize: 29148740 KiB
Current children cumulated memory: 6954048 KiB

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

[startup+2520.05 s]
# the end of solver process 24356 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00083 s, system=0.001661 s

[startup+2520.12 s]
# the end of solver process 24358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19988 s, system=31.1902 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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20019.2
CPU user time (s): 19988
CPU system time (s): 31.1902
CPU usage (%): 794.372
Max. virtual memory (cumulated for all children) (KiB): 29148740
Max. memory (cumulated for all children) (KiB): 6954068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19988
system time used= 31.1902
maximum resident set size= 6952884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1225891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100529
involuntary context switches= 244024


# summary of solver processes directly reported to runsolver:
#   pid: 24356,24358
#   total CPU time (s): 20019.2
#   total CPU user time (s): 19988
#   total CPU system time (s): 31.1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1804 second user time and 33.0038 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 07:34:56
IDJOB=4394014
IDBENCH=135802
IDSOLVER=2841
FILE ID=node135/4394014-1568439336
RUNJOBID= node135-1568439068-24126
PBS_JOBID= 21702330
Free space on /tmp= 61376 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.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-4394014-1568439336/watcher-4394014-1568439336 -o /tmp/evaluation-result-4394014-1568439336/solver-4394014-1568439336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568439068-24126 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 673724921 HOME/instance-4394014-1568439336.xml

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

MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee
RANDOM SEED=673724921

node135.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.76
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.76
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.76
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.76
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:        30809348 kB
MemAvailable:   31864544 kB
Buffers:          170572 kB
Cached:          1152836 kB
SwapCached:        34568 kB
Active:           566592 kB
Inactive:         796360 kB
Active(anon):      11540 kB
Inactive(anon):    60388 kB
Active(file):     555052 kB
Inactive(file):   735972 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968476 kB
Dirty:             26128 kB
Writeback:             0 kB
AnonPages:        116832 kB
Mapped:            37460 kB
Shmem:             24408 kB
Slab:             190536 kB
SReclaimable:     160016 kB
SUnreclaim:        30520 kB
KernelStack:        3648 kB
PageTables:         5832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61348 MiB
End job on node135 at 2019-09-14 08:16:56