Trace number 4394614

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 19997.7 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 benchmark2009.97
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-4394614-1568439338.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394614-1568439338.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
30.81/7.08	c solve instance...
44.54/9.88	o 2604 
44.77/9.95	o 2588 
45.37/10.02	o 2562 
46.67/10.26	o 2546 
47.04/10.33	o 2543 
47.04/10.38	o 2524 
47.35/10.45	o 2521 
49.04/11.74	o 2520 
49.04/11.77	o 2518 
49.40/11.85	o 2516 
49.40/11.86	o 2513 
49.40/11.87	o 2502 
49.59/11.94	o 2494 
49.59/12.00	o 2491 
49.79/12.05	o 2488 
49.79/12.06	o 2485 
53.86/13.63	o 2483 
54.09/13.72	o 2474 
55.45/14.91	o 2471 
55.45/14.98	o 2469 
126.84/24.16	o 2467 
144.82/26.69	o 573 
145.49/27.06	o 571 
146.67/28.14	o 570 
147.81/29.23	o 568 
148.06/29.44	o 566 
148.19/29.51	o 565 
150.18/30.59	o 564 
19997.03/2520.07	s SATISFIABLE
19997.03/2520.07	v <instantiation>
19997.03/2520.07	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>
19997.03/2520.07	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>
19997.03/2520.07	v </instantiation>
19997.03/2520.07	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 (15084 MiB free)
  memory of node 1: 16384 MiB (15462 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394614-1568439338/watcher-4394614-1568439338 -o /tmp/evaluation-result-4394614-1568439338/solver-4394614-1568439338 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 347042419 HOME/instance-4394614-1568439338.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
solver pid=12966, runsolver pid=12963
Current StackSize limit: 8192 KiB


[startup+0.100122 s]*
/proc/loadavg: 4.04 7.00 7.76 2/212 12987
/proc/meminfo: memFree=31264364/32770624 swapFree=66919412/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28227388 memory=29084 CPUtime=0.12 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 5732 0 0 0 11 1 0 0 20 0 20 0 419871733 28904845312 7271 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7056847 7271 3097 1 0 7019032 0
[pid=12968/tid=12969] ppid=12966 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) R 12966 12966 12701 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 20 0 419871733 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660822266768 140660456489162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28227388 memory=139674331833984 CPUtime=0 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12973] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12973/stat : 12973 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660366408464 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12974] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12974/stat : 12974 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660365355664 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12975] ppid=12966 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12975/stat : 12975 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660364302864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12976] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12976/stat : 12976 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660363250064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12977] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12977/stat : 12977 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660362197264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12978] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12978/stat : 12978 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871735 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660319046512 140660818045570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12979] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12979/stat : 12979 (java) S 12966 12966 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419871736 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660317992480 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12980] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12980/stat : 12980 (java) S 12966 12966 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419871736 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660316939632 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12981] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12981/stat : 12981 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871738 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660315887952 140660818053019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12982] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12982/stat : 12982 (java) S 12966 12966 12701 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 419871738 28904845312 7271 33554432000 4194304 4196468 140734385053392 140660314835312 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12983] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12983/stat : 12983 (java) S 12966 12966 12701 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419871738 28904845312 7271 33554432000 4194304 4196468 140734385053392 140659007809776 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12984] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12984/stat : 12984 (java) S 12966 12966 12701 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419871738 28904845312 7271 33554432000 4194304 4196468 140734385053392 140659006756976 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12985] ppid=12966 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/12968/task/12985/stat : 12985 (java) R 12966 12966 12701 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 20 0 419871738 28904845312 7271 33554432000 4194304 4196468 140734385053392 140659005704176 140660818046358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12986] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12986/stat : 12986 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871739 28904845312 7271 33554432000 4194304 4196468 140734385053392 140659004652640 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12987] ppid=12966 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12987/stat : 12987 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871739 28904845312 7271 33554432000 4194304 4196468 140734385053392 140659003599920 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30540 KiB

[startup+0.210458 s]*
/proc/loadavg: 4.04 7.00 7.76 3/212 12987
/proc/meminfo: memFree=31250936/32770624 swapFree=66919412/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28227388 memory=41500 CPUtime=0.34 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 9545 0 0 0 31 3 0 0 20 0 20 0 419871733 28904845312 10375 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7056847 10375 3310 1 0 7019032 0
[pid=12968/tid=12969] ppid=12966 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) R 12966 12966 12701 0 -1 4202560 6681 0 0 0 18 2 0 0 20 0 20 0 419871733 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660822266336 140660818046358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28227388 memory=288370050483545728 CPUtime=0 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12973] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12973/stat : 12973 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660366408464 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12974] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12974/stat : 12974 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660365355664 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12975] ppid=12966 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12975/stat : 12975 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660364302864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12976] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12976/stat : 12976 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660363250064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12977] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12977/stat : 12977 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871734 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660362197264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12978] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12978/stat : 12978 (java) S 12966 12966 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419871735 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660319046512 140660818045570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12979] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12979/stat : 12979 (java) S 12966 12966 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419871736 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660317992480 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12980] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12980/stat : 12980 (java) S 12966 12966 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419871736 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660316939632 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12981] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12981/stat : 12981 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871738 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660315887952 140660818053019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12982] ppid=12966 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/12968/task/12982/stat : 12982 (java) S 12966 12966 12701 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 419871738 28904845312 10375 33554432000 4194304 4196468 140734385053392 140660314835312 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12983] ppid=12966 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/12968/task/12983/stat : 12983 (java) S 12966 12966 12701 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 419871738 28904845312 10375 33554432000 4194304 4196468 140734385053392 140659007809776 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12984] ppid=12966 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/12968/task/12984/stat : 12984 (java) S 12966 12966 12701 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 419871738 28904845312 10375 33554432000 4194304 4196468 140734385053392 140659006756976 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12985] ppid=12966 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/12968/task/12985/stat : 12985 (java) S 12966 12966 12701 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 20 0 419871738 28904845312 10375 33554432000 4194304 4196468 140734385053392 140659005704176 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12986] ppid=12966 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12986/stat : 12986 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871739 28904845312 10375 33554432000 4194304 4196468 140734385053392 140659004652640 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12987] ppid=12966 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12987/stat : 12987 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871739 28904845312 10375 33554432000 4194304 4196468 140734385053392 140659003599920 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42956 KiB

[startup+0.310127 s]*
/proc/loadavg: 4.04 7.00 7.76 3/212 12987
/proc/meminfo: memFree=31246012/32770624 swapFree=66919412/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28231644 memory=49672 CPUtime=0.52 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 10803 0 0 0 48 4 0 0 20 0 20 0 419871733 28909203456 12418 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7057911 12418 3340 1 0 7019032 0
[pid=12968/tid=12969] ppid=12966 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) R 12966 12966 12701 0 -1 4202560 7775 0 0 0 27 2 0 0 20 0 20 0 419871733 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660822268288 140660802114910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12973] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12973/stat : 12973 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660366408464 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12974] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12974/stat : 12974 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660365355664 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12975] ppid=12966 vsize=28231644 memory=139674215606959 CPUtime=0 cores=0-7
/proc/12968/task/12975/stat : 12975 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660364302864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12976] ppid=12966 vsize=28231644 memory=139674215609264 CPUtime=0 cores=0-7
/proc/12968/task/12976/stat : 12976 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660363250064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12977] ppid=12966 vsize=28231644 memory=139674215611568 CPUtime=0 cores=0-7
/proc/12968/task/12977/stat : 12977 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871734 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660362197264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12978] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12978/stat : 12978 (java) S 12966 12966 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419871735 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660319046512 140660818045570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12979] ppid=12966 vsize=28231644 memory=279348431237008 CPUtime=0 cores=0-7
/proc/12968/task/12979/stat : 12979 (java) S 12966 12966 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419871736 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660317992480 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12980] ppid=12966 vsize=28231644 memory=279348431234704 CPUtime=0 cores=0-7
/proc/12968/task/12980/stat : 12980 (java) S 12966 12966 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419871736 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660316939632 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12981] ppid=12966 vsize=28231644 memory=279348431241616 CPUtime=0 cores=0-7
/proc/12968/task/12981/stat : 12981 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871738 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660315887952 140660818053019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12982] ppid=12966 vsize=28231644 memory=279348431182896 CPUtime=0.02 cores=0-7
/proc/12968/task/12982/stat : 12982 (java) S 12966 12966 12701 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 419871738 28909203456 12484 33554432000 4194304 4196468 140734385053392 140660314835312 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12983] ppid=12966 vsize=28231644 memory=279348431255440 CPUtime=0.03 cores=0-7
/proc/12968/task/12983/stat : 12983 (java) R 12966 12966 12701 0 -1 4202560 483 0 0 0 3 0 0 0 20 0 20 0 419871738 28909203456 12484 33554432000 4194304 4196468 140734385053392 140659007800160 140660798734720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12984] ppid=12966 vsize=28231644 memory=279348431262352 CPUtime=0.02 cores=0-7
/proc/12968/task/12984/stat : 12984 (java) S 12966 12966 12701 0 -1 1077944384 309 0 0 0 2 0 0 0 20 0 20 0 419871738 28909203456 12484 33554432000 4194304 4196468 140734385053392 140659006756976 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12985] ppid=12966 vsize=28231644 memory=279348431260048 CPUtime=0.12 cores=0-7
/proc/12968/task/12985/stat : 12985 (java) S 12966 12966 12701 0 -1 1077944384 876 0 0 0 12 0 0 0 20 0 20 0 419871738 28909203456 12484 33554432000 4194304 4196468 140734385053392 140659005704176 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12986] ppid=12966 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12986/stat : 12986 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419871739 28909203456 12484 33554432000 4194304 4196468 140734385053392 140659004652640 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12987] ppid=12966 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/12968/task/12987/stat : 12987 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871739 28909203456 12484 33554432000 4194304 4196468 140734385053392 140659003599920 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51128 KiB

[startup+0.700966 s]
/proc/loadavg: 4.04 7.00 7.76 5/212 12987
/proc/meminfo: memFree=31212124/32770624 swapFree=66919412/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28233768 memory=135216 CPUtime=1.88 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 16266 0 0 0 182 6 0 0 20 0 20 0 419871733 28911378432 33804 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7058442 33804 3441 1 0 7019544 0
[pid=12968/tid=12969] ppid=12966 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) R 12966 12966 12701 0 -1 4202560 9110 0 0 0 63 4 0 0 20 0 20 0 419871733 28911378432 33804 33554432000 4194304 4196468 140734385053392 140660822271776 140660459244598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28233768 memory=139674215818096 CPUtime=0 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419871734 28911378432 33804 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28911378432 33804 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28233768 memory=1560 CPUtime=0 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419871734 28911378432 33804 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0

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

[pid=12968/tid=13223] ppid=12966 vsize=28769356 memory=1456 CPUtime=2384.66 cores=0-7
/proc/12968/task/13223/stat : 13223 (java) R 12966 12966 12701 0 -1 4202560 38704 0 0 0 238388 78 0 0 20 0 28 0 419874792 29459820544 1771456 33554432000 4194304 4196468 140734385053392 140658992521624 140660463306892 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 19377.3 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 7087280 KiB

[startup+2502.3 s]
/proc/loadavg: 8.24 8.32 8.27 9/220 13431
/proc/meminfo: memFree=24195028/32770624 swapFree=66919440/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28769356 memory=7085632 CPUtime=19855.8 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 1453044 0 0 0 1982800 2779 0 0 20 0 28 0 419871733 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7192339 1771408 3554 1 0 7153441 0
[pid=12968/tid=12969] ppid=12966 vsize=28769356 memory=1456 CPUtime=3.32 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) S 12966 12966 12701 0 -1 1077944384 13354 0 0 0 317 15 0 0 20 0 28 0 419871733 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660822275200 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28769356 memory=7085632 CPUtime=18.06 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 84283 0 0 0 1571 235 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28769356 memory=7085632 CPUtime=18.11 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 80610 0 0 0 1569 242 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28769356 memory=7085724 CPUtime=18.02 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 78280 0 0 0 1565 237 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12973] ppid=12966 vsize=28769356 memory=1456 CPUtime=18.02 cores=0-7
/proc/12968/task/12973/stat : 12973 (java) S 12966 12966 12701 0 -1 1077944384 88845 0 0 0 1570 232 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660366408464 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12974] ppid=12966 vsize=28769356 memory=7085688 CPUtime=18.07 cores=0-7
/proc/12968/task/12974/stat : 12974 (java) S 12966 12966 12701 0 -1 1077944384 76378 0 0 0 1570 237 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660365355664 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12975] ppid=12966 vsize=28769356 memory=7085632 CPUtime=17.98 cores=0-7
/proc/12968/task/12975/stat : 12975 (java) S 12966 12966 12701 0 -1 1077944384 81087 0 0 0 1568 230 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660364302864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12976] ppid=12966 vsize=28769356 memory=7085632 CPUtime=18.05 cores=0-7
/proc/12968/task/12976/stat : 12976 (java) S 12966 12966 12701 0 -1 1077944384 81075 0 0 0 1569 236 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660363250064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12977] ppid=12966 vsize=28769356 memory=1456 CPUtime=18.16 cores=0-7
/proc/12968/task/12977/stat : 12977 (java) S 12966 12966 12701 0 -1 1077944384 85075 0 0 0 1568 248 0 0 20 0 28 0 419871734 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660362197264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12978] ppid=12966 vsize=28769356 memory=920 CPUtime=1.66 cores=0-7
/proc/12968/task/12978/stat : 12978 (java) S 12966 12966 12701 0 -1 1077944384 38196 0 0 0 152 14 0 0 20 0 28 0 419871735 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660319046512 140660818045570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12979] ppid=12966 vsize=28769356 memory=4144 CPUtime=0 cores=0-7
/proc/12968/task/12979/stat : 12979 (java) S 12966 12966 12701 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 419871736 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660317992544 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12980] ppid=12966 vsize=28769356 memory=1456 CPUtime=0 cores=0-7
/proc/12968/task/12980/stat : 12980 (java) S 12966 12966 12701 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 419871736 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660316939648 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12981] ppid=12966 vsize=28769356 memory=3616 CPUtime=0 cores=0-7
/proc/12968/task/12981/stat : 12981 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419871738 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660315887952 140660818053019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12982] ppid=12966 vsize=28769356 memory=1456 CPUtime=5.01 cores=0-7
/proc/12968/task/12982/stat : 12982 (java) S 12966 12966 12701 0 -1 1077944384 34732 0 0 0 495 6 0 0 20 0 28 0 419871738 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140660314835312 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12983] ppid=12966 vsize=28769356 memory=1456 CPUtime=5.1 cores=0-7
/proc/12968/task/12983/stat : 12983 (java) S 12966 12966 12701 0 -1 1077944384 43523 0 0 0 498 12 0 0 20 0 28 0 419871738 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140659007809776 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12984] ppid=12966 vsize=28769356 memory=1456 CPUtime=5.76 cores=0-7
/proc/12968/task/12984/stat : 12984 (java) S 12966 12966 12701 0 -1 1077944384 43646 0 0 0 569 7 0 0 20 0 28 0 419871738 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140659006756976 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12985] ppid=12966 vsize=28769356 memory=3616 CPUtime=1.37 cores=0-7
/proc/12968/task/12985/stat : 12985 (java) S 12966 12966 12701 0 -1 1077944384 31153 0 0 0 132 5 0 0 20 0 28 0 419871738 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140659005704176 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12986] ppid=12966 vsize=28769356 memory=7085688 CPUtime=0 cores=0-7
/proc/12968/task/12986/stat : 12986 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419871739 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140659004652640 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12987] ppid=12966 vsize=28769356 memory=7085788 CPUtime=1.27 cores=0-7
/proc/12968/task/12987/stat : 12987 (java) S 12966 12966 12701 0 -1 1077944384 2852 0 0 0 39 88 0 0 20 0 28 0 419871739 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140659003599920 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13216] ppid=12966 vsize=28769356 memory=1456 CPUtime=2448.32 cores=0-7
/proc/12968/task/13216/stat : 13216 (java) R 12966 12966 12701 0 -1 4202560 130615 0 0 0 244734 98 0 0 20 0 28 0 419874791 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658994625528 140660463306235 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13217] ppid=12966 vsize=28769356 memory=3616 CPUtime=2455.17 cores=0-7
/proc/12968/task/13217/stat : 13217 (java) R 12966 12966 12701 0 -1 4202560 35663 0 0 0 245446 71 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658990418160 140660463306668 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13218] ppid=12966 vsize=28769356 memory=5936 CPUtime=2449.66 cores=0-7
/proc/12968/task/13218/stat : 13218 (java) R 12966 12966 12701 0 -1 4202560 62333 0 0 0 244849 117 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658988310592 140660460376415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13219] ppid=12966 vsize=28769356 memory=588 CPUtime=2443.11 cores=0-7
/proc/12968/task/13219/stat : 13219 (java) R 12966 12966 12701 0 -1 4202560 48913 0 0 0 244170 141 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658989362952 140660463451097 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13220] ppid=12966 vsize=28769356 memory=1456 CPUtime=2453.78 cores=0-7
/proc/12968/task/13220/stat : 13220 (java) R 12966 12966 12701 0 -1 4202560 132718 0 0 0 245276 102 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658991468328 140660464632849 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13221] ppid=12966 vsize=28769356 memory=1456 CPUtime=2442.79 cores=0-7
/proc/12968/task/13221/stat : 13221 (java) R 12966 12966 12701 0 -1 4202560 40693 0 0 0 244218 61 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658987257144 140660463451261 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13222] ppid=12966 vsize=28769356 memory=23408 CPUtime=2449.62 cores=0-7
/proc/12968/task/13222/stat : 13222 (java) R 12966 12966 12701 0 -1 4202560 31449 0 0 0 244888 74 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658984108744 140660463082828 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13223] ppid=12966 vsize=28769356 memory=988 CPUtime=2444.45 cores=0-7
/proc/12968/task/13223/stat : 13223 (java) R 12966 12966 12701 0 -1 4202560 39389 0 0 0 244366 79 0 0 20 0 28 0 419874792 29459820544 1771408 33554432000 4194304 4196468 140734385053392 140658992521976 140660463306668 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 19855.8 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 7087088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.17 8.29 8.26 9/219 13431
/proc/meminfo: memFree=24196040/32770624 swapFree=66919440/67108860
[pid=12966] ppid=12963 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12966/stat : 12966 (xcsp3-exec) S 12963 12966 12701 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419871732 115843072 364 33554432000 4194304 5098028 140725662178352 140725662176456 140577900618364 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23392256 140725662184310 140725662184553 140725662184553 140725662187466 0
/proc/12966/statm: 28282 364 305 221 0 87 0
[pid=12968] ppid=12966 vsize=28769356 memory=7085604 CPUtime=19997 cores=0-7
/proc/12968/stat : 12968 (java) S 12966 12966 12701 0 -1 1077944320 1453870 0 0 0 1996921 2782 0 0 20 0 28 0 419871733 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140734385035936 140660818034423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
/proc/12968/statm: 7192339 1771401 3554 1 0 7153441 0
[pid=12968/tid=12969] ppid=12966 vsize=28769356 memory=8317482817917895235 CPUtime=3.32 cores=0-7
/proc/12968/task/12969/stat : 12969 (java) S 12966 12966 12701 0 -1 1077944384 13354 0 0 0 317 15 0 0 20 0 28 0 419871733 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660822275200 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12970] ppid=12966 vsize=28769356 memory=4872558044660077418 CPUtime=18.11 cores=0-7
/proc/12968/task/12970/stat : 12970 (java) S 12966 12966 12701 0 -1 1077944384 84291 0 0 0 1576 235 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660369566864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12971] ppid=12966 vsize=28769356 memory=7085604 CPUtime=18.16 cores=0-7
/proc/12968/task/12971/stat : 12971 (java) S 12966 12966 12701 0 -1 1077944384 80616 0 0 0 1574 242 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660368514064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12972] ppid=12966 vsize=28769356 memory=1560 CPUtime=18.06 cores=0-7
/proc/12968/task/12972/stat : 12972 (java) S 12966 12966 12701 0 -1 1077944384 78375 0 0 0 1569 237 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660367461264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12973] ppid=12966 vsize=28769356 memory=1172 CPUtime=18.06 cores=0-7
/proc/12968/task/12973/stat : 12973 (java) S 12966 12966 12701 0 -1 1077944384 88869 0 0 0 1574 232 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660366408464 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12974] ppid=12966 vsize=28769356 memory=14008 CPUtime=18.11 cores=0-7
/proc/12968/task/12974/stat : 12974 (java) S 12966 12966 12701 0 -1 1077944384 76381 0 0 0 1574 237 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660365355664 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12975] ppid=12966 vsize=28769356 memory=7085604 CPUtime=18.02 cores=0-7
/proc/12968/task/12975/stat : 12975 (java) S 12966 12966 12701 0 -1 1077944384 81175 0 0 0 1572 230 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660364302864 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12976] ppid=12966 vsize=28769356 memory=23408 CPUtime=18.09 cores=0-7
/proc/12968/task/12976/stat : 12976 (java) S 12966 12966 12701 0 -1 1077944384 81079 0 0 0 1573 236 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660363250064 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12977] ppid=12966 vsize=28769356 memory=988 CPUtime=18.2 cores=0-7
/proc/12968/task/12977/stat : 12977 (java) S 12966 12966 12701 0 -1 1077944384 85075 0 0 0 1572 248 0 0 20 0 28 0 419871734 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660362197264 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12978] ppid=12966 vsize=28769356 memory=2012 CPUtime=1.66 cores=0-7
/proc/12968/task/12978/stat : 12978 (java) S 12966 12966 12701 0 -1 1077944384 38196 0 0 0 152 14 0 0 20 0 28 0 419871735 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660319046512 140660818045570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12979] ppid=12966 vsize=28769356 memory=1704 CPUtime=0 cores=0-7
/proc/12968/task/12979/stat : 12979 (java) S 12966 12966 12701 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 419871736 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660317992544 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12980] ppid=12966 vsize=28769356 memory=5936 CPUtime=0 cores=0-7
/proc/12968/task/12980/stat : 12980 (java) S 12966 12966 12701 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 419871736 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660316939648 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12981] ppid=12966 vsize=28769356 memory=588 CPUtime=0 cores=0-7
/proc/12968/task/12981/stat : 12981 (java) S 12966 12966 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419871738 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660315887952 140660818053019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12982] ppid=12966 vsize=28769356 memory=780 CPUtime=5.01 cores=0-7
/proc/12968/task/12982/stat : 12982 (java) S 12966 12966 12701 0 -1 1077944384 34732 0 0 0 495 6 0 0 20 0 28 0 419871738 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140660314835312 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12983] ppid=12966 vsize=28769356 memory=1056 CPUtime=5.1 cores=0-7
/proc/12968/task/12983/stat : 12983 (java) S 12966 12966 12701 0 -1 1077944384 43523 0 0 0 498 12 0 0 20 0 28 0 419871738 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140659007809776 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12984] ppid=12966 vsize=28769356 memory=11464 CPUtime=5.76 cores=0-7
/proc/12968/task/12984/stat : 12984 (java) S 12966 12966 12701 0 -1 1077944384 43646 0 0 0 569 7 0 0 20 0 28 0 419871738 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140659006756976 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12985] ppid=12966 vsize=28769356 memory=4004 CPUtime=1.37 cores=0-7
/proc/12968/task/12985/stat : 12985 (java) S 12966 12966 12701 0 -1 1077944384 31153 0 0 0 132 5 0 0 20 0 28 0 419871738 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140659005704176 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12986] ppid=12966 vsize=28769356 memory=2828 CPUtime=0 cores=0-7
/proc/12968/task/12986/stat : 12986 (java) S 12966 12966 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419871739 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140659004652640 140660818044629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=12987] ppid=12966 vsize=28769356 memory=1000 CPUtime=1.27 cores=0-7
/proc/12968/task/12987/stat : 12987 (java) S 12966 12966 12701 0 -1 1077944384 2854 0 0 0 39 88 0 0 20 0 28 0 419871739 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140659003599920 140660818045570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13216] ppid=12966 vsize=28769356 memory=1560 CPUtime=2465.99 cores=0-7
/proc/12968/task/13216/stat : 13216 (java) R 12966 12966 12701 0 -1 4202560 130678 0 0 0 246500 99 0 0 20 0 28 0 419874791 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658994625544 140660461766811 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13217] ppid=12966 vsize=28769356 memory=1172 CPUtime=2472.83 cores=0-7
/proc/12968/task/13217/stat : 13217 (java) R 12966 12966 12701 0 -1 4202560 35727 0 0 0 247212 71 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658990418160 140660463189834 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13218] ppid=12966 vsize=28769356 memory=1492 CPUtime=2467.32 cores=0-7
/proc/12968/task/13218/stat : 13218 (java) R 12966 12966 12701 0 -1 4202560 62389 0 0 0 246615 117 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658988310592 140660460375418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13219] ppid=12966 vsize=28769356 memory=876 CPUtime=2460.37 cores=0-7
/proc/12968/task/13219/stat : 13219 (java) R 12966 12966 12701 0 -1 4202560 49032 0 0 0 245895 142 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658989362920 140660463450992 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13220] ppid=12966 vsize=28769356 memory=1448 CPUtime=2471.46 cores=0-7
/proc/12968/task/13220/stat : 13220 (java) R 12966 12966 12701 0 -1 4202560 132807 0 0 0 247043 103 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658991468136 140660463082751 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13221] ppid=12966 vsize=28769356 memory=1980 CPUtime=2460.45 cores=0-7
/proc/12968/task/13221/stat : 13221 (java) R 12966 12966 12701 0 -1 4202560 40733 0 0 0 245984 61 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658987257064 140660463306668 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13222] ppid=12966 vsize=28769356 memory=2432 CPUtime=2467.29 cores=0-7
/proc/12968/task/13222/stat : 13222 (java) R 12966 12966 12701 0 -1 4202560 31511 0 0 0 246654 75 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658984108392 140660463306668 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
[pid=12968/tid=13223] ppid=12966 vsize=28769356 memory=1760 CPUtime=2462.12 cores=0-7
/proc/12968/task/13223/stat : 13223 (java) R 12966 12966 12701 0 -1 4202560 39492 0 0 0 246132 80 0 0 20 0 28 0 419874792 29459820544 1771401 33554432000 4194304 4196468 140734385053392 140658992521624 140660463451308 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16707584 140734385054698 140734385054870 140734385054870 140734385057743 0
Current children cumulated CPU time: 19997 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 7087060 KiB

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

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

[startup+2520.12 s]
# the end of solver process 12968 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19969.8 s, system=27.8647 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): 19997.7
CPU user time (s): 19969.8
CPU system time (s): 27.8647
CPU usage (%): 793.52
Max. virtual memory (cumulated for all children) (KiB): 28884768
Max. memory (cumulated for all children) (KiB): 7087300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19969.8
system time used= 27.8647
maximum resident set size= 7085936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1455495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97816
involuntary context switches= 235862


# summary of solver processes directly reported to runsolver:
#   pid: 12966,12968
#   total CPU time (s): 19997.7
#   total CPU user time (s): 19969.8
#   total CPU system time (s): 27.8647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5676 second user time and 32.505 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 07:34:57
IDJOB=4394614
IDBENCH=135802
IDSOLVER=2843
FILE ID=node141/4394614-1568439338
RUNJOBID= node141-1568439039-12728
PBS_JOBID= 21702329
Free space on /tmp= 58540 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-4394614-1568439338/watcher-4394614-1568439338 -o /tmp/evaluation-result-4394614-1568439338/solver-4394614-1568439338 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 347042419 HOME/instance-4394614-1568439338.xml

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

MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee
RANDOM SEED=347042419

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31279996 kB
MemAvailable:   31839800 kB
Buffers:          184912 kB
Cached:           662804 kB
SwapCached:        80208 kB
Active:           449084 kB
Inactive:         482920 kB
Active(anon):      10180 kB
Inactive(anon):   106132 kB
Active(file):     438904 kB
Inactive(file):   376788 kB
Unevictable:      109464 kB
Mlocked:          109464 kB
SwapTotal:      67108860 kB
SwapFree:       66919412 kB
Dirty:             26304 kB
Writeback:             0 kB
AnonPages:        113676 kB
Mapped:            36816 kB
Shmem:             23440 kB
Slab:             149224 kB
SReclaimable:     119896 kB
SUnreclaim:        29328 kB
KernelStack:        3888 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58516 MiB
End job on node141 at 2019-09-14 08:16:57