Trace number 4394225

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 2019-06-14OPT458 1597.54 819.108

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-07-07-8.xml
MD5SUM3801e67c429176a130b0cb7922d17a7f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark458
Best CPU time to get the best result obtained on this benchmark29.4515
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of constraints168
Number of domains9
Minimum domain size6
Maximum domain size560
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints49
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394225-1568325751.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394225-1568325751.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.59/0.74	c solve instance...
30.11/7.90	o 559 
31.29/8.21	o 557 
31.67/8.38	o 554 
32.45/8.56	o 551 
33.23/8.76	o 550 
37.13/9.77	o 549 
39.72/12.20	o 548 
40.67/12.79	o 547 
41.61/13.63	o 546 
43.43/15.33	o 545 
44.59/16.19	o 544 
46.00/17.06	o 543 
47.84/18.82	o 542 
51.81/22.54	o 541 
62.17/30.66	o 537 
64.10/31.76	o 536 
66.74/32.89	o 535 
69.09/35.08	o 534 
70.25/36.19	o 533 
71.50/37.32	o 532 
73.85/39.62	o 531 
78.61/44.35	o 530 
79.87/45.57	o 529 
81.25/46.81	o 528 
84.93/49.36	o 526 
86.83/50.65	o 525 
88.86/51.96	o 524 
92.39/54.62	o 523 
97.91/60.01	o 522 
109.48/71.55	o 521 
136.19/98.12	o 520 
138.05/99.96	o 519 
141.81/101.86	o 518 
145.70/105.67	o 516 
148.97/107.64	o 515 
151.10/109.61	o 511 
155.17/113.59	o 510 
163.53/121.81	o 509 
165.73/123.90	o 508 
167.79/126.00	o 507 
172.31/129.89	o 506 
174.48/131.84	o 505 
176.68/133.84	o 504 
180.73/137.86	o 503 
189.40/146.19	o 502 
207.44/163.85	o 501 
209.89/166.20	o 500 
212.36/168.54	o 499 
217.49/173.36	o 498 
220.40/175.77	o 497 
223.22/178.23	o 496 
228.48/183.12	o 495 
238.78/193.34	o 494 
241.36/195.89	o 493 
244.12/198.50	o 492 
249.20/203.56	o 491 
252.67/206.17	o 490 
258.55/208.80	o 489 
264.20/214.09	o 488 
275.18/224.78	o 487 
299.08/246.92	o 486 
346.23/293.90	o 485 
454.08/401.23	o 484 
463.20/404.88	o 483 
469.08/408.46	o 482 
476.31/415.58	o 481 
489.66/419.39	o 480 
494.18/423.09	o 479 
503.53/430.58	o 478 
518.89/445.64	o 477 
522.80/449.44	o 476 
529.18/453.30	o 475 
546.15/461.12	o 474 
559.99/465.14	o 473 
566.21/469.07	o 472 
575.16/476.88	o 471 
592.57/492.73	o 470 
625.14/525.17	o 469 
635.13/529.38	o 468 
667.85/542.12	o 467 
676.09/546.34	o 466 
680.52/550.54	o 465 
777.09/577.25	o 464 
801.47/586.14	o 463 
973.31/632.47	o 462 
1014.09/668.93	o 461 
1333.19/749.43	o 460 
1494.35/791.24	o 459 
1597.41/819.03	o 458 
1597.41/819.10	s OPTIMUM FOUND
1597.41/819.10	v <instantiation>
1597.41/819.10	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list>
1597.41/819.10	v 	<values>8 95 159 191 224 313 411 0 43 172 238 298 345 442 3 38 62 132 219 320 386 0 20 89 131 181 276 366 24 92 106 182 223 278 365 0 62 127 216 302 380 428 2 97 192 281 347 365 427 454 455 432 458 458 455 458 72 32 32 31 71 67 43 35 72 41 60 47 66 13 15 23 44 73 94 6 46 20 69 42 50 95 90 92 68 13 75 37 51 86 93 62 65 89 82 63 47 27 93 92 86 64 17 62 31 5 0 2 6 4 1 3 2 1 4 6 5 3 0 4 2 3 5 1 6 0 6 4 5 1 3 0 2 6 4 3 1 0 2 5 3 2 0 5 4 1 6 0 6 2 3 5 4 1 95 313 159 411 224 8 191 442 43 0 345 172 298 238 386 219 38 62 3 132 320 276 131 366 181 20 89 0 223 182 278 106 92 365 24 127 380 62 0 302 216 428 2 427 192 281 365 347 97 </values>
1597.41/819.10	v </instantiation>

Verifier Data 

OK	458

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394225-1568325751/watcher-4394225-1568325751 -o /tmp/evaluation-result-4394225-1568325751/solver-4394225-1568325751 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 147272763 HOME/instance-4394225-1568325751.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28464, runsolver pid=28461
Current StackSize limit: 8192 KiB


[startup+0.100964 s]*
/proc/loadavg: 4.79 5.76 6.13 7/235 28480
/proc/meminfo: memFree=31078080/32770624 swapFree=66933588/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15144768 memory=28968 CPUtime=0.13 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 5710 0 0 0 12 1 0 0 20 0 15 0 408846599 15508242432 7242 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3786192 7242 3138 1 0 3748377 0
[pid=28466/tid=28467] ppid=28464 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) R 28464 28464 25300 0 -1 4202560 3582 0 0 0 9 0 0 0 20 0 15 0 408846599 15508242432 7242 33554432000 4194304 4196468 140735455939040 139672405933168 139672401714582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15144768 memory=3472468438407140560 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 7242 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671936492320 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671935439984 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) R 28464 28464 25300 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) R 28464 28464 25300 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671864584384 139672385188693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0.02 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) R 28464 28464 25300 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671863540592 139672387383301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 7242 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30420 KiB

[startup+0.210948 s]*
/proc/loadavg: 4.79 5.76 6.13 7/235 28480
/proc/meminfo: memFree=31064468/32770624 swapFree=66933588/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15144768 memory=40464 CPUtime=0.34 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 9300 0 0 0 31 3 0 0 20 0 15 0 408846599 15508242432 10116 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3786192 10116 3304 1 0 3748377 0
[pid=28466/tid=28467] ppid=28464 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) R 28464 28464 25300 0 -1 4202560 6565 0 0 0 18 2 0 0 20 0 15 0 408846599 15508242432 10116 33554432000 4194304 4196468 140735455939040 139672405939696 139672385783134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15144768 memory=3472468438407140560 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 10116 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408846600 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671936492320 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408846602 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671935439984 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) S 28464 28464 25300 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671864592880 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0.08 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) R 28464 28464 25300 0 -1 4202560 801 0 0 0 8 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671863540592 139672401723994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15144768 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846605 15508242432 10116 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41916 KiB

[startup+0.317391 s]*
/proc/loadavg: 4.79 5.76 6.13 7/235 28480
/proc/meminfo: memFree=31057328/32770624 swapFree=66933588/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15149024 memory=50336 CPUtime=0.54 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 10904 0 0 0 51 3 0 0 20 0 15 0 408846599 15512600576 12584 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3787256 12584 3370 1 0 3748377 0
[pid=28466/tid=28467] ppid=28464 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) R 28464 28464 25300 0 -1 4202560 7849 0 0 0 28 2 0 0 20 0 15 0 408846599 15512600576 12584 33554432000 4194304 4196468 140735455939040 139672405939360 139672385783134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15149024 memory=3472468438407140560 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15512600576 12584 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15149024 memory=140309511988864 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15149024 memory=140309401053215 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408846600 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15149024 memory=280618802085664 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408846602 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15149024 memory=140309401030159 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408846602 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671936492320 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15149024 memory=280618913028192 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408846602 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671935439984 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15149024 memory=140309401034767 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 517 0 0 0 5 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) S 28464 28464 25300 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671864592880 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) S 28464 28464 25300 0 -1 1077944384 963 0 0 0 12 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671863540592 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846605 15512600576 12584 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51788 KiB

[startup+0.709388 s]
/proc/loadavg: 4.79 5.76 6.13 8/235 28480
/proc/meminfo: memFree=31038704/32770624 swapFree=66933588/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15151148 memory=81728 CPUtime=1.59 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 14716 0 0 0 155 4 0 0 20 0 15 0 408846599 15514775552 20432 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3787787 20432 3449 1 0 3748889 0
[pid=28466/tid=28467] ppid=28464 vsize=15151148 memory=7236547281622689387 CPUtime=0.68 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) R 28464 28464 25300 0 -1 4202560 9468 0 0 0 65 3 0 0 20 0 15 0 408846599 15514775552 20432 33554432000 4194304 4196468 140735455939040 139672405941136 139672401714582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15151148 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15514775552 20432 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15151148 memory=6298373484264312918 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15151148 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846600 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15151148 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408846600 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15151148 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408846602 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408846602 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671936492320 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408846602 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671935439984 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15151148 memory=20124 CPUtime=0.22 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 964 0 0 0 22 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15151148 memory=984 CPUtime=0.25 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) R 28464 28464 25300 0 -1 4202560 1079 0 0 0 25 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671864586072 139672387724841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15151148 memory=2032 CPUtime=0.42 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) R 28464 28464 25300 0 -1 4202560 1898 0 0 0 42 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671863540688 139672386254561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15151148 memory=7090143983960547920 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15151148 memory=7013348624500549744 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408846605 15514775552 20432 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 83180 KiB

[startup+1.50939 s]
/proc/loadavg: 4.79 5.76 6.13 10/239 28484
/proc/meminfo: memFree=31001712/32770624 swapFree=66933588/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0

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

/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 6092 0 0 0 23 17 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29571] ppid=28464 vsize=15619144 memory=1804 CPUtime=24.91 cores=0,2,4,6
/proc/28466/task/29571/stat : 29571 (java) S 28464 28464 25300 0 -1 1077944384 487 0 0 0 2491 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671844052288 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29572] ppid=28464 vsize=15619144 memory=1452 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29572/stat : 29572 (java) S 28464 28464 25300 0 -1 1077944384 1235 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671849317536 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29573] ppid=28464 vsize=15619144 memory=3932 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29573/stat : 29573 (java) S 28464 28464 25300 0 -1 1077944384 446 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671845106720 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29574] ppid=28464 vsize=15619144 memory=2832 CPUtime=26.12 cores=0,2,4,6
/proc/28466/task/29574/stat : 29574 (java) R 28464 28464 25300 0 -1 4202560 354 0 0 0 2612 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671846154224 139672028470684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 1596 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 313916 KiB

[startup+818.401 s]
/proc/loadavg: 7.58 5.83 5.50 6/236 29581
/proc/meminfo: memFree=30524944/32770624 swapFree=66933604/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15619144 memory=312464 CPUtime=1596.81 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 229708 0 0 0 159576 105 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3904786 78116 3531 1 0 3865888 0
[pid=28466/tid=28467] ppid=28464 vsize=15619144 memory=6791534058613427641 CPUtime=0.8 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) S 28464 28464 25300 0 -1 1077944384 25470 0 0 0 74 6 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672405943424 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15619144 memory=916 CPUtime=0.49 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 7068 0 0 0 44 5 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15619144 memory=3848 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 7537 0 0 0 45 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15619144 memory=2712 CPUtime=0.47 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 5270 0 0 0 44 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15619144 memory=1452 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 11409 0 0 0 44 4 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15619144 memory=312464 CPUtime=0.77 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 12129 0 0 0 28 49 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15619144 memory=744 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671936492384 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15619144 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671935440000 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15619144 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15619144 memory=20156 CPUtime=4.24 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 22742 0 0 0 422 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15619144 memory=984 CPUtime=4.35 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) S 28464 28464 25300 0 -1 1077944384 28327 0 0 0 432 3 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671864592880 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15619144 memory=2032 CPUtime=0.87 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) S 28464 28464 25300 0 -1 1077944384 24173 0 0 0 85 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671863540592 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15619144 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15619144 memory=1564 CPUtime=0.4 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 6092 0 0 0 23 17 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29571] ppid=28464 vsize=15619144 memory=140309511988863 CPUtime=24.91 cores=0,2,4,6
/proc/28466/task/29571/stat : 29571 (java) S 28464 28464 25300 0 -1 1077944384 487 0 0 0 2491 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671844052288 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29572] ppid=28464 vsize=15619144 memory=9126232286719478932 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29572/stat : 29572 (java) S 28464 28464 25300 0 -1 1077944384 1235 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671849317536 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29573] ppid=28464 vsize=15619144 memory=4947931627543371392 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29573/stat : 29573 (java) S 28464 28464 25300 0 -1 1077944384 446 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671845106720 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29574] ppid=28464 vsize=15619144 memory=-7094132109863559211 CPUtime=26.92 cores=0,2,4,6
/proc/28466/task/29574/stat : 29574 (java) R 28464 28464 25300 0 -1 4202560 354 0 0 0 2692 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671846154224 139672028470608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 1596.81 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 313916 KiB

[startup+818.801 s]
/proc/loadavg: 7.58 5.83 5.50 6/236 29581
/proc/meminfo: memFree=30524944/32770624 swapFree=66933604/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15619144 memory=312464 CPUtime=1597.2 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 229708 0 0 0 159615 105 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3904786 78116 3531 1 0 3865888 0
[pid=28466/tid=28467] ppid=28464 vsize=15619144 memory=15260333157648136 CPUtime=0.8 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) S 28464 28464 25300 0 -1 1077944384 25470 0 0 0 74 6 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672405943424 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15619144 memory=1772 CPUtime=0.49 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 7068 0 0 0 44 5 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15619144 memory=111632 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 7537 0 0 0 45 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15619144 memory=804 CPUtime=0.47 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 5270 0 0 0 44 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15619144 memory=1656 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 11409 0 0 0 44 4 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15619144 memory=4108 CPUtime=0.77 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 12129 0 0 0 28 49 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15619144 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671936492384 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15619144 memory=916 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671935440000 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15619144 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15619144 memory=2712 CPUtime=4.24 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 22742 0 0 0 422 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15619144 memory=2708 CPUtime=4.35 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) S 28464 28464 25300 0 -1 1077944384 28327 0 0 0 432 3 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671864592880 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15619144 memory=1412 CPUtime=0.87 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) S 28464 28464 25300 0 -1 1077944384 24173 0 0 0 85 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671863540592 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15619144 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15619144 memory=924 CPUtime=0.4 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 6092 0 0 0 23 17 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29571] ppid=28464 vsize=15619144 memory=1420 CPUtime=24.91 cores=0,2,4,6
/proc/28466/task/29571/stat : 29571 (java) S 28464 28464 25300 0 -1 1077944384 487 0 0 0 2491 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671844052288 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29572] ppid=28464 vsize=15619144 memory=1984 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29572/stat : 29572 (java) S 28464 28464 25300 0 -1 1077944384 1235 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671849317536 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29573] ppid=28464 vsize=15619144 memory=2532 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29573/stat : 29573 (java) S 28464 28464 25300 0 -1 1077944384 446 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671845106720 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29574] ppid=28464 vsize=15619144 memory=1656 CPUtime=27.32 cores=0,2,4,6
/proc/28466/task/29574/stat : 29574 (java) R 28464 28464 25300 0 -1 4202560 354 0 0 0 2732 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671846154224 139672028471065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 1597.2 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 313916 KiB

[startup+819.001 s]*
/proc/loadavg: 7.58 5.83 5.50 6/236 29581
/proc/meminfo: memFree=30525316/32770624 swapFree=66933604/67108860
[pid=28464] ppid=28461 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28464/stat : 28464 (xcsp3-exec) S 28461 28464 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408846599 115843072 363 33554432000 4194304 5098028 140731504691536 140731504689640 140408982385276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35344384 140731504694139 140731504694381 140731504694381 140731504697290 0
/proc/28464/statm: 28282 363 304 221 0 87 0
[pid=28466] ppid=28464 vsize=15619144 memory=312464 CPUtime=1597.41 cores=0,2,4,6
/proc/28466/stat : 28466 (java) S 28464 28464 25300 0 -1 1077944320 229708 0 0 0 159636 105 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 140735455921584 139672401702647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
/proc/28466/statm: 3904786 78116 3531 1 0 3865888 0
[pid=28466/tid=28467] ppid=28464 vsize=15619144 memory=5853952328672576930 CPUtime=0.8 cores=0,2,4,6
/proc/28466/task/28467/stat : 28467 (java) S 28464 28464 25300 0 -1 1077944384 25470 0 0 0 74 6 0 0 20 0 19 0 408846599 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672405943424 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28468] ppid=28464 vsize=15619144 memory=3472468438407140560 CPUtime=0.49 cores=0,2,4,6
/proc/28466/task/28468/stat : 28468 (java) S 28464 28464 25300 0 -1 1077944384 7068 0 0 0 44 5 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139672337939344 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28469] ppid=28464 vsize=15619144 memory=140309511988864 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28469/stat : 28469 (java) S 28464 28464 25300 0 -1 1077944384 7537 0 0 0 45 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671993113360 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28470] ppid=28464 vsize=15619144 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/28466/task/28470/stat : 28470 (java) S 28464 28464 25300 0 -1 1077944384 5270 0 0 0 44 3 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671992061072 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28471] ppid=28464 vsize=15619144 memory=-1 CPUtime=0.48 cores=0,2,4,6
/proc/28466/task/28471/stat : 28471 (java) S 28464 28464 25300 0 -1 1077944384 11409 0 0 0 44 4 0 0 20 0 19 0 408846600 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671991008272 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28472] ppid=28464 vsize=15619144 memory=140309511988864 CPUtime=0.77 cores=0,2,4,6
/proc/28466/task/28472/stat : 28472 (java) S 28464 28464 25300 0 -1 1077944384 12129 0 0 0 28 49 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671937546352 139672401713794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28473] ppid=28464 vsize=15619144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28473/stat : 28473 (java) S 28464 28464 25300 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671936492384 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28474] ppid=28464 vsize=15619144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28474/stat : 28474 (java) S 28464 28464 25300 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 408846602 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671935440000 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28475] ppid=28464 vsize=15619144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28475/stat : 28475 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671866697808 139672401721243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28476] ppid=28464 vsize=15619144 memory=0 CPUtime=4.24 cores=0,2,4,6
/proc/28466/task/28476/stat : 28476 (java) S 28464 28464 25300 0 -1 1077944384 22742 0 0 0 422 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671865645680 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28477] ppid=28464 vsize=15619144 memory=-1 CPUtime=4.35 cores=0,2,4,6
/proc/28466/task/28477/stat : 28477 (java) S 28464 28464 25300 0 -1 1077944384 28327 0 0 0 432 3 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671864592880 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28478] ppid=28464 vsize=15619144 memory=140309511988864 CPUtime=0.87 cores=0,2,4,6
/proc/28466/task/28478/stat : 28478 (java) S 28464 28464 25300 0 -1 1077944384 24173 0 0 0 85 2 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671863540592 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28479] ppid=28464 vsize=15619144 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28466/task/28479/stat : 28479 (java) S 28464 28464 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671862488032 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=28480] ppid=28464 vsize=15619144 memory=140309511988864 CPUtime=0.4 cores=0,2,4,6
/proc/28466/task/28480/stat : 28480 (java) S 28464 28464 25300 0 -1 1077944384 6092 0 0 0 23 17 0 0 20 0 19 0 408846605 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671861434800 139672401713794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29571] ppid=28464 vsize=15619144 memory=-1 CPUtime=24.91 cores=0,2,4,6
/proc/28466/task/29571/stat : 29571 (java) S 28464 28464 25300 0 -1 1077944384 487 0 0 0 2491 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671844052288 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29572] ppid=28464 vsize=15619144 memory=140309511988864 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29572/stat : 29572 (java) S 28464 28464 25300 0 -1 1077944384 1235 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671849317536 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29573] ppid=28464 vsize=15619144 memory=-1 CPUtime=25.11 cores=0,2,4,6
/proc/28466/task/29573/stat : 29573 (java) S 28464 28464 25300 0 -1 1077944384 446 0 0 0 2511 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671845106720 139672401712853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
[pid=28466/tid=29574] ppid=28464 vsize=15619144 memory=0 CPUtime=27.53 cores=0,2,4,6
/proc/28466/task/29574/stat : 29574 (java) R 28464 28464 25300 0 -1 4202560 354 0 0 0 2753 0 0 0 20 0 19 0 408925723 15994003456 78116 33554432000 4194304 4196468 140735455939040 139671846154224 139672028470985 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35749888 140735455945711 140735455945882 140735455945882 140735455948751 0
Current children cumulated CPU time: 1597.41 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 313916 KiB

Child status: 0
Real time (s): 819.108
CPU time (s): 1597.54
CPU user time (s): 1596.47
CPU system time (s): 1.0668
CPU usage (%): 195.034
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 313916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1596.47
system time used= 1.0668
maximum resident set size= 320572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31152
involuntary context switches= 19619


# summary of solver processes directly reported to runsolver:
#   pid: 28464
#   total CPU time (s): 1597.54
#   total CPU user time (s): 1596.47
#   total CPU system time (s): 1.0668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76534 second user time and 8.63905 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 00:01:52
IDJOB=4394225
IDBENCH=115852
IDSOLVER=2842
FILE ID=node151/4394225-1568325751
RUNJOBID= node151-1568323682-25331
PBS_JOBID= 21701147
Free space on /tmp= 56976 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-8.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394225-1568325751/watcher-4394225-1568325751 -o /tmp/evaluation-result-4394225-1568325751/solver-4394225-1568325751 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 147272763 HOME/instance-4394225-1568325751.xml

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

MD5SUM BENCH= 3801e67c429176a130b0cb7922d17a7f
RANDOM SEED=147272763

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31093764 kB
MemAvailable:   31675724 kB
Buffers:          127736 kB
Cached:           744776 kB
SwapCached:        72560 kB
Active:           655248 kB
Inactive:         474472 kB
Active(anon):     191684 kB
Inactive(anon):    96396 kB
Active(file):     463564 kB
Inactive(file):   378076 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933588 kB
Dirty:             25920 kB
Writeback:             0 kB
AnonPages:        295648 kB
Mapped:            47588 kB
Shmem:             22840 kB
Slab:             140644 kB
SReclaimable:     112312 kB
SUnreclaim:        28332 kB
KernelStack:        3840 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1413688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56948 MiB
End job on node151 at 2019-09-13 00:15:31