Trace number 4403830

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-09-20OPT1241 37.5543 9.77446

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-09.xml
MD5SUMad8dee3e46a37d7edd567f31713cba75
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1241
Best CPU time to get the best result obtained on this benchmark37.3449
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-4403830-1568991620.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403830-1568991620.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
0.72/0.45	c solve instance...
0.72/0.47	o 0 
0.72/0.47	o 72 
0.72/0.48	o 73 
0.72/0.48	o 145 
0.72/0.49	o 158 
0.72/0.49	o 159 
0.72/0.49	o 231 
0.72/0.49	o 285 
0.72/0.49	o 329 
0.72/0.49	o 383 
0.72/0.50	o 430 
0.72/0.50	o 461 
0.72/0.50	o 462 
0.72/0.51	o 509 
0.72/0.51	o 540 
0.72/0.51	o 558 
0.72/0.51	o 562 
0.72/0.51	o 580 
0.72/0.51	o 581 
0.72/0.51	o 612 
0.72/0.51	o 630 
0.72/0.51	o 634 
0.72/0.52	o 648 
0.72/0.52	o 670 
1.01/0.52	o 672 
1.01/0.52	o 699 
1.01/0.52	o 721 
1.01/0.52	o 721 
1.01/0.53	o 733 
1.01/0.53	o 747 
1.01/0.53	o 769 
1.01/0.54	o 813 
1.01/0.54	o 835 
1.01/0.54	o 846 
1.01/0.55	o 893 
1.01/0.55	o 912 
1.01/0.55	o 915 
1.01/0.55	o 934 
1.01/0.56	o 935 
1.01/0.56	o 940 
1.01/0.56	o 947 
1.01/0.56	o 957 
1.01/0.56	o 958 
1.01/0.56	o 959 
1.01/0.57	o 971 
1.01/0.58	o 976 
1.01/0.58	o 1002 
1.01/0.59	o 1011 
1.01/0.59	o 1014 
1.31/0.61	o 1015 
1.31/0.61	o 1034 
1.31/0.63	o 1047 
1.65/0.70	o 1049 
1.65/0.72	o 1050 
1.65/0.73	o 1051 
1.65/0.73	o 1064 
1.65/0.74	o 1072 
1.65/0.76	o 1087 
1.65/0.78	o 1119 
2.03/0.80	o 1123 
2.03/0.84	o 1141 
2.03/0.86	o 1146 
2.03/0.89	o 1147 
2.03/0.90	o 1158 
2.42/0.93	o 1171 
2.42/0.95	o 1188 
2.42/0.96	o 1189 
2.42/0.99	o 1200 
2.82/1.04	o 1205 
2.82/1.05	o 1227 
2.82/1.06	o 1241 
37.32/9.75	s OPTIMUM FOUND
37.32/9.75	v <instantiation>
37.32/9.75	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>
37.32/9.75	v 	<values>0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 </values>
37.32/9.75	v </instantiation>

Verifier Data 

OK	1241

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403830-1568991620/watcher-4403830-1568991620 -o /var/tmp/evaluation-result-4403830-1568991620/solver-4403830-1568991620 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1878864306 HOME/instance-4403830-1568991620.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2711, runsolver pid=2708

[startup+0.100069 s]*
/proc/loadavg: 8.89 8.20 5.11 9/238 2727
/proc/meminfo: memFree=10452236/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15144776 memory=29364 CPUtime=0.12 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 5762 0 0 0 11 1 0 0 20 0 15 0 475401543 15508250624 7341 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3786194 7341 3146 1 0 3748377 0
[pid=2713/tid=2714] ppid=2711 vsize=15144776 memory=-8995268955501137787 CPUtime=0.09 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) R 2711 2711 1216 0 -1 4202560 3706 0 0 0 8 1 0 0 20 0 15 0 475401543 15508250624 7407 33554432000 4194304 4196468 140721763041840 139908414332384 139908402346814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 7407 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 7407 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 7407 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 7407 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475401545 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475401546 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907877639328 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475401546 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907876586224 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) R 2711 2711 1216 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907872373088 139908410131034 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 7407 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB

[startup+0.21107 s]*
/proc/loadavg: 8.74 8.18 5.12 8/238 2727
/proc/meminfo: memFree=10439256/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15144776 memory=40676 CPUtime=0.34 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 9445 0 0 0 31 3 0 0 20 0 15 0 475401543 15508250624 10169 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3786194 10169 3264 1 0 3748377 0
[pid=2713/tid=2714] ppid=2711 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) R 2711 2711 1216 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 475401543 15508250624 10169 33554432000 4194304 4196468 140721763041840 139908414346736 139908402787701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15144776 memory=13589 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 10169 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15144776 memory=3977724870754178720 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 10169 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 10169 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475401544 15508250624 10169 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475401545 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475401546 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907877639328 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475401546 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907876586224 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15144776 memory=140182339065472 CPUtime=0.08 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) S 2711 2711 1216 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401549 15508250624 10169 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42132 KiB

[startup+0.310911 s]*
/proc/loadavg: 8.74 8.18 5.12 6/238 2727
/proc/meminfo: memFree=10432388/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15149032 memory=50068 CPUtime=0.51 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 10805 0 0 0 47 4 0 0 20 0 15 0 475401543 15512608768 12517 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3787258 12517 3362 1 0 3748377 0
[pid=2713/tid=2714] ppid=2711 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) R 2711 2711 1216 0 -1 4202560 7821 0 0 0 27 3 0 0 20 0 15 0 475401543 15512608768 12523 33554432000 4194304 4196468 140721763041840 139908414343472 139908394190174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15149032 memory=13951 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15512608768 12523 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15149032 memory=3553070 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15512608768 12523 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401544 15512608768 12523 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475401544 15512608768 12523 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475401545 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475401546 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907877639328 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475401546 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907876586224 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 606 0 0 0 4 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) S 2711 2711 1216 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475401549 15512608768 12523 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51524 KiB

[startup+0.701024 s]
/proc/loadavg: 8.74 8.18 5.12 14/242 2787
/proc/meminfo: memFree=10320668/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15485004 memory=187980 CPUtime=1.65 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 18286 0 0 0 156 9 0 0 20 0 19 0 475401543 15856644096 46995 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3871251 46995 3483 1 0 3832351 0
[pid=2713/tid=2714] ppid=2711 vsize=15485004 memory=1811268239361 CPUtime=0.45 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) S 2711 2711 1216 0 -1 1077944384 9031 0 0 0 42 3 0 0 20 0 19 0 475401543 15856644096 46995 33554432000 4194304 4196468 140721763041840 139908414350464 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15485004 memory=29264 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475401544 15856644096 46995 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15485004 memory=496 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 475401544 15856644096 46995 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15485004 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475401544 15856644096 46995 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15485004 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475401544 15856644096 46995 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15485004 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475401545 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15485004 memory=920 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907877639392 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15485004 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907876586240 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15485004 memory=2704 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15485004 memory=2712 CPUtime=0.24 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) R 2711 2711 1216 0 -1 4202560 1412 0 0 0 24 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907874469496 139908394497010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15485004 memory=1744 CPUtime=0.25 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) R 2711 2711 1216 0 -1 4202560 898 0 0 0 25 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907873416952 139908389348096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15485004 memory=780 CPUtime=0.31 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) R 2711 2711 1216 0 -1 1077944384 1660 0 0 0 31 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15485004 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15485004 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 46995 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 189436 KiB

[startup+1.50953 s]
/proc/loadavg: 8.74 8.18 5.12 12/242 3003
/proc/meminfo: memFree=10285396/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0

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

/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3012] ppid=2711 vsize=15485004 memory=13828586736362 CPUtime=7.5 cores=1,3,5,7
/proc/2713/task/3012/stat : 3012 (java) R 2711 2711 1216 0 -1 4202560 96 0 0 0 750 0 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907858947696 139908043176427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3013] ppid=2711 vsize=15485004 memory=13828586736362 CPUtime=7.42 cores=1,3,5,7
/proc/2713/task/3013/stat : 3013 (java) R 2711 2711 1216 0 -1 4202560 381 0 0 0 740 2 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907857896216 139908044599117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3014] ppid=2711 vsize=15485004 memory=13828586736362 CPUtime=7.08 cores=1,3,5,7
/proc/2713/task/3014/stat : 3014 (java) R 2711 2711 1216 0 -1 4202560 437 0 0 0 708 0 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907856843824 139908043045450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3015] ppid=2711 vsize=15485004 memory=13828586736106 CPUtime=7.17 cores=1,3,5,7
/proc/2713/task/3015/stat : 3015 (java) R 2711 2711 1216 0 -1 4202560 478 0 0 0 714 3 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907860000512 139908043471559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 33.75 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 593476 KiB

[startup+9.20153 s]
/proc/loadavg: 8.68 8.17 5.13 10/242 3015
/proc/meminfo: memFree=9381976/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15485004 memory=592020 CPUtime=35.33 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 27720 0 0 0 3512 21 0 0 20 0 19 0 475401543 15856644096 148005 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3871251 148005 3513 1 0 3832351 0
[pid=2713/tid=2714] ppid=2711 vsize=15485004 memory=6944656592455097440 CPUtime=0.45 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) S 2711 2711 1216 0 -1 1077944384 9031 0 0 0 42 3 0 0 20 0 19 0 475401543 15856644096 148005 33554432000 4194304 4196468 140721763041840 139908414350464 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15485004 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 148005 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 475401544 15856644096 148005 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 148005 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 148005 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15485004 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 651 0 0 0 1 1 0 0 20 0 19 0 475401545 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907877639392 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907876586240 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15485004 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 3177 0 0 0 139 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15485004 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 3836 0 0 0 111 1 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15485004 memory=6943526294502006880 CPUtime=0.47 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) S 2711 2711 1216 0 -1 1077944384 2670 0 0 0 47 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15485004 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15485004 memory=592020 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3012] ppid=2711 vsize=15485004 memory=6943526294502006880 CPUtime=7.9 cores=1,3,5,7
/proc/2713/task/3012/stat : 3012 (java) R 2711 2711 1216 0 -1 4202560 96 0 0 0 790 0 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907858947696 139908043378489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3013] ppid=2711 vsize=15485004 memory=-7533522213388100735 CPUtime=7.8 cores=1,3,5,7
/proc/2713/task/3013/stat : 3013 (java) R 2711 2711 1216 0 -1 4202560 381 0 0 0 778 2 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907857895416 139908044599271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3014] ppid=2711 vsize=15485004 memory=-8253387840130273401 CPUtime=7.47 cores=1,3,5,7
/proc/2713/task/3014/stat : 3014 (java) R 2711 2711 1216 0 -1 4202560 437 0 0 0 747 0 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907856843960 139908043176131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3015] ppid=2711 vsize=15485004 memory=4132774494331964790 CPUtime=7.57 cores=1,3,5,7
/proc/2713/task/3015/stat : 3015 (java) R 2711 2711 1216 0 -1 4202560 478 0 0 0 754 3 0 0 20 0 19 0 475401649 15856644096 148005 33554432000 4194304 4196468 140721763041840 139907860000648 139908044599535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 35.33 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 593476 KiB

[startup+9.60153 s]
/proc/loadavg: 8.68 8.17 5.13 10/242 3015
/proc/meminfo: memFree=9381976/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15485004 memory=590496 CPUtime=36.92 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 27935 0 0 0 3671 21 0 0 20 0 19 0 475401543 15856644096 147624 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3871251 147624 3513 1 0 3832351 0
[pid=2713/tid=2714] ppid=2711 vsize=15485004 memory=8112282956445269571 CPUtime=0.45 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) S 2711 2711 1216 0 -1 1077944384 9031 0 0 0 42 3 0 0 20 0 19 0 475401543 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908414350464 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15485004 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15485004 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 201 0 0 0 0 1 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15485004 memory=588384 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15485004 memory=2116 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15485004 memory=29264 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 651 0 0 0 1 1 0 0 20 0 19 0 475401545 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907877639392 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15485004 memory=2315025712664267937 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907876586240 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15485004 memory=3540023503744256529 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15485004 memory=3540023559226564087 CPUtime=1.41 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 3380 0 0 0 141 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15485004 memory=280364459694448 CPUtime=1.12 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 3836 0 0 0 111 1 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15485004 memory=3835011564310142516 CPUtime=0.47 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) S 2711 2711 1216 0 -1 1077944384 2670 0 0 0 47 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15485004 memory=3972368062899468114 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15485004 memory=56 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3012] ppid=2711 vsize=15485004 memory=0 CPUtime=8.29 cores=1,3,5,7
/proc/2713/task/3012/stat : 3012 (java) R 2711 2711 1216 0 -1 4202560 96 0 0 0 829 0 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907858948472 139908043378540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3013] ppid=2711 vsize=15485004 memory=8747226831578988619 CPUtime=8.2 cores=1,3,5,7
/proc/2713/task/3013/stat : 3013 (java) R 2711 2711 1216 0 -1 4202560 385 0 0 0 818 2 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907857896256 139908044294169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3014] ppid=2711 vsize=15485004 memory=1456 CPUtime=7.87 cores=1,3,5,7
/proc/2713/task/3014/stat : 3014 (java) R 2711 2711 1216 0 -1 4202560 438 0 0 0 787 0 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907856843824 139908043378444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3015] ppid=2711 vsize=15485004 memory=219440 CPUtime=7.95 cores=1,3,5,7
/proc/2713/task/3015/stat : 3015 (java) R 2711 2711 1216 0 -1 4202560 478 0 0 0 792 3 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907860003376 139908043378493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 36.92 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 591952 KiB

[startup+9.70153 s]
/proc/loadavg: 8.68 8.17 5.13 10/242 3015
/proc/meminfo: memFree=9381976/32770624 swapFree=67001884/67108860
[pid=2711] ppid=2708 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2711/stat : 2711 (xcsp3-exec) S 2708 2711 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475401543 115843072 364 33554432000 4194304 5098028 140723869587616 140723869585720 139793999016572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17838080 140723869590358 140723869590617 140723869590617 140723869593542 0
/proc/2711/statm: 28282 364 305 221 0 87 0
[pid=2713] ppid=2711 vsize=15485004 memory=590496 CPUtime=37.32 cores=1,3,5,7
/proc/2713/stat : 2713 (java) S 2711 2711 1216 0 -1 1077944320 27935 0 0 0 3711 21 0 0 20 0 19 0 475401543 15856644096 147624 33554432000 4194304 4196468 140721763041840 140721763024384 139908410109687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
/proc/2713/statm: 3871251 147624 3513 1 0 3832351 0
[pid=2713/tid=2714] ppid=2711 vsize=15485004 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/2713/task/2714/stat : 2714 (java) S 2711 2711 1216 0 -1 1077944384 9031 0 0 0 42 3 0 0 20 0 19 0 475401543 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908414350464 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2715] ppid=2711 vsize=15485004 memory=3467825817637237570 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2715/stat : 2715 (java) S 2711 2711 1216 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908362730512 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2716] ppid=2711 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2716/stat : 2716 (java) S 2711 2711 1216 0 -1 1077944384 201 0 0 0 0 1 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908361677968 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2717] ppid=2711 vsize=15485004 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/2713/task/2717/stat : 2717 (java) S 2711 2711 1216 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908360624912 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2718] ppid=2711 vsize=15485004 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2718/stat : 2718 (java) S 2711 2711 1216 0 -1 1077944384 112 0 0 0 1 1 0 0 20 0 19 0 475401544 15856644096 147624 33554432000 4194304 4196468 140721763041840 139908359572368 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2719] ppid=2711 vsize=15485004 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2713/task/2719/stat : 2719 (java) S 2711 2711 1216 0 -1 1077944384 651 0 0 0 1 1 0 0 20 0 19 0 475401545 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907878693104 139908410120834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2720] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2720/stat : 2720 (java) S 2711 2711 1216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907877639392 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2721] ppid=2711 vsize=15485004 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2721/stat : 2721 (java) S 2711 2711 1216 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475401546 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907876586240 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2722] ppid=2711 vsize=15485004 memory=197136 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2722/stat : 2722 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907875534800 139908410128283 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2723] ppid=2711 vsize=15485004 memory=1456 CPUtime=1.41 cores=1,3,5,7
/proc/2713/task/2723/stat : 2723 (java) S 2711 2711 1216 0 -1 1077944384 3380 0 0 0 141 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907874482928 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2724] ppid=2711 vsize=15485004 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/2713/task/2724/stat : 2724 (java) S 2711 2711 1216 0 -1 1077944384 3836 0 0 0 111 1 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907873430384 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2725] ppid=2711 vsize=15485004 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/2713/task/2725/stat : 2725 (java) S 2711 2711 1216 0 -1 1077944384 2670 0 0 0 47 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907872377328 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2726] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2726/stat : 2726 (java) S 2711 2711 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907871325024 139908410119893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=2727] ppid=2711 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2713/task/2727/stat : 2727 (java) S 2711 2711 1216 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 475401549 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907870272048 139908410120834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3012] ppid=2711 vsize=15485004 memory=8112282956445269571 CPUtime=8.39 cores=1,3,5,7
/proc/2713/task/3012/stat : 3012 (java) R 2711 2711 1216 0 -1 4202560 96 0 0 0 839 0 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907858948472 139908040726559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3013] ppid=2711 vsize=15485004 memory=7012505316162760808 CPUtime=8.3 cores=1,3,5,7
/proc/2713/task/3013/stat : 3013 (java) R 2711 2711 1216 0 -1 4202560 385 0 0 0 828 2 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907857896256 139908044599271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3014] ppid=2711 vsize=15485004 memory=7014751519683793506 CPUtime=7.97 cores=1,3,5,7
/proc/2713/task/3014/stat : 3014 (java) R 2711 2711 1216 0 -1 4202560 438 0 0 0 797 0 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907856843824 140721763481906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
[pid=2713/tid=3015] ppid=2711 vsize=15485004 memory=-1 CPUtime=8.05 cores=1,3,5,7
/proc/2713/task/3015/stat : 3015 (java) R 2711 2711 1216 0 -1 4202560 478 0 0 0 802 3 0 0 20 0 19 0 475401649 15856644096 147624 33554432000 4194304 4196468 140721763041840 139907860003376 139908044296040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32382976 140721763050459 140721763050634 140721763050634 140721763053519 0
Current children cumulated CPU time: 37.32 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 591952 KiB

Child status: 0
Real time (s): 9.77446
CPU time (s): 37.5543
CPU user time (s): 37.329
CPU system time (s): 0.225259
CPU usage (%): 384.208
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 593492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.329
system time used= 0.225259
maximum resident set size= 594084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28958
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= 3987
involuntary context switches= 1308


# summary of solver processes directly reported to runsolver:
#   pid: 2711
#   total CPU time (s): 37.5543
#   total CPU user time (s): 37.329
#   total CPU system time (s): 0.225259

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089878 second user time and 0.155965 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-20 16:59:40
IDJOB=4403830
IDBENCH=133447
IDSOLVER=2863
FILE ID=node133/4403830-1568991620
RUNJOBID= node133-1568990876-1248
PBS_JOBID= 21704651
Free space on /var/tmp= 13464 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-09.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 /var/tmp/evaluation-result-4403830-1568991620/watcher-4403830-1568991620 -o /var/tmp/evaluation-result-4403830-1568991620/solver-4403830-1568991620 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1878864306 HOME/instance-4403830-1568991620.xml

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

MD5SUM BENCH= ad8dee3e46a37d7edd567f31713cba75
RANDOM SEED=1878864306

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        10469016 kB
MemAvailable:   31266104 kB
Buffers:          149012 kB
Cached:         20532576 kB
SwapCached:         5400 kB
Active:         10895084 kB
Inactive:       10378284 kB
Active(anon):     590164 kB
Inactive(anon):    47824 kB
Active(file):   10304920 kB
Inactive(file): 10330460 kB
Unevictable:      111416 kB
Mlocked:          111416 kB
SwapTotal:      67108860 kB
SwapFree:       67001884 kB
Dirty:             26364 kB
Writeback:             0 kB
AnonPages:        633720 kB
Mapped:            65020 kB
Shmem:             37720 kB
Slab:             619736 kB
SReclaimable:     590168 kB
SUnreclaim:        29568 kB
KernelStack:        4240 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2389516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13436 MiB
End job on node133 at 2019-09-20 16:59:50