Trace number 4407128

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-24 parallelOPT1121 192.082 26.0688

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-14.xml
MD5SUM0fb8e68e5b6c8402080e230a0c605796
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1121
Best CPU time to get the best result obtained on this benchmark88.5132
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407128-1569352504.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407128-1569352504.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
0.70/0.48	c solve instance...
0.70/0.50	o 181 
1.03/0.52	o 184 
1.03/0.52	o 199 
1.03/0.52	o 364 
1.03/0.53	o 383 
1.03/0.53	o 556 
1.03/0.54	o 572 
1.03/0.54	o 573 
1.03/0.54	o 581 
1.03/0.54	o 582 
1.03/0.54	o 582 
1.03/0.54	o 613 
1.03/0.54	o 617 
1.03/0.55	o 667 
1.03/0.55	o 675 
1.03/0.55	o 681 
1.03/0.55	o 703 
1.03/0.55	o 712 
1.03/0.56	o 736 
1.03/0.57	o 765 
1.03/0.57	o 790 
1.03/0.57	o 799 
1.03/0.58	o 801 
1.03/0.58	o 810 
1.03/0.59	o 816 
1.03/0.59	o 819 
1.53/0.62	o 820 
1.53/0.63	o 821 
1.53/0.64	o 868 
1.53/0.65	o 883 
1.53/0.65	o 898 
1.53/0.65	o 906 
1.53/0.66	o 912 
1.53/0.66	o 915 
1.53/0.66	o 930 
1.53/0.67	o 933 
1.53/0.68	o 959 
1.53/0.69	o 969 
2.14/0.71	o 983 
2.14/0.75	o 989 
2.14/0.75	o 998 
2.14/0.77	o 1010 
2.14/0.78	o 1027 
2.14/0.78	o 1036 
2.14/0.80	o 1049 
2.76/0.82	o 1059 
2.76/0.83	o 1065 
2.76/0.85	o 1068 
3.49/0.91	o 1111 
3.49/0.99	o 1112 
4.26/1.05	o 1121 
191.80/26.04	s OPTIMUM FOUND
191.80/26.04	v <instantiation>
191.80/26.04	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>
191.80/26.04	v 	<values>1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 </values>
191.80/26.04	v </instantiation>

Verifier Data 

OK	1121

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407128-1569352504/watcher-4407128-1569352504 -o /var/tmp/evaluation-result-4407128-1569352504/solver-4407128-1569352504 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569347359-14876 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 311163087 HOME/instance-4407128-1569352504.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16019, runsolver pid=16016
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.14 8.41 8.35 3/212 16040
/proc/meminfo: memFree=25590380/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28227396 memory=27348 CPUtime=0.12 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 5813 0 0 0 11 1 0 0 20 0 20 0 511188706 28904853504 6837 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7056849 6837 3123 1 0 7019032 0
[pid=16021/tid=16022] ppid=16019 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) R 16019 16019 14849 0 -1 4202560 3668 0 0 0 9 0 0 0 20 0 20 0 511188706 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245615637824 140245611416982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28227396 memory=140241018955392 CPUtime=0 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16026] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16026/stat : 16026 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245159434640 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16027] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16027/stat : 16027 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245158382608 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16028] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16028/stat : 16028 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245157330064 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16029] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16029/stat : 16029 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245156277008 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16030] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16030/stat : 16030 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245155224464 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16031] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16031/stat : 16031 (java) S 16019 16019 14849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188708 28904853504 6837 33554432000 4194304 4196468 140721027695568 140245112420592 140245611416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16032] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16032/stat : 16032 (java) S 16019 16019 14849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188709 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244122854560 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16033] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16033/stat : 16033 (java) S 16019 16019 14849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188709 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244121801456 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16034] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16034/stat : 16034 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244120750032 140245611423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16035] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16035/stat : 16035 (java) R 16019 16019 14849 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244119698160 140245594828877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16036] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16036/stat : 16036 (java) S 16019 16019 14849 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244118645616 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16037] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16037/stat : 16037 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244117592560 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16038] ppid=16019 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16021/task/16038/stat : 16038 (java) R 16019 16019 14849 0 -1 4202560 401 0 0 0 2 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244116540016 140245595485534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16039] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16039/stat : 16039 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 6837 33554432000 4194304 4196468 140721027695568 140244115487200 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16040] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16040/stat : 16040 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188712 28904853504 6903 33554432000 4194304 4196468 140721027695568 140244114434736 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28796 KiB

[startup+0.21054 s]*
/proc/loadavg: 7.57 8.28 8.31 2/212 16040
/proc/meminfo: memFree=25576480/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28227396 memory=40004 CPUtime=0.34 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 9741 0 0 0 31 3 0 0 20 0 20 0 511188706 28904853504 10001 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7056849 10001 3305 1 0 7019032 0
[pid=16021/tid=16022] ppid=16019 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) S 16019 16019 14849 0 -1 1077944384 6691 0 0 0 18 1 0 0 20 0 20 0 511188706 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245615638752 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28227396 memory=140241018970718 CPUtime=0 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16026] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16026/stat : 16026 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245159434640 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16027] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16027/stat : 16027 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245158382608 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16028] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16028/stat : 16028 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245157330064 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16029] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16029/stat : 16029 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245156277008 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16030] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16030/stat : 16030 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245155224464 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16031] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16031/stat : 16031 (java) S 16019 16019 14849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511188708 28904853504 10001 33554432000 4194304 4196468 140721027695568 140245112420592 140245611416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16032] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16032/stat : 16032 (java) S 16019 16019 14849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188709 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244122854560 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16033] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16033/stat : 16033 (java) S 16019 16019 14849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188709 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244121801456 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16034] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16034/stat : 16034 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244120750032 140245611423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16035] ppid=16019 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16021/task/16035/stat : 16035 (java) S 16019 16019 14849 0 -1 1077944384 608 0 0 0 1 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244119698160 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16036] ppid=16019 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16021/task/16036/stat : 16036 (java) S 16019 16019 14849 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244118645616 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16037] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16037/stat : 16037 (java) R 16019 16019 14849 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244117592560 140245611416194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16038] ppid=16019 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/16021/task/16038/stat : 16038 (java) R 16019 16019 14849 0 -1 4202560 930 0 0 0 8 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244116539824 140245611416982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16039] ppid=16019 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16039/stat : 16039 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188711 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244115487200 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16040] ppid=16019 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16040/stat : 16040 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188712 28904853504 10001 33554432000 4194304 4196468 140721027695568 140244114434736 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41452 KiB

[startup+0.310334 s]*
/proc/loadavg: 7.57 8.28 8.31 3/212 16040
/proc/meminfo: memFree=25569324/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28231652 memory=48716 CPUtime=0.52 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 11105 0 0 0 48 4 0 0 20 0 20 0 511188706 28909211648 12179 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7057913 12179 3349 1 0 7019032 0
[pid=16021/tid=16022] ppid=16019 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) R 16019 16019 14849 0 -1 4202560 7787 0 0 0 28 2 0 0 20 0 20 0 511188706 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245615636160 140245595485564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16026] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16026/stat : 16026 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245159434640 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16027] ppid=16019 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/16021/task/16027/stat : 16027 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245158382608 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16028] ppid=16019 vsize=28231652 memory=140240882856879 CPUtime=0 cores=0-7
/proc/16021/task/16028/stat : 16028 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245157330064 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16029] ppid=16019 vsize=28231652 memory=140240882859184 CPUtime=0 cores=0-7
/proc/16021/task/16029/stat : 16029 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245156277008 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16030] ppid=16019 vsize=28231652 memory=140240882861488 CPUtime=0 cores=0-7
/proc/16021/task/16030/stat : 16030 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188707 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245155224464 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16031] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16031/stat : 16031 (java) S 16019 16019 14849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511188708 28909211648 12245 33554432000 4194304 4196468 140721027695568 140245112420592 140245611416194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16032] ppid=16019 vsize=28231652 memory=280481765729936 CPUtime=0 cores=0-7
/proc/16021/task/16032/stat : 16032 (java) S 16019 16019 14849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511188709 28909211648 12245 33554432000 4194304 4196468 140721027695568 140244122854560 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16033] ppid=16019 vsize=28231652 memory=280481765736848 CPUtime=0 cores=0-7
/proc/16021/task/16033/stat : 16033 (java) S 16019 16019 14849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511188709 28909211648 12245 33554432000 4194304 4196468 140721027695568 140244121801456 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16034] ppid=16019 vsize=28231524 memory=280481765678000 CPUtime=0 cores=0-7
/proc/16021/task/16034/stat : 16034 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188711 28909080576 12289 33554432000 4194304 4196468 140721027695568 140244120750032 140245611423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16035] ppid=16019 vsize=28231652 memory=280481765750672 CPUtime=0.02 cores=0-7
/proc/16021/task/16035/stat : 16035 (java) S 16019 16019 14849 0 -1 1077944384 615 0 0 0 2 0 0 0 20 0 20 0 511188711 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244119698160 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16036] ppid=16019 vsize=28231652 memory=280481765757584 CPUtime=0.03 cores=0-7
/proc/16021/task/16036/stat : 16036 (java) R 16019 16019 14849 0 -1 4202560 269 0 0 0 3 0 0 0 20 0 20 0 511188711 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244118645616 140245603694519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16037] ppid=16019 vsize=28231652 memory=280481765755280 CPUtime=0.02 cores=0-7
/proc/16021/task/16037/stat : 16037 (java) S 16019 16019 14849 0 -1 1077944384 47 0 0 0 2 0 0 0 20 0 20 0 511188711 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244117592560 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16038] ppid=16019 vsize=28231652 memory=280481765771440 CPUtime=0.12 cores=0-7
/proc/16021/task/16038/stat : 16038 (java) S 16019 16019 14849 0 -1 1077944384 1091 0 0 0 12 0 0 0 20 0 20 0 511188711 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244116540016 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16039] ppid=16019 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16039/stat : 16039 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511188711 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244115487200 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16040] ppid=16019 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16021/task/16040/stat : 16040 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511188712 28909211648 12289 33554432000 4194304 4196468 140721027695568 140244114434736 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50164 KiB

[startup+0.710889 s]
/proc/loadavg: 7.57 8.28 8.31 5/215 16051
/proc/meminfo: memFree=25532376/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28899416 memory=298580 CPUtime=2.14 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 21055 0 0 0 200 14 0 0 20 0 27 0 511188706 29593001984 74645 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7224854 74645 3480 1 0 7185954 0
[pid=16021/tid=16022] ppid=16019 vsize=28899416 memory=280481766129328 CPUtime=0.49 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) S 16019 16019 14849 0 -1 1077944384 9135 0 0 0 46 3 0 0 20 0 27 0 511188706 29593001984 74645 33554432000 4194304 4196468 140721027695568 140245615645824 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28899416 memory=140240883065712 CPUtime=0 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 511188707 29593001984 74645 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 27 0 511188707 29593001984 74645 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 511188707 29593001984 74645 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0

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

[pid=16021/tid=16452] ppid=16019 vsize=28965980 memory=0 CPUtime=22.23 cores=0-7
/proc/16021/task/16452/stat : 16452 (java) R 16019 16019 14849 0 -1 1077944384 513 0 0 0 2199 24 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243779022592 140245611415253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16453] ppid=16019 vsize=28965980 memory=280481767121632 CPUtime=22.68 cores=0-7
/proc/16021/task/16453/stat : 16453 (java) R 16019 16019 14849 0 -1 4202560 1427 0 0 0 2244 24 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243786391840 140245252315086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16454] ppid=16019 vsize=28965980 memory=2110591490926244 CPUtime=22.93 cores=0-7
/proc/16021/task/16454/stat : 16454 (java) R 16019 16019 14849 0 -1 4202560 2268 0 0 0 2271 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243780076032 140245254748262 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16455] ppid=16019 vsize=28965980 memory=0 CPUtime=22.09 cores=0-7
/proc/16021/task/16455/stat : 16455 (java) R 16019 16019 14849 0 -1 4202560 1255 0 0 0 2187 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243783233664 140245249499232 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16456] ppid=16019 vsize=28965980 memory=280481767708496 CPUtime=22.77 cores=0-7
/proc/16021/task/16456/stat : 16456 (java) S 16019 16019 14849 0 -1 1077944384 3648 0 0 0 2229 48 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244105457920 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16457] ppid=16019 vsize=28965980 memory=1220 CPUtime=22.42 cores=0-7
/proc/16021/task/16457/stat : 16457 (java) R 16019 16019 14849 0 -1 4202560 1036 0 0 0 2220 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243785338752 140245252520327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16458] ppid=16019 vsize=28965980 memory=14004 CPUtime=22.69 cores=0-7
/proc/16021/task/16458/stat : 16458 (java) R 16019 16019 14849 0 -1 4202560 2132 0 0 0 2232 37 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243777970080 140245253496234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 187.88 s
Current children cumulated vsize: 29079108 KiB
Current children cumulated memory: 2169524 KiB

[startup+26.0687 s]
# the end of solver process 16019 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=189.462 s, system=2.61992 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6016 s]
/proc/loadavg: 7.43 8.20 8.28 9/221 16460
/proc/meminfo: memFree=23446092/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28965980 memory=2168076 CPUtime=188.66 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 63798 0 0 0 18610 256 0 0 20 0 28 0 511188706 29661163520 542019 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7241495 542019 3516 1 0 7202595 0
[pid=16021/tid=16022] ppid=16019 vsize=28965980 memory=33172 CPUtime=0.5 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) S 16019 16019 14849 0 -1 1077944384 9135 0 0 0 47 3 0 0 20 0 28 0 511188706 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245615645824 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28965980 memory=532 CPUtime=0.01 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 945 0 0 0 1 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28965980 memory=1556 CPUtime=0.02 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28965980 memory=932 CPUtime=0.03 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 691 0 0 0 2 1 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16026] ppid=16019 vsize=28965980 memory=1448 CPUtime=0.02 cores=0-7
/proc/16021/task/16026/stat : 16026 (java) S 16019 16019 14849 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245159434640 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16027] ppid=16019 vsize=28965980 memory=2171568 CPUtime=0.02 cores=0-7
/proc/16021/task/16027/stat : 16027 (java) S 16019 16019 14849 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245158382608 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16028] ppid=16019 vsize=28965980 memory=3624 CPUtime=0.01 cores=0-7
/proc/16021/task/16028/stat : 16028 (java) S 16019 16019 14849 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245157330064 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16029] ppid=16019 vsize=28965980 memory=64148 CPUtime=0.02 cores=0-7
/proc/16021/task/16029/stat : 16029 (java) S 16019 16019 14849 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245156277008 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16030] ppid=16019 vsize=28965980 memory=988 CPUtime=0.02 cores=0-7
/proc/16021/task/16030/stat : 16030 (java) S 16019 16019 14849 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245155224464 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16031] ppid=16019 vsize=28965980 memory=1448 CPUtime=0.02 cores=0-7
/proc/16021/task/16031/stat : 16031 (java) S 16019 16019 14849 0 -1 1077944384 2214 0 0 0 1 1 0 0 20 0 28 0 511188708 29661163520 542019 33554432000 4194304 4196468 140721027695568 140245112420592 140245611416194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16032] ppid=16019 vsize=28965980 memory=2171568 CPUtime=0 cores=0-7
/proc/16021/task/16032/stat : 16032 (java) S 16019 16019 14849 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511188709 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244122854624 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16033] ppid=16019 vsize=28965980 memory=2165808 CPUtime=0 cores=0-7
/proc/16021/task/16033/stat : 16033 (java) S 16019 16019 14849 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511188709 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244121801456 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16034] ppid=16019 vsize=28965980 memory=1448 CPUtime=0 cores=0-7
/proc/16021/task/16034/stat : 16034 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244120750032 140245611423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16035] ppid=16019 vsize=28965980 memory=1448 CPUtime=1.43 cores=0-7
/proc/16021/task/16035/stat : 16035 (java) S 16019 16019 14849 0 -1 1077944384 8722 0 0 0 141 2 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244119698160 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16036] ppid=16019 vsize=28965980 memory=2171568 CPUtime=1.41 cores=0-7
/proc/16021/task/16036/stat : 16036 (java) S 16019 16019 14849 0 -1 1077944384 6826 0 0 0 140 1 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244118645616 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16037] ppid=16019 vsize=28965980 memory=2011 CPUtime=1.34 cores=0-7
/proc/16021/task/16037/stat : 16037 (java) S 16019 16019 14849 0 -1 1077944384 6794 0 0 0 133 1 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244117592560 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16038] ppid=16019 vsize=28965980 memory=1934 CPUtime=0.53 cores=0-7
/proc/16021/task/16038/stat : 16038 (java) S 16019 16019 14849 0 -1 1077944384 3966 0 0 0 51 2 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244116540016 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16039] ppid=16019 vsize=28965980 memory=1993 CPUtime=0 cores=0-7
/proc/16021/task/16039/stat : 16039 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511188711 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244115487200 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16040] ppid=16019 vsize=28965980 memory=1965 CPUtime=0 cores=0-7
/proc/16021/task/16040/stat : 16040 (java) S 16019 16019 14849 0 -1 1077944384 1281 0 0 0 0 0 0 0 20 0 28 0 511188712 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244114434736 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16451] ppid=16019 vsize=28965980 memory=1987 CPUtime=22.24 cores=0-7
/proc/16021/task/16451/stat : 16451 (java) R 16019 16019 14849 0 -1 4202560 798 0 0 0 2199 25 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243776915936 140245253741895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16452] ppid=16019 vsize=28965980 memory=1448 CPUtime=22.32 cores=0-7
/proc/16021/task/16452/stat : 16452 (java) R 16019 16019 14849 0 -1 1077944384 516 0 0 0 2208 24 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243779022496 140245611416194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16453] ppid=16019 vsize=28965980 memory=2171568 CPUtime=22.77 cores=0-7
/proc/16021/task/16453/stat : 16453 (java) R 16019 16019 14849 0 -1 4202560 1438 0 0 0 2253 24 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243786391936 140245253437374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16454] ppid=16019 vsize=28965980 memory=14060 CPUtime=23.02 cores=0-7
/proc/16021/task/16454/stat : 16454 (java) R 16019 16019 14849 0 -1 4202560 2274 0 0 0 2280 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243780075936 140245254748113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16455] ppid=16019 vsize=28965980 memory=2116 CPUtime=22.19 cores=0-7
/proc/16021/task/16455/stat : 16455 (java) S 16019 16019 14849 0 -1 1077944384 1259 0 0 0 2197 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243783233664 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16456] ppid=16019 vsize=28965980 memory=33172 CPUtime=22.88 cores=0-7
/proc/16021/task/16456/stat : 16456 (java) S 16019 16019 14849 0 -1 1077944384 3689 0 0 0 2239 49 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140244105457920 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16457] ppid=16019 vsize=28965980 memory=532 CPUtime=22.52 cores=0-7
/proc/16021/task/16457/stat : 16457 (java) R 16019 16019 14849 0 -1 4202560 1041 0 0 0 2230 22 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243785338752 140245252063439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16458] ppid=16019 vsize=28965980 memory=1556 CPUtime=22.79 cores=0-7
/proc/16021/task/16458/stat : 16458 (java) S 16019 16019 14849 0 -1 1077944384 2141 0 0 0 2242 37 0 0 20 0 28 0 511188811 29661163520 542019 33554432000 4194304 4196468 140721027695568 140243777970176 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 188.66 s
Current children cumulated vsize: 29079108 KiB
Current children cumulated memory: 2169524 KiB

[startup+26.0017 s]*
/proc/loadavg: 7.47 8.20 8.28 9/221 16460
/proc/meminfo: memFree=23447616/32770624 swapFree=66997532/67108860
[pid=16019] ppid=16016 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16019/stat : 16019 (xcsp3-exec) S 16016 16019 14849 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511188705 115843072 362 33554432000 4194304 5098028 140731115281552 140731115279656 140604408730236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31846400 140731115283282 140731115283541 140731115283541 140731115286470 0
/proc/16019/statm: 28282 362 304 221 0 87 0
[pid=16021] ppid=16019 vsize=28965980 memory=2166632 CPUtime=191.8 cores=0-7
/proc/16021/stat : 16021 (java) S 16019 16019 14849 0 -1 1077944320 65056 0 0 0 18921 259 0 0 20 0 28 0 511188706 29661163520 541658 33554432000 4194304 4196468 140721027695568 140721027678112 140245611405047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
/proc/16021/statm: 7241495 541658 3516 1 0 7202595 0
[pid=16021/tid=16022] ppid=16019 vsize=28965980 memory=6791534058613427641 CPUtime=0.5 cores=0-7
/proc/16021/task/16022/stat : 16022 (java) S 16019 16019 14849 0 -1 1077944384 9135 0 0 0 47 3 0 0 20 0 28 0 511188706 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245615645824 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16023] ppid=16019 vsize=28965980 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/16021/task/16023/stat : 16023 (java) S 16019 16019 14849 0 -1 1077944384 1325 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245162592784 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16024] ppid=16019 vsize=28965980 memory=932 CPUtime=0.02 cores=0-7
/proc/16021/task/16024/stat : 16024 (java) S 16019 16019 14849 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245161540240 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16025] ppid=16019 vsize=28965980 memory=3680 CPUtime=0.03 cores=0-7
/proc/16021/task/16025/stat : 16025 (java) S 16019 16019 14849 0 -1 1077944384 779 0 0 0 2 1 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245160487184 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16026] ppid=16019 vsize=28965980 memory=280481767491520 CPUtime=0.02 cores=0-7
/proc/16021/task/16026/stat : 16026 (java) S 16019 16019 14849 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245159434640 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16027] ppid=16019 vsize=28965980 memory=140243567116898 CPUtime=0.02 cores=0-7
/proc/16021/task/16027/stat : 16027 (java) S 16019 16019 14849 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245158382608 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16028] ppid=16019 vsize=28965980 memory=140243567116903 CPUtime=0.02 cores=0-7
/proc/16021/task/16028/stat : 16028 (java) S 16019 16019 14849 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245157330064 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16029] ppid=16019 vsize=28965980 memory=142833432396429 CPUtime=0.02 cores=0-7
/proc/16021/task/16029/stat : 16029 (java) S 16019 16019 14849 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245156277008 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16030] ppid=16019 vsize=28965980 memory=140243567117174 CPUtime=0.02 cores=0-7
/proc/16021/task/16030/stat : 16030 (java) S 16019 16019 14849 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 28 0 511188707 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245155224464 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16031] ppid=16019 vsize=28965980 memory=140243567117181 CPUtime=0.02 cores=0-7
/proc/16021/task/16031/stat : 16031 (java) S 16019 16019 14849 0 -1 1077944384 2486 0 0 0 1 1 0 0 20 0 28 0 511188708 29661163520 541658 33554432000 4194304 4196468 140721027695568 140245112420592 140245611416194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16032] ppid=16019 vsize=28965980 memory=140243567117183 CPUtime=0 cores=0-7
/proc/16021/task/16032/stat : 16032 (java) S 16019 16019 14849 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511188709 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244122854624 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16033] ppid=16019 vsize=28965980 memory=140243567117238 CPUtime=0 cores=0-7
/proc/16021/task/16033/stat : 16033 (java) S 16019 16019 14849 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511188709 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244121801456 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16034] ppid=16019 vsize=28965980 memory=140243567117239 CPUtime=0 cores=0-7
/proc/16021/task/16034/stat : 16034 (java) S 16019 16019 14849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244120750032 140245611423643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16035] ppid=16019 vsize=28965980 memory=0 CPUtime=1.43 cores=0-7
/proc/16021/task/16035/stat : 16035 (java) S 16019 16019 14849 0 -1 1077944384 8722 0 0 0 141 2 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244119698160 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16036] ppid=16019 vsize=28965980 memory=2241 CPUtime=1.41 cores=0-7
/proc/16021/task/16036/stat : 16036 (java) S 16019 16019 14849 0 -1 1077944384 6826 0 0 0 140 1 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244118645616 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16037] ppid=16019 vsize=28965980 memory=2244 CPUtime=1.34 cores=0-7
/proc/16021/task/16037/stat : 16037 (java) S 16019 16019 14849 0 -1 1077944384 6794 0 0 0 133 1 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244117592560 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16038] ppid=16019 vsize=28965980 memory=7013938881742677655 CPUtime=0.53 cores=0-7
/proc/16021/task/16038/stat : 16038 (java) S 16019 16019 14849 0 -1 1077944384 3966 0 0 0 51 2 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244116540016 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16039] ppid=16019 vsize=28965980 memory=1953 CPUtime=0 cores=0-7
/proc/16021/task/16039/stat : 16039 (java) S 16019 16019 14849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511188711 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244115487200 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16040] ppid=16019 vsize=28965980 memory=280481767793616 CPUtime=0 cores=0-7
/proc/16021/task/16040/stat : 16040 (java) S 16019 16019 14849 0 -1 1077944384 1281 0 0 0 0 0 0 0 20 0 28 0 511188712 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244114434736 140245611416194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16451] ppid=16019 vsize=28965980 memory=0 CPUtime=22.62 cores=0-7
/proc/16021/task/16451/stat : 16451 (java) R 16019 16019 14849 0 -1 4202560 812 0 0 0 2237 25 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243776915936 140245252063570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16452] ppid=16019 vsize=28965980 memory=0 CPUtime=22.7 cores=0-7
/proc/16021/task/16452/stat : 16452 (java) S 16019 16019 14849 0 -1 1077944384 526 0 0 0 2246 24 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243779022592 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16453] ppid=16019 vsize=28965980 memory=734378360886880355 CPUtime=23.17 cores=0-7
/proc/16021/task/16453/stat : 16453 (java) R 16019 16019 14849 0 -1 4202560 1483 0 0 0 2292 25 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243786391936 140245253496831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16454] ppid=16019 vsize=28965980 memory=7521995004687799001 CPUtime=23.41 cores=0-7
/proc/16021/task/16454/stat : 16454 (java) R 16019 16019 14849 0 -1 1077944384 2354 0 0 0 2319 22 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243780076032 140245611415253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16455] ppid=16019 vsize=28965980 memory=-9174445032661854264 CPUtime=22.58 cores=0-7
/proc/16021/task/16455/stat : 16455 (java) R 16019 16019 14849 0 -1 4202560 1269 0 0 0 2236 22 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243783233568 140245611416982 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16456] ppid=16019 vsize=28965980 memory=-2893623298589923098 CPUtime=23.27 cores=0-7
/proc/16021/task/16456/stat : 16456 (java) S 16019 16019 14849 0 -1 1077944384 3774 0 0 0 2278 49 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140244105457920 140245611415253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16457] ppid=16019 vsize=28965980 memory=-9174445032661854264 CPUtime=22.89 cores=0-7
/proc/16021/task/16457/stat : 16457 (java) R 16019 16019 14849 0 -1 4202560 1046 0 0 0 2267 22 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243785338656 140245611426394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
[pid=16021/tid=16458] ppid=16019 vsize=28965980 memory=0 CPUtime=23.18 cores=0-7
/proc/16021/task/16458/stat : 16458 (java) R 16019 16019 14849 0 -1 4202560 2210 0 0 0 2281 37 0 0 20 0 28 0 511188811 29661163520 541658 33554432000 4194304 4196468 140721027695568 140243777970176 140245253946752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26214400 140721027699670 140721027699846 140721027699846 140721027702735 0
Current children cumulated CPU time: 191.8 s
Current children cumulated vsize: 29079108 KiB
Current children cumulated memory: 2168080 KiB

Child status: 0
Real time (s): 26.0688
CPU time (s): 192.082
CPU user time (s): 189.462
CPU system time (s): 2.61992
CPU usage (%): 736.828
Max. virtual memory (cumulated for all children) (KiB): 29081116
Max. memory (cumulated for all children) (KiB): 2173016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.462
system time used= 2.61992
maximum resident set size= 2172080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 517353
involuntary context switches= 738


# summary of solver processes directly reported to runsolver:
#   pid: 16019
#   total CPU time (s): 192.082
#   total CPU user time (s): 189.462
#   total CPU system time (s): 2.61992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.264213 second user time and 0.331542 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 21:14:22
IDJOB=4407128
IDBENCH=133442
IDSOLVER=2871
FILE ID=node140/4407128-1569352504
RUNJOBID= node140-1569347359-14876
PBS_JOBID= 21705073
Free space on /var/tmp= 13516 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-14.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407128-1569352504/watcher-4407128-1569352504 -o /var/tmp/evaluation-result-4407128-1569352504/solver-4407128-1569352504 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569347359-14876 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 311163087 HOME/instance-4407128-1569352504.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0fb8e68e5b6c8402080e230a0c605796
RANDOM SEED=311163087

node140.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.43
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.43
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.43
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.43
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:        25606056 kB
MemAvailable:   31843860 kB
Buffers:          129588 kB
Cached:          6206116 kB
SwapCached:         2776 kB
Active:          3158196 kB
Inactive:        3185708 kB
Active(anon):       4792 kB
Inactive(anon):    58400 kB
Active(file):    3153404 kB
Inactive(file):  3127308 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997532 kB
Dirty:             26188 kB
Writeback:            24 kB
AnonPages:        113104 kB
Mapped:            56952 kB
Shmem:             46828 kB
Slab:             414464 kB
SReclaimable:     385552 kB
SUnreclaim:        28912 kB
KernelStack:        3392 kB
PageTables:         5940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node140 at 2019-09-24 21:14:49