Trace number 4272195

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)137 2520.0701 2445.02

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.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272195-1502796396.xml"  -tl '2520s' -p 1 -x 3
0.09/0.27	c [HOME/instance-4272195-1502796396.xml, -tl, 2520s, -p, 1, -x, 3]
0.29/0.33	c simple solver
0.29/0.40	c parse instance...
0.88/0.68	c solve instance...
3.37/1.46	o 473 
3.68/1.59	o 472 
3.98/1.69	o 471 
4.29/1.78	o 470 
4.59/1.87	o 469 
4.90/1.96	o 468 
5.23/2.04	o 467 
5.53/2.13	o 466 
5.80/2.21	o 465 
5.80/2.30	o 464 
6.12/2.38	o 463 
6.41/2.47	o 462 
6.71/2.55	o 461 
7.01/2.64	o 460 
7.31/2.72	o 459 
7.61/2.81	o 458 
7.61/2.89	o 457 
7.91/2.97	o 456 
8.25/3.06	o 455 
8.54/3.15	o 454 
8.81/3.23	o 453 
9.11/3.32	o 452 
9.11/3.39	o 451 
9.41/3.47	o 450 
9.71/3.54	o 449 
10.01/3.62	o 448 
10.01/3.70	o 447 
10.31/3.78	o 446 
10.61/3.85	o 445 
10.91/3.92	o 444 
10.91/4.00	o 443 
11.24/4.07	o 442 
11.54/4.14	o 441 
11.82/4.22	o 440 
11.82/4.29	o 439 
12.11/4.36	o 438 
12.41/4.44	o 437 
12.71/4.51	o 436 
12.71/4.58	o 435 
13.02/4.66	o 434 
13.32/4.73	o 433 
13.62/4.80	o 432 
13.62/4.88	o 431 
13.92/4.94	o 430 
14.25/5.01	o 429 
14.25/5.09	o 428 
14.55/5.15	o 427 
14.82/5.22	o 426 
14.82/5.29	o 425 
15.12/5.36	o 424 
15.42/5.43	o 423 
15.72/5.50	o 422 
15.72/5.57	o 421 
16.02/5.64	o 420 
16.32/5.71	o 419 
16.32/5.77	o 418 
16.62/5.84	o 417 
16.92/5.90	o 416 
16.92/5.97	o 415 
17.25/6.03	o 414 
17.25/6.10	o 413 
17.56/6.16	o 412 
17.83/6.23	o 411 
17.83/6.29	o 410 
18.13/6.36	o 409 
18.43/6.43	o 408 
18.43/6.49	o 407 
18.73/6.56	o 406 
19.03/6.62	o 405 
19.03/6.69	o 404 
19.33/6.75	o 403 
19.63/6.82	o 402 
19.63/6.88	o 401 
19.92/6.95	o 400 
20.25/7.01	o 399 
20.25/7.07	o 398 
20.55/7.14	o 397 
20.82/7.20	o 396 
20.82/7.27	o 395 
21.13/7.33	o 394 
21.43/7.40	o 393 
21.43/7.46	o 392 
21.74/7.52	o 391 
21.74/7.59	o 390 
22.04/7.65	o 389 
22.34/7.71	o 388 
22.34/7.77	o 387 
22.64/7.82	o 386 
22.64/7.87	o 385 
22.94/7.92	o 384 
22.94/7.96	o 383 
22.94/7.99	o 382 
23.27/8.03	o 381 
23.27/8.06	o 380 
23.27/8.10	o 379 
23.57/8.13	o 378 
23.57/8.16	o 377 
23.57/8.19	o 376 
23.81/8.23	o 375 
23.81/8.26	o 374 
23.81/8.29	o 373 
23.92/8.32	o 372 
23.92/8.35	o 371 
23.92/8.38	o 370 
24.11/8.41	o 369 
24.11/8.45	o 368 
24.11/8.48	o 367 
24.36/8.51	o 366 
24.36/8.54	o 365 
24.36/8.57	o 364 
24.47/8.60	o 363 
24.47/8.63	o 362 
24.47/8.66	o 361 
24.47/8.69	o 360 
24.58/8.72	o 359 
24.58/8.75	o 358 
24.58/8.78	o 357 
24.70/8.81	o 356 
24.70/8.84	o 355 
24.70/8.87	o 354 
24.70/8.90	o 353 
24.81/8.93	o 352 
24.81/8.96	o 351 
24.81/8.98	o 350 
24.93/9.01	o 349 
24.93/9.04	o 348 
24.93/9.07	o 347 
24.93/9.10	o 346 
25.04/9.13	o 345 
25.04/9.16	o 344 
25.04/9.19	o 343 
25.15/9.22	o 342 
25.15/9.25	o 341 
25.15/9.28	o 340 
25.26/9.30	o 339 
25.26/9.33	o 338 
25.26/9.36	o 337 
25.26/9.39	o 336 
25.39/9.42	o 335 
25.39/9.45	o 334 
25.39/9.48	o 333 
25.56/9.51	o 332 
25.56/9.54	o 331 
25.56/9.56	o 330 
25.56/9.59	o 329 
25.67/9.62	o 328 
25.67/9.65	o 327 
25.67/9.68	o 326 
25.77/9.71	o 325 
25.77/9.74	o 324 
25.77/9.77	o 323 
25.77/9.80	o 322 
25.87/9.82	o 321 
25.87/9.85	o 320 
25.87/9.88	o 319 
25.99/9.91	o 318 
25.99/9.95	o 317 
25.99/9.98	o 316 
26.10/10.02	o 315 
26.10/10.06	o 314 
26.10/10.09	o 313 
26.20/10.13	o 312 
26.20/10.17	o 311 
26.30/10.21	o 310 
26.30/10.24	o 309 
26.30/10.28	o 308 
26.41/10.32	o 307 
26.41/10.35	o 306 
26.41/10.39	o 305 
26.51/10.43	o 304 
26.51/10.46	o 303 
26.62/10.50	o 302 
26.62/10.54	o 301 
26.62/10.57	o 300 
26.72/10.61	o 299 
26.72/10.65	o 298 
26.72/10.68	o 297 
26.82/10.72	o 296 
26.82/10.76	o 295 
26.82/10.79	o 294 
26.92/10.83	o 293 
26.92/10.87	o 292 
27.04/10.91	o 291 
27.04/10.94	o 290 
27.04/10.98	o 289 
27.15/11.02	o 288 
27.15/11.05	o 287 
27.15/11.09	o 286 
27.26/11.12	o 285 
27.26/11.16	o 284 
27.35/11.20	o 283 
27.35/11.23	o 282 
27.35/11.27	o 281 
27.45/11.31	o 280 
27.45/11.34	o 279 
27.45/11.37	o 278 
27.45/11.40	o 277 
27.55/11.42	o 276 
27.55/11.45	o 275 
27.55/11.47	o 274 
27.55/11.50	o 273 
27.65/11.52	o 272 
27.65/11.55	o 271 
27.65/11.57	o 270 
27.76/11.60	o 269 
27.76/11.62	o 268 
27.76/11.65	o 267 
27.76/11.67	o 266 
27.87/11.71	o 265 
27.87/11.74	o 264 
27.87/11.76	o 263 
27.87/11.79	o 262 
27.99/11.82	o 261 
27.99/11.84	o 260 
27.99/11.87	o 259 
28.09/11.90	o 258 
28.09/11.93	o 257 
28.09/11.97	o 256 
28.09/12.00	o 255 
28.20/12.03	o 254 
28.20/12.07	o 253 
28.30/12.11	o 252 
28.30/12.15	o 251 
28.30/12.19	o 250 
28.39/12.23	o 249 
28.39/12.28	o 248 
28.49/12.32	o 247 
28.49/12.37	o 246 
28.61/12.41	o 245 
28.61/12.47	o 244 
28.71/12.51	o 243 
28.71/12.57	o 242 
28.81/12.65	o 241 
28.91/12.72	o 240 
28.91/12.79	o 239 
29.02/12.85	o 238 
29.12/12.93	o 237 
29.12/13.00	o 236 
29.23/13.06	o 235 
29.33/13.13	o 234 
29.50/13.22	o 151 
30.13/13.43	o 149 
33.17/15.00	o 148 
39.70/19.70	o 144 
47.71/27.26	o 138 
71.04/49.78	o 137 
2520.04/2445.01	s SATISFIABLE
2520.04/2445.01	v <instantiation>
2520.04/2445.01	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list>
2520.04/2445.01	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.04/2445.01	v </instantiation>
2520.04/2445.01	c Unexpected resolution interruption!

Verifier Data 

OK	137

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15168 MiB free)
  memory of node 1: 16384 MiB (14862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272195-1502796396/watcher-4272195-1502796396 -o /tmp/evaluation-result-4272195-1502796396/solver-4272195-1502796396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 259822046 HOME/instance-4272195-1502796396.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
solver pid=31175, runsolver pid=31172
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 1.36 1.26 1.32 3/204 31182
/proc/meminfo: memFree=30744132/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=13441356 memory=17204 CPUtime=0.02 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 3547 0 0 0 1 1 0 0 20 0 7 0 33522250 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3360339 4301 2032 1 0 3349836 0
[pid=31177/tid=31178] ppid=31175 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 2304 0 0 0 1 0 0 0 20 0 7 0 33522250 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795708062480 139795703841949 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 33522251 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=13441356 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 33522251 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 33522251 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 33522251 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=13441356 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 33522252 13763948544 4301 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB

[startup+0.210032 s]*
/proc/loadavg: 1.36 1.26 1.32 3/213 31191
/proc/meminfo: memFree=30737388/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=13974352 memory=28160 CPUtime=0.09 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 4931 0 0 0 8 1 0 0 20 0 15 0 33522250 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3493588 7040 2751 1 0 3482964 0
[pid=31177/tid=31178] ppid=31175 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 3075 0 0 0 7 1 0 0 20 0 15 0 33522250 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795708050352 139795689502099 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=13974352 memory=11602 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=13974352 memory=3544810145303590560 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=13974352 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522252 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33522253 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795180786848 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33522253 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795179733744 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 33522255 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 33522255 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=13974352 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) S 31175 31175 7968 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 15 0 33522255 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=13974352 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522261 14309736448 7040 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29540 KiB

[startup+0.31414 s]*
/proc/loadavg: 1.36 1.26 1.32 4/213 31191
/proc/meminfo: memFree=30724716/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=13974352 memory=37184 CPUtime=0.29 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 8447 0 0 0 26 3 0 0 20 0 15 0 33522250 14309736448 9296 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3493588 9296 2972 1 0 3482964 0
[pid=31177/tid=31178] ppid=31175 vsize=13974352 memory=7311146985107750967 CPUtime=0.18 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 5732 0 0 0 16 2 0 0 20 0 15 0 33522250 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795708057536 139795298249364 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=13974352 memory=11602 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=13974352 memory=3544810145303590560 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522251 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=13974352 memory=8315307610021228019 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522252 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33522253 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795180786848 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33522253 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795179733744 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) R 31175 31175 7968 0 -1 4202560 593 0 0 0 2 0 0 0 20 0 15 0 33522255 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795688212434 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=13974352 memory=3472323898181169199 CPUtime=0.01 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 33522255 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=13974352 memory=140546647619200 CPUtime=0.06 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) R 31175 31175 7968 0 -1 1077944384 719 0 0 0 6 0 0 0 20 0 15 0 33522255 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=13974352 memory=140546647619200 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522261 14309736448 9808 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38564 KiB

[startup+0.700797 s]
/proc/loadavg: 1.36 1.26 1.32 6/213 31191
/proc/meminfo: memFree=30714112/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=13980732 memory=66900 CPUtime=1.13 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 13088 0 0 0 108 5 0 0 20 0 15 0 33522250 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3495183 16725 3165 1 0 3483476 0
[pid=31177/tid=31178] ppid=31175 vsize=13980732 memory=281092993146496 CPUtime=0.54 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 8446 0 0 0 51 3 0 0 20 0 15 0 33522250 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795708056736 139795684646028 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=13980732 memory=2110897103641604 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=13980732 memory=281092993080384 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=13980732 memory=3472328296227699185 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522251 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 33522252 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 33522253 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795180786848 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 33522253 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795179733744 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 1116 0 0 0 15 0 0 0 20 0 15 0 33522255 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=13980732 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 763 0 0 0 11 0 0 0 20 0 15 0 33522255 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) R 31175 31175 7968 0 -1 4202560 1456 0 0 0 29 0 0 0 20 0 15 0 33522255 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795175520576 139795696057150 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522261 14316269568 16725 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68280 KiB

[startup+1.50079 s]
/proc/loadavg: 1.36 1.26 1.32 5/213 31191
/proc/meminfo: memFree=30676224/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=13983624 memory=114924 CPUtime=3.68 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 32764 0 0 0 360 8 0 0 20 0 15 0 33522250 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3495906 28731 3190 1 0 3484199 0
[pid=31177/tid=31178] ppid=31175 vsize=13983624 memory=86 CPUtime=1.35 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 9107 0 0 0 131 4 0 0 20 0 15 0 33522250 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795708058840 139795300623063 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=13983624 memory=140546496803642 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=13983624 memory=281092993553968 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=13983624 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 33522251 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=13983624 memory=5875297955273673116 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 33522251 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=13983624 memory=-8556737399566130288 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 33522252 14319230976 28731 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=13983624 memory=-8766996007585145204 CPUtime=0 cores=0,2,4,6

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

/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795179733760 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=14046268 memory=372188 CPUtime=10.8 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 63900 0 0 0 1073 7 0 0 20 0 15 0 33522255 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=14046268 memory=1380 CPUtime=10.45 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 69646 0 0 0 1038 7 0 0 20 0 15 0 33522255 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=14046268 memory=372188 CPUtime=0.89 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) S 31175 31175 7968 0 -1 1077944384 12462 0 0 0 87 2 0 0 20 0 15 0 33522255 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=14046268 memory=1380 CPUtime=1.22 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 3351 0 0 0 65 57 0 0 20 0 15 0 33522261 14383378432 93047 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 2394.18 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 373568 KiB

[startup+2382.3 s]
/proc/loadavg: 1.39 1.56 1.49 3/214 31561
/proc/meminfo: memFree=30451424/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=14046268 memory=367428 CPUtime=2455.71 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 261183 0 0 0 245371 200 0 0 20 0 15 0 33522250 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3511567 91857 3260 1 0 3499860 0
[pid=31177/tid=31178] ppid=31175 vsize=14046268 memory=367620 CPUtime=2361.09 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 39434 0 0 0 236091 18 0 0 20 0 15 0 33522250 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795708059488 139795305496830 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=14046268 memory=1380 CPUtime=17.27 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 11081 0 0 0 1701 26 0 0 20 0 15 0 33522251 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=14046268 memory=367428 CPUtime=17.24 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 10313 0 0 0 1699 25 0 0 20 0 15 0 33522251 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=14046268 memory=367428 CPUtime=17.25 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 10917 0 0 0 1700 25 0 0 20 0 15 0 33522251 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=14046268 memory=1380 CPUtime=17.23 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 10408 0 0 0 1697 26 0 0 20 0 15 0 33522251 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=14046268 memory=367612 CPUtime=2.14 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 28172 0 0 0 195 19 0 0 20 0 15 0 33522252 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=14046268 memory=367428 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795180786912 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795179733760 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=14046268 memory=367428 CPUtime=10.8 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 63902 0 0 0 1073 7 0 0 20 0 15 0 33522255 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=14046268 memory=1380 CPUtime=10.45 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 69648 0 0 0 1038 7 0 0 20 0 15 0 33522255 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=14046268 memory=367620 CPUtime=0.89 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) S 31175 31175 7968 0 -1 1077944384 12595 0 0 0 87 2 0 0 20 0 15 0 33522255 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=14046268 memory=368632 CPUtime=1.25 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 3371 0 0 0 67 58 0 0 20 0 15 0 33522261 14383378432 91857 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 2455.71 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 368808 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.52 1.48 3/214 31565
/proc/meminfo: memFree=30433744/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=14046268 memory=384908 CPUtime=2517.28 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 264861 0 0 0 251522 206 0 0 20 0 15 0 33522250 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3511567 96227 3260 1 0 3499860 0
[pid=31177/tid=31178] ppid=31175 vsize=14046268 memory=392968 CPUtime=2420.46 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 40556 0 0 0 242028 18 0 0 20 0 15 0 33522250 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795708059472 139795308184021 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=14046268 memory=388880 CPUtime=17.8 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 11514 0 0 0 1753 27 0 0 20 0 15 0 33522251 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=14046268 memory=387856 CPUtime=17.76 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 10677 0 0 0 1750 26 0 0 20 0 15 0 33522251 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=14046268 memory=386316 CPUtime=17.77 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 11246 0 0 0 1751 26 0 0 20 0 15 0 33522251 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=14046268 memory=1380 CPUtime=17.75 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 10768 0 0 0 1749 26 0 0 20 0 15 0 33522251 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=14046268 memory=1380 CPUtime=2.21 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 29167 0 0 0 201 20 0 0 20 0 15 0 33522252 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=14046268 memory=386448 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795180786912 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=14046268 memory=370660 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795179733760 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=14046268 memory=364500 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=14046268 memory=1380 CPUtime=10.81 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 63957 0 0 0 1074 7 0 0 20 0 15 0 33522255 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=14046268 memory=392968 CPUtime=10.45 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 69651 0 0 0 1038 7 0 0 20 0 15 0 33522255 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=14046268 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) S 31175 31175 7968 0 -1 1077944384 12597 0 0 0 87 2 0 0 20 0 15 0 33522255 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=14046268 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=14046268 memory=1380 CPUtime=1.29 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 3386 0 0 0 69 60 0 0 20 0 15 0 33522261 14383378432 96227 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 2517.28 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 386288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445 s]*
/proc/loadavg: 1.37 1.52 1.48 3/214 31565
/proc/meminfo: memFree=30436100/32770624 swapFree=67108860/67108860
[pid=31175] ppid=31172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31175/stat : 31175 (xcsp3-exec) S 31172 31175 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 33522242 9740288 345 18446744073709551615 4194304 5098028 140722285334272 140722285332376 140685422686844 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 38240256 140722285339002 140722285339206 140722285339206 140722285342699 0
/proc/31175/statm: 2378 345 289 221 0 87 0
[pid=31177] ppid=31175 vsize=14046268 memory=382856 CPUtime=2520.04 cores=0,2,4,6
/proc/31177/stat : 31177 (java) S 31175 31175 7968 0 -1 1077944320 264864 0 0 0 251798 206 0 0 20 0 15 0 33522250 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 140725889214272 139795703820023 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
/proc/31177/statm: 3511567 95714 3260 1 0 3499860 0
[pid=31177/tid=31178] ppid=31175 vsize=14046268 memory=-8774313645642428999 CPUtime=2423.15 cores=0,2,4,6
/proc/31177/task/31178/stat : 31178 (java) R 31175 31175 7968 0 -1 4202560 40559 0 0 0 242297 18 0 0 20 0 15 0 33522250 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795708059840 139795305498087 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31179] ppid=31175 vsize=14046268 memory=4126316290023845779 CPUtime=17.81 cores=0,2,4,6
/proc/31177/task/31179/stat : 31179 (java) S 31175 31175 7968 0 -1 1077944384 11514 0 0 0 1754 27 0 0 20 0 15 0 33522251 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795623234576 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31180] ppid=31175 vsize=14046268 memory=4304 CPUtime=17.77 cores=0,2,4,6
/proc/31177/task/31180/stat : 31180 (java) S 31175 31175 7968 0 -1 1077944384 10677 0 0 0 1751 26 0 0 20 0 15 0 33522251 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795622182032 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31181] ppid=31175 vsize=14046268 memory=1588 CPUtime=17.79 cores=0,2,4,6
/proc/31177/task/31181/stat : 31181 (java) S 31175 31175 7968 0 -1 1077944384 11246 0 0 0 1753 26 0 0 20 0 15 0 33522251 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795621128976 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31182] ppid=31175 vsize=14046268 memory=928 CPUtime=17.76 cores=0,2,4,6
/proc/31177/task/31182/stat : 31182 (java) S 31175 31175 7968 0 -1 1077944384 10768 0 0 0 1750 26 0 0 20 0 15 0 33522251 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795620076432 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31183] ppid=31175 vsize=14046268 memory=2164 CPUtime=2.21 cores=0,2,4,6
/proc/31177/task/31183/stat : 31183 (java) S 31175 31175 7968 0 -1 1077944384 29167 0 0 0 201 20 0 0 20 0 15 0 33522252 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795181840624 139795703831170 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31184] ppid=31175 vsize=14046268 memory=364500 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31184/stat : 31184 (java) S 31175 31175 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795180786912 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31185] ppid=31175 vsize=14046268 memory=7599388386692169796 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31185/stat : 31185 (java) S 31175 31175 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 33522253 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795179733760 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31186] ppid=31175 vsize=14046268 memory=840 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31186/stat : 31186 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522255 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795178682320 139795703838619 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31187] ppid=31175 vsize=14046268 memory=3880 CPUtime=10.81 cores=0,2,4,6
/proc/31177/task/31187/stat : 31187 (java) S 31175 31175 7968 0 -1 1077944384 63957 0 0 0 1074 7 0 0 20 0 15 0 33522255 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795177630448 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31188] ppid=31175 vsize=14046268 memory=3868 CPUtime=10.45 cores=0,2,4,6
/proc/31177/task/31188/stat : 31188 (java) S 31175 31175 7968 0 -1 1077944384 69651 0 0 0 1038 7 0 0 20 0 15 0 33522255 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795176577904 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31189] ppid=31175 vsize=14046268 memory=3904 CPUtime=0.89 cores=0,2,4,6
/proc/31177/task/31189/stat : 31189 (java) S 31175 31175 7968 0 -1 1077944384 12597 0 0 0 87 2 0 0 20 0 15 0 33522255 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795175524848 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31190] ppid=31175 vsize=14046268 memory=2756 CPUtime=0 cores=0,2,4,6
/proc/31177/task/31190/stat : 31190 (java) S 31175 31175 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 33522256 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795174472544 139795703830229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
[pid=31177/tid=31191] ppid=31175 vsize=14046268 memory=2788 CPUtime=1.29 cores=0,2,4,6
/proc/31177/task/31191/stat : 31191 (java) S 31175 31175 7968 0 -1 1077944384 3386 0 0 0 69 60 0 0 20 0 15 0 33522261 14383378432 95714 18446744073709551615 4194304 4196468 140725889231728 139795173419568 139795703831170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140725889237426 140725889237602 140725889237602 140725889241039 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14055780 KiB
Current children cumulated memory: 384236 KiB

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

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

[startup+2445.02 s]
# the end of solver process 31177 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.99 s, system=2.07308 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): 2445.02
CPU time (s): 2520.07
CPU user time (s): 2517.99
CPU system time (s): 2.07308
CPU usage (%): 103.069
Max. virtual memory (cumulated for all children) (KiB): 14061600
Max. memory (cumulated for all children) (KiB): 580436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.99
system time used= 2.07308
maximum resident set size= 599572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102572
involuntary context switches= 5724


# summary of solver processes directly reported to runsolver:
#   pid: 31175,31177
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.99
#   total CPU system time (s): 2.07308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.58 second user time and 24.2896 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-15 13:12:39
IDJOB=4272195
IDBENCH=128699
IDSOLVER=2664
FILE ID=node128/4272195-1502796396
RUNJOBID= node128-1502649221-29000
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-4272195-1502796396/watcher-4272195-1502796396 -o /tmp/evaluation-result-4272195-1502796396/solver-4272195-1502796396 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 259822046 HOME/instance-4272195-1502796396.xml

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

MD5SUM BENCH= f27483baa127f488650207f51eee544f
RANDOM SEED=259822046

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.94
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.94
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.94
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.94
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:        30752876 kB
MemAvailable:   31652144 kB
Buffers:          226988 kB
Cached:           955912 kB
SwapCached:            0 kB
Active:           735144 kB
Inactive:         864068 kB
Active(anon):     416500 kB
Inactive(anon):    16764 kB
Active(file):     318644 kB
Inactive(file):   847304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:            16 kB
AnonPages:        415636 kB
Mapped:            50036 kB
Shmem:             17116 kB
Slab:             123588 kB
SReclaimable:      98312 kB
SUnreclaim:        25276 kB
KernelStack:        3472 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     950996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-15 13:53:24