Trace number 4283475

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.0801 2440.8101

General information on the benchmark

NameRcpsp/Rcpsp-m1-j90/
Rcpsp-j90-37-03.xml
MD5SUMf27483baa127f488650207f51eee544f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark427.14899
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints198
Number of domains2
Minimum domain size1
Maximum domain size474
Distribution of domain sizes[{"size":1,"count":1},{"size":474,"count":91}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":8},{"degree":5,"count":18},{"degree":6,"count":26},{"degree":7,"count":26},{"degree":8,"count":11},{"degree":9,"count":1},{"degree":10,"count":1}]
Minimum constraint arity2
Maximum constraint arity53
Distribution of constraint arities[{"arity":2,"count":194},{"arity":42,"count":1},{"arity":43,"count":2},{"arity":53,"count":1}]
Number of extensional constraints0
Number of intensional constraints194
Distribution of constraint types[{"type":"intension","count":194},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283475-1503209187.xml"  -tl '2520s' -p 1 -x 3
0.09/0.27	c [HOME/instance-4283475-1503209187.xml, -tl, 2520s, -p, 1, -x, 3]
0.28/0.33	c simple solver
0.28/0.40	c parse instance...
0.88/0.68	c solve instance...
3.36/1.45	o 473 
3.68/1.58	o 472 
3.98/1.67	o 471 
4.29/1.75	o 470 
4.59/1.84	o 469 
4.89/1.93	o 468 
5.22/2.02	o 467 
5.52/2.11	o 466 
5.80/2.20	o 465 
5.80/2.29	o 464 
6.11/2.38	o 463 
6.41/2.46	o 462 
6.71/2.55	o 461 
7.01/2.64	o 460 
7.32/2.72	o 459 
7.62/2.81	o 458 
7.62/2.90	o 457 
7.92/2.98	o 456 
8.25/3.07	o 455 
8.55/3.16	o 454 
8.82/3.25	o 453 
9.12/3.34	o 452 
9.42/3.42	o 451 
9.72/3.51	o 450 
10.02/3.60	o 449 
10.02/3.69	o 448 
10.32/3.77	o 447 
10.62/3.85	o 446 
10.92/3.93	o 445 
11.25/4.01	o 444 
11.25/4.09	o 443 
11.55/4.17	o 442 
11.82/4.25	o 441 
12.13/4.33	o 440 
12.43/4.41	o 439 
12.43/4.49	o 438 
12.73/4.56	o 437 
13.03/4.64	o 436 
13.33/4.71	o 435 
13.33/4.78	o 434 
13.63/4.84	o 433 
13.93/4.91	o 432 
13.93/4.97	o 431 
14.25/5.03	o 430 
14.25/5.10	o 429 
14.55/5.16	o 428 
14.82/5.22	o 427 
14.82/5.28	o 426 
15.13/5.34	o 425 
15.43/5.40	o 424 
15.43/5.46	o 423 
15.73/5.53	o 422 
15.73/5.59	o 421 
16.03/5.65	o 420 
16.33/5.71	o 419 
16.33/5.76	o 418 
16.63/5.82	o 417 
16.63/5.88	o 416 
16.93/5.94	o 415 
16.93/6.00	o 414 
17.26/6.06	o 413 
17.56/6.12	o 412 
17.56/6.18	o 411 
17.83/6.24	o 410 
18.13/6.30	o 409 
18.13/6.36	o 408 
18.43/6.42	o 407 
18.43/6.47	o 406 
18.73/6.52	o 405 
18.73/6.57	o 404 
19.04/6.61	o 403 
19.04/6.66	o 402 
19.34/6.71	o 401 
19.34/6.76	o 400 
19.63/6.81	o 399 
19.63/6.85	o 398 
19.93/6.90	o 397 
19.93/6.95	o 396 
19.93/6.99	o 395 
20.26/7.04	o 394 
20.26/7.09	o 393 
20.56/7.13	o 392 
20.56/7.18	o 391 
20.84/7.23	o 390 
20.84/7.27	o 389 
21.15/7.32	o 388 
21.15/7.37	o 387 
21.45/7.41	o 386 
21.45/7.46	o 385 
21.75/7.50	o 384 
21.75/7.55	o 383 
21.75/7.59	o 382 
22.05/7.64	o 381 
22.05/7.68	o 380 
22.35/7.73	o 379 
22.35/7.77	o 378 
22.65/7.81	o 377 
22.65/7.86	o 376 
22.95/7.90	o 375 
22.95/7.94	o 374 
22.95/7.98	o 373 
23.28/8.02	o 372 
23.28/8.05	o 371 
23.28/8.09	o 370 
23.58/8.12	o 369 
23.58/8.16	o 368 
23.58/8.19	o 367 
23.85/8.23	o 366 
23.85/8.26	o 365 
24.16/8.30	o 364 
24.16/8.33	o 363 
24.16/8.37	o 362 
24.46/8.40	o 361 
24.46/8.43	o 360 
24.46/8.47	o 359 
24.76/8.50	o 358 
24.76/8.53	o 357 
24.76/8.56	o 356 
24.76/8.59	o 355 
24.92/8.62	o 354 
24.92/8.65	o 353 
24.92/8.68	o 352 
25.04/8.71	o 351 
25.04/8.74	o 350 
25.04/8.77	o 349 
25.22/8.80	o 348 
25.22/8.83	o 347 
25.22/8.86	o 346 
25.22/8.89	o 345 
25.33/8.92	o 344 
25.33/8.95	o 343 
25.33/8.98	o 342 
25.47/9.01	o 341 
25.47/9.04	o 340 
25.47/9.07	o 339 
25.47/9.10	o 338 
25.57/9.13	o 337 
25.57/9.16	o 336 
25.57/9.19	o 335 
25.67/9.22	o 334 
25.67/9.25	o 333 
25.67/9.28	o 332 
25.81/9.31	o 331 
25.81/9.33	o 330 
25.81/9.36	o 329 
25.81/9.39	o 328 
25.91/9.42	o 327 
25.91/9.45	o 326 
25.91/9.48	o 325 
26.03/9.51	o 324 
26.03/9.54	o 323 
26.03/9.57	o 322 
26.03/9.60	o 321 
26.17/9.62	o 320 
26.17/9.65	o 319 
26.17/9.68	o 318 
26.28/9.72	o 317 
26.28/9.76	o 316 
26.38/9.80	o 315 
26.38/9.83	o 314 
26.38/9.87	o 313 
26.48/9.91	o 312 
26.48/9.95	o 311 
26.48/9.98	o 310 
26.59/10.02	o 309 
26.59/10.06	o 308 
26.59/10.10	o 307 
26.69/10.13	o 306 
26.69/10.17	o 305 
26.79/10.21	o 304 
26.79/10.25	o 303 
26.79/10.28	o 302 
26.89/10.32	o 301 
26.89/10.36	o 300 
27.00/10.40	o 299 
27.00/10.43	o 298 
27.00/10.47	o 297 
27.10/10.51	o 296 
27.10/10.55	o 295 
27.10/10.58	o 294 
27.20/10.62	o 293 
27.20/10.66	o 292 
27.20/10.70	o 291 
27.30/10.73	o 290 
27.30/10.77	o 289 
27.40/10.81	o 288 
27.40/10.85	o 287 
27.40/10.88	o 286 
27.50/10.92	o 285 
27.50/10.96	o 284 
27.50/10.99	o 283 
27.61/11.03	o 282 
27.61/11.07	o 281 
27.61/11.11	o 280 
27.73/11.14	o 279 
27.73/11.17	o 278 
27.73/11.20	o 277 
27.82/11.22	o 276 
27.82/11.25	o 275 
27.82/11.27	o 274 
27.82/11.30	o 273 
27.92/11.32	o 272 
27.92/11.35	o 271 
27.92/11.38	o 270 
28.03/11.40	o 269 
28.03/11.43	o 268 
28.03/11.45	o 267 
28.03/11.48	o 266 
28.16/11.51	o 265 
28.16/11.54	o 264 
28.16/11.57	o 263 
28.16/11.59	o 262 
28.30/11.63	o 261 
28.30/11.65	o 260 
28.30/11.68	o 259 
28.41/11.71	o 258 
28.41/11.75	o 257 
28.41/11.78	o 256 
28.51/11.81	o 255 
28.51/11.85	o 254 
28.51/11.89	o 253 
28.61/11.93	o 252 
28.61/11.97	o 251 
28.61/12.00	o 250 
28.72/12.05	o 249 
28.72/12.09	o 248 
28.82/12.14	o 247 
28.82/12.18	o 246 
28.93/12.23	o 245 
28.93/12.29	o 244 
29.03/12.34	o 243 
29.13/12.40	o 242 
29.13/12.47	o 241 
29.23/12.54	o 240 
29.33/12.62	o 239 
29.33/12.68	o 238 
29.44/12.75	o 237 
29.54/12.82	o 236 
29.54/12.88	o 235 
29.64/12.96	o 234 
29.79/13.05	o 151 
30.38/13.26	o 149 
33.63/14.82	o 148 
39.87/19.54	o 144 
47.98/27.12	o 138 
71.53/49.82	o 137 
2520.05/2440.80	s SATISFIABLE
2520.05/2440.80	v <instantiation>
2520.05/2440.80	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.05/2440.80	v 	<values>0 0 0 0 5 5 11 11 40 28 19 30 2 28 30 14 55 28 45 33 30 38 43 82 32 56 52 45 64 58 58 55 92 38 19 3 19 58 105 49 35 52 66 52 43 79 49 88 66 60 72 100 69 64 43 74 88 82 49 92 84 78 79 93 85 58 92 74 91 100 100 40 74 104 107 113 105 113 109 122 121 124 100 102 93 105 121 126 130 112 130 137 </values>
2520.05/2440.80	v </instantiation>
2520.05/2440.80	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 (15286 MiB free)
  memory of node 1: 16384 MiB (15468 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283475-1503209187/watcher-4283475-1503209187 -o /tmp/evaluation-result-4283475-1503209187/solver-4283475-1503209187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 458269552 HOME/instance-4283475-1503209187.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=5157, runsolver pid=5154


[startup+0.100109 s]*
/proc/loadavg: 1.67 1.70 1.70 2/198 5160
/proc/meminfo: memFree=31489604/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13358712 memory=13840 CPUtime=0 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 3213 0 0 0 0 0 0 0 20 0 6 0 19328472 13679321088 3460 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3339678 3460 1867 1 0 3329175 0
[pid=5159/tid=5160] ppid=5157 vsize=13358712 memory=1404226546386182794 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 2020 0 0 0 0 0 0 0 20 0 6 0 19328473 13679321088 3460 18446744073709551615 4194304 4196468 140736252607264 139960935215696 139960915060062 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 19328473 13679321088 3460 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13358712 memory=140690654090880 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 19328473 13679321088 3526 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 19328473 13679321088 3526 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 19328473 13679321088 3526 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB

[startup+0.210061 s]*
/proc/loadavg: 1.67 1.70 1.70 4/211 5173
/proc/meminfo: memFree=31479224/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13974352 memory=27588 CPUtime=0.09 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 5351 0 0 0 8 1 0 0 20 0 15 0 19328472 14309736448 6897 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3493588 6897 2724 1 0 3482964 0
[pid=5159/tid=5160] ppid=5157 vsize=13974352 memory=1404226546386182794 CPUtime=0.06 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 3501 0 0 0 6 0 0 0 20 0 15 0 19328473 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960935205264 139960915060062 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13974352 memory=140690654090880 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13974352 memory=140690654090880 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960408073632 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960407021040 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13974352 memory=140690654090880 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) S 5157 5157 16431 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13974352 memory=140690654090880 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328482 14309736448 6961 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28968 KiB

[startup+0.310313 s]*
/proc/loadavg: 1.67 1.70 1.70 5/211 5173
/proc/meminfo: memFree=31465172/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13974352 memory=36952 CPUtime=0.28 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 8904 0 0 0 26 2 0 0 20 0 15 0 19328472 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3493588 9238 2973 1 0 3482964 0
[pid=5159/tid=5160] ppid=5157 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 6114 0 0 0 15 2 0 0 20 0 15 0 19328473 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960935213328 139960923657589 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13974352 memory=8328162156141927054 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13974352 memory=-7299339441649872004 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960408073632 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19328475 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960407021040 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 19328478 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 19328478 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) R 5157 5157 16431 0 -1 4202560 710 0 0 0 6 0 0 0 20 0 15 0 19328478 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960923216702 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328482 14309736448 9238 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38332 KiB

[startup+0.700754 s]
/proc/loadavg: 1.67 1.70 1.70 6/211 5173
/proc/meminfo: memFree=31454144/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13980732 memory=67136 CPUtime=1.14 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 13653 0 0 0 109 5 0 0 20 0 15 0 19328472 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3495183 16784 3171 1 0 3483476 0
[pid=5159/tid=5160] ppid=5157 vsize=13980732 memory=8751464017575425845 CPUtime=0.55 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 8903 0 0 0 51 4 0 0 20 0 15 0 19328473 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960935215216 139960924076411 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13980732 memory=5861541947240501328 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13980732 memory=7805695078589426000 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13980732 memory=2319400400981082208 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19328475 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19328475 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960408073632 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19328475 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960407021040 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 1205 0 0 0 13 0 0 0 20 0 15 0 19328478 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 839 0 0 0 14 0 0 0 20 0 15 0 19328478 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13980732 memory=30305 CPUtime=0.29 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) R 5157 5157 16431 0 -1 4202560 1397 0 0 0 29 0 0 0 20 0 15 0 19328478 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960402806848 139960931000922 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328482 14316269568 16784 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68516 KiB

[startup+1.50082 s]
/proc/loadavg: 1.67 1.70 1.70 5/211 5173
/proc/meminfo: memFree=31415836/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13983624 memory=118156 CPUtime=3.68 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 35411 0 0 0 360 8 0 0 20 0 15 0 19328472 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3495906 29539 3192 1 0 3484199 0
[pid=5159/tid=5160] ppid=5157 vsize=13983624 memory=4004 CPUtime=1.34 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 9796 0 0 0 130 4 0 0 20 0 15 0 19328473 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960935215816 139960522353176 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13983624 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13983624 memory=140690512396416 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13983624 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19328473 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13983624 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19328473 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13983624 memory=55 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19328475 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13983624 memory=10826 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19328475 14319230976 29539 18446744073709551615 4194304 4196468 140736252607264 139960408073632 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13983624 memory=21051 CPUtime=0 cores=0,2,4,6

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

/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960407021056 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13985868 memory=1380 CPUtime=10.58 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 82329 0 0 0 1050 8 0 0 20 0 15 0 19328478 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13985868 memory=1380 CPUtime=11.2 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 58613 0 0 0 1114 6 0 0 20 0 15 0 19328478 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13985868 memory=360120 CPUtime=0.9 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) S 5157 5157 16431 0 -1 1077944384 14352 0 0 0 88 2 0 0 20 0 15 0 19328478 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13985868 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13985868 memory=15872 CPUtime=1.21 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 2644 0 0 0 57 64 0 0 20 0 15 0 19328482 14321528832 90030 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 2336.92 s
Current children cumulated vsize: 13995380 KiB
Current children cumulated memory: 361500 KiB

[startup+2322.3 s]
/proc/loadavg: 1.44 1.43 1.48 3/214 5413
/proc/meminfo: memFree=31066972/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13985868 memory=357908 CPUtime=2398.43 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 310381 0 0 0 239618 225 0 0 20 0 15 0 19328472 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3496467 89477 3259 1 0 3484760 0
[pid=5159/tid=5160] ppid=5157 vsize=13985868 memory=365608 CPUtime=2300.97 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 50386 0 0 0 230078 19 0 0 20 0 15 0 19328473 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960935219168 139960527646478 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13985868 memory=359444 CPUtime=17.81 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 13325 0 0 0 1751 30 0 0 20 0 15 0 19328473 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13985868 memory=357908 CPUtime=17.78 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 14044 0 0 0 1747 31 0 0 20 0 15 0 19328473 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13985868 memory=1380 CPUtime=17.79 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 14085 0 0 0 1751 28 0 0 20 0 15 0 19328473 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13985868 memory=1380 CPUtime=17.81 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 13972 0 0 0 1750 31 0 0 20 0 15 0 19328473 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13985868 memory=1380 CPUtime=2.23 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 45203 0 0 0 202 21 0 0 20 0 15 0 19328475 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960408073696 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960407021056 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13985868 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13985868 memory=792 CPUtime=10.58 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 82331 0 0 0 1050 8 0 0 20 0 15 0 19328478 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13985868 memory=1380 CPUtime=11.2 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 58616 0 0 0 1114 6 0 0 20 0 15 0 19328478 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13985868 memory=4004 CPUtime=0.91 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) S 5157 5157 16431 0 -1 1077944384 14409 0 0 0 89 2 0 0 20 0 15 0 19328478 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13985868 memory=1380 CPUtime=1.24 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 2659 0 0 0 58 66 0 0 20 0 15 0 19328482 14321528832 89477 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 2398.43 s
Current children cumulated vsize: 13995380 KiB
Current children cumulated memory: 359288 KiB

[startup+2382.3 s]
/proc/loadavg: 1.39 1.43 1.47 3/211 5415
/proc/meminfo: memFree=31078448/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13985868 memory=352308 CPUtime=2459.69 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 313053 0 0 0 245740 229 0 0 20 0 15 0 19328472 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3496467 88077 3259 1 0 3484760 0
[pid=5159/tid=5160] ppid=5157 vsize=13985868 memory=359324 CPUtime=2360.45 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 51338 0 0 0 236026 19 0 0 20 0 15 0 19328473 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960935218784 139960524702560 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13985868 memory=353680 CPUtime=18.23 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 13691 0 0 0 1792 31 0 0 20 0 15 0 19328473 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13985868 memory=353336 CPUtime=18.21 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 14347 0 0 0 1789 32 0 0 20 0 15 0 19328473 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13985868 memory=353336 CPUtime=18.22 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 14470 0 0 0 1793 29 0 0 20 0 15 0 19328473 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13985868 memory=1380 CPUtime=18.23 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 14531 0 0 0 1792 31 0 0 20 0 15 0 19328473 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13985868 memory=1380 CPUtime=2.29 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 45235 0 0 0 207 22 0 0 20 0 15 0 19328475 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13985868 memory=352308 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960408073696 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960407021056 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13985868 memory=281381025396320 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13985868 memory=352308 CPUtime=10.58 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 82331 0 0 0 1050 8 0 0 20 0 15 0 19328478 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13985868 memory=1380 CPUtime=11.2 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 58616 0 0 0 1114 6 0 0 20 0 15 0 19328478 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13985868 memory=352308 CPUtime=0.91 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) S 5157 5157 16431 0 -1 1077944384 14480 0 0 0 89 2 0 0 20 0 15 0 19328478 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13985868 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13985868 memory=2344 CPUtime=1.27 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 2663 0 0 0 59 68 0 0 20 0 15 0 19328482 14321528832 88077 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 2459.69 s
Current children cumulated vsize: 13995380 KiB
Current children cumulated memory: 353688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2440.8 s]
/proc/loadavg: 1.65 1.49 1.49 3/211 5417
/proc/meminfo: memFree=31038912/32770624 swapFree=67108860/67108860
[pid=5157] ppid=5154 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5157/stat : 5157 (xcsp3-exec) S 5154 5157 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19328463 9740288 345 18446744073709551615 4194304 5098028 140723749181312 140723749179416 140419557139068 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 32096256 140723749183866 140723749184070 140723749184070 140723749187563 0
/proc/5157/statm: 2378 345 289 221 0 87 0
[pid=5159] ppid=5157 vsize=13985868 memory=400628 CPUtime=2520.05 cores=0,2,4,6
/proc/5159/stat : 5159 (java) S 5157 5157 16431 0 -1 1077944320 323440 0 0 0 251769 236 0 0 20 0 15 0 19328472 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 140736252589808 139960930979575 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
/proc/5159/statm: 3496467 100157 3259 1 0 3484760 0
[pid=5159/tid=5160] ppid=5157 vsize=13985868 memory=7680170660397595203 CPUtime=2418.23 cores=0,2,4,6
/proc/5159/task/5160/stat : 5160 (java) R 5157 5157 16431 0 -1 4202560 56010 0 0 0 241803 20 0 0 20 0 15 0 19328473 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960935218896 139960528177790 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5161] ppid=5157 vsize=13985868 memory=396488 CPUtime=18.85 cores=0,2,4,6
/proc/5159/task/5161/stat : 5161 (java) S 5157 5157 16431 0 -1 1077944384 14821 0 0 0 1853 32 0 0 20 0 15 0 19328473 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960850393360 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5162] ppid=5157 vsize=13985868 memory=3904 CPUtime=18.82 cores=0,2,4,6
/proc/5159/task/5162/stat : 5162 (java) S 5157 5157 16431 0 -1 1077944384 15249 0 0 0 1849 33 0 0 20 0 15 0 19328473 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960849340816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5163] ppid=5157 vsize=13985868 memory=2924 CPUtime=18.84 cores=0,2,4,6
/proc/5159/task/5163/stat : 5163 (java) S 5157 5157 16431 0 -1 1077944384 15802 0 0 0 1853 31 0 0 20 0 15 0 19328473 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960848288272 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5164] ppid=5157 vsize=13985868 memory=2752 CPUtime=18.85 cores=0,2,4,6
/proc/5159/task/5164/stat : 5164 (java) S 5157 5157 16431 0 -1 1077944384 15456 0 0 0 1853 32 0 0 20 0 15 0 19328473 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960847235728 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5165] ppid=5157 vsize=13985868 memory=4004 CPUtime=2.37 cores=0,2,4,6
/proc/5159/task/5165/stat : 5165 (java) S 5157 5157 16431 0 -1 1077944384 46569 0 0 0 215 22 0 0 20 0 15 0 19328475 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960409127408 139960930990722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5166] ppid=5157 vsize=13985868 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5166/stat : 5166 (java) S 5157 5157 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960408073696 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5167] ppid=5157 vsize=13985868 memory=396488 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5167/stat : 5167 (java) S 5157 5157 16431 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 19328475 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960407021056 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5168] ppid=5157 vsize=13985868 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5168/stat : 5168 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960405969616 139960930998171 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5169] ppid=5157 vsize=13985868 memory=2344 CPUtime=10.59 cores=0,2,4,6
/proc/5159/task/5169/stat : 5169 (java) S 5157 5157 16431 0 -1 1077944384 82400 0 0 0 1051 8 0 0 20 0 15 0 19328478 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960404916208 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5170] ppid=5157 vsize=13985868 memory=1728 CPUtime=11.2 cores=0,2,4,6
/proc/5159/task/5170/stat : 5170 (java) S 5157 5157 16431 0 -1 1077944384 58618 0 0 0 1114 6 0 0 20 0 15 0 19328478 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960403863664 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5171] ppid=5157 vsize=13985868 memory=11952 CPUtime=0.91 cores=0,2,4,6
/proc/5159/task/5171/stat : 5171 (java) S 5157 5157 16431 0 -1 1077944384 14482 0 0 0 89 2 0 0 20 0 15 0 19328478 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960402811120 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5172] ppid=5157 vsize=13985868 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/5159/task/5172/stat : 5172 (java) S 5157 5157 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19328478 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960401758816 139960930989781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
[pid=5159/tid=5173] ppid=5157 vsize=13985868 memory=792 CPUtime=1.3 cores=0,2,4,6
/proc/5159/task/5173/stat : 5173 (java) S 5157 5157 16431 0 -1 1077944384 2682 0 0 0 61 69 0 0 20 0 15 0 19328482 14321528832 100157 18446744073709551615 4194304 4196468 140736252607264 139960400706352 139960930990722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 22007808 140736252608946 140736252609122 140736252609122 140736252612559 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13995380 KiB
Current children cumulated memory: 402008 KiB

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

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

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

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

Child status: 143
Real time (s): 2440.81
CPU time (s): 2520.08
CPU user time (s): 2517.71
CPU system time (s): 2.37483
CPU usage (%): 103.248
Max. virtual memory (cumulated for all children) (KiB): 14060916
Max. memory (cumulated for all children) (KiB): 589504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.71
system time used= 2.37483
maximum resident set size= 605588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103530
involuntary context switches= 4756


# summary of solver processes directly reported to runsolver:
#   pid: 5157,5159
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.71
#   total CPU system time (s): 2.37483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1857 second user time and 23.4867 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-20 07:52:27
IDJOB=4283475
IDBENCH=128699
IDSOLVER=2679
FILE ID=node128/4283475-1503209187
RUNJOBID= node128-1503171959-30214
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-37-03.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-4283475-1503209187/watcher-4283475-1503209187 -o /tmp/evaluation-result-4283475-1503209187/solver-4283475-1503209187 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 458269552 HOME/instance-4283475-1503209187.xml

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

MD5SUM BENCH= f27483baa127f488650207f51eee544f
RANDOM SEED=458269552

node128.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.47
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.47
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.47
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.47
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:        31493264 kB
MemAvailable:   31761056 kB
Buffers:          198624 kB
Cached:           357836 kB
SwapCached:            0 kB
Active:           524652 kB
Inactive:         345844 kB
Active(anon):     314016 kB
Inactive(anon):    16752 kB
Active(file):     210636 kB
Inactive(file):   329092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7880 kB
Writeback:             0 kB
AnonPages:        313588 kB
Mapped:            45976 kB
Shmem:             17060 kB
Slab:             112100 kB
SReclaimable:      87796 kB
SUnreclaim:        24304 kB
KernelStack:        3456 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     906868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 62016 MiB
End job on node128 at 2017-08-20 08:33:08