Trace number 4399075

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-16Wrong Cert. 2306.85 583.697

General information on the benchmark

NameXCSP19/hcp/
graph48.xml
MD5SUM4be1059ecfff617ee6b265be93ea8d71
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1103.6
Satisfiable
(Un)Satisfiability was proved
Number of variables338
Number of constraints1
Number of domains338
Minimum domain size4
Maximum domain size14
Distribution of domain sizes[{"size":4,"count":318},{"size":14,"count":20}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":338}]
Minimum constraint arity338
Maximum constraint arity338
Distribution of constraint arities[{"arity":338,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399075-1568700132.xml"  -tl '2520s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4399075-1568700132.xml, -tl, 2520s, -p, 4]
0.14/0.22	c 4 solvers in parallel
0.36/0.28	c parse instance...
1.04/0.61	c solve instance...
2306.51/583.68	s SATISFIABLE
2306.51/583.68	v <instantiation>
2306.51/583.68	v 	<list>v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31 v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64 v65 v66 v67 v68 v69 v70 v71 v72 v73 v74 v75 v76 v77 v78 v79 v80 v81 v82 v83 v84 v85 v86 v87 v88 v89 v90 v91 v92 v93 v94 v95 v96 v97 v98 v99 v100 v101 v102 v103 v104 v105 v106 v107 v108 v109 v110 v111 v112 v113 v114 v115 v116 v117 v118 v119 v120 v121 v122 v123 v124 v125 v126 v127 v128 v129 v130 v131 v132 v133 v134 v135 v136 v137 v138 v139 v140 v141 v142 v143 v144 v145 v146 v147 v148 v149 v150 v151 v152 v153 v154 v155 v156 v157 v158 v159 v160 v161 v162 v163 v164 v165 v166 v167 v168 v169 v170 v171 v172 v173 v174 v175 v176 v177 v178 v179 v180 v181 v182 v183 v184 v185 v186 v187 v188 v189 v190 v191 v192 v193 v194 v195 v196 v197 v198 v199 v200 v201 v202 v203 v204 v205 v206 v207 v208 v209 v210 v211 v212 v213 v214 v215 v216 v217 v218 v219 v220 v221 v222 v223 v224 v225 v226 v227 v228 v229 v230 v231 v232 v233 v234 v235 v236 v237 v238 v239 v240 v241 v242 v243 v244 v245 v246 v247 v248 v249 v250 v251 v252 v253 v254 v255 v256 v257 v258 v259 v260 v261 v262 v263 v264 v265 v266 v267 v268 v269 v270 v271 v272 v273 v274 v275 v276 v277 v278 v279 v280 v281 v282 v283 v284 v285 v286 v287 v288 v289 v290 v291 v292 v293 v294 v295 v296 v297 v298 v299 v300 v301 v302 v303 v304 v305 v306 v307 v308 v309 v310 v311 v312 v313 v314 v315 v316 v317 v318 v319 v320 v321 v322 v323 v324 v325 v326 v327 v328 v329 v330 v331 v332 v333 v334 v335 v336 v337 </list>
2306.51/583.68	v 	<values>61 57 252 193 67 20 225 139 25 162 300 148 64 39 65 46 36 332 27 268 163 93 234 161 212 75 326 289 97 85 211 143 12 132 233 281 275 188 53 321 256 42 95 28 34 105 181 44 106 0 189 14 35 168 255 141 203 88 215 26 159 319 154 137 207 325 68 56 286 91 219 270 218 191 197 285 13 15 276 178 243 156 201 249 113 31 180 235 103 301 311 140 202 5 190 80 206 121 71 277 124 112 226 306 237 29 328 16 3 175 23 1 297 248 333 296 83 183 298 38 90 192 205 79 120 116 153 228 220 164 241 82 303 210 87 150 273 316 195 216 314 123 232 182 72 308 4 59 330 81 242 291 292 261 217 21 221 100 262 43 200 152 142 302 62 118 92 310 179 108 130 76 111 230 131 315 146 117 222 37 238 78 251 86 134 172 128 236 169 324 295 194 284 94 250 176 337 147 269 51 186 54 109 40 126 73 196 158 254 19 18 69 41 17 166 6 10 155 313 22 110 107 282 294 204 334 99 322 336 70 49 299 135 257 323 224 293 32 47 129 260 247 304 244 157 271 9 287 198 102 290 50 101 320 258 8 144 145 170 307 305 208 138 149 246 317 122 60 223 240 185 74 58 104 331 52 266 127 187 125 165 173 160 133 48 312 98 115 280 199 267 55 329 184 174 245 272 278 264 279 114 309 30 171 11 77 7 119 265 136 214 45 318 213 167 96 253 63 24 327 2 263 231 259 33 335 89 288 209 283 151 177 66 239 229 84 227 274 </values>
2306.51/583.68	v </instantiation>

Verifier Data 

INVALID Solution! (1 errors)
  Violated Constraint c_0 : circuit()
	list() : [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28, v29, v30, v31, v32, v33, v34, v35, v36, v37, v38, v39, v40, v41, v42, v43, v44, v45, v46, v47, v48, v49, v50, v51, v52, v53, v54, v55, v56, v57, v58, v59, v60, v61, v62, v63, v64, v65, v66, v67, v68, v69, v70, v71, v72, v73, v74, v75, v76, v77, v78, v79, v80, v81, v82, v83, v84, v85, v86, v87, v88, v89, v90, v91, v92, v93, v94, v95, v96, v97, v98, v99, v100, v101, v102, v103, v104, v105, v106, v107, v108, v109, v110, v111, v112, v113, v114, v115, v116, v117, v118, v119, v120, v121, v122, v123, v124, v125, v126, v127, v128, v129, v130, v131, v132, v133, v134, v135, v136, v137, v138, v139, v140, v141, v142, v143, v144, v145, v146, v147, v148, v149, v150, v151, v152, v153, v154, v155, v156, v157, v158, v159, v160, v161, v162, v163, v164, v165, v166, v167, v168, v169, v170, v171, v172, v173, v174, v175, v176, v177, v178, v179, v180, v181, v182, v183, v184, v185, v186, v187, v188, v189, v190, v191, v192, v193, v194, v195, v196, v197, v198, v199, v200, v201, v202, v203, v204, v205, v206, v207, v208, v209, v210, v211, v212, v213, v214, v215, v216, v217, v218, v219, v220, v221, v222, v223, v224, v225, v226, v227, v228, v229, v230, v231, v232, v233, v234, v235, v236, v237, v238, v239, v240, v241, v242, v243, v244, v245, v246, v247, v248, v249, v250, v251, v252, v253, v254, v255, v256, v257, v258, v259, v260, v261, v262, v263, v264, v265, v266, v267, v268, v269, v270, v271, v272, v273, v274, v275, v276, v277, v278, v279, v280, v281, v282, v283, v284, v285, v286, v287, v288, v289, v290, v291, v292, v293, v294, v295, v296, v297, v298, v299, v300, v301, v302, v303, v304, v305, v306, v307, v308, v309, v310, v311, v312, v313, v314, v315, v316, v317, v318, v319, v320, v321, v322, v323, v324, v325, v326, v327, v328, v329, v330, v331, v332, v333, v334, v335, v336, v337]

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399075-1568700132/watcher-4399075-1568700132 -o /tmp/evaluation-result-4399075-1568700132/solver-4399075-1568700132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 923804367 HOME/instance-4399075-1568700132.xml 

running on 4 cores: 1,3,5,7

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

solver pid=28869, runsolver pid=28866

[startup+0.101899 s]*
/proc/loadavg: 7.87 7.13 7.16 6/237 28885
/proc/meminfo: memFree=31482020/32770624 swapFree=66977096/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15144776 memory=29124 CPUtime=0.14 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 5716 0 0 0 13 1 0 0 20 0 15 0 446275826 15508250624 7281 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3786194 7281 3150 1 0 3748377 0
[pid=28871/tid=28872] ppid=28869 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) R 28869 28869 21506 0 -1 4202560 3579 0 0 0 9 0 0 0 20 0 15 0 446275826 15508250624 7281 33554432000 4194304 4196468 140725242135744 140153118849232 140153114631574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15144776 memory=3472468465636713680 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15508250624 7281 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15144776 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15508250624 7281 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15508250624 7281 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446275827 15508250624 7281 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446275828 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446275829 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152054666656 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446275829 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152053614064 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) R 28869 28869 21506 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 15 0 446275831 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152051500768 140153093768328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) R 28869 28869 21506 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 446275831 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15144776 memory=140336741561984 CPUtime=0.02 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) R 28869 28869 21506 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 446275831 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152049404144 140153114631574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15144776 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) R 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275832 15508250624 7281 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30576 KiB

[startup+0.214973 s]*
/proc/loadavg: 7.87 7.13 7.16 8/237 28885
/proc/meminfo: memFree=31462164/32770624 swapFree=66977096/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15144776 memory=41208 CPUtime=0.36 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 9524 0 0 0 33 3 0 0 20 0 15 0 446275826 15508250624 10302 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3786194 10302 3294 1 0 3748377 0
[pid=28871/tid=28872] ppid=28869 vsize=15149028 memory=5855087016065728930 CPUtime=0.21 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) R 28869 28869 21506 0 -1 4202560 6654 0 0 0 19 2 0 0 20 0 15 0 446275826 15512604672 10305 33554432000 4194304 4196468 140725242135744 140153118840632 140153116895274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15149032 memory=3472468465636713680 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 10305 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 10305 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 10305 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 10305 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446275828 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446275829 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152054666656 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446275829 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152053614064 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15149032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) S 28869 28869 21506 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 446275831 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152051509232 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) S 28869 28869 21506 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 15 0 446275831 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0.08 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) S 28869 28869 21506 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 446275831 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275832 15512608768 10305 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42660 KiB

[startup+0.310718 s]*
/proc/loadavg: 7.87 7.13 7.16 8/237 28885
/proc/meminfo: memFree=31454768/32770624 swapFree=66977096/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15149032 memory=50336 CPUtime=0.53 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 11262 0 0 0 50 3 0 0 20 0 15 0 446275826 15512608768 12584 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3787258 12584 3355 1 0 3748377 0
[pid=28871/tid=28872] ppid=28869 vsize=15149032 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) R 28869 28869 21506 0 -1 4202560 8141 0 0 0 28 2 0 0 20 0 15 0 446275826 15512608768 12584 33554432000 4194304 4196468 140725242135744 140153118853424 140153098700126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15149032 memory=3472468465636713680 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 12584 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15149032 memory=140336741583516 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 12584 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15149032 memory=140336580134701 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 12584 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15149032 memory=140336580115407 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446275827 15512608768 12584 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15149032 memory=140336741583522 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446275828 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15149032 memory=140336580124623 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446275829 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152054666656 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15149032 memory=280673160246928 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446275829 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152053614064 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15149032 memory=280673160253808 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) R 28869 28869 21506 0 -1 4202560 493 0 0 0 4 0 0 0 20 0 15 0 446275831 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152051499616 140153094274176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15149032 memory=2240 CPUtime=0.05 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) S 28869 28869 21506 0 -1 1077944384 458 0 0 0 5 0 0 0 20 0 15 0 446275831 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0.13 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) S 28869 28869 21506 0 -1 1077944384 867 0 0 0 13 0 0 0 20 0 15 0 446275831 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15149032 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446275831 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15149032 memory=140336741561984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446275832 15512608768 12584 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51788 KiB

[startup+0.703242 s]
/proc/loadavg: 7.87 7.13 7.16 8/237 28885
/proc/meminfo: memFree=31440520/32770624 swapFree=66977096/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15417412 memory=88312 CPUtime=1.7 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 14369 0 0 0 165 5 0 0 20 0 19 0 446275826 15787429888 22078 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3854353 22078 3457 1 0 3815453 0
[pid=28871/tid=28872] ppid=28869 vsize=15417412 memory=2828 CPUtime=0.6 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) S 28869 28869 21506 0 -1 1077944384 9149 0 0 0 57 3 0 0 20 0 19 0 446275826 15787429888 22078 33554432000 4194304 4196468 140725242135744 140153118860416 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446275827 15787429888 22078 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446275827 15787429888 22078 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446275827 15787429888 22078 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15417412 memory=280673160328512 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446275827 15787429888 22078 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15417412 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446275828 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15417412 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152054666656 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15417412 memory=2320955628383095465 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152053614064 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15417412 memory=1425 CPUtime=0.24 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) R 28869 28869 21506 0 -1 4202560 994 0 0 0 24 0 0 0 20 0 19 0 446275831 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152051501720 140153098105655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15417412 memory=11 CPUtime=0.25 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) R 28869 28869 21506 0 -1 4202560 1020 0 0 0 25 0 0 0 20 0 19 0 446275831 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152050442944 140153097831877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15417412 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) R 28869 28869 21506 0 -1 1077944384 1737 0 0 0 38 0 0 0 20 0 19 0 446275831 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15417412 memory=30753 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15417412 memory=1477 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446275832 15787429888 22078 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 89764 KiB

[startup+1.50087 s]
/proc/loadavg: 7.87 7.13 7.16 12/240 28889
/proc/meminfo: memFree=31398836/32770624 swapFree=66977096/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0

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

/proc/28871/task/28889/stat : 28889 (java) R 28869 28869 21506 0 -1 4202560 3006 0 0 0 57145 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152034924352 140152724069290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 2301.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 461648 KiB

[startup+583.697 s]
# the end of solver process 28869 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2306.05 s, system=0.794084 s

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

[startup+582.408 s]
/proc/loadavg: 8.82 8.35 7.80 9/238 28962
/proc/meminfo: memFree=30969352/32770624 swapFree=66977100/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15417412 memory=460196 CPUtime=2301.78 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 62325 0 0 0 230100 78 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3854353 115049 3529 1 0 3815453 0
[pid=28871/tid=28872] ppid=28869 vsize=15417412 memory=1324 CPUtime=0.6 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) S 28869 28869 21506 0 -1 1077944384 9149 0 0 0 57 3 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153118860416 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15417412 memory=1452 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 2126 0 0 0 188 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15417412 memory=1452 CPUtime=1.98 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1677 0 0 0 187 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15417412 memory=460196 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1842 0 0 0 187 12 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15417412 memory=780 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2394 0 0 0 189 10 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15417412 memory=4088 CPUtime=1.53 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 2685 0 0 0 137 16 0 0 20 0 19 0 446275828 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15417412 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152054666720 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152053614080 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15417412 memory=453924 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15417412 memory=1804 CPUtime=1.95 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) S 28869 28869 21506 0 -1 1077944384 10293 0 0 0 194 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152051509232 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15417412 memory=920 CPUtime=2.34 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) S 28869 28869 21506 0 -1 1077944384 12238 0 0 0 233 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15417412 memory=1028 CPUtime=0.67 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) S 28869 28869 21506 0 -1 1077944384 8001 0 0 0 66 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15417412 memory=2828 CPUtime=0.19 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 573 0 0 0 0 19 0 0 20 0 19 0 446275832 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28886] ppid=28869 vsize=15417412 memory=756 CPUtime=571.95 cores=1,3,5,7
/proc/28871/task/28886/stat : 28886 (java) R 28869 28869 21506 0 -1 4202560 1854 0 0 0 57191 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152038082000 140152724069341 0 4 0 16800975 0 0 0 -1 1 0 0 28 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28887] ppid=28869 vsize=15417412 memory=460196 CPUtime=571.58 cores=1,3,5,7
/proc/28871/task/28887/stat : 28887 (java) R 28869 28869 21506 0 -1 4202560 3424 0 0 0 57153 5 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152037031296 140152724066908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28888] ppid=28869 vsize=15417412 memory=288230617509003574 CPUtime=571.3 cores=1,3,5,7
/proc/28871/task/28888/stat : 28888 (java) R 28869 28869 21506 0 -1 4202560 1714 0 0 0 57127 3 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152035978752 140152724065547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28889] ppid=28869 vsize=15417412 memory=15252640887999028 CPUtime=571.59 cores=1,3,5,7
/proc/28871/task/28889/stat : 28889 (java) R 28869 28869 21506 0 -1 4202560 3006 0 0 0 57155 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152034921376 140152724142917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 2301.78 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 461648 KiB

[startup+583.201 s]
/proc/loadavg: 8.82 8.35 7.80 10/238 28962
/proc/meminfo: memFree=30969352/32770624 swapFree=66977100/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15417412 memory=460196 CPUtime=2304.92 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 62333 0 0 0 230414 78 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3854353 115049 3529 1 0 3815453 0
[pid=28871/tid=28872] ppid=28869 vsize=15417412 memory=30732 CPUtime=0.6 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) S 28869 28869 21506 0 -1 1077944384 9149 0 0 0 57 3 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153118860416 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15417412 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 2127 0 0 0 188 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15417412 memory=0 CPUtime=1.98 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1678 0 0 0 187 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15417412 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1843 0 0 0 187 12 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15417412 memory=6791534058613427641 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2394 0 0 0 189 10 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15417412 memory=30732 CPUtime=1.53 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 2685 0 0 0 137 16 0 0 20 0 19 0 446275828 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15417412 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152054666720 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15417412 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152053614080 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15417412 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15417412 memory=780 CPUtime=1.95 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) S 28869 28869 21506 0 -1 1077944384 10293 0 0 0 194 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152051509232 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15417412 memory=1452 CPUtime=2.34 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) S 28869 28869 21506 0 -1 1077944384 12238 0 0 0 233 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15417412 memory=460196 CPUtime=0.67 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) S 28869 28869 21506 0 -1 1077944384 8001 0 0 0 66 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15417412 memory=756 CPUtime=0.19 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 573 0 0 0 0 19 0 0 20 0 19 0 446275832 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28886] ppid=28869 vsize=15417412 memory=1548 CPUtime=572.74 cores=1,3,5,7
/proc/28871/task/28886/stat : 28886 (java) R 28869 28869 21506 0 -1 4202560 1856 0 0 0 57270 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152038082000 140152724190751 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28887] ppid=28869 vsize=15417412 memory=7872 CPUtime=572.36 cores=1,3,5,7
/proc/28871/task/28887/stat : 28887 (java) R 28869 28869 21506 0 -1 4202560 3425 0 0 0 57231 5 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152037027952 140152724190734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28888] ppid=28869 vsize=15417412 memory=2004 CPUtime=572.07 cores=1,3,5,7
/proc/28871/task/28888/stat : 28888 (java) R 28869 28869 21506 0 -1 4202560 1714 0 0 0 57204 3 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152035975416 140152724144349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28889] ppid=28869 vsize=15417412 memory=984 CPUtime=572.38 cores=1,3,5,7
/proc/28871/task/28889/stat : 28889 (java) R 28869 28869 21506 0 -1 4202560 3008 0 0 0 57234 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152034921624 140152723230513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 2304.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 461648 KiB

[startup+583.601 s]
/proc/loadavg: 8.82 8.35 7.80 10/238 28962
/proc/meminfo: memFree=30969352/32770624 swapFree=66977100/67108860
[pid=28869] ppid=28866 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28869/stat : 28869 (xcsp3-exec) S 28866 28869 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446275826 115843072 363 33554432000 4194304 5098028 140721234880064 140721234878168 140414043206268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27529216 140721234887547 140721234887789 140721234887789 140721234890698 0
/proc/28869/statm: 28282 363 304 221 0 87 0
[pid=28871] ppid=28869 vsize=15417412 memory=460196 CPUtime=2306.51 cores=1,3,5,7
/proc/28871/stat : 28871 (java) S 28869 28869 21506 0 -1 1077944320 62335 0 0 0 230573 78 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140725242118288 140153114619639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
/proc/28871/statm: 3854353 115049 3529 1 0 3815453 0
[pid=28871/tid=28872] ppid=28869 vsize=15417412 memory=2004 CPUtime=0.6 cores=1,3,5,7
/proc/28871/task/28872/stat : 28872 (java) S 28869 28869 21506 0 -1 1077944384 9149 0 0 0 57 3 0 0 20 0 19 0 446275826 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153118860416 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28873] ppid=28869 vsize=15417412 memory=984 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28873/stat : 28873 (java) S 28869 28869 21506 0 -1 1077944384 2127 0 0 0 188 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153042659600 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28874] ppid=28869 vsize=15417412 memory=1324 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28874/stat : 28874 (java) S 28869 28869 21506 0 -1 1077944384 1678 0 0 0 188 11 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153041607056 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28875] ppid=28869 vsize=15417412 memory=780 CPUtime=2 cores=1,3,5,7
/proc/28871/task/28875/stat : 28875 (java) S 28869 28869 21506 0 -1 1077944384 1843 0 0 0 188 12 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153040554512 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28876] ppid=28869 vsize=15417412 memory=7872 CPUtime=1.99 cores=1,3,5,7
/proc/28871/task/28876/stat : 28876 (java) S 28869 28869 21506 0 -1 1077944384 2394 0 0 0 189 10 0 0 20 0 19 0 446275827 15787429888 115049 33554432000 4194304 4196468 140725242135744 140153039501968 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28877] ppid=28869 vsize=15417412 memory=1164 CPUtime=1.53 cores=1,3,5,7
/proc/28871/task/28877/stat : 28877 (java) S 28869 28869 21506 0 -1 1077944384 2685 0 0 0 137 16 0 0 20 0 19 0 446275828 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152055720432 140153114630786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28878] ppid=28869 vsize=15417412 memory=9448 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28878/stat : 28878 (java) S 28869 28869 21506 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152054666720 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28879] ppid=28869 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28879/stat : 28879 (java) S 28869 28869 21506 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446275829 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152053614080 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28880] ppid=28869 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28880/stat : 28880 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152052562640 140153114638235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28881] ppid=28869 vsize=15417412 memory=11976 CPUtime=1.95 cores=1,3,5,7
/proc/28871/task/28881/stat : 28881 (java) S 28869 28869 21506 0 -1 1077944384 10293 0 0 0 194 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152051509232 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28882] ppid=28869 vsize=15417412 memory=11484 CPUtime=2.34 cores=1,3,5,7
/proc/28871/task/28882/stat : 28882 (java) S 28869 28869 21506 0 -1 1077944384 12238 0 0 0 233 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152050456688 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28883] ppid=28869 vsize=15417412 memory=4088 CPUtime=0.67 cores=1,3,5,7
/proc/28871/task/28883/stat : 28883 (java) S 28869 28869 21506 0 -1 1077944384 8001 0 0 0 66 1 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152049404144 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28884] ppid=28869 vsize=15417412 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/28871/task/28884/stat : 28884 (java) S 28869 28869 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446275831 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152048351840 140153114629845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28885] ppid=28869 vsize=15417412 memory=1028 CPUtime=0.19 cores=1,3,5,7
/proc/28871/task/28885/stat : 28885 (java) S 28869 28869 21506 0 -1 1077944384 573 0 0 0 0 19 0 0 20 0 19 0 446275832 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152047299376 140153114630786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28886] ppid=28869 vsize=15417412 memory=1060 CPUtime=573.13 cores=1,3,5,7
/proc/28871/task/28886/stat : 28886 (java) R 28869 28869 21506 0 -1 4202560 1856 0 0 0 57309 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152038079392 140152724143287 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28887] ppid=28869 vsize=15417412 memory=2828 CPUtime=572.75 cores=1,3,5,7
/proc/28871/task/28887/stat : 28887 (java) R 28869 28869 21506 0 -1 4202560 3425 0 0 0 57270 5 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152037027960 140152723988959 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28888] ppid=28869 vsize=15417412 memory=756 CPUtime=572.47 cores=1,3,5,7
/proc/28871/task/28888/stat : 28888 (java) R 28869 28869 21506 0 -1 4202560 1714 0 0 0 57244 3 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152035975664 140152724144620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
[pid=28871/tid=28889] ppid=28869 vsize=15417412 memory=1548 CPUtime=572.77 cores=1,3,5,7
/proc/28871/task/28889/stat : 28889 (java) R 28869 28869 21506 0 -1 4202560 3010 0 0 0 57273 4 0 0 20 0 19 0 446275888 15787429888 115049 33554432000 4194304 4196468 140725242135744 140152034924944 140152723482714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140725242139631 140725242139802 140725242139802 140725242142671 0
Current children cumulated CPU time: 2306.51 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 461648 KiB

Child status: 0
Real time (s): 583.697
CPU time (s): 2306.85
CPU user time (s): 2306.05
CPU system time (s): 0.794084
CPU usage (%): 395.213
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 461648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2306.05
system time used= 0.794084
maximum resident set size= 460412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73729
involuntary context switches= 49412


# summary of solver processes directly reported to runsolver:
#   pid: 28869
#   total CPU time (s): 2306.85
#   total CPU user time (s): 2306.05
#   total CPU system time (s): 0.794084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75606 second user time and 6.61711 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-17 08:01:29
IDJOB=4399075
IDBENCH=141694
IDSOLVER=2853
FILE ID=node121/4399075-1568700132
RUNJOBID= node121-1568693400-21538
PBS_JOBID= 21703800
Free space on /tmp= 61384 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP19/hcp/graph48.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399075-1568700132/watcher-4399075-1568700132 -o /tmp/evaluation-result-4399075-1568700132/solver-4399075-1568700132 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 923804367 HOME/instance-4399075-1568700132.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4be1059ecfff617ee6b265be93ea8d71
RANDOM SEED=923804367

node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31499140 kB
MemAvailable:   31724236 kB
Buffers:           63056 kB
Cached:           459988 kB
SwapCached:        10776 kB
Active:           415804 kB
Inactive:         320836 kB
Active(anon):     203664 kB
Inactive(anon):    42320 kB
Active(file):     212140 kB
Inactive(file):   278516 kB
Unevictable:      109148 kB
Mlocked:          109148 kB
SwapTotal:      67108860 kB
SwapFree:       66977096 kB
Dirty:             26480 kB
Writeback:             0 kB
AnonPages:        337588 kB
Mapped:            55312 kB
Shmem:             23900 kB
Slab:             130616 kB
SReclaimable:     100552 kB
SUnreclaim:        30064 kB
KernelStack:        4128 kB
PageTables:         6384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1501260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61356 MiB
End job on node121 at 2019-09-17 08:11:13