Trace number 4284463

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-08-18)SAT (TO)137 260.24301 240.026

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 benchmark126
Best CPU time to get the best result obtained on this benchmark251.89999
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.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284463-1503212959.xml"  -tl '264s' -p 1 -x 3
0.13/0.14	c [HOME/instance-4284463-1503212959.xml, -tl, 264s, -p, 1, -x, 3]
0.13/0.20	c simple solver
0.33/0.26	c parse instance...
1.03/0.53	c solve instance...
2.20/0.98	o 506 
3.42/1.34	o 505 
4.02/1.57	o 504 
4.93/1.84	o 503 
5.56/2.05	o 502 
6.13/2.24	o 501 
6.44/2.34	o 500 
6.74/2.48	o 499 
7.35/2.62	o 498 
7.65/2.72	o 497 
7.95/2.87	o 496 
8.26/3.00	o 495 
8.58/3.10	o 494 
9.16/3.22	o 493 
9.46/3.35	o 492 
9.76/3.47	o 491 
10.07/3.58	o 490 
10.67/3.70	o 489 
10.97/3.81	o 488 
11.26/3.94	o 487 
11.59/4.02	o 486 
11.89/4.16	o 485 
12.16/4.28	o 484 
12.47/4.37	o 483 
12.77/4.45	o 482 
13.07/4.53	o 481 
13.35/4.60	o 480 
13.35/4.65	o 479 
13.35/4.69	o 478 
13.47/4.76	o 477 
13.62/4.83	o 476 
13.62/4.89	o 475 
13.75/4.96	o 474 
14.01/5.08	o 473 
14.31/5.15	o 472 
14.49/5.22	o 471 
14.49/5.28	o 470 
14.60/5.34	o 469 
14.77/5.40	o 468 
14.77/5.46	o 467 
14.91/5.52	o 466 
14.91/5.59	o 465 
15.02/5.64	o 464 
15.13/5.71	o 463 
15.13/5.77	o 462 
15.24/5.84	o 461 
15.24/5.88	o 460 
15.34/5.95	o 459 
15.46/6.01	o 458 
15.46/6.05	o 457 
15.46/6.09	o 456 
15.56/6.14	o 455 
15.56/6.19	o 454 
15.65/6.24	o 453 
15.75/6.31	o 452 
15.75/6.35	o 451 
15.86/6.40	o 450 
15.86/6.46	o 449 
15.96/6.52	o 448 
15.96/6.59	o 447 
16.06/6.65	o 446 
16.16/6.72	o 445 
16.16/6.77	o 444 
16.27/6.82	o 443 
16.27/6.87	o 442 
16.37/6.94	o 441 
16.37/6.98	o 440 
16.48/7.04	o 439 
16.48/7.10	o 438 
16.59/7.15	o 437 
16.68/7.20	o 436 
16.68/7.26	o 435 
16.78/7.30	o 434 
16.78/7.35	o 433 
16.88/7.42	o 432 
16.88/7.48	o 431 
16.99/7.56	o 430 
17.09/7.62	o 429 
17.09/7.70	o 428 
17.19/7.75	o 427 
17.29/7.82	o 426 
17.29/7.88	o 425 
17.40/7.94	o 424 
17.51/8.01	o 423 
17.51/8.05	o 422 
17.63/8.11	o 421 
17.63/8.17	o 420 
17.72/8.22	o 419 
17.72/8.28	o 418 
17.82/8.34	o 417 
17.92/8.40	o 416 
17.92/8.46	o 415 
18.02/8.52	o 414 
18.02/8.59	o 413 
18.13/8.66	o 412 
18.23/8.72	o 411 
18.23/8.77	o 410 
18.33/8.83	o 409 
18.33/8.90	o 408 
18.44/8.96	o 407 
18.55/9.02	o 406 
18.55/9.08	o 405 
18.66/9.13	o 404 
18.66/9.19	o 403 
18.76/9.25	o 402 
18.87/9.31	o 401 
18.87/9.38	o 400 
18.98/9.43	o 399 
18.98/9.49	o 398 
19.08/9.55	o 397 
19.18/9.62	o 396 
19.18/9.68	o 395 
19.28/9.75	o 394 
19.39/9.81	o 393 
19.39/9.87	o 392 
19.49/9.93	o 391 
19.49/9.97	o 390 
19.60/10.03	o 389 
19.60/10.07	o 388 
19.71/10.14	o 387 
19.82/10.21	o 386 
19.82/10.28	o 385 
19.92/10.35	o 384 
20.02/10.41	o 383 
20.02/10.48	o 382 
20.13/10.54	o 381 
20.13/10.59	o 380 
20.23/10.65	o 379 
20.34/10.71	o 378 
20.34/10.78	o 377 
20.45/10.84	o 376 
20.54/10.91	o 375 
20.54/10.98	o 374 
20.66/11.05	o 373 
20.76/11.11	o 372 
20.76/11.17	o 371 
20.86/11.21	o 370 
20.86/11.28	o 369 
20.96/11.34	o 368 
21.06/11.40	o 367 
21.06/11.46	o 366 
21.16/11.51	o 365 
21.16/11.57	o 364 
21.26/11.63	o 363 
21.26/11.69	o 362 
21.36/11.73	o 361 
21.36/11.79	o 360 
21.46/11.83	o 359 
21.46/11.89	o 358 
21.56/11.95	o 357 
21.67/12.01	o 356 
21.67/12.07	o 355 
21.77/12.14	o 354 
21.77/12.19	o 353 
22.37/12.45	o 352 
22.68/12.50	o 351 
22.68/12.55	o 350 
22.68/12.60	o 349 
22.86/12.65	o 348 
22.86/12.69	o 347 
23.04/12.74	o 346 
23.04/12.80	o 345 
23.15/12.84	o 344 
23.15/12.89	o 343 
23.29/12.93	o 342 
23.29/12.97	o 341 
23.42/13.03	o 340 
23.42/13.07	o 339 
23.53/13.13	o 338 
23.53/13.17	o 337 
23.63/13.22	o 336 
23.63/13.27	o 335 
23.74/13.33	o 334 
23.74/13.38	o 333 
23.85/13.44	o 332 
23.95/13.50	o 331 
23.95/13.56	o 330 
24.09/13.61	o 329 
24.09/13.66	o 328 
24.20/13.71	o 327 
24.20/13.75	o 326 
24.35/13.81	o 325 
24.35/13.85	o 324 
24.56/13.90	o 323 
24.56/13.96	o 322 
24.56/14.01	o 321 
24.67/14.05	o 320 
24.67/14.09	o 319 
24.80/14.15	o 318 
24.90/14.21	o 317 
24.90/14.25	o 316 
25.00/14.30	o 315 
25.00/14.34	o 314 
25.12/14.40	o 313 
25.12/14.45	o 312 
25.12/14.49	o 311 
25.22/14.54	o 310 
25.22/14.58	o 309 
25.33/14.63	o 308 
25.33/14.67	o 307 
25.43/14.73	o 306 
25.43/14.78	o 305 
25.53/14.84	o 304 
25.53/14.89	o 303 
25.63/14.93	o 302 
25.63/14.98	o 301 
25.74/15.03	o 300 
25.74/15.07	o 299 
25.85/15.11	o 298 
25.85/15.15	o 297 
25.85/15.19	o 296 
25.94/15.24	o 295 
25.94/15.28	o 294 
26.04/15.32	o 293 
26.04/15.38	o 292 
26.19/15.43	o 291 
26.19/15.47	o 290 
26.33/15.53	o 289 
26.33/15.57	o 288 
26.43/15.61	o 287 
26.43/15.65	o 286 
26.53/15.70	o 285 
26.53/15.74	o 284 
26.63/15.80	o 283 
26.63/15.86	o 282 
26.73/15.90	o 281 
26.73/15.95	o 280 
26.73/15.99	o 279 
26.84/16.04	o 278 
26.84/16.09	o 277 
26.96/16.13	o 276 
26.96/16.20	o 275 
27.07/16.24	o 274 
27.18/16.30	o 273 
27.18/16.35	o 272 
27.18/16.39	o 271 
27.28/16.43	o 270 
27.28/16.48	o 269 
27.40/16.52	o 268 
27.40/16.57	o 267 
27.50/16.61	o 266 
27.50/16.65	o 265 
27.50/16.69	o 264 
27.60/16.74	o 263 
27.70/16.80	o 262 
27.70/16.84	o 261 
27.70/16.88	o 260 
27.81/16.93	o 259 
27.81/16.99	o 258 
27.92/17.05	o 257 
27.92/17.09	o 256 
28.02/17.13	o 255 
28.02/17.19	o 254 
28.12/17.23	o 253 
28.12/17.28	o 252 
28.22/17.32	o 251 
28.22/17.37	o 250 
28.32/17.41	o 249 
28.32/17.45	o 248 
28.42/17.50	o 247 
28.42/17.55	o 246 
28.42/17.60	o 245 
28.53/17.66	o 244 
28.63/17.75	o 243 
28.73/17.83	o 242 
28.85/17.90	o 241 
28.85/17.97	o 240 
28.96/18.02	o 239 
28.96/18.08	o 238 
29.06/18.15	o 237 
29.15/18.21	o 236 
29.15/18.27	o 235 
29.25/18.33	o 234 
29.35/18.43	o 233 
29.45/18.50	o 232 
29.45/18.58	o 231 
29.57/18.65	o 230 
29.67/18.75	o 229 
29.77/18.81	o 228 
29.87/18.94	o 227 
29.97/19.04	o 226 
30.07/19.14	o 225 
30.17/19.25	o 224 
30.27/19.35	o 223 
30.37/19.44	o 222 
30.47/19.54	o 221 
30.57/19.62	o 220 
30.67/19.74	o 219 
30.77/19.89	o 218 
30.97/20.01	o 217 
31.08/20.17	o 216 
31.17/20.26	o 215 
31.37/20.43	o 214 
31.49/20.56	o 213 
31.69/20.70	o 212 
31.79/20.84	o 211 
31.89/20.97	o 210 
32.10/21.14	o 209 
32.19/21.29	o 208 
32.39/21.46	o 207 
32.59/21.62	o 206 
32.69/21.79	o 205 
32.89/21.97	o 204 
33.10/22.16	o 203 
33.29/22.32	o 202 
33.39/22.48	o 201 
33.59/22.65	o 200 
33.79/22.81	o 199 
33.90/22.98	o 198 
34.11/23.15	o 197 
34.30/23.30	o 196 
34.40/23.46	o 195 
38.29/25.75	o 142 
38.51/25.93	o 141 
38.75/26.02	o 140 
38.85/26.16	o 139 
50.55/35.85	o 137 
260.22/240.01	s SATISFIABLE
260.22/240.01	v <instantiation>
260.22/240.01	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>
260.22/240.01	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>
260.22/240.01	v </instantiation>
260.22/240.01	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 (12497 MiB free)
  memory of node 1: 16384 MiB (11531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284463-1503212959/watcher-4284463-1503212959 -o /tmp/evaluation-result-4284463-1503212959/solver-4284463-1503212959 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 929422300 HOME/instance-4284463-1503212959.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=15945, runsolver pid=15942

[startup+0.106288 s]*
/proc/loadavg: 2.01 1.96 1.84 4/218 15961
/proc/meminfo: memFree=24589744/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13978596 memory=28540 CPUtime=0.13 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 5414 0 0 0 12 1 0 0 20 0 15 0 154383511 14314082304 7135 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3494649 7135 2909 1 0 3482966 0
[pid=15947/tid=15948] ppid=15945 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 3338 0 0 0 9 1 0 0 20 0 15 0 154383511 14314082304 7135 33554432000 4194304 4196468 140733373583040 140683202250000 140683182060901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14314082304 7135 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13978596 memory=140091627902592 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14314082304 7135 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383512 14314082304 7135 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14314082304 7135 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13978596 memory=140091627902592 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383513 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154383514 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682176418720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154383514 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682175366128 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 154383516 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13978596 memory=140091627902592 CPUtime=0.02 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) R 15945 15945 13358 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 154383516 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682171157232 140683182097758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13978596 memory=140091627902592 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383517 14314082304 7135 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29924 KiB

[startup+0.21088 s]*
/proc/loadavg: 2.01 1.96 1.84 3/218 15961
/proc/meminfo: memFree=24578116/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13982852 memory=40016 CPUtime=0.33 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 8123 0 0 0 31 2 0 0 20 0 15 0 154383511 14318440448 10004 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3495713 10004 3038 1 0 3482966 0
[pid=15947/tid=15948] ppid=15945 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) D 15945 15945 13358 0 -1 1077944384 5325 0 0 0 18 2 0 0 20 0 15 0 154383511 14318440448 10004 33554432000 4194304 4196468 140733373583040 140683202228176 140683190696493 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318440448 10004 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13982884 memory=288370467779614336 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318473216 10004 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383512 14318473216 10004 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318440448 10004 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13982852 memory=140091627902592 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383513 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154383514 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682176418720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154383514 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682175366128 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 154383516 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 154383516 14318473216 10004 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13982852 memory=140091627902592 CPUtime=0.08 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 154383516 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383517 14318440448 10004 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41400 KiB

[startup+0.310739 s]*
/proc/loadavg: 2.01 1.96 1.84 3/218 15961
/proc/meminfo: memFree=24571292/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13982852 memory=47428 CPUtime=0.51 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 9027 0 0 0 48 3 0 0 20 0 15 0 154383511 14318440448 11857 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3495713 11857 3097 1 0 3482966 0
[pid=15947/tid=15948] ppid=15945 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 6003 0 0 0 27 2 0 0 20 0 15 0 154383511 14318518272 11857 33554432000 4194304 4196468 140733373583040 140683202249600 140683198029206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318518272 11857 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318518272 11857 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383512 14318518272 11857 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14318518272 11857 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383513 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154383514 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682176418720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154383514 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682175366128 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 154383516 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 342 0 0 0 4 0 0 0 20 0 15 0 154383516 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) R 15945 15945 13358 0 -1 4202560 874 0 0 0 12 0 0 0 20 0 15 0 154383516 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682171157232 140683198038618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383517 14318518272 11857 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48812 KiB

[startup+0.700795 s]
/proc/loadavg: 2.01 1.96 1.84 4/218 15961
/proc/meminfo: memFree=24554808/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13984976 memory=78352 CPUtime=1.57 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 14389 0 0 0 152 5 0 0 20 0 15 0 154383511 14320615424 19588 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3496244 19588 3213 1 0 3483478 0
[pid=15947/tid=15948] ppid=15945 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 6860 0 0 0 64 3 0 0 20 0 15 0 154383511 14320615424 19588 33554432000 4194304 4196468 140733373583040 140683202254088 140682815294369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14320615424 19588 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14320615424 19588 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13984976 memory=42988 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383512 14320615424 19588 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154383512 14320615424 19588 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154383513 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682176418720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682175366128 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13984976 memory=796 CPUtime=0.26 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) R 15945 15945 13358 0 -1 4202560 1936 0 0 0 26 0 0 0 20 0 15 0 154383516 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682173246984 140683177278318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13984976 memory=10088 CPUtime=0.27 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) R 15945 15945 13358 0 -1 4202560 2364 0 0 0 27 0 0 0 20 0 15 0 154383516 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682172194232 140683181517469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13984976 memory=1948 CPUtime=0.34 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 1920 0 0 0 34 0 0 0 20 0 15 0 154383516 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154383517 14320615424 19588 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79736 KiB

[startup+1.50083 s]
/proc/loadavg: 2.01 1.96 1.84 5/218 15961
/proc/meminfo: memFree=24508924/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0

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

[pid=15947/tid=15953] ppid=15945 vsize=13984976 memory=1292 CPUtime=0.03 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 940 0 0 0 3 0 0 0 20 0 15 0 154383513 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682176418784 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13984976 memory=7590655979367786604 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682175366144 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13984976 memory=288230596050944315 CPUtime=7.26 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 37821 0 0 0 722 4 0 0 20 0 15 0 154383516 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13984976 memory=1384 CPUtime=8 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 45516 0 0 0 796 4 0 0 20 0 15 0 154383516 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13984976 memory=56 CPUtime=0.84 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 9744 0 0 0 82 2 0 0 20 0 15 0 154383516 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13984976 memory=28829630602021044 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13984976 memory=288293285494280815 CPUtime=0.04 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1166 0 0 0 1 3 0 0 20 0 15 0 154383517 14320615424 78831 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 119.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 316708 KiB

[startup+162.301 s]
/proc/loadavg: 1.83 1.99 1.87 3/217 16270
/proc/meminfo: memFree=24607072/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13984976 memory=341420 CPUtime=180.75 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 121379 0 0 0 18024 51 0 0 20 0 15 0 154383511 14320615424 85355 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3496244 85355 3266 1 0 3483478 0
[pid=15947/tid=15948] ppid=15945 vsize=13984976 memory=337324 CPUtime=161.44 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 15751 0 0 0 16137 7 0 0 20 0 15 0 154383511 14320615424 85355 33554432000 4194304 4196468 140733373583040 140683202256688 140682819815758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13984976 memory=337324 CPUtime=0.71 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 1339 0 0 0 64 7 0 0 20 0 15 0 154383512 14320615424 85355 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13984976 memory=341420 CPUtime=0.72 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 1209 0 0 0 65 7 0 0 20 0 15 0 154383512 14320615424 85355 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13984976 memory=1384 CPUtime=0.7 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1180 0 0 0 64 6 0 0 20 0 15 0 154383512 14320615424 85355 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13984976 memory=1384 CPUtime=0.71 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 882 0 0 0 65 6 0 0 20 0 15 0 154383512 14320615424 85355 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13984976 memory=333088 CPUtime=0.07 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 1204 0 0 0 6 1 0 0 20 0 15 0 154383513 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682176418784 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682175366144 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13984976 memory=1384 CPUtime=7.32 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 40128 0 0 0 728 4 0 0 20 0 15 0 154383516 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13984976 memory=334624 CPUtime=8.05 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 46774 0 0 0 801 4 0 0 20 0 15 0 154383516 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13984976 memory=315972 CPUtime=0.85 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 10295 0 0 0 83 2 0 0 20 0 15 0 154383516 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1270 0 0 0 3 4 0 0 20 0 15 0 154383517 14320615424 85355 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 180.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 342804 KiB

[startup+222.301 s]
/proc/loadavg: 1.60 1.88 1.85 3/217 16272
/proc/meminfo: memFree=24514520/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13984976 memory=419208 CPUtime=242.12 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 125150 0 0 0 24151 61 0 0 20 0 15 0 154383511 14320615424 104802 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3496244 104802 3266 1 0 3483478 0
[pid=15947/tid=15948] ppid=15945 vsize=13984976 memory=419208 CPUtime=220.95 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 16697 0 0 0 22088 7 0 0 20 0 15 0 154383511 14320615424 104802 33554432000 4194304 4196468 140733373583040 140683202256560 140682819816019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13984976 memory=1384 CPUtime=1.13 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 1420 0 0 0 104 9 0 0 20 0 15 0 154383512 14320615424 104802 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13984976 memory=1384 CPUtime=1.15 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 1407 0 0 0 106 9 0 0 20 0 15 0 154383512 14320615424 104802 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13984976 memory=419208 CPUtime=1.15 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1410 0 0 0 106 9 0 0 20 0 15 0 154383512 14320615424 104802 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13984976 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 1522 0 0 0 106 8 0 0 20 0 15 0 154383512 14320615424 104802 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13984976 memory=1384 CPUtime=0.1 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 1467 0 0 0 9 1 0 0 20 0 15 0 154383513 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682176418784 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13984976 memory=1834 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682175366144 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13984976 memory=685 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13984976 memory=417160 CPUtime=7.33 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 40179 0 0 0 729 4 0 0 20 0 15 0 154383516 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13984976 memory=1384 CPUtime=8.1 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 47494 0 0 0 806 4 0 0 20 0 15 0 154383516 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13984976 memory=419208 CPUtime=0.85 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 10905 0 0 0 83 2 0 0 20 0 15 0 154383516 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13984976 memory=1384 CPUtime=0.11 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1302 0 0 0 5 6 0 0 20 0 15 0 154383517 14320615424 104802 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 242.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 420592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.50 1.84 1.83 3/217 16272
/proc/meminfo: memFree=24475808/32770624 swapFree=67108860/67108860
[pid=15945] ppid=15942 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/stat : 15945 (xcsp3-exec) S 15942 15945 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154383510 9740288 346 33554432000 4194304 5098028 140729452417648 140729452415752 140025516655228 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23351296 140729452426357 140729452426560 140729452426560 140729452429291 0
/proc/15945/statm: 2378 346 289 221 0 87 0
[pid=15947] ppid=15945 vsize=13984976 memory=439132 CPUtime=260.22 cores=0,2,4,6
/proc/15947/stat : 15947 (java) S 15945 15945 13358 0 -1 1077944320 125842 0 0 0 25958 64 0 0 20 0 15 0 154383511 14320615424 109783 33554432000 4194304 4196468 140733373583040 140733373565584 140683198017271 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
/proc/15947/statm: 3496244 109783 3266 1 0 3483478 0
[pid=15947/tid=15948] ppid=15945 vsize=13984976 memory=6791534058613427641 CPUtime=238.53 cores=0,2,4,6
/proc/15947/task/15948/stat : 15948 (java) R 15945 15945 13358 0 -1 4202560 16809 0 0 0 23846 7 0 0 20 0 15 0 154383511 14320615424 109783 33554432000 4194304 4196468 140733373583040 140683202256560 140682820118766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15949] ppid=15945 vsize=13984976 memory=4872558044660077418 CPUtime=1.26 cores=0,2,4,6
/proc/15947/task/15949/stat : 15949 (java) S 15945 15945 13358 0 -1 1077944384 1446 0 0 0 116 10 0 0 20 0 15 0 154383512 14320615424 109783 33554432000 4194304 4196468 140733373583040 140683135617808 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15950] ppid=15945 vsize=13984976 memory=960 CPUtime=1.27 cores=0,2,4,6
/proc/15947/task/15950/stat : 15950 (java) S 15945 15945 13358 0 -1 1077944384 1466 0 0 0 118 9 0 0 20 0 15 0 154383512 14320615424 109783 33554432000 4194304 4196468 140733373583040 140683134565264 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15951] ppid=15945 vsize=13984976 memory=18292 CPUtime=1.26 cores=0,2,4,6
/proc/15947/task/15951/stat : 15951 (java) S 15945 15945 13358 0 -1 1077944384 1447 0 0 0 117 9 0 0 20 0 15 0 154383512 14320615424 109783 33554432000 4194304 4196468 140733373583040 140683133512720 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15952] ppid=15945 vsize=13984976 memory=1792 CPUtime=1.27 cores=0,2,4,6
/proc/15947/task/15952/stat : 15952 (java) S 15945 15945 13358 0 -1 1077944384 1571 0 0 0 118 9 0 0 20 0 15 0 154383512 14320615424 109783 33554432000 4194304 4196468 140733373583040 140683132460176 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15953] ppid=15945 vsize=13984976 memory=648 CPUtime=0.11 cores=0,2,4,6
/proc/15947/task/15953/stat : 15953 (java) S 15945 15945 13358 0 -1 1077944384 1470 0 0 0 10 1 0 0 20 0 15 0 154383513 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682177472496 140683198028418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15954] ppid=15945 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15954/stat : 15954 (java) S 15945 15945 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682176418784 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15955] ppid=15945 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15955/stat : 15955 (java) S 15945 15945 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154383514 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682175366144 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15956] ppid=15945 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15956/stat : 15956 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682174314704 140683198035867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15957] ppid=15945 vsize=13984976 memory=1004 CPUtime=7.34 cores=0,2,4,6
/proc/15947/task/15957/stat : 15957 (java) S 15945 15945 13358 0 -1 1077944384 40584 0 0 0 730 4 0 0 20 0 15 0 154383516 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682173262320 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15958] ppid=15945 vsize=13984976 memory=1436 CPUtime=8.1 cores=0,2,4,6
/proc/15947/task/15958/stat : 15958 (java) S 15945 15945 13358 0 -1 1077944384 47494 0 0 0 806 4 0 0 20 0 15 0 154383516 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682172209776 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15959] ppid=15945 vsize=13984976 memory=1200 CPUtime=0.85 cores=0,2,4,6
/proc/15947/task/15959/stat : 15959 (java) S 15945 15945 13358 0 -1 1077944384 10905 0 0 0 83 2 0 0 20 0 15 0 154383516 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682171157232 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15960] ppid=15945 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/15947/task/15960/stat : 15960 (java) S 15945 15945 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154383516 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682170104928 140683198027477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
[pid=15947/tid=15961] ppid=15945 vsize=13984976 memory=1004 CPUtime=0.12 cores=0,2,4,6
/proc/15947/task/15961/stat : 15961 (java) S 15945 15945 13358 0 -1 1077944384 1303 0 0 0 6 6 0 0 20 0 15 0 154383517 14320615424 109783 33554432000 4194304 4196468 140733373583040 140682169051440 140683198028418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14761984 140733373588637 140733373588812 140733373588812 140733373591503 0
Current children cumulated CPU time: 260.22 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 440516 KiB

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

[startup+240.026 s]
# the end of solver process 15945 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=259.59 s, system=0.652642 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.026
CPU time (s): 260.243
CPU user time (s): 259.59
CPU system time (s): 0.652642
CPU usage (%): 108.423
Max. virtual memory (cumulated for all children) (KiB): 13997612
Max. memory (cumulated for all children) (KiB): 440516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.59
system time used= 0.652642
maximum resident set size= 439836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126872
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11825
involuntary context switches= 792


# summary of solver processes directly reported to runsolver:
#   pid: 15945
#   total CPU time (s): 260.243
#   total CPU user time (s): 259.59
#   total CPU system time (s): 0.652642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47992 second user time and 2.44804 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-20 08:54:59
IDJOB=4284463
IDBENCH=128676
IDSOLVER=2680
FILE ID=node112/4284463-1503212959
RUNJOBID= node112-1503208953-13389
PBS_JOBID= 20630869
Free space on /tmp= 61780 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-4284463-1503212959/watcher-4284463-1503212959 -o /tmp/evaluation-result-4284463-1503212959/solver-4284463-1503212959 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 929422300 HOME/instance-4284463-1503212959.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=929422300

node112.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.24
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.24
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.24
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.24
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:        24606252 kB
MemAvailable:   31362284 kB
Buffers:          254992 kB
Cached:          6790868 kB
SwapCached:            0 kB
Active:          1788392 kB
Inactive:        5921828 kB
Active(anon):     616212 kB
Inactive(anon):    84384 kB
Active(file):    1172180 kB
Inactive(file):  5837444 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7792 kB
Writeback:             0 kB
AnonPages:        688736 kB
Mapped:            64032 kB
Shmem:             33416 kB
Slab:             151628 kB
SReclaimable:     124488 kB
SUnreclaim:        27140 kB
KernelStack:        3824 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1481100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61772 MiB
End job on node112 at 2017-08-20 08:58:59