Trace number 4283473

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 2520.1001 2448.9099

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.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283473-1503209076.xml"  -tl '2520s' -p 1 -x 3
0.17/0.23	c [HOME/instance-4283473-1503209076.xml, -tl, 2520s, -p, 1, -x, 3]
0.17/0.29	c simple solver
0.36/0.36	c parse instance...
1.01/0.63	c solve instance...
2.24/1.09	o 506 
3.42/1.44	o 505 
4.02/1.67	o 504 
4.93/1.93	o 503 
5.57/2.15	o 502 
6.14/2.33	o 501 
6.44/2.43	o 500 
6.74/2.57	o 499 
7.36/2.71	o 498 
7.66/2.82	o 497 
7.96/2.97	o 496 
8.59/3.12	o 495 
8.87/3.25	o 494 
9.47/3.40	o 493 
9.77/3.55	o 492 
10.07/3.68	o 491 
10.37/3.78	o 490 
10.67/3.88	o 489 
10.97/3.96	o 488 
11.30/4.06	o 487 
11.60/4.11	o 486 
11.87/4.21	o 485 
12.18/4.32	o 484 
12.48/4.42	o 483 
12.78/4.50	o 482 
12.78/4.57	o 481 
13.08/4.65	o 480 
13.08/4.70	o 479 
13.31/4.73	o 478 
13.44/4.80	o 477 
13.44/4.87	o 476 
13.59/4.93	o 475 
13.59/4.99	o 474 
13.70/5.06	o 473 
13.81/5.13	o 472 
13.90/5.20	o 471 
13.90/5.25	o 470 
14.02/5.31	o 469 
14.02/5.37	o 468 
14.19/5.43	o 467 
14.19/5.49	o 466 
14.32/5.56	o 465 
14.42/5.61	o 464 
14.42/5.67	o 463 
14.54/5.74	o 462 
14.64/5.80	o 461 
14.64/5.85	o 460 
14.75/5.91	o 459 
14.75/5.98	o 458 
14.86/6.01	o 457 
14.86/6.05	o 456 
14.86/6.10	o 455 
14.96/6.15	o 454 
15.06/6.21	o 453 
15.06/6.27	o 452 
15.16/6.31	o 451 
15.16/6.36	o 450 
15.26/6.42	o 449 
15.26/6.48	o 448 
15.36/6.54	o 447 
15.46/6.61	o 446 
15.46/6.68	o 445 
15.57/6.72	o 444 
15.57/6.77	o 443 
15.67/6.82	o 442 
15.67/6.89	o 441 
15.78/6.93	o 440 
15.78/6.98	o 439 
15.89/7.05	o 438 
15.89/7.10	o 437 
15.99/7.15	o 436 
16.08/7.21	o 435 
16.08/7.24	o 434 
16.20/7.30	o 433 
16.20/7.36	o 432 
16.30/7.42	o 431 
16.40/7.50	o 430 
16.40/7.56	o 429 
16.50/7.63	o 428 
16.50/7.69	o 427 
16.61/7.75	o 426 
16.71/7.82	o 425 
16.71/7.88	o 424 
16.81/7.95	o 423 
16.81/7.98	o 422 
16.92/8.05	o 421 
16.92/8.10	o 420 
17.07/8.15	o 419 
17.16/8.21	o 418 
17.16/8.27	o 417 
17.26/8.33	o 416 
17.26/8.39	o 415 
17.36/8.45	o 414 
17.46/8.52	o 413 
17.46/8.59	o 412 
17.57/8.64	o 411 
17.67/8.70	o 410 
17.67/8.75	o 409 
17.78/8.82	o 408 
17.78/8.88	o 407 
17.88/8.94	o 406 
17.88/9.00	o 405 
18.00/9.05	o 404 
18.10/9.11	o 403 
18.10/9.16	o 402 
18.20/9.23	o 401 
18.20/9.29	o 400 
18.30/9.34	o 399 
18.42/9.40	o 398 
18.42/9.46	o 397 
18.53/9.53	o 396 
18.53/9.59	o 395 
18.63/9.66	o 394 
18.73/9.71	o 393 
18.73/9.78	o 392 
18.84/9.83	o 391 
18.84/9.87	o 390 
18.94/9.93	o 389 
18.94/9.98	o 388 
19.06/10.05	o 387 
19.17/10.11	o 386 
19.17/10.18	o 385 
19.27/10.25	o 384 
19.37/10.31	o 383 
19.37/10.37	o 382 
19.47/10.44	o 381 
19.47/10.49	o 380 
19.57/10.55	o 379 
19.67/10.60	o 378 
19.67/10.67	o 377 
19.78/10.73	o 376 
19.88/10.81	o 375 
19.88/10.87	o 374 
19.98/10.94	o 373 
19.98/11.00	o 372 
20.10/11.06	o 371 
20.10/11.10	o 370 
20.20/11.16	o 369 
20.29/11.22	o 368 
20.29/11.28	o 367 
20.39/11.34	o 366 
20.39/11.40	o 365 
20.49/11.45	o 364 
20.59/11.51	o 363 
20.59/11.57	o 362 
20.70/11.61	o 361 
20.70/11.67	o 360 
20.80/11.71	o 359 
20.80/11.77	o 358 
20.90/11.83	o 357 
20.90/11.89	o 356 
21.00/11.95	o 355 
21.11/12.01	o 354 
21.11/12.06	o 353 
21.76/12.32	o 352 
21.76/12.38	o 351 
22.07/12.43	o 350 
22.07/12.47	o 349 
22.24/12.52	o 348 
22.24/12.56	o 347 
22.39/12.61	o 346 
22.39/12.66	o 345 
22.50/12.71	o 344 
22.50/12.75	o 343 
22.50/12.79	o 342 
22.65/12.83	o 341 
22.65/12.90	o 340 
22.77/12.94	o 339 
22.77/12.99	o 338 
22.89/13.03	o 337 
22.89/13.08	o 336 
22.99/13.12	o 335 
22.99/13.19	o 334 
23.08/13.23	o 333 
23.08/13.30	o 332 
23.20/13.36	o 331 
23.35/13.42	o 330 
23.35/13.46	o 329 
23.50/13.51	o 328 
23.50/13.56	o 327 
23.60/13.60	o 326 
23.60/13.66	o 325 
23.77/13.70	o 324 
23.77/13.74	o 323 
23.89/13.80	o 322 
23.89/13.85	o 321 
23.89/13.89	o 320 
23.99/13.93	o 319 
23.99/13.99	o 318 
24.11/14.05	o 317 
24.11/14.09	o 316 
24.21/14.14	o 315 
24.21/14.18	o 314 
24.35/14.24	o 313 
24.35/14.28	o 312 
24.46/14.32	o 311 
24.46/14.37	o 310 
24.56/14.41	o 309 
24.56/14.46	o 308 
24.66/14.50	o 307 
24.66/14.56	o 306 
24.76/14.61	o 305 
24.76/14.67	o 304 
24.86/14.72	o 303 
24.86/14.76	o 302 
24.96/14.80	o 301 
24.96/14.85	o 300 
24.96/14.89	o 299 
25.06/14.93	o 298 
25.06/14.97	o 297 
25.18/15.01	o 296 
25.18/15.06	o 295 
25.18/15.10	o 294 
25.28/15.14	o 293 
25.28/15.19	o 292 
25.41/15.25	o 291 
25.41/15.29	o 290 
25.53/15.34	o 289 
25.53/15.38	o 288 
25.64/15.42	o 287 
25.64/15.46	o 286 
25.74/15.51	o 285 
25.74/15.55	o 284 
25.84/15.61	o 283 
25.84/15.67	o 282 
25.94/15.71	o 281 
25.94/15.75	o 280 
26.04/15.80	o 279 
26.04/15.85	o 278 
26.04/15.89	o 277 
26.15/15.94	o 276 
26.15/16.00	o 275 
26.29/16.04	o 274 
26.39/16.11	o 273 
26.39/16.15	o 272 
26.39/16.19	o 271 
26.49/16.23	o 270 
26.49/16.28	o 269 
26.60/16.32	o 268 
26.60/16.37	o 267 
26.70/16.41	o 266 
26.70/16.45	o 265 
26.70/16.49	o 264 
26.80/16.53	o 263 
26.80/16.59	o 262 
26.91/16.64	o 261 
26.91/16.68	o 260 
27.01/16.73	o 259 
27.01/16.78	o 258 
27.11/16.84	o 257 
27.11/16.89	o 256 
27.21/16.93	o 255 
27.21/16.98	o 254 
27.33/17.02	o 253 
27.33/17.07	o 252 
27.43/17.11	o 251 
27.43/17.16	o 250 
27.52/17.20	o 249 
27.52/17.24	o 248 
27.52/17.29	o 247 
27.62/17.34	o 246 
27.62/17.38	o 245 
27.72/17.45	o 244 
27.82/17.53	o 243 
27.94/17.61	o 242 
27.94/17.68	o 241 
28.05/17.75	o 240 
28.15/17.80	o 239 
28.15/17.85	o 238 
28.25/17.92	o 237 
28.25/17.98	o 236 
28.36/18.05	o 235 
28.46/18.11	o 234 
28.55/18.20	o 233 
28.55/18.27	o 232 
28.66/18.35	o 231 
28.76/18.42	o 230 
28.86/18.51	o 229 
28.86/18.58	o 228 
29.09/18.71	o 227 
29.19/18.81	o 226 
29.19/18.90	o 225 
29.39/19.01	o 224 
29.50/19.11	o 223 
29.50/19.19	o 222 
29.69/19.30	o 221 
29.69/19.38	o 220 
29.79/19.49	o 219 
29.99/19.64	o 218 
30.09/19.76	o 217 
30.29/19.91	o 216 
30.29/20.00	o 215 
30.50/20.17	o 214 
30.69/20.30	o 213 
30.79/20.44	o 212 
30.89/20.57	o 211 
31.09/20.70	o 210 
31.19/20.87	o 209 
31.40/21.02	o 208 
31.50/21.18	o 207 
31.69/21.34	o 206 
31.89/21.51	o 205 
31.99/21.68	o 204 
32.19/21.87	o 203 
32.40/22.03	o 202 
32.50/22.19	o 201 
32.69/22.35	o 200 
32.89/22.52	o 199 
33.00/22.68	o 198 
33.20/22.85	o 197 
33.30/23.00	o 196 
33.51/23.16	o 195 
36.87/25.39	o 142 
37.12/25.57	o 141 
37.26/25.66	o 140 
37.53/25.80	o 139 
49.24/35.50	o 137 
2520.09/2448.90	s SATISFIABLE
2520.09/2448.90	v <instantiation>
2520.09/2448.90	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.09/2448.90	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.09/2448.90	v </instantiation>
2520.09/2448.90	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 (15386 MiB free)
  memory of node 1: 16384 MiB (14748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283473-1503209076/watcher-4283473-1503209076 -o /tmp/evaluation-result-4283473-1503209076/solver-4283473-1503209076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1676965991 HOME/instance-4283473-1503209076.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=9017, runsolver pid=9014

[startup+0.100213 s]*
/proc/loadavg: 1.79 1.78 1.78 3/208 9027
/proc/meminfo: memFree=30850108/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13574484 memory=19756 CPUtime=0.04 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 4282 0 0 0 3 1 0 0 20 0 9 0 19314605 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3393621 4939 2132 1 0 3383118 0
[pid=9019/tid=9020] ppid=9017 vsize=13574484 memory=-7318199385804929726 CPUtime=0.04 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 2986 0 0 0 3 1 0 0 20 0 9 0 19314605 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139738048544632 139738037294470 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13574484 memory=5767618082502486409 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 19314606 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13574484 memory=140609855485568 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19314606 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19314606 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13574484 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19314606 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19314607 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 19314608 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737160463264 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 19314608 13900271616 4939 18446744073709551615 4194304 4196468 140722593387328 139737159410672 139738044319445 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21132 KiB

[startup+0.210279 s]*
/proc/loadavg: 1.79 1.78 1.78 4/214 9033
/proc/meminfo: memFree=30840876/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13974352 memory=31140 CPUtime=0.17 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 6262 0 0 0 15 2 0 0 20 0 15 0 19314605 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3493588 7785 2917 1 0 3482964 0
[pid=9019/tid=9020] ppid=9017 vsize=13974352 memory=-7318199385804929726 CPUtime=0.11 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 3577 0 0 0 10 1 0 0 20 0 15 0 19314605 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139738048538232 139738025872208 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13974352 memory=5767618082502486409 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314606 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13974352 memory=140609855485568 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314606 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314607 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19314608 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737160463264 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19314608 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737159410672 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) R 9017 9017 18108 0 -1 4202560 640 0 0 0 1 0 0 0 20 0 15 0 19314611 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737157297880 139738024820734 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) R 9017 9017 18108 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 19314611 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13974352 memory=140609855485568 CPUtime=0.03 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) R 9017 9017 18108 0 -1 4202560 697 0 0 0 3 0 0 0 20 0 15 0 19314611 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737155197944 139738023432438 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13974352 memory=140609855485568 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314614 14309736448 7785 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32516 KiB

[startup+0.310511 s]*
/proc/loadavg: 1.79 1.78 1.78 3/214 9033
/proc/meminfo: memFree=30829496/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13978608 memory=40600 CPUtime=0.36 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 9805 0 0 0 32 4 0 0 20 0 15 0 19314605 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3494652 10150 3054 1 0 3482964 0
[pid=9019/tid=9020] ppid=9017 vsize=13978608 memory=-7677926825137650786 CPUtime=0.21 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 6940 0 0 0 19 2 0 0 20 0 15 0 19314605 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139738048520144 139738028389726 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314606 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13978608 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13978608 memory=140609855496161 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314606 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314607 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19314608 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737160463264 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19314608 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737159410672 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) S 9017 9017 18108 0 -1 1077944384 668 0 0 0 3 0 0 0 20 0 15 0 19314611 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737157306864 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13978608 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) S 9017 9017 18108 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 19314611 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13978608 memory=140609855485568 CPUtime=0.08 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) S 9017 9017 18108 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 19314611 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13978608 memory=140609855485568 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314614 14314094592 10150 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41976 KiB

[startup+0.704329 s]
/proc/loadavg: 1.79 1.78 1.78 4/214 9033
/proc/meminfo: memFree=30817708/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13980732 memory=66808 CPUtime=1.27 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 14035 0 0 0 122 5 0 0 20 0 15 0 19314605 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3495183 16702 3170 1 0 3483476 0
[pid=9019/tid=9020] ppid=9017 vsize=13980732 memory=2244 CPUtime=0.59 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 9368 0 0 0 56 3 0 0 20 0 15 0 19314605 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139738048543488 139737654127830 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314606 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13980732 memory=3052 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13980732 memory=18488 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314606 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 19314607 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13980732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737160463264 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13980732 memory=952 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737159410672 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13980732 memory=2244 CPUtime=0.18 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) R 9017 9017 18108 0 -1 4202560 1150 0 0 0 18 0 0 0 20 0 15 0 19314611 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737157298512 139738025010890 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13980732 memory=4300 CPUtime=0.14 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) R 9017 9017 18108 0 -1 4202560 667 0 0 0 14 0 0 0 20 0 15 0 19314611 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737156240416 139738025485027 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13980732 memory=3052 CPUtime=0.32 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) R 9017 9017 18108 0 -1 4202560 1540 0 0 0 32 0 0 0 20 0 15 0 19314611 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738023742257 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13980732 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314614 14316269568 16702 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68184 KiB

[startup+1.50083 s]
/proc/loadavg: 1.79 1.78 1.78 5/214 9033
/proc/meminfo: memFree=30772472/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13984568 memory=127592 CPUtime=3.72 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 41438 0 0 0 364 8 0 0 20 0 15 0 19314605 14320197632 31898 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3496142 31898 3187 1 0 3484435 0
[pid=9019/tid=9020] ppid=9017 vsize=13984568 memory=18488 CPUtime=1.39 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 10025 0 0 0 135 4 0 0 20 0 15 0 19314605 14320197632 31898 18446744073709551615 4194304 4196468 140722593387328 139738048540496 139737654163232 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13984568 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314606 14320197632 31898 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13984568 memory=13848 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19314606 14320197632 31898 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13984568 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19314606 14320197632 31898 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13984568 memory=2436 CPUtime=0 cores=0,2,4,6

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

/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737159410688 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13980732 memory=844 CPUtime=7.73 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) S 9017 9017 18108 0 -1 1077944384 40736 0 0 0 770 3 0 0 20 0 15 0 19314611 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737157306864 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13980732 memory=281219426406336 CPUtime=7.24 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) S 9017 9017 18108 0 -1 1077944384 47656 0 0 0 719 5 0 0 20 0 15 0 19314611 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13980732 memory=6943526294502006880 CPUtime=0.89 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) S 9017 9017 18108 0 -1 1077944384 13559 0 0 0 87 2 0 0 20 0 15 0 19314611 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13980732 memory=310312 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13980732 memory=1376 CPUtime=1.33 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1172 0 0 0 64 69 0 0 20 0 15 0 19314614 14316269568 76937 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 2452 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 309124 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.39 1.47 4/215 9355
/proc/meminfo: memFree=31005104/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13980732 memory=310820 CPUtime=2513.35 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 235799 0 0 0 251119 216 0 0 20 0 15 0 19314605 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3495183 77705 3259 1 0 3483476 0
[pid=9019/tid=9020] ppid=9017 vsize=13980732 memory=297956 CPUtime=2420.48 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 55583 0 0 0 242029 19 0 0 20 0 15 0 19314605 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139738048548416 139737659923317 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13980732 memory=311336 CPUtime=18.33 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 9861 0 0 0 1805 28 0 0 20 0 15 0 19314606 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13980732 memory=1376 CPUtime=18.38 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 10533 0 0 0 1808 30 0 0 20 0 15 0 19314606 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13980732 memory=310820 CPUtime=18.37 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 11808 0 0 0 1806 31 0 0 20 0 15 0 19314606 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13980732 memory=1376 CPUtime=18.33 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 9155 0 0 0 1805 28 0 0 20 0 15 0 19314606 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13980732 memory=1376 CPUtime=2.14 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 34356 0 0 0 196 18 0 0 20 0 15 0 19314607 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737160463328 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737159410688 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13980732 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13980732 memory=10936 CPUtime=7.73 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) S 9017 9017 18108 0 -1 1077944384 40738 0 0 0 770 3 0 0 20 0 15 0 19314611 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737157306864 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13980732 memory=1376 CPUtime=7.24 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) S 9017 9017 18108 0 -1 1077944384 47658 0 0 0 719 5 0 0 20 0 15 0 19314611 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13980732 memory=1376 CPUtime=0.89 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) S 9017 9017 18108 0 -1 1077944384 13561 0 0 0 87 2 0 0 20 0 15 0 19314611 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13980732 memory=310640 CPUtime=1.36 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1189 0 0 0 65 71 0 0 20 0 15 0 19314614 14316269568 77705 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 2513.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 312196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.9 s]
/proc/loadavg: 1.40 1.40 1.48 3/213 9356
/proc/meminfo: memFree=31011436/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13980732 memory=303152 CPUtime=2520.09 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 236211 0 0 0 251792 217 0 0 20 0 15 0 19314605 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3495183 75788 3259 1 0 3483476 0
[pid=9019/tid=9020] ppid=9017 vsize=13980732 memory=306740 CPUtime=2427.03 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 55591 0 0 0 242684 19 0 0 20 0 15 0 19314605 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139738048548656 139737659309351 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13980732 memory=311336 CPUtime=18.37 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 9934 0 0 0 1809 28 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13980732 memory=297956 CPUtime=18.42 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 10663 0 0 0 1812 30 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13980732 memory=304688 CPUtime=18.42 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 11888 0 0 0 1811 31 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13980732 memory=303664 CPUtime=18.37 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 9276 0 0 0 1809 28 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13980732 memory=303152 CPUtime=2.14 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 34356 0 0 0 196 18 0 0 20 0 15 0 19314607 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737160463328 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737159410688 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13980732 memory=1376 CPUtime=7.73 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) S 9017 9017 18108 0 -1 1077944384 40738 0 0 0 770 3 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737157306864 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13980732 memory=1796 CPUtime=7.24 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) S 9017 9017 18108 0 -1 1077944384 47658 0 0 0 719 5 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13980732 memory=304688 CPUtime=0.89 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) S 9017 9017 18108 0 -1 1077944384 13561 0 0 0 87 2 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13980732 memory=1376 CPUtime=1.36 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1189 0 0 0 65 71 0 0 20 0 15 0 19314614 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 304528 KiB

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

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

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

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

[startup+2448.9 s]
/proc/loadavg: 1.40 1.40 1.48 3/213 9356
/proc/meminfo: memFree=31011436/32770624 swapFree=67108860/67108860
[pid=9017] ppid=9014 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9017/stat : 9017 (xcsp3-exec) S 9014 9017 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19314599 9740288 344 18446744073709551615 4194304 5098028 140724982512992 140724982511096 140076553196156 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 31555584 140724982514041 140724982514246 140724982514246 140724982517739 0
/proc/9017/statm: 2378 344 289 221 0 87 0
[pid=9019] ppid=9017 vsize=13980732 memory=303152 CPUtime=2520.09 cores=0,2,4,6
/proc/9019/stat : 9019 (java) S 9017 9017 18108 0 -1 1077944320 236211 0 0 0 251792 217 0 0 20 0 15 0 19314605 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 140722593369872 139738044309239 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
/proc/9019/statm: 3495183 75788 3259 1 0 3483476 0
[pid=9019/tid=9020] ppid=9017 vsize=13980732 memory=306740 CPUtime=2427.03 cores=0,2,4,6
/proc/9019/task/9020/stat : 9020 (java) R 9017 9017 18108 0 -1 4202560 55591 0 0 0 242684 19 0 0 20 0 15 0 19314605 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139738048548656 139737659309351 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9021] ppid=9017 vsize=13980732 memory=311336 CPUtime=18.37 cores=0,2,4,6
/proc/9019/task/9021/stat : 9021 (java) S 9017 9017 18108 0 -1 1077944384 9934 0 0 0 1809 28 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737978743568 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9022] ppid=9017 vsize=13980732 memory=297956 CPUtime=18.42 cores=0,2,4,6
/proc/9019/task/9022/stat : 9022 (java) S 9017 9017 18108 0 -1 1077944384 10663 0 0 0 1812 30 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737977691024 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9023] ppid=9017 vsize=13980732 memory=304688 CPUtime=18.42 cores=0,2,4,6
/proc/9019/task/9023/stat : 9023 (java) S 9017 9017 18108 0 -1 1077944384 11888 0 0 0 1811 31 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737976638480 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9024] ppid=9017 vsize=13980732 memory=303664 CPUtime=18.37 cores=0,2,4,6
/proc/9019/task/9024/stat : 9024 (java) S 9017 9017 18108 0 -1 1077944384 9276 0 0 0 1809 28 0 0 20 0 15 0 19314606 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737975585936 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9025] ppid=9017 vsize=13980732 memory=303152 CPUtime=2.14 cores=0,2,4,6
/proc/9019/task/9025/stat : 9025 (java) S 9017 9017 18108 0 -1 1077944384 34356 0 0 0 196 18 0 0 20 0 15 0 19314607 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737161517040 139738044320386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9026] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9026/stat : 9026 (java) S 9017 9017 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737160463328 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9027] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9027/stat : 9027 (java) S 9017 9017 18108 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 19314608 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737159410688 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9028] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9028/stat : 9028 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737158359248 139738044327835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9029] ppid=9017 vsize=13980732 memory=1376 CPUtime=7.73 cores=0,2,4,6
/proc/9019/task/9029/stat : 9029 (java) S 9017 9017 18108 0 -1 1077944384 40738 0 0 0 770 3 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737157306864 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9030] ppid=9017 vsize=13980732 memory=1796 CPUtime=7.24 cores=0,2,4,6
/proc/9019/task/9030/stat : 9030 (java) S 9017 9017 18108 0 -1 1077944384 47658 0 0 0 719 5 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737156254320 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9031] ppid=9017 vsize=13980732 memory=304688 CPUtime=0.89 cores=0,2,4,6
/proc/9019/task/9031/stat : 9031 (java) S 9017 9017 18108 0 -1 1077944384 13561 0 0 0 87 2 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737155201776 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9032] ppid=9017 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9019/task/9032/stat : 9032 (java) S 9017 9017 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19314611 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737154149472 139738044319445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
[pid=9019/tid=9033] ppid=9017 vsize=13980732 memory=1376 CPUtime=1.36 cores=0,2,4,6
/proc/9019/task/9033/stat : 9033 (java) S 9017 9017 18108 0 -1 1077944384 1189 0 0 0 65 71 0 0 20 0 15 0 19314614 14316269568 75788 18446744073709551615 4194304 4196468 140722593387328 139737153095984 139738044320386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8646656 140722593391026 140722593391202 140722593391202 140722593394639 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 304528 KiB

Child status: 143
Real time (s): 2448.91
CPU time (s): 2520.1
CPU user time (s): 2517.93
CPU system time (s): 2.1754
CPU usage (%): 102.907
Max. virtual memory (cumulated for all children) (KiB): 13994080
Max. memory (cumulated for all children) (KiB): 515224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.1754
maximum resident set size= 513952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236860
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= 98511
involuntary context switches= 5102


# summary of solver processes directly reported to runsolver:
#   pid: 9017,9019
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.1754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4069 second user time and 24.1371 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-20 07:50:55
IDJOB=4283473
IDBENCH=128676
IDSOLVER=2679
FILE ID=node131/4283473-1503209076
RUNJOBID= node131-1503171558-2270
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-4283473-1503209076/watcher-4283473-1503209076 -o /tmp/evaluation-result-4283473-1503209076/solver-4283473-1503209076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1676965991 HOME/instance-4283473-1503209076.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=1676965991

node131.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.69
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.69
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.69
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.69
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:        30858896 kB
MemAvailable:   31263592 kB
Buffers:          204624 kB
Cached:           486800 kB
SwapCached:            0 kB
Active:          1014604 kB
Inactive:         482452 kB
Active(anon):     805956 kB
Inactive(anon):    16748 kB
Active(file):     208648 kB
Inactive(file):   465704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7760 kB
Writeback:             0 kB
AnonPages:        805276 kB
Mapped:            47104 kB
Shmem:             17060 kB
Slab:             117312 kB
SReclaimable:      92360 kB
SUnreclaim:        24952 kB
KernelStack:        3488 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1436096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    727040 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 node131 at 2017-08-20 08:31:44