Trace number 4394269

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-14OPT1427 98.2537 25.3536

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-13.xml
MD5SUMe9c019b34e7441e843704d2f83648de8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1427
Best CPU time to get the best result obtained on this benchmark98.2537
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

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-4394269-1568331913.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394269-1568331913.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
0.71/0.45	c solve instance...
0.71/0.47	o 53 
0.71/0.48	o 91 
0.71/0.48	o 125 
0.71/0.48	o 127 
0.71/0.48	o 172 
0.71/0.48	o 206 
0.71/0.49	o 208 
0.71/0.49	o 230 
0.71/0.49	o 264 
0.71/0.49	o 266 
0.71/0.49	o 300 
0.71/0.50	o 302 
0.71/0.50	o 324 
0.71/0.50	o 358 
0.71/0.50	o 360 
0.71/0.51	o 362 
0.71/0.51	o 384 
0.71/0.51	o 418 
0.71/0.51	o 420 
1.01/0.52	o 423 
1.01/0.52	o 425 
1.01/0.52	o 452 
1.01/0.52	o 454 
1.01/0.53	o 457 
1.01/0.53	o 459 
1.01/0.53	o 466 
1.01/0.53	o 468 
1.01/0.53	o 471 
1.01/0.53	o 473 
1.01/0.53	o 500 
1.01/0.53	o 502 
1.01/0.53	o 505 
1.01/0.53	o 507 
1.01/0.53	o 513 
1.01/0.53	o 515 
1.01/0.54	o 518 
1.01/0.54	o 520 
1.01/0.54	o 547 
1.01/0.54	o 549 
1.01/0.54	o 552 
1.01/0.54	o 554 
1.01/0.54	o 561 
1.01/0.54	o 563 
1.01/0.54	o 566 
1.01/0.54	o 579 
1.01/0.54	o 595 
1.01/0.54	o 597 
1.01/0.55	o 600 
1.01/0.55	o 602 
1.01/0.55	o 604 
1.01/0.55	o 606 
1.01/0.55	o 625 
1.01/0.55	o 627 
1.01/0.55	o 630 
1.01/0.55	o 632 
1.01/0.55	o 639 
1.01/0.55	o 641 
1.01/0.55	o 644 
1.01/0.55	o 646 
1.01/0.55	o 673 
1.01/0.55	o 675 
1.01/0.56	o 678 
1.01/0.56	o 685 
1.01/0.56	o 687 
1.01/0.56	o 690 
1.01/0.56	o 692 
1.01/0.57	o 699 
1.01/0.57	o 701 
1.01/0.57	o 704 
1.01/0.57	o 706 
1.01/0.57	o 708 
1.01/0.57	o 710 
1.01/0.57	o 727 
1.01/0.57	o 729 
1.01/0.57	o 732 
1.01/0.57	o 734 
1.01/0.57	o 743 
1.01/0.57	o 744 
1.01/0.57	o 746 
1.01/0.57	o 753 
1.01/0.57	o 755 
1.01/0.57	o 758 
1.01/0.57	o 760 
1.01/0.58	o 762 
1.01/0.58	o 764 
1.01/0.58	o 766 
1.01/0.58	o 779 
1.01/0.58	o 781 
1.01/0.58	o 784 
1.01/0.58	o 786 
1.01/0.59	o 793 
1.01/0.59	o 813 
1.01/0.59	o 815 
1.01/0.59	o 848 
1.01/0.60	o 849 
1.01/0.60	o 851 
1.01/0.60	o 853 
1.01/0.60	o 891 
1.01/0.61	o 913 
1.29/0.62	o 915 
1.29/0.62	o 918 
1.29/0.62	o 927 
1.29/0.62	o 929 
1.29/0.63	o 932 
1.29/0.64	o 933 
1.29/0.64	o 953 
1.29/0.66	o 958 
1.29/0.69	o 963 
1.29/0.69	o 964 
1.29/0.70	o 966 
1.62/0.72	o 972 
1.62/0.74	o 976 
1.62/0.74	o 978 
1.62/0.75	o 981 
1.62/0.75	o 983 
1.62/0.75	o 1005 
1.62/0.75	o 1019 
1.62/0.76	o 1024 
1.62/0.78	o 1028 
1.62/0.79	o 1051 
1.97/0.80	o 1056 
1.97/0.82	o 1067 
1.97/0.83	o 1082 
1.97/0.83	o 1162 
1.97/0.84	o 1261 
2.36/0.92	o 1282 
2.36/0.94	o 1343 
5.52/1.78	o 1348 
5.91/1.82	o 1353 
5.91/1.83	o 1367 
6.30/1.91	o 1390 
6.30/1.98	o 1391 
6.30/2.00	o 1396 
6.69/2.01	o 1397 
6.69/2.02	o 1398 
6.69/2.05	o 1406 
7.44/2.22	o 1408 
7.44/2.25	o 1409 
7.44/2.30	o 1411 
7.83/2.37	o 1423 
7.83/2.38	o 1427 
98.07/25.34	s OPTIMUM FOUND
98.07/25.34	v <instantiation>
98.07/25.34	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
98.07/25.34	v 	<values>0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 </values>
98.07/25.34	v </instantiation>

Verifier Data 

OK	1427

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394269-1568331913/watcher-4394269-1568331913 -o /tmp/evaluation-result-4394269-1568331913/solver-4394269-1568331913 -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 1191327931 HOME/instance-4394269-1568331913.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=6376, runsolver pid=6373
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 6.95 7.30 7.35 3/235 6392
/proc/meminfo: memFree=30867088/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15144768 memory=29244 CPUtime=0.13 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 5682 0 0 0 12 1 0 0 20 0 15 0 409462815 15508242432 7311 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3786192 7311 3188 1 0 3748377 0
[pid=6378/tid=6379] ppid=6376 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) R 6376 6376 25300 0 -1 4202560 3551 0 0 0 9 0 0 0 20 0 15 0 409462815 15508242432 7311 33554432000 4194304 4196468 140726594087504 140413334849216 140413314700668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 7311 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15144768 memory=140001406838400 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15144768 memory=140001406838400 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409462817 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409462818 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412797936416 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409462818 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412796884080 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) R 6376 6376 25300 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412794780272 140413330632086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15144768 memory=140001406838400 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) R 6376 6376 25300 0 -1 4202560 404 0 0 0 2 0 0 0 20 0 15 0 409462820 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412792675184 140413330632086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15144768 memory=140001406838400 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462821 15508242432 7311 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30696 KiB

[startup+0.210948 s]*
/proc/loadavg: 6.95 7.30 7.35 4/235 6392
/proc/meminfo: memFree=30853056/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15144768 memory=40772 CPUtime=0.34 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 9437 0 0 0 31 3 0 0 20 0 15 0 409462815 15508242432 10193 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3786192 10193 3267 1 0 3748377 0
[pid=6378/tid=6379] ppid=6376 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) R 6376 6376 25300 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 409462815 15508242432 10193 33554432000 4194304 4196468 140726594087504 140413334855136 140413330642077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 10193 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15144768 memory=140001406863291 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409462816 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409462817 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409462818 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412797936416 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15144768 memory=140001406838400 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409462818 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412796884080 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 10193 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) S 6376 6376 25300 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 15 0 409462820 15508242432 10256 33554432000 4194304 4196468 140726594087504 140412794780272 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 409462820 15508242432 10256 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) S 6376 6376 25300 0 -1 1077944384 825 0 0 0 8 0 0 0 20 0 15 0 409462820 15508242432 10256 33554432000 4194304 4196468 140726594087504 140412792675184 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15508242432 10256 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462821 15508242432 10256 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42224 KiB

[startup+0.312788 s]*
/proc/loadavg: 6.95 7.30 7.35 4/235 6392
/proc/meminfo: memFree=30845340/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15149024 memory=50184 CPUtime=0.53 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 10907 0 0 0 49 4 0 0 20 0 15 0 409462815 15512600576 12546 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3787256 12546 3356 1 0 3748377 0
[pid=6378/tid=6379] ppid=6376 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) R 6376 6376 25300 0 -1 4202560 7824 0 0 0 27 3 0 0 20 0 15 0 409462815 15512600576 12546 33554432000 4194304 4196468 140726594087504 140413334851264 140413314746582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15512600576 12546 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462816 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409462816 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409462817 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409462818 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412797936416 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409462818 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412796884080 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15149024 memory=-6654736624941490777 CPUtime=0.03 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) S 6376 6376 25300 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 409462820 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412794780272 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15149024 memory=5792298054462905505 CPUtime=0.05 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 506 0 0 0 5 0 0 0 20 0 15 0 409462820 15512600576 12546 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15149024 memory=6944656592455350634 CPUtime=0.12 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) R 6376 6376 25300 0 -1 4202560 908 0 0 0 12 0 0 0 20 0 15 0 409462820 15512600576 12611 33554432000 4194304 4196468 140726594087504 140412792675184 140413330632086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15149024 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409462820 15512600576 12611 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409462821 15512600576 12611 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51636 KiB

[startup+0.700789 s]
/proc/loadavg: 6.95 7.30 7.35 7/238 6457
/proc/meminfo: memFree=30734676/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15551560 memory=242176 CPUtime=1.62 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 21849 0 0 0 150 12 0 0 20 0 20 0 409462815 15924797440 60544 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3887890 60544 3483 1 0 3848992 0
[pid=6378/tid=6379] ppid=6376 vsize=15551560 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) S 6376 6376 25300 0 -1 1077944384 9005 0 0 0 42 4 0 0 20 0 20 0 409462815 15924797440 60544 33554432000 4194304 4196468 140726594087504 140413334860928 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 409462816 15924797440 60544 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 409462816 15924797440 60544 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 409462816 15924797440 60544 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15551560 memory=56 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 409462816 15924797440 60544 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 409462817 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 409462818 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412797936480 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 409462818 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412796884096 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 409462820 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15551560 memory=70 CPUtime=0.22 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) R 6376 6376 25300 0 -1 4202560 966 0 0 0 22 0 0 0 20 0 19 0 409462820 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412794769744 140413316300805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15551560 memory=1 CPUtime=0.24 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) R 6376 6376 25300 0 -1 4202560 958 0 0 0 24 0 0 0 20 0 19 0 409462820 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412793720432 140413315735237 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15551560 memory=14323715934760 CPUtime=0.31 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) R 6376 6376 25300 0 -1 1077944384 1797 0 0 0 31 0 0 0 20 0 18 0 409462820 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412792670944 140413330630357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15551560 memory=2958624 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15551560 memory=2966641 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409462821 15924797440 61056 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 243628 KiB

[startup+1.51179 s]
/proc/loadavg: 7.03 7.31 7.35 9/239 6904
/proc/meminfo: memFree=30569028/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0

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

/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 773 0 0 0 0 1 0 0 20 0 19 0 409462821 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6957] ppid=6376 vsize=15551560 memory=280002609899008 CPUtime=21.02 cores=0,2,4,6
/proc/6378/task/6957/stat : 6957 (java) R 6376 6376 25300 0 -1 4202560 298 0 0 0 2101 1 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412778438504 140412970852460 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6958] ppid=6376 vsize=15551560 memory=6944656592387989600 CPUtime=20.97 cores=0,2,4,6
/proc/6378/task/6958/stat : 6958 (java) R 6376 6376 25300 0 -1 4202560 1378 0 0 0 2090 7 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412777386696 140412972781004 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6959] ppid=6376 vsize=15551560 memory=-4866526899798303339 CPUtime=20.73 cores=0,2,4,6
/proc/6378/task/6959/stat : 6959 (java) R 6376 6376 25300 0 -1 4202560 902 0 0 0 2072 1 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412775281864 140412970478719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6960] ppid=6376 vsize=15551560 memory=-1189914978686163229 CPUtime=21.04 cores=0,2,4,6
/proc/6378/task/6960/stat : 6960 (java) R 6376 6376 25300 0 -1 4202560 2158 0 0 0 2092 12 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412779490592 140412971513094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 92.93 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1743288 KiB

[startup+24.8018 s]
/proc/loadavg: 7.49 7.39 7.38 9/238 7412
/proc/meminfo: memFree=28944524/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15551560 memory=1741836 CPUtime=96.09 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 47411 0 0 0 9567 42 0 0 20 0 19 0 409462815 15924797440 435459 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3887890 435459 3513 1 0 3848992 0
[pid=6378/tid=6379] ppid=6376 vsize=15551560 memory=1332 CPUtime=0.47 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) S 6376 6376 25300 0 -1 1077944384 9006 0 0 0 43 4 0 0 20 0 19 0 409462815 15924797440 435459 33554432000 4194304 4196468 140726594087504 140413334860928 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15551560 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 435459 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15551560 memory=2124 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15551560 memory=6352 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 432 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15551560 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 452 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15551560 memory=1741836 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 1684 0 0 0 1 0 0 0 20 0 19 0 409462817 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15551560 memory=-7751062316387021378 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412797936480 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15551560 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412796884096 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15551560 memory=-6800859132029471843 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15551560 memory=7976406965554101975 CPUtime=1.69 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) S 6376 6376 25300 0 -1 1077944384 5829 0 0 0 169 0 0 0 20 0 19 0 409462820 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412794780272 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15551560 memory=9023629670928638048 CPUtime=1.59 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 8963 0 0 0 158 1 0 0 20 0 19 0 409462820 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15551560 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) S 6376 6376 25300 0 -1 1077944384 4118 0 0 0 50 0 0 0 20 0 19 0 409462820 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412792675184 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15551560 memory=7739827821067398242 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15551560 memory=7595712659029517657 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 773 0 0 0 0 1 0 0 20 0 19 0 409462821 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6957] ppid=6376 vsize=15551560 memory=7594312972053600617 CPUtime=21.81 cores=0,2,4,6
/proc/6378/task/6957/stat : 6957 (java) R 6376 6376 25300 0 -1 4202560 304 0 0 0 2180 1 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412778438504 140413310330432 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6958] ppid=6376 vsize=15551560 memory=0 CPUtime=21.75 cores=0,2,4,6
/proc/6378/task/6958/stat : 6958 (java) R 6376 6376 25300 0 -1 4202560 1412 0 0 0 2168 7 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412777386696 140412967818112 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6959] ppid=6376 vsize=15551560 memory=140001304978926 CPUtime=21.52 cores=0,2,4,6
/proc/6378/task/6959/stat : 6959 (java) R 6376 6376 25300 0 -1 4202560 908 0 0 0 2151 1 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412775281864 140413315831530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6960] ppid=6376 vsize=15551560 memory=0 CPUtime=21.83 cores=0,2,4,6
/proc/6378/task/6960/stat : 6960 (java) R 6376 6376 25300 0 -1 4202560 2251 0 0 0 2171 12 0 0 20 0 19 0 409463053 15924797440 435459 33554432000 4194304 4196468 140726594087504 140412779490592 140412971514001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 96.09 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1743288 KiB

[startup+25.2018 s]
/proc/loadavg: 7.49 7.39 7.38 10/238 7412
/proc/meminfo: memFree=28938640/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15551560 memory=1745416 CPUtime=97.67 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 47448 0 0 0 9725 42 0 0 20 0 19 0 409462815 15924797440 436354 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3887890 436354 3513 1 0 3848992 0
[pid=6378/tid=6379] ppid=6376 vsize=15551560 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) S 6376 6376 25300 0 -1 1077944384 9006 0 0 0 43 4 0 0 20 0 19 0 409462815 15924797440 436354 33554432000 4194304 4196468 140726594087504 140413334860928 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15551560 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 110 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15551560 memory=6944656592455097440 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15551560 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 436 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15551560 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 458 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15551560 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 1684 0 0 0 1 0 0 0 20 0 19 0 409462817 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412797936480 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412796884096 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15551560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15551560 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) S 6376 6376 25300 0 -1 1077944384 5830 0 0 0 169 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412794780272 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15551560 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 8963 0 0 0 158 1 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15551560 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) S 6376 6376 25300 0 -1 1077944384 4118 0 0 0 50 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412792675184 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15551560 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15551560 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 773 0 0 0 0 1 0 0 20 0 19 0 409462821 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6957] ppid=6376 vsize=15551560 memory=0 CPUtime=22.21 cores=0,2,4,6
/proc/6378/task/6957/stat : 6957 (java) R 6376 6376 25300 0 -1 4202560 305 0 0 0 2220 1 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412778438368 140412970852025 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6958] ppid=6376 vsize=15551560 memory=7594312972053600617 CPUtime=22.14 cores=0,2,4,6
/proc/6378/task/6958/stat : 6958 (java) R 6376 6376 25300 0 -1 4202560 1423 0 0 0 2207 7 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412777387336 140412972733525 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6959] ppid=6376 vsize=15551560 memory=13573690997662645 CPUtime=21.92 cores=0,2,4,6
/proc/6378/task/6959/stat : 6959 (java) R 6376 6376 25300 0 -1 4202560 910 0 0 0 2191 1 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412775284080 140412970852102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6960] ppid=6376 vsize=15551560 memory=303430253402995742 CPUtime=22.22 cores=0,2,4,6
/proc/6378/task/6960/stat : 6960 (java) R 6376 6376 25300 0 -1 4202560 2257 0 0 0 2210 12 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412779490704 140412971514147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 97.67 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1746868 KiB

[startup+25.3018 s]
/proc/loadavg: 7.49 7.39 7.38 10/238 7412
/proc/meminfo: memFree=28938640/32770624 swapFree=66933688/67108860
[pid=6376] ppid=6373 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6376/stat : 6376 (xcsp3-exec) S 6373 6376 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409462815 115843072 363 33554432000 4194304 5098028 140735936219616 140735936217720 139912106353276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24113152 140735936222074 140735936222317 140735936222317 140735936225226 0
/proc/6376/statm: 28282 363 304 221 0 87 0
[pid=6378] ppid=6376 vsize=15551560 memory=1745416 CPUtime=98.07 cores=0,2,4,6
/proc/6378/stat : 6378 (java) S 6376 6376 25300 0 -1 1077944320 47448 0 0 0 9765 42 0 0 20 0 19 0 409462815 15924797440 436354 33554432000 4194304 4196468 140726594087504 140726594070048 140413330620151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
/proc/6378/statm: 3887890 436354 3513 1 0 3848992 0
[pid=6378/tid=6379] ppid=6376 vsize=15551560 memory=1745416 CPUtime=0.47 cores=0,2,4,6
/proc/6378/task/6379/stat : 6379 (java) S 6376 6376 25300 0 -1 1077944384 9006 0 0 0 43 4 0 0 20 0 19 0 409462815 15924797440 436354 33554432000 4194304 4196468 140726594087504 140413334860928 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6380] ppid=6376 vsize=15551560 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6380/stat : 6380 (java) S 6376 6376 25300 0 -1 1077944384 110 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140413287173008 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6381] ppid=6376 vsize=15551560 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6381/stat : 6381 (java) S 6376 6376 25300 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412921764624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6382] ppid=6376 vsize=15551560 memory=1741836 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6382/stat : 6382 (java) S 6376 6376 25300 0 -1 1077944384 436 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412920712336 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6383] ppid=6376 vsize=15551560 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6378/task/6383/stat : 6383 (java) S 6376 6376 25300 0 -1 1077944384 458 0 0 0 1 1 0 0 20 0 19 0 409462816 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412919659536 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6384] ppid=6376 vsize=15551560 memory=4639939496134862184 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6384/stat : 6384 (java) S 6376 6376 25300 0 -1 1077944384 1684 0 0 0 1 0 0 0 20 0 19 0 409462817 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412798990448 140413330631298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6385] ppid=6376 vsize=15551560 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6385/stat : 6385 (java) S 6376 6376 25300 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412797936480 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6386] ppid=6376 vsize=15551560 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6386/stat : 6386 (java) S 6376 6376 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409462818 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412796884096 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6387] ppid=6376 vsize=15551560 memory=140001304930776 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6387/stat : 6387 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412795832400 140413330638747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6388] ppid=6376 vsize=15551560 memory=6944656425123094137 CPUtime=1.69 cores=0,2,4,6
/proc/6378/task/6388/stat : 6388 (java) S 6376 6376 25300 0 -1 1077944384 5830 0 0 0 169 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412794780272 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6389] ppid=6376 vsize=15551560 memory=1 CPUtime=1.59 cores=0,2,4,6
/proc/6378/task/6389/stat : 6389 (java) S 6376 6376 25300 0 -1 1077944384 8963 0 0 0 158 1 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412793727472 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6390] ppid=6376 vsize=15551560 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/6378/task/6390/stat : 6390 (java) S 6376 6376 25300 0 -1 1077944384 4118 0 0 0 50 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412792675184 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6391] ppid=6376 vsize=15551560 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6378/task/6391/stat : 6391 (java) S 6376 6376 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409462820 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412791622624 140413330630357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6392] ppid=6376 vsize=15551560 memory=1720688 CPUtime=0.01 cores=0,2,4,6
/proc/6378/task/6392/stat : 6392 (java) S 6376 6376 25300 0 -1 1077944384 773 0 0 0 0 1 0 0 20 0 19 0 409462821 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412790569392 140413330631298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6957] ppid=6376 vsize=15551560 memory=1452 CPUtime=22.31 cores=0,2,4,6
/proc/6378/task/6957/stat : 6957 (java) R 6376 6376 25300 0 -1 4202560 305 0 0 0 2230 1 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412778438368 140412967710854 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6958] ppid=6376 vsize=15551560 memory=3620 CPUtime=22.24 cores=0,2,4,6
/proc/6378/task/6958/stat : 6958 (java) R 6376 6376 25300 0 -1 4202560 1423 0 0 0 2217 7 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412777387336 140412971051938 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6959] ppid=6376 vsize=15551560 memory=20364 CPUtime=22.02 cores=0,2,4,6
/proc/6378/task/6959/stat : 6959 (java) R 6376 6376 25300 0 -1 4202560 910 0 0 0 2201 1 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412775284080 140412970477869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
[pid=6378/tid=6960] ppid=6376 vsize=15551560 memory=984 CPUtime=22.32 cores=0,2,4,6
/proc/6378/task/6960/stat : 6960 (java) R 6376 6376 25300 0 -1 4202560 2257 0 0 0 2220 12 0 0 20 0 19 0 409463053 15924797440 436354 33554432000 4194304 4196468 140726594087504 140412779490704 140412971515255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140726594094063 140726594094234 140726594094234 140726594097103 0
Current children cumulated CPU time: 98.07 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 1746868 KiB

Child status: 0
Real time (s): 25.3536
CPU time (s): 98.2537
CPU user time (s): 97.8104
CPU system time (s): 0.443365
CPU usage (%): 387.533
Max. virtual memory (cumulated for all children) (KiB): 15666696
Max. memory (cumulated for all children) (KiB): 1746868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.8104
system time used= 0.443365
maximum resident set size= 1745932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6227
involuntary context switches= 2036


# summary of solver processes directly reported to runsolver:
#   pid: 6376
#   total CPU time (s): 98.2537
#   total CPU user time (s): 97.8104
#   total CPU system time (s): 0.443365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184561 second user time and 0.339528 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 01:44:34
IDJOB=4394269
IDBENCH=133450
IDSOLVER=2842
FILE ID=node151/4394269-1568331913
RUNJOBID= node151-1568323682-25331
PBS_JOBID= 21701147
Free space on /tmp= 56976 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-13.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-4394269-1568331913/watcher-4394269-1568331913 -o /tmp/evaluation-result-4394269-1568331913/solver-4394269-1568331913 -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 1191327931 HOME/instance-4394269-1568331913.xml

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

MD5SUM BENCH= e9c019b34e7441e843704d2f83648de8
RANDOM SEED=1191327931

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:        30882840 kB
MemAvailable:   31475372 kB
Buffers:          134628 kB
Cached:           749068 kB
SwapCached:        72496 kB
Active:           856236 kB
Inactive:         483052 kB
Active(anon):     390844 kB
Inactive(anon):    96432 kB
Active(file):     465392 kB
Inactive(file):   386620 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933688 kB
Dirty:             26012 kB
Writeback:             0 kB
AnonPages:        502964 kB
Mapped:            47860 kB
Shmem:             22940 kB
Slab:             141260 kB
SReclaimable:     112708 kB
SUnreclaim:        28552 kB
KernelStack:        4096 kB
PageTables:         6824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1648608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 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 01:45:00