Trace number 4272193

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 5a (2017-07-26)SAT (TO)137 2520.0901 2449.8501

General information on the benchmark

NameRcpsp/Rcpsp-m1-j90/
Rcpsp-j90-09-06.xml
MD5SUM6fbeb4485160aba6959a0a0fc5f330c5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints142
Number of domains2
Minimum domain size1
Maximum domain size507
Distribution of domain sizes[{"size":1,"count":1},{"size":507,"count":91}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":9},{"degree":5,"count":16},{"degree":6,"count":36},{"degree":7,"count":17},{"degree":8,"count":11}]
Minimum constraint arity2
Maximum constraint arity72
Distribution of constraint arities[{"arity":2,"count":138},{"arity":63,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":72,"count":1}]
Number of extensional constraints0
Number of intensional constraints138
Distribution of constraint types[{"type":"intension","count":138},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

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.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272193-1502796103.xml"  -tl '2520s' -p 1 -x 3
0.07/0.38	c [HOME/instance-4272193-1502796103.xml, -tl, 2520s, -p, 1, -x, 3]
0.26/0.44	c simple solver
0.26/0.51	c parse instance...
0.87/0.77	c solve instance...
2.40/1.24	o 506 
3.28/1.59	o 505 
4.18/1.83	o 504 
5.12/2.14	o 503 
5.70/2.37	o 502 
6.30/2.59	o 501 
6.91/2.71	o 500 
7.21/2.88	o 499 
7.82/3.03	o 498 
8.14/3.13	o 497 
8.45/3.26	o 496 
8.72/3.39	o 495 
9.32/3.51	o 494 
9.63/3.63	o 493 
9.93/3.79	o 492 
10.53/3.92	o 491 
10.83/4.06	o 490 
11.16/4.17	o 489 
11.46/4.28	o 488 
12.03/4.40	o 487 
12.03/4.47	o 486 
12.64/4.60	o 485 
12.94/4.73	o 484 
13.24/4.86	o 483 
13.54/4.98	o 482 
13.84/5.10	o 481 
14.47/5.22	o 480 
14.74/5.30	o 479 
14.74/5.37	o 478 
15.05/5.47	o 477 
15.35/5.56	o 476 
15.65/5.63	o 475 
15.94/5.70	o 474 
15.94/5.77	o 473 
16.08/5.85	o 472 
16.22/5.92	o 471 
16.22/5.98	o 470 
16.35/6.05	o 469 
16.45/6.11	o 468 
16.45/6.17	o 467 
16.56/6.24	o 466 
16.65/6.31	o 465 
16.65/6.37	o 464 
16.80/6.44	o 463 
16.95/6.51	o 462 
16.95/6.58	o 461 
17.06/6.62	o 460 
17.06/6.69	o 459 
17.17/6.76	o 458 
17.28/6.80	o 457 
17.28/6.85	o 456 
17.38/6.90	o 455 
17.38/6.95	o 454 
17.48/7.01	o 453 
17.48/7.07	o 452 
17.59/7.11	o 451 
17.59/7.17	o 450 
17.70/7.23	o 449 
17.79/7.30	o 448 
17.79/7.37	o 447 
17.89/7.44	o 446 
18.00/7.51	o 445 
18.00/7.56	o 444 
18.11/7.61	o 443 
18.11/7.66	o 442 
18.21/7.74	o 441 
18.21/7.78	o 440 
18.32/7.84	o 439 
18.42/7.91	o 438 
18.42/7.97	o 437 
18.52/8.02	o 436 
18.52/8.08	o 435 
18.63/8.12	o 434 
18.63/8.18	o 433 
18.74/8.25	o 432 
18.83/8.31	o 431 
18.83/8.39	o 430 
18.93/8.46	o 429 
19.03/8.54	o 428 
19.13/8.60	o 427 
19.13/8.67	o 426 
19.23/8.74	o 425 
19.34/8.80	o 424 
19.34/8.87	o 423 
19.44/8.91	o 422 
19.44/8.98	o 421 
19.59/9.04	o 420 
19.59/9.09	o 419 
19.70/9.16	o 418 
19.80/9.22	o 417 
19.80/9.29	o 416 
19.89/9.35	o 415 
19.99/9.41	o 414 
19.99/9.49	o 413 
20.09/9.56	o 412 
20.20/9.62	o 411 
20.20/9.68	o 410 
20.30/9.74	o 409 
20.40/9.81	o 408 
20.40/9.88	o 407 
20.50/9.94	o 406 
20.62/10.01	o 405 
20.62/10.06	o 404 
20.73/10.12	o 403 
20.73/10.18	o 402 
20.85/10.25	o 401 
20.94/10.32	o 400 
20.94/10.37	o 399 
21.04/10.43	o 398 
21.15/10.50	o 397 
21.15/10.57	o 396 
21.25/10.64	o 395 
21.35/10.71	o 394 
21.35/10.77	o 393 
21.46/10.84	o 392 
21.56/10.90	o 391 
21.56/10.94	o 390 
21.66/11.01	o 389 
21.66/11.05	o 388 
21.78/11.12	o 387 
21.78/11.20	o 386 
21.91/11.27	o 385 
22.00/11.34	o 384 
22.10/11.41	o 383 
22.10/11.48	o 382 
22.20/11.55	o 381 
22.31/11.60	o 380 
22.31/11.66	o 379 
22.41/11.72	o 378 
22.41/11.80	o 377 
22.51/11.86	o 376 
22.61/11.94	o 375 
22.71/12.01	o 374 
22.71/12.08	o 373 
22.83/12.15	o 372 
22.93/12.21	o 371 
22.93/12.25	o 370 
23.02/12.32	o 369 
23.02/12.39	o 368 
23.13/12.45	o 367 
23.23/12.51	o 366 
23.23/12.57	o 365 
23.33/12.63	o 364 
23.33/12.69	o 363 
23.43/12.76	o 362 
23.53/12.80	o 361 
23.53/12.86	o 360 
23.63/12.90	o 359 
23.63/12.97	o 358 
23.73/13.03	o 357 
23.73/13.10	o 356 
23.84/13.16	o 355 
23.94/13.23	o 354 
23.94/13.28	o 353 
24.54/13.53	o 352 
24.54/13.59	o 351 
24.84/13.64	o 350 
24.84/13.69	o 349 
25.01/13.74	o 348 
25.01/13.78	o 347 
25.17/13.84	o 346 
25.17/13.89	o 345 
25.27/13.94	o 344 
25.27/13.99	o 343 
25.38/14.03	o 342 
25.38/14.08	o 341 
25.49/14.14	o 340 
25.49/14.18	o 339 
25.62/14.24	o 338 
25.62/14.29	o 337 
25.71/14.34	o 336 
25.71/14.39	o 335 
25.85/14.45	o 334 
25.95/14.50	o 333 
25.95/14.57	o 332 
26.07/14.63	o 331 
26.20/14.70	o 330 
26.20/14.75	o 329 
26.31/14.80	o 328 
26.31/14.85	o 327 
26.41/14.90	o 326 
26.41/14.96	o 325 
26.59/15.00	o 324 
26.59/15.05	o 323 
26.72/15.11	o 322 
26.72/15.16	o 321 
26.82/15.21	o 320 
26.82/15.25	o 319 
26.92/15.31	o 318 
26.92/15.38	o 317 
27.03/15.42	o 316 
27.03/15.47	o 315 
27.13/15.51	o 314 
27.13/15.58	o 313 
27.24/15.63	o 312 
27.24/15.67	o 311 
27.34/15.72	o 310 
27.34/15.77	o 309 
27.46/15.82	o 308 
27.46/15.86	o 307 
27.56/15.92	o 306 
27.56/15.97	o 305 
27.66/16.04	o 304 
27.66/16.10	o 303 
27.76/16.14	o 302 
27.76/16.19	o 301 
27.87/16.24	o 300 
27.87/16.28	o 299 
27.96/16.32	o 298 
27.96/16.37	o 297 
28.06/16.41	o 296 
28.06/16.46	o 295 
28.16/16.51	o 294 
28.16/16.55	o 293 
28.30/16.60	o 292 
28.30/16.67	o 291 
28.48/16.71	o 290 
28.48/16.77	o 289 
28.60/16.81	o 288 
28.60/16.85	o 287 
28.70/16.90	o 286 
28.70/16.94	o 285 
28.70/16.99	o 284 
28.80/17.05	o 283 
28.91/17.11	o 282 
28.91/17.16	o 281 
28.91/17.20	o 280 
29.01/17.25	o 279 
29.10/17.30	o 278 
29.10/17.35	o 277 
29.10/17.40	o 276 
29.25/17.46	o 275 
29.36/17.51	o 274 
29.36/17.58	o 273 
29.46/17.62	o 272 
29.46/17.66	o 271 
29.58/17.71	o 270 
29.58/17.76	o 269 
29.68/17.80	o 268 
29.68/17.85	o 267 
29.68/17.89	o 266 
29.78/17.94	o 265 
29.78/17.98	o 264 
29.88/18.03	o 263 
29.88/18.09	o 262 
29.99/18.13	o 261 
29.99/18.18	o 260 
30.09/18.23	o 259 
30.09/18.29	o 258 
30.18/18.35	o 257 
30.28/18.40	o 256 
30.28/18.44	o 255 
30.39/18.50	o 254 
30.39/18.54	o 253 
30.39/18.59	o 252 
30.49/18.64	o 251 
30.49/18.68	o 250 
30.59/18.73	o 249 
30.59/18.77	o 248 
30.72/18.82	o 247 
30.72/18.87	o 246 
30.82/18.92	o 245 
30.82/18.99	o 244 
30.92/19.08	o 243 
31.03/19.16	o 242 
31.15/19.24	o 241 
31.24/19.31	o 240 
31.24/19.36	o 239 
31.34/19.42	o 238 
31.34/19.49	o 237 
31.44/19.56	o 236 
31.54/19.62	o 235 
31.54/19.69	o 234 
31.64/19.79	o 233 
31.74/19.86	o 232 
31.86/19.95	o 231 
31.96/20.02	o 230 
32.06/20.12	o 229 
32.06/20.19	o 228 
32.28/20.32	o 227 
32.38/20.43	o 226 
32.48/20.53	o 225 
32.58/20.64	o 224 
32.68/20.75	o 223 
32.78/20.84	o 222 
32.88/20.95	o 221 
32.98/21.03	o 220 
33.09/21.16	o 219 
33.28/21.31	o 218 
33.38/21.44	o 217 
33.58/21.60	o 216 
33.68/21.70	o 215 
33.78/21.88	o 214 
33.98/22.02	o 213 
34.09/22.16	o 212 
34.28/22.31	o 211 
34.38/22.45	o 210 
34.58/22.62	o 209 
34.68/22.78	o 208 
34.88/22.96	o 207 
35.09/23.13	o 206 
35.28/23.31	o 205 
35.38/23.50	o 204 
35.58/23.70	o 203 
35.78/23.87	o 202 
35.98/24.04	o 201 
36.19/24.21	o 200 
36.28/24.39	o 199 
36.49/24.57	o 198 
36.69/24.74	o 197 
36.89/24.91	o 196 
36.99/25.07	o 195 
41.30/27.37	o 142 
41.58/27.55	o 141 
41.81/27.64	o 140 
41.94/27.79	o 139 
53.29/37.58	o 137 
2520.07/2447.30	s SATISFIABLE
2520.07/2447.30	v <instantiation>
2520.07/2447.30	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list>
2520.07/2447.30	v 	<values>0 0 0 0 7 13 18 13 22 18 34 24 27 34 64 53 13 24 32 34 7 44 23 44 7 25 25 41 55 61 56 65 74 110 34 77 9 40 34 65 71 42 50 42 87 54 71 56 92 68 68 44 75 10 55 106 38 34 50 50 54 56 78 113 63 55 82 88 61 64 96 59 96 117 122 10 68 123 93 113 80 105 122 125 94 130 96 123 132 103 128 137 </values>
2520.07/2447.30	v </instantiation>
2520.07/2447.30	c Unexpected resolution interruption!

Verifier Data 

OK	137

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272193-1502796103/watcher-4272193-1502796103 -o /tmp/evaluation-result-4272193-1502796103/solver-4272193-1502796103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1352369588 HOME/instance-4272193-1502796103.xml 

running on 4 cores: 0,2,4,6

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=4870, runsolver pid=4867

[startup+0.100937 s]*
/proc/loadavg: 1.25 1.41 1.48 3/198 4873
/proc/meminfo: memFree=30734544/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=105164 memory=5156 CPUtime=0 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 1507 0 0 0 0 0 0 0 20 0 2 0 81830982 107687936 1289 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 26291 1289 964 1 0 16808 0
[pid=4872/tid=4873] ppid=4870 vsize=105164 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) D 4870 4870 897 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 81830983 107687936 1289 18446744073709551615 4194304 4196468 140724368726544 140582585174320 140582573423509 0 0 1 16784584 18446744072100686981 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6536 KiB

[startup+0.305389 s]*
/proc/loadavg: 1.25 1.41 1.48 4/211 4886
/proc/meminfo: memFree=30729908/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13974352 memory=24076 CPUtime=0.07 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 4939 0 0 0 6 1 0 0 20 0 15 0 81830982 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3493588 6019 2720 1 0 3482964 0
[pid=4872/tid=4873] ppid=4870 vsize=13974352 memory=7022364594140610616 CPUtime=0.05 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 3099 0 0 0 5 0 0 0 20 0 15 0 81830983 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582585162112 140582215321075 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13974352 memory=4294979915 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13974352 memory=4049499250594342560 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830995 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81830995 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582057903136 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81830996 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582056850288 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) S 4870 4870 897 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) R 4870 4870 897 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582561267856 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81831002 14309736448 6019 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25456 KiB

[startup+0.410118 s]*
/proc/loadavg: 1.25 1.41 1.48 3/211 4886
/proc/meminfo: memFree=30713792/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13974352 memory=37288 CPUtime=0.26 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 8903 0 0 0 24 2 0 0 20 0 15 0 81830982 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3493588 9322 2982 1 0 3482964 0
[pid=4872/tid=4873] ppid=4870 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 6098 0 0 0 15 2 0 0 20 0 15 0 81830983 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582585168672 140582580944278 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830994 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830995 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81830995 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582057903136 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81830996 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582056850288 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) R 4870 4870 897 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 81830998 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) R 4870 4870 897 0 -1 4202560 216 0 0 0 1 0 0 0 20 0 15 0 81830998 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582562476432 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0.06 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) R 4870 4870 897 0 -1 4202560 765 0 0 0 6 0 0 0 20 0 15 0 81830998 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582560066387 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13974352 memory=140650731202176 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81831002 14309736448 9322 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38668 KiB

[startup+0.710166 s]
/proc/loadavg: 1.25 1.41 1.48 5/211 4886
/proc/meminfo: memFree=30703348/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13980732 memory=57224 CPUtime=0.87 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 11963 0 0 0 82 5 0 0 20 0 15 0 81830982 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3495183 14306 3139 1 0 3483476 0
[pid=4872/tid=4873] ppid=4870 vsize=13980732 memory=15537431597030777 CPUtime=0.45 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 8397 0 0 0 42 3 0 0 20 0 15 0 81830983 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582585170368 140582580944278 0 4 1 16800974 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13980732 memory=7162241189912537186 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13980732 memory=7307489957984359280 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13980732 memory=-7385037593950845031 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13980732 memory=6944657691966978410 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830994 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13980732 memory=4137287014106042739 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 81830995 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13980732 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81830995 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582057903136 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13980732 memory=-2672971631320983069 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81830996 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582056850288 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13980732 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13980732 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) R 4870 4870 897 0 -1 1077944384 703 0 0 0 8 0 0 0 20 0 15 0 81830998 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13980732 memory=6944656575208382560 CPUtime=0.06 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) S 4870 4870 897 0 -1 1077944384 334 0 0 0 6 0 0 0 20 0 15 0 81830998 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13980732 memory=6944656575208382560 CPUtime=0.24 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) R 4870 4870 897 0 -1 4202560 1223 0 0 0 24 0 0 0 20 0 15 0 81830998 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582560647158 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81831002 14316269568 14306 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 58604 KiB

[startup+1.50072 s]
/proc/loadavg: 1.25 1.41 1.48 5/211 4886
/proc/meminfo: memFree=30665496/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13983812 memory=117260 CPUtime=3.28 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 39047 0 0 0 319 9 0 0 20 0 15 0 81830982 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3495953 29315 3182 1 0 3484246 0
[pid=4872/tid=4873] ppid=4870 vsize=13983812 memory=7741214322345132129 CPUtime=1.25 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 9877 0 0 0 121 4 0 0 20 0 15 0 81830983 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582585168864 140582219225905 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13983812 memory=1 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13983812 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13983812 memory=140650582604150 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 81830994 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13983812 memory=281301164920272 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 81830994 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13983812 memory=281301164885192 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 81830995 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13983812 memory=281301165212272 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 81830995 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582057903136 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13983812 memory=288230583149265199 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 81830996 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582056850288 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13983812 memory=25589 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13983812 memory=91365032 CPUtime=0.81 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) R 4870 4870 897 0 -1 4202560 10179 0 0 0 80 1 0 0 20 0 15 0 81830998 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582054728008 140582562479750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13983812 memory=5306538521896404622 CPUtime=0.81 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) R 4870 4870 897 0 -1 4202560 14997 0 0 0 78 3 0 0 20 0 15 0 81830998 14319423488 29315 18446744073709551615 4194304 4196468 140724368726544 140582053680248 140582574029100 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13983812 memory=7594307491775141220 CPUtime=0.39 cores=0,2,4,6

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

[pid=4872] ppid=4870 vsize=13980732 memory=315884 CPUtime=2453.61 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 257482 0 0 0 245158 203 0 0 20 0 15 0 81830982 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3495183 78971 3261 1 0 3483476 0
[pid=4872/tid=4873] ppid=4870 vsize=13980732 memory=1624 CPUtime=2361.44 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 48601 0 0 0 236129 15 0 0 20 0 15 0 81830983 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582585172016 140582220881332 0 4 1 16800974 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13980732 memory=928 CPUtime=17.64 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 13566 0 0 0 1737 27 0 0 20 0 15 0 81830994 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13980732 memory=2164 CPUtime=17.64 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 14860 0 0 0 1735 29 0 0 20 0 15 0 81830994 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13980732 memory=7680170660397595203 CPUtime=17.67 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 11725 0 0 0 1742 25 0 0 20 0 15 0 81830994 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13980732 memory=316908 CPUtime=17.67 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 12684 0 0 0 1740 27 0 0 20 0 15 0 81830994 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13980732 memory=13568214827272361 CPUtime=2.03 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 36963 0 0 0 186 17 0 0 20 0 15 0 81830995 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13980732 memory=11004 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 81830995 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582057903200 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 81830996 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582056850304 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13980732 memory=45052 CPUtime=8.95 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) S 4870 4870 897 0 -1 1077944384 53337 0 0 0 890 5 0 0 20 0 15 0 81830998 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13980732 memory=1292 CPUtime=8.39 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) S 4870 4870 897 0 -1 1077944384 50252 0 0 0 832 7 0 0 20 0 15 0 81830998 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13980732 memory=2316 CPUtime=0.89 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) S 4870 4870 897 0 -1 1077944384 12107 0 0 0 86 3 0 0 20 0 15 0 81830998 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13980732 memory=1228 CPUtime=1.2 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 2040 0 0 0 60 60 0 0 20 0 15 0 81831002 14316269568 78971 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 2453.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 317264 KiB

[startup+2442.3 s]
/proc/loadavg: 1.40 1.36 1.40 3/212 5129
/proc/meminfo: memFree=30402464/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13980732 memory=315896 CPUtime=2514.99 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 261321 0 0 0 251293 206 0 0 20 0 15 0 81830982 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3495183 78974 3261 1 0 3483476 0
[pid=4872/tid=4873] ppid=4870 vsize=13980732 memory=13568214827272361 CPUtime=2420.92 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 49731 0 0 0 242077 15 0 0 20 0 15 0 81830983 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582585171632 140582220880841 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13980732 memory=2760 CPUtime=18.09 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 14154 0 0 0 1782 27 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13980732 memory=7680170660397595203 CPUtime=18.09 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 15337 0 0 0 1780 29 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13980732 memory=-8774313645642428999 CPUtime=18.13 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 12123 0 0 0 1788 25 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13980732 memory=4872558044660077418 CPUtime=18.12 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 12925 0 0 0 1785 27 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13980732 memory=13568214827272361 CPUtime=2.08 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 37947 0 0 0 191 17 0 0 20 0 15 0 81830995 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13980732 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 81830995 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582057903200 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 81830996 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582056850304 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13980732 memory=312204 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13980732 memory=3900 CPUtime=8.95 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) S 4870 4870 897 0 -1 1077944384 53339 0 0 0 890 5 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13980732 memory=2760 CPUtime=8.39 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) S 4870 4870 897 0 -1 1077944384 50254 0 0 0 832 7 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13980732 memory=2752 CPUtime=0.89 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) S 4870 4870 897 0 -1 1077944384 12109 0 0 0 86 3 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13980732 memory=-8774313645642428999 CPUtime=1.23 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 2055 0 0 0 61 62 0 0 20 0 15 0 81831002 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 2514.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 317276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2447.3 s]
/proc/loadavg: 1.45 1.37 1.41 3/212 5129
/proc/meminfo: memFree=30396324/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4870/stat : 4870 (xcsp3-exec) S 4867 4870 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 81830972 9740288 345 18446744073709551615 4194304 5098028 140723344379776 140723344377880 140221531456124 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 24657920 140723344388472 140723344388677 140723344388677 140723344392171 0
/proc/4870/statm: 2378 345 289 221 0 87 0
[pid=4872] ppid=4870 vsize=13980732 memory=315896 CPUtime=2520.07 cores=0,2,4,6
/proc/4872/stat : 4872 (java) S 4870 4870 897 0 -1 1077944320 261338 0 0 0 251801 206 0 0 20 0 15 0 81830982 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140724368709088 140582580932343 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
/proc/4872/statm: 3495183 78974 3261 1 0 3483476 0
[pid=4872/tid=4873] ppid=4870 vsize=13980732 memory=7680170660397595203 CPUtime=2425.89 cores=0,2,4,6
/proc/4872/task/4873/stat : 4873 (java) R 4870 4870 897 0 -1 4202560 49738 0 0 0 242574 15 0 0 20 0 15 0 81830983 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582585171888 140582220881743 0 4 1 16800974 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4874] ppid=4870 vsize=13980732 memory=45060 CPUtime=18.13 cores=0,2,4,6
/proc/4872/task/4874/stat : 4874 (java) S 4870 4870 897 0 -1 1077944384 14154 0 0 0 1785 28 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582537899152 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4875] ppid=4870 vsize=13980732 memory=1292 CPUtime=18.12 cores=0,2,4,6
/proc/4872/task/4875/stat : 4875 (java) S 4870 4870 897 0 -1 1077944384 15339 0 0 0 1783 29 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582536846352 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4876] ppid=4870 vsize=13980732 memory=2316 CPUtime=18.15 cores=0,2,4,6
/proc/4872/task/4876/stat : 4876 (java) S 4870 4870 897 0 -1 1077944384 12123 0 0 0 1790 25 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582535793552 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4877] ppid=4870 vsize=13980732 memory=1728 CPUtime=18.15 cores=0,2,4,6
/proc/4872/task/4877/stat : 4877 (java) S 4870 4870 897 0 -1 1077944384 12927 0 0 0 1788 27 0 0 20 0 15 0 81830994 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582177663760 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4878] ppid=4870 vsize=13980732 memory=1228 CPUtime=2.08 cores=0,2,4,6
/proc/4872/task/4878/stat : 4878 (java) S 4870 4870 897 0 -1 1077944384 37953 0 0 0 191 17 0 0 20 0 15 0 81830995 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582058957168 140582580943490 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4879] ppid=4870 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4879/stat : 4879 (java) S 4870 4870 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 81830995 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582057903200 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4880] ppid=4870 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4880/stat : 4880 (java) S 4870 4870 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 81830996 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582056850304 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4881] ppid=4870 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4881/stat : 4881 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582055798608 140582580950939 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4882] ppid=4870 vsize=13980732 memory=4616 CPUtime=8.95 cores=0,2,4,6
/proc/4872/task/4882/stat : 4882 (java) S 4870 4870 897 0 -1 1077944384 53339 0 0 0 890 5 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582054746992 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4883] ppid=4870 vsize=13980732 memory=1012 CPUtime=8.39 cores=0,2,4,6
/proc/4872/task/4883/stat : 4883 (java) S 4870 4870 897 0 -1 1077944384 50254 0 0 0 832 7 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582053694192 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4884] ppid=4870 vsize=13980732 memory=10164 CPUtime=0.89 cores=0,2,4,6
/proc/4872/task/4884/stat : 4884 (java) S 4870 4870 897 0 -1 1077944384 12109 0 0 0 86 3 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582052641392 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4885] ppid=4870 vsize=13980732 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/4872/task/4885/stat : 4885 (java) S 4870 4870 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 81830998 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582051588832 140582580942549 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
[pid=4872/tid=4886] ppid=4870 vsize=13980732 memory=4068 CPUtime=1.23 cores=0,2,4,6
/proc/4872/task/4886/stat : 4886 (java) S 4870 4870 897 0 -1 1077944384 2055 0 0 0 61 62 0 0 20 0 15 0 81831002 14316269568 78974 18446744073709551615 4194304 4196468 140724368726544 140582050536112 140582580943490 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17477632 140724368728497 140724368728673 140724368728673 140724368732111 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 317276 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+2448.1 s]*
/proc/loadavg: 1.45 1.37 1.41 2/199 5131
/proc/meminfo: memFree=30698644/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2448.9 s]
/proc/loadavg: 1.45 1.37 1.41 2/199 5131
/proc/meminfo: memFree=30698644/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2449.3 s]
/proc/loadavg: 1.45 1.37 1.41 2/199 5131
/proc/meminfo: memFree=30698644/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2449.85
CPU time (s): 2520.09
CPU user time (s): 2518.03
CPU system time (s): 2.06964
CPU usage (%): 102.867
Max. virtual memory (cumulated for all children) (KiB): 13994252
Max. memory (cumulated for all children) (KiB): 526412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.03
system time used= 2.06964
maximum resident set size= 525708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98249
involuntary context switches= 4274


# summary of solver processes directly reported to runsolver:
#   pid: 4870,4872
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2518.03
#   total CPU system time (s): 2.06964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.884 second user time and 22.3995 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 13:07:37
IDJOB=4272193
IDBENCH=128676
IDSOLVER=2664
FILE ID=node125/4272193-1502796103
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-09-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272193-1502796103/watcher-4272193-1502796103 -o /tmp/evaluation-result-4272193-1502796103/solver-4272193-1502796103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1352369588 HOME/instance-4272193-1502796103.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=1352369588

node125.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.07
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.07
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.07
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.07
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:        30739372 kB
MemAvailable:   31732124 kB
Buffers:          303408 kB
Cached:           982680 kB
SwapCached:            0 kB
Active:           986568 kB
Inactive:         611336 kB
Active(anon):     312152 kB
Inactive(anon):    33100 kB
Active(file):     674416 kB
Inactive(file):   578236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7880 kB
Writeback:             0 kB
AnonPages:        311808 kB
Mapped:            63780 kB
Shmem:             33444 kB
Slab:             137800 kB
SReclaimable:     111868 kB
SUnreclaim:        25932 kB
KernelStack:        3408 kB
PageTables:         5728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     904072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-15 13:48:27