Trace number 4394107

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-14OPT1109 92.4734 23.5898

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-03.xml
MD5SUM370e5889e420807efe2c272780cce411
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1109
Best CPU time to get the best result obtained on this benchmark92.4734
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-4394107-1568331924.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394107-1568331924.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
0.71/0.45	c solve instance...
0.71/0.46	o 0 
0.71/0.47	o 45 
0.71/0.47	o 73 
0.71/0.47	o 89 
0.71/0.47	o 117 
0.71/0.48	o 132 
0.71/0.48	o 159 
0.71/0.48	o 187 
0.71/0.48	o 202 
0.71/0.48	o 212 
0.71/0.49	o 239 
0.71/0.49	o 267 
0.71/0.49	o 282 
0.71/0.49	o 296 
0.71/0.49	o 324 
0.71/0.49	o 339 
0.71/0.50	o 350 
0.71/0.50	o 352 
0.71/0.50	o 363 
0.71/0.50	o 379 
0.71/0.51	o 405 
0.71/0.51	o 431 
0.71/0.51	o 444 
0.71/0.52	o 460 
1.02/0.52	o 462 
1.02/0.52	o 488 
1.02/0.52	o 496 
1.02/0.52	o 524 
1.02/0.52	o 526 
1.02/0.52	o 552 
1.02/0.52	o 553 
1.02/0.53	o 555 
1.02/0.53	o 581 
1.02/0.53	o 589 
1.02/0.53	o 602 
1.02/0.54	o 621 
1.02/0.54	o 625 
1.02/0.54	o 631 
1.02/0.54	o 633 
1.02/0.54	o 644 
1.02/0.54	o 660 
1.02/0.54	o 662 
1.02/0.54	o 673 
1.02/0.55	o 675 
1.02/0.55	o 701 
1.02/0.55	o 706 
1.02/0.56	o 714 
1.02/0.56	o 725 
1.02/0.56	o 727 
1.02/0.57	o 744 
1.02/0.58	o 746 
1.02/0.59	o 758 
1.02/0.60	o 761 
1.02/0.60	o 768 
1.34/0.61	o 774 
1.34/0.63	o 775 
1.34/0.64	o 777 
1.34/0.65	o 785 
1.34/0.65	o 793 
1.34/0.66	o 806 
1.34/0.67	o 810 
1.34/0.67	o 823 
1.34/0.68	o 838 
1.34/0.68	o 868 
1.67/0.70	o 874 
1.67/0.72	o 876 
1.67/0.73	o 891 
1.67/0.74	o 910 
1.67/0.79	o 912 
2.05/0.81	o 915 
2.05/0.82	o 916 
2.05/0.86	o 920 
2.05/0.89	o 936 
2.42/0.90	o 943 
2.42/0.92	o 965 
2.42/0.95	o 969 
2.42/0.98	o 985 
2.42/1.01	o 997 
2.81/1.02	o 1015 
2.81/1.03	o 1026 
2.81/1.05	o 1028 
2.81/1.08	o 1044 
3.20/1.11	o 1045 
3.20/1.13	o 1059 
3.20/1.15	o 1062 
3.20/1.19	o 1064 
3.55/1.24	o 1067 
3.55/1.24	o 1073 
3.55/1.26	o 1087 
3.55/1.30	o 1091 
3.97/1.32	o 1102 
5.13/1.64	o 1109 
92.13/23.58	s OPTIMUM FOUND
92.13/23.58	v <instantiation>
92.13/23.58	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>
92.13/23.58	v 	<values>0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 </values>
92.13/23.58	v </instantiation>

Verifier Data 

OK	1109

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

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

running on 4 cores: 1,3,5,7

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=7023, runsolver pid=7020
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 6.87 7.27 7.34 7/234 7039
/proc/meminfo: memFree=30144400/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15144768 memory=29652 CPUtime=0.13 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 5806 0 0 0 12 1 0 0 20 0 15 0 409463829 15508242432 7413 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3786192 7413 3158 1 0 3748377 0
[pid=7025/tid=7026] ppid=7023 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) R 7023 7023 25300 0 -1 4202560 3732 0 0 0 9 0 0 0 20 0 15 0 409463829 15508242432 7413 33554432000 4194304 4196468 140726476236640 139815492361184 139815094087155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 7413 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15144768 memory=140080830703232 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 7413 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 7413 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 7413 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15144768 memory=140080830703232 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814562436256 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814561383152 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) R 7023 7023 25300 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814559279856 139815480367934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) R 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15144768 memory=140080830703232 CPUtime=0.02 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) R 7023 7023 25300 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814557174256 139815466620784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15144768 memory=140080830703232 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 7413 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31100 KiB

[startup+0.212915 s]*
/proc/loadavg: 6.87 7.27 7.34 6/234 7039
/proc/meminfo: memFree=30132660/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15144768 memory=40300 CPUtime=0.35 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 9287 0 0 0 32 3 0 0 20 0 15 0 409463829 15508242432 10075 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3786192 10075 3320 1 0 3748377 0
[pid=7025/tid=7026] ppid=7023 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) R 7023 7023 25300 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 409463829 15508242432 10075 33554432000 4194304 4196468 140726476236640 139815492365792 139815488152733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 10075 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15144768 memory=140080833876190 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 10075 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 10075 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15508242432 10075 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814562436256 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15144768 memory=140080830703232 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409463832 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814561383152 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) S 7023 7023 25300 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814559279856 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) S 7023 7023 25300 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) S 7023 7023 25300 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814557174256 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463835 15508242432 10139 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41748 KiB

[startup+0.310673 s]*
/proc/loadavg: 6.87 7.27 7.34 7/234 7039
/proc/meminfo: memFree=30125852/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15149024 memory=50052 CPUtime=0.53 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 10810 0 0 0 50 3 0 0 20 0 15 0 409463829 15512600576 12513 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3787256 12513 3365 1 0 3748377 0
[pid=7025/tid=7026] ppid=7023 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) R 7023 7023 25300 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 409463829 15512600576 12519 33554432000 4194304 4196468 140726476236640 139815492367824 139815488152733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15512600576 12519 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15512600576 12519 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409463830 15512600576 12519 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463830 15512600576 12519 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409463832 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409463832 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814562436256 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409463832 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814561383152 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15149024 memory=-1751206868705893467 CPUtime=0.04 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) S 7023 7023 25300 0 -1 1077944384 615 0 0 0 4 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814559279856 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15149024 memory=7680491646476169235 CPUtime=0.05 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) S 7023 7023 25300 0 -1 1077944384 160 0 0 0 5 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15149024 memory=7088771780547993696 CPUtime=0.12 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) S 7023 7023 25300 0 -1 1077944384 965 0 0 0 12 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814557174256 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409463835 15512600576 12519 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51500 KiB

[startup+0.700783 s]
/proc/loadavg: 7.04 7.30 7.35 9/238 7123
/proc/meminfo: memFree=30014096/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15550532 memory=188912 CPUtime=1.67 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 19303 0 0 0 156 11 0 0 20 0 19 0 409463829 15923744768 47228 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3887633 47228 3481 1 0 3848735 0
[pid=7025/tid=7026] ppid=7023 vsize=15550532 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) S 7023 7023 25300 0 -1 1077944384 9007 0 0 0 42 4 0 0 20 0 19 0 409463829 15923744768 47228 33554432000 4194304 4196468 140726476236640 139815492371584 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 409463830 15923744768 47228 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 409463830 15923744768 47228 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 409463830 15923744768 47228 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15550532 memory=56 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 409463830 15923744768 47228 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814562436320 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814561383168 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15550532 memory=70 CPUtime=0.25 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) D 7023 7023 25300 0 -1 4202560 1231 0 0 0 25 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814559260872 139815468832295 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15550532 memory=1 CPUtime=0.24 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) D 7023 7023 25300 0 -1 4202560 1244 0 0 0 24 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814558208328 139815480367934 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15550532 memory=14323715934760 CPUtime=0.31 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) D 7023 7023 25300 0 -1 4202560 1753 0 0 0 31 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814557170328 139815480367934 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15550532 memory=2958624 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15550532 memory=2966641 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 47228 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 190360 KiB

[startup+1.50078 s]
/proc/loadavg: 7.04 7.30 7.35 12/238 7351
/proc/meminfo: memFree=29982080/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0

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

/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 150277 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7409] ppid=7023 vsize=15550532 memory=1448 CPUtime=20.3 cores=1,3,5,7
/proc/7025/task/7409/stat : 7409 (java) R 7023 7023 25300 0 -1 4202560 409 0 0 0 2029 1 0 0 20 0 19 0 409463994 15923744768 150277 33554432000 4194304 4196468 140726476236640 139814545858312 139815097556252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7410] ppid=7023 vsize=15550532 memory=599376 CPUtime=20.36 cores=1,3,5,7
/proc/7025/task/7410/stat : 7410 (java) R 7023 7023 25300 0 -1 4202560 910 0 0 0 2033 3 0 0 20 0 19 0 409463994 15923744768 150277 33554432000 4194304 4196468 140726476236640 139814031411808 139815098142211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7411] ppid=7023 vsize=15550532 memory=772 CPUtime=20.25 cores=1,3,5,7
/proc/7025/task/7411/stat : 7411 (java) R 7023 7023 25300 0 -1 4202560 1034 0 0 0 2025 0 0 0 20 0 19 0 409463994 15923744768 150277 33554432000 4194304 4196468 140726476236640 139814543753832 140726476327304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7412] ppid=7023 vsize=15550532 memory=3932 CPUtime=20.45 cores=1,3,5,7
/proc/7025/task/7412/stat : 7412 (java) R 7023 7023 25300 0 -1 4202560 942 0 0 0 2041 4 0 0 20 0 19 0 409463994 15923744768 150277 33554432000 4194304 4196468 140726476236640 139814542701664 139815098567251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 87.75 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 602556 KiB

[startup+23.201 s]
/proc/loadavg: 7.35 7.36 7.37 9/237 7648
/proc/meminfo: memFree=30491096/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15550532 memory=599568 CPUtime=90.93 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 40389 0 0 0 9064 29 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3887633 149892 3513 1 0 3848735 0
[pid=7025/tid=7026] ppid=7023 vsize=15550532 memory=280161389022896 CPUtime=0.46 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) S 7023 7023 25300 0 -1 1077944384 9008 0 0 0 42 4 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815492371584 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15550532 memory=280161389022960 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 617 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15550532 memory=2124 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15550532 memory=6352 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 668 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15550532 memory=504 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 482 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15550532 memory=1564 CPUtime=0.02 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 1375 0 0 0 2 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15550532 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814562436320 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15550532 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814561383168 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15550532 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15550532 memory=301741373374332954 CPUtime=1.45 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) S 7023 7023 25300 0 -1 1077944384 5544 0 0 0 145 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814559279856 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15550532 memory=288230617509003574 CPUtime=1.4 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) S 7023 7023 25300 0 -1 1077944384 8153 0 0 0 139 1 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15550532 memory=15260333157648136 CPUtime=0.47 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) S 7023 7023 25300 0 -1 1077944384 2979 0 0 0 47 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814557174256 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15550532 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15550532 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7409] ppid=7023 vsize=15550532 memory=15260333157648136 CPUtime=21.09 cores=1,3,5,7
/proc/7025/task/7409/stat : 7409 (java) R 7023 7023 25300 0 -1 4202560 422 0 0 0 2108 1 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814545860608 139815097374918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7410] ppid=7023 vsize=15550532 memory=504 CPUtime=21.16 cores=1,3,5,7
/proc/7025/task/7410/stat : 7410 (java) R 7023 7023 25300 0 -1 4202560 920 0 0 0 2113 3 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814031408864 139815098140820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7411] ppid=7023 vsize=15550532 memory=1564 CPUtime=21.05 cores=1,3,5,7
/proc/7025/task/7411/stat : 7411 (java) R 7023 7023 25300 0 -1 4202560 1047 0 0 0 2105 0 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814543753696 139815098088308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7412] ppid=7023 vsize=15550532 memory=924 CPUtime=21.25 cores=1,3,5,7
/proc/7025/task/7412/stat : 7412 (java) R 7023 7023 25300 0 -1 4202560 952 0 0 0 2121 4 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814542700480 139815098568659 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 90.93 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 601016 KiB

[startup+23.401 s]
/proc/loadavg: 7.35 7.36 7.37 9/237 7648
/proc/meminfo: memFree=30491096/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15550532 memory=599568 CPUtime=91.73 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 40415 0 0 0 9144 29 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3887633 149892 3513 1 0 3848735 0
[pid=7025/tid=7026] ppid=7023 vsize=15550532 memory=2532 CPUtime=0.46 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) S 7023 7023 25300 0 -1 1077944384 9008 0 0 0 42 4 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815492371584 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15550532 memory=1440 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 617 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15550532 memory=808 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15550532 memory=3906656829726418788 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 668 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15550532 memory=288230617509003574 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 482 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15550532 memory=15260333157648136 CPUtime=0.02 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 1375 0 0 0 2 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15550532 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814562436320 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15550532 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814561383168 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15550532 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15550532 memory=20364 CPUtime=1.45 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) S 7023 7023 25300 0 -1 1077944384 5544 0 0 0 145 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814559279856 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15550532 memory=984 CPUtime=1.4 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) S 7023 7023 25300 0 -1 1077944384 8153 0 0 0 139 1 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15550532 memory=2032 CPUtime=0.47 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) S 7023 7023 25300 0 -1 1077944384 2979 0 0 0 47 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814557174256 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15550532 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15550532 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7409] ppid=7023 vsize=15550532 memory=1448 CPUtime=21.28 cores=1,3,5,7
/proc/7025/task/7409/stat : 7409 (java) R 7023 7023 25300 0 -1 4202560 428 0 0 0 2127 1 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814545860608 139815097539652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7410] ppid=7023 vsize=15550532 memory=1448 CPUtime=21.35 cores=1,3,5,7
/proc/7025/task/7410/stat : 7410 (java) R 7023 7023 25300 0 -1 4202560 927 0 0 0 2132 3 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814031408864 139815097556154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7411] ppid=7023 vsize=15550532 memory=601108 CPUtime=21.25 cores=1,3,5,7
/proc/7025/task/7411/stat : 7411 (java) R 7023 7023 25300 0 -1 4202560 1053 0 0 0 2125 0 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814543753696 139815098863344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7412] ppid=7023 vsize=15550532 memory=976 CPUtime=21.44 cores=1,3,5,7
/proc/7025/task/7412/stat : 7412 (java) R 7023 7023 25300 0 -1 4202560 959 0 0 0 2140 4 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814542700480 139815098568637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 91.73 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 601016 KiB

[startup+23.501 s]
/proc/loadavg: 7.35 7.36 7.37 9/237 7648
/proc/meminfo: memFree=30491096/32770624 swapFree=66933688/67108860
[pid=7023] ppid=7020 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7023/stat : 7023 (xcsp3-exec) S 7020 7023 25300 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409463829 115843072 362 33554432000 4194304 5098028 140732156939744 140732156937848 140391717188220 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23683072 140732156941179 140732156941421 140732156941421 140732156944330 0
/proc/7023/statm: 28282 362 304 221 0 87 0
[pid=7025] ppid=7023 vsize=15550532 memory=599568 CPUtime=92.13 cores=1,3,5,7
/proc/7025/stat : 7025 (java) S 7023 7023 25300 0 -1 1077944320 40427 0 0 0 9184 29 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 140726476219184 139815488130807 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
/proc/7025/statm: 3887633 149892 3513 1 0 3848735 0
[pid=7025/tid=7026] ppid=7023 vsize=15550532 memory=599568 CPUtime=0.46 cores=1,3,5,7
/proc/7025/task/7026/stat : 7026 (java) S 7023 7023 25300 0 -1 1077944384 9008 0 0 0 42 4 0 0 20 0 19 0 409463829 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815492371584 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7027] ppid=7023 vsize=15550532 memory=599568 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7027/stat : 7027 (java) S 7023 7023 25300 0 -1 1077944384 617 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815416171536 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7028] ppid=7023 vsize=15550532 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7028/stat : 7028 (java) S 7023 7023 25300 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815415118992 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7029] ppid=7023 vsize=15550532 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7029/stat : 7029 (java) S 7023 7023 25300 0 -1 1077944384 668 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815414065936 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7030] ppid=7023 vsize=15550532 memory=600444 CPUtime=0.03 cores=1,3,5,7
/proc/7025/task/7030/stat : 7030 (java) S 7023 7023 25300 0 -1 1077944384 482 0 0 0 2 1 0 0 20 0 19 0 409463830 15923744768 149892 33554432000 4194304 4196468 140726476236640 139815077407632 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7031] ppid=7023 vsize=15550532 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/7025/task/7031/stat : 7031 (java) S 7023 7023 25300 0 -1 1077944384 1375 0 0 0 2 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814563490032 139815488141954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7032] ppid=7023 vsize=15550532 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7032/stat : 7032 (java) S 7023 7023 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814562436320 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7033] ppid=7023 vsize=15550532 memory=280161388658336 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7033/stat : 7033 (java) S 7023 7023 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409463832 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814561383168 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7034] ppid=7023 vsize=15550532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7034/stat : 7034 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814560331728 139815488149403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7035] ppid=7023 vsize=15550532 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/7025/task/7035/stat : 7035 (java) S 7023 7023 25300 0 -1 1077944384 5544 0 0 0 145 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814559279856 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7036] ppid=7023 vsize=15550532 memory=7234583476495213419 CPUtime=1.4 cores=1,3,5,7
/proc/7025/task/7036/stat : 7036 (java) S 7023 7023 25300 0 -1 1077944384 8153 0 0 0 139 1 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814558227312 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7037] ppid=7023 vsize=15550532 memory=136 CPUtime=0.47 cores=1,3,5,7
/proc/7025/task/7037/stat : 7037 (java) S 7023 7023 25300 0 -1 1077944384 2979 0 0 0 47 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814557174256 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7038] ppid=7023 vsize=15550532 memory=47 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7038/stat : 7038 (java) S 7023 7023 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814556121952 139815488141013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7039] ppid=7023 vsize=15550532 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/7025/task/7039/stat : 7039 (java) S 7023 7023 25300 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 19 0 409463835 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814555068976 139815488141954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7409] ppid=7023 vsize=15550532 memory=1548 CPUtime=21.38 cores=1,3,5,7
/proc/7025/task/7409/stat : 7409 (java) R 7023 7023 25300 0 -1 4202560 432 0 0 0 2137 1 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814545860608 139815473372101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7410] ppid=7023 vsize=15550532 memory=1056 CPUtime=21.45 cores=1,3,5,7
/proc/7025/task/7410/stat : 7410 (java) R 7023 7023 25300 0 -1 4202560 929 0 0 0 2142 3 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814031409000 139815096694640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7411] ppid=7023 vsize=15550532 memory=20364 CPUtime=21.35 cores=1,3,5,7
/proc/7025/task/7411/stat : 7411 (java) R 7023 7023 25300 0 -1 4202560 1056 0 0 0 2135 0 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814543753696 139815097777409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
[pid=7025/tid=7412] ppid=7023 vsize=15550532 memory=984 CPUtime=21.54 cores=1,3,5,7
/proc/7025/task/7412/stat : 7412 (java) R 7023 7023 25300 0 -1 4202560 962 0 0 0 2150 4 0 0 20 0 19 0 409463994 15923744768 149892 33554432000 4194304 4196468 140726476236640 139814542700480 139815098566553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7454720 140726476243951 140726476244122 140726476244122 140726476246991 0
Current children cumulated CPU time: 92.13 s
Current children cumulated vsize: 15663660 KiB
Current children cumulated memory: 601016 KiB

Child status: 0
Real time (s): 23.5898
CPU time (s): 92.4734
CPU user time (s): 92.1661
CPU system time (s): 0.307254
CPU usage (%): 392.006
Max. virtual memory (cumulated for all children) (KiB): 15663660
Max. memory (cumulated for all children) (KiB): 602556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.1661
system time used= 0.307254
maximum resident set size= 601424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41576
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= 5333
involuntary context switches= 2267


# summary of solver processes directly reported to runsolver:
#   pid: 7023
#   total CPU time (s): 92.4734
#   total CPU user time (s): 92.1661
#   total CPU system time (s): 0.307254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.156256 second user time and 0.33315 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 01:44:45
IDJOB=4394107
IDBENCH=133453
IDSOLVER=2842
FILE ID=node151/4394107-1568331924
RUNJOBID= node151-1568323682-25332
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-03.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-4394107-1568331924/watcher-4394107-1568331924 -o /tmp/evaluation-result-4394107-1568331924/solver-4394107-1568331924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 903046863 HOME/instance-4394107-1568331924.xml

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

MD5SUM BENCH= 370e5889e420807efe2c272780cce411
RANDOM SEED=903046863

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:        30165328 kB
MemAvailable:   30757904 kB
Buffers:          134648 kB
Cached:           748936 kB
SwapCached:        72496 kB
Active:          1573596 kB
Inactive:         483096 kB
Active(anon):    1108232 kB
Inactive(anon):    96432 kB
Active(file):     465364 kB
Inactive(file):   386664 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933688 kB
Dirty:             26176 kB
Writeback:             0 kB
AnonPages:       1224332 kB
Mapped:            47804 kB
Shmem:             22940 kB
Slab:             141500 kB
SReclaimable:     112764 kB
SUnreclaim:        28736 kB
KernelStack:        4080 kB
PageTables:         7944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3001892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 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:08