Trace number 4404870

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-20 parallelWrong Opt.235 8.65269 2.1447

General information on the benchmark

NameTpp/Tpp-zinc-s1/
Tpp-4-5-20-1.xml
MD5SUMe6e5223db5de59749ca81141a6ec4e70
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark0.248867
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints442
Number of domains42
Minimum domain size3
Maximum domain size20
Distribution of domain sizes[{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":11,"count":3},{"size":12,"count":3},{"size":13,"count":8},{"size":14,"count":2},{"size":15,"count":4},{"size":19,"count":20},{"size":20,"count":20}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":40},{"degree":21,"count":20},{"degree":22,"count":19},{"degree":23,"count":1}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":440},{"arity":20,"count":1}]
Number of extensional constraints40
Number of intensional constraints401
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":401},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemin 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-4404870-1569004267.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404870-1569004267.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
5.70/1.62	c solve instance...
7.03/1.80	o 374 
7.03/1.82	o 295 
7.03/1.88	o 278 
7.03/1.90	o 259 
7.55/1.94	o 245 
7.55/2.00	o 243 
8.01/2.01	o 242 
8.01/2.02	o 241 
8.01/2.03	o 240 
8.01/2.03	o 239 
8.01/2.04	o 238 
8.55/2.11	o 237 
8.55/2.11	o 235 
8.55/2.12	s OPTIMUM FOUND
8.55/2.12	v <instantiation>
8.55/2.12	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] </list>
8.55/2.12	v 	<values>1 5 3 7 0 6 2 11 4 13 9 10 8 14 15 19 12 16 17 18 9 14 7 9 10 13 3 20 15 3 1 10 16 18 1 14 17 6 5 12 1 11 8 17 18 9 6 14 11 2 10 1 4 17 1 1 13 7 5 5 2 2 1 1 1 3 3 3 2 1 1 1 2 1 2 2 1 1 1 1 </values>
8.55/2.12	v </instantiation>

Verifier Data 

OK	235

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404870-1569004267/watcher-4404870-1569004267 -o /var/tmp/evaluation-result-4404870-1569004267/solver-4404870-1569004267 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1652979874 HOME/instance-4404870-1569004267.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11720, runsolver pid=11717
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 7.71 8.13 8.22 2/212 11741
/proc/meminfo: memFree=11780864/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28227396 memory=28604 CPUtime=0.12 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 20 0 476665328 28904853504 7151 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7056849 7151 3124 1 0 7019032 0
[pid=11722/tid=11723] ppid=11720 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) R 11720 11720 3200 0 -1 4202560 3568 0 0 0 8 1 0 0 20 0 20 0 476665328 28904853504 7151 33554432000 4194304 4196468 140731555438000 139845003051696 139844998835606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28227396 memory=140165767722624 CPUtime=0 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 7151 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665330 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476665331 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843376817440 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476665331 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843375765104 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) S 11720 11720 3200 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843373660272 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) R 11720 11720 3200 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843372599120 139844982222844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) R 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843371555184 139844998834818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) R 11720 11720 3200 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843370502384 139844998835606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 7151 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665334 28904853504 7217 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30056 KiB

[startup+0.210511 s]*
/proc/loadavg: 7.71 8.13 8.22 3/212 11741
/proc/meminfo: memFree=11767116/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28227396 memory=40188 CPUtime=0.33 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 9358 0 0 0 30 3 0 0 20 0 20 0 476665328 28904853504 10047 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7056849 10047 3257 1 0 7019032 0
[pid=11722/tid=11723] ppid=11720 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) R 11720 11720 3200 0 -1 4202560 6557 0 0 0 18 2 0 0 20 0 20 0 476665328 28904853504 10047 33554432000 4194304 4196468 140731555438000 139845003057376 139844998845597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28227396 memory=140165767734828 CPUtime=0 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28904853504 10047 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476665330 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476665331 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843376817440 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476665331 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843375765104 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) S 11720 11720 3200 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843373660272 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) S 11720 11720 3200 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843372607472 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) S 11720 11720 3200 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843371555184 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) S 11720 11720 3200 0 -1 1077944384 828 0 0 0 8 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843370502384 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665333 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665334 28904853504 10047 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41640 KiB

[startup+0.310511 s]*
/proc/loadavg: 7.71 8.13 8.22 2/212 11741
/proc/meminfo: memFree=11759980/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28231652 memory=49420 CPUtime=0.51 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 10730 0 0 0 47 4 0 0 20 0 20 0 476665328 28909211648 12355 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7057913 12355 3330 1 0 7019032 0
[pid=11722/tid=11723] ppid=11720 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) R 11720 11720 3200 0 -1 4202560 7754 0 0 0 27 2 0 0 20 0 20 0 476665328 28909211648 12426 33554432000 4194304 4196468 140731555438000 139845003054784 139844998845597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28231652 memory=140165653820335 CPUtime=0 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28231652 memory=140165653822640 CPUtime=0 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28231652 memory=140165653824944 CPUtime=0 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28909211648 12426 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476665330 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28231652 memory=280331307656848 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476665331 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843376817440 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28231652 memory=280331307663760 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476665331 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843375765104 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28231652 memory=280331307604912 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28231652 memory=280331307677584 CPUtime=0.02 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) S 11720 11720 3200 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843373660272 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28231652 memory=280331307684496 CPUtime=0.02 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) S 11720 11720 3200 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843372607472 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28231652 memory=280331307682192 CPUtime=0.02 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) S 11720 11720 3200 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843371555184 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28231652 memory=280331307698352 CPUtime=0.12 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) S 11720 11720 3200 0 -1 1077944384 1005 0 0 0 12 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843370502384 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665333 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665334 28909211648 12426 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50872 KiB

[startup+0.700987 s]
/proc/loadavg: 7.71 8.13 8.22 4/212 11741
/proc/meminfo: memFree=11745324/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28233776 memory=87424 CPUtime=1.8 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 15030 0 0 0 173 7 0 0 20 0 20 0 476665328 28911386624 21856 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7058444 21856 3453 1 0 7019544 0
[pid=11722/tid=11723] ppid=11720 vsize=28233776 memory=280331308056240 CPUtime=0.68 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) R 11720 11720 3200 0 -1 4202560 9104 0 0 0 64 4 0 0 20 0 20 0 476665328 28911386624 21856 33554432000 4194304 4196468 140731555438000 139845003060512 139844625861969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28233776 memory=140165654029168 CPUtime=0 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476665329 28911386624 21856 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665329 28911386624 21856 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665329 28911386624 21856 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0

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

[pid=11722/tid=11723] ppid=11720 vsize=28235824 memory=6944656592455359580 CPUtime=1.51 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) R 11720 11720 3200 0 -1 4202560 10494 0 0 0 146 5 0 0 20 0 20 0 476665328 28913483776 70279 33554432000 4194304 4196468 140731555438000 139845003060816 139844625350895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28235824 memory=6656426216303648864 CPUtime=0.05 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28235824 memory=1452 CPUtime=0.05 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 102 0 0 0 3 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28235824 memory=3620 CPUtime=0.04 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28235824 memory=54928 CPUtime=0.05 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 123 0 0 0 2 3 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28235824 memory=1988 CPUtime=0.05 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28235824 memory=988 CPUtime=0.04 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28235824 memory=1428 CPUtime=0.05 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 112 0 0 0 3 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28235824 memory=1728 CPUtime=0.05 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 100 0 0 0 3 2 0 0 20 0 20 0 476665329 28913483776 70279 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28235824 memory=1056 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 20 0 476665330 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28235824 memory=1556 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 476665331 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843376817504 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28235824 memory=11632 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 476665331 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843375765120 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28235824 memory=1732 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28235824 memory=164 CPUtime=1.03 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) R 11720 11720 3200 0 -1 4202560 4223 0 0 0 102 1 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843373645584 139844983752100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28235824 memory=-9001734013606258791 CPUtime=1 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) R 11720 11720 3200 0 -1 4202560 3699 0 0 0 99 1 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843372607472 139844998835606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28235824 memory=-7384994778349281184 CPUtime=1.02 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) R 11720 11720 3200 0 -1 1077944384 3775 0 0 0 101 1 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843371555184 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28235824 memory=-9001734013606258791 CPUtime=0.63 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) S 11720 11720 3200 0 -1 1077944384 4512 0 0 0 62 1 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843370502384 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28235824 memory=-9001734013606258791 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665333 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28235824 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476665334 28913483776 70279 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 28348952 KiB
Current children cumulated memory: 282568 KiB

[startup+2.00141 s]*
/proc/loadavg: 7.71 8.13 8.22 3/220 11789
/proc/meminfo: memFree=11526812/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28769364 memory=292208 CPUtime=8.01 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 30828 0 0 0 767 34 0 0 20 0 28 0 476665328 29459828736 73052 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7192341 73052 3509 1 0 7153441 0
[pid=11722/tid=11723] ppid=11720 vsize=28769364 memory=6791534058613427641 CPUtime=1.55 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) S 11720 11720 3200 0 -1 1077944384 10737 0 0 0 150 5 0 0 20 0 28 0 476665328 29459828736 73052 33554432000 4194304 4196468 140731555438000 139845003064448 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28769364 memory=4872558044660077418 CPUtime=0.05 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 102 0 0 0 3 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 69 0 0 0 2 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 123 0 0 0 2 3 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 112 0 0 0 3 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28769364 memory=0 CPUtime=0.05 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 100 0 0 0 3 2 0 0 20 0 28 0 476665329 29459828736 73052 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 476665330 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476665331 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843376817504 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28769364 memory=3690471420374037812 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476665331 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843375765120 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28769364 memory=3690471420374037812 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28769364 memory=3617585005631267945 CPUtime=1.22 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) R 11720 11720 3200 0 -1 1077944384 4293 0 0 0 121 1 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843373660272 139844998834818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28769364 memory=6298375782207609200 CPUtime=1.23 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) S 11720 11720 3200 0 -1 1077944384 3770 0 0 0 122 1 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843372607472 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28769364 memory=6370719275257063784 CPUtime=1.23 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) R 11720 11720 3200 0 -1 4202560 3825 0 0 0 122 1 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843371555184 139844998835606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28769364 memory=7236547281622689387 CPUtime=0.74 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) S 11720 11720 3200 0 -1 1077944384 4739 0 0 0 73 1 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843370502384 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476665333 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28769364 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476665334 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11790] ppid=11720 vsize=28769364 memory=-1 CPUtime=0 cores=0-7
/proc/11722/task/11790/stat : 11790 (java) R 11720 11720 3200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843354979600 139844625350895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11791] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11791/stat : 11791 (java) S 11720 11720 3200 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843350771152 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11792] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11792/stat : 11792 (java) S 11720 11720 3200 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843351822528 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11793] ppid=11720 vsize=28769364 memory=280331308096384 CPUtime=0 cores=0-7
/proc/11722/task/11793/stat : 11793 (java) S 11720 11720 3200 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843353928400 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11794] ppid=11720 vsize=28769364 memory=7599388386692169796 CPUtime=0 cores=0-7
/proc/11722/task/11794/stat : 11794 (java) R 11720 11720 3200 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843356036168 139844629672155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11795] ppid=11720 vsize=28769364 memory=288285575927300789 CPUtime=0 cores=0-7
/proc/11722/task/11795/stat : 11795 (java) D 11720 11720 3200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843357088712 139844621774552 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11796] ppid=11720 vsize=28769364 memory=3689348836196905051 CPUtime=0 cores=0-7
/proc/11722/task/11796/stat : 11796 (java) S 11720 11720 3200 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843349718352 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11797] ppid=11720 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11797/stat : 11797 (java) R 11720 11720 3200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 28 0 476665528 29459828736 73052 33554432000 4194304 4196468 140731555438000 139843348667592 139844621774580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 8.01 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 293660 KiB

[startup+2.11042 s]
/proc/loadavg: 7.71 8.13 8.22 3/220 11789
/proc/meminfo: memFree=11526812/32770624 swapFree=66956720/67108860
[pid=11720] ppid=11717 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11720/stat : 11720 (xcsp3-exec) S 11717 11720 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476665327 115843072 363 33554432000 4194304 5098028 140724857885104 140724857883208 140344495334012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12689408 140724857893719 140724857893978 140724857893978 140724857896902 0
/proc/11720/statm: 28282 363 304 221 0 87 0
[pid=11722] ppid=11720 vsize=28834900 memory=397464 CPUtime=8.55 cores=0-7
/proc/11722/stat : 11722 (java) S 11720 11720 3200 0 -1 1077944320 31919 0 0 0 815 40 0 0 20 0 28 0 476665328 29526937600 99366 33554432000 4194304 4196468 140731555438000 140731555420544 139844998823671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
/proc/11722/statm: 7208725 99366 3510 1 0 7169825 0
[pid=11722/tid=11723] ppid=11720 vsize=28834900 memory=6944656575208382560 CPUtime=1.55 cores=0-7
/proc/11722/task/11723/stat : 11723 (java) S 11720 11720 3200 0 -1 1077944384 10737 0 0 0 150 5 0 0 20 0 28 0 476665328 29526937600 99366 33554432000 4194304 4196468 140731555438000 139845003064448 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11724] ppid=11720 vsize=28834900 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/11722/task/11724/stat : 11724 (java) S 11720 11720 3200 0 -1 1077944384 95 0 0 0 4 2 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844951444368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11725] ppid=11720 vsize=28834900 memory=0 CPUtime=0.06 cores=0-7
/proc/11722/task/11725/stat : 11725 (java) S 11720 11720 3200 0 -1 1077944384 119 0 0 0 4 2 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844950391568 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11726] ppid=11720 vsize=28834900 memory=140165767741761 CPUtime=0.06 cores=0-7
/proc/11722/task/11726/stat : 11726 (java) S 11720 11720 3200 0 -1 1077944384 81 0 0 0 3 3 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844949339280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11727] ppid=11720 vsize=28834900 memory=7379834511655589226 CPUtime=0.06 cores=0-7
/proc/11722/task/11727/stat : 11727 (java) S 11720 11720 3200 0 -1 1077944384 136 0 0 0 3 3 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844948286480 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11728] ppid=11720 vsize=28834900 memory=7597132098393106257 CPUtime=0.06 cores=0-7
/proc/11722/task/11728/stat : 11728 (java) S 11720 11720 3200 0 -1 1077944384 91 0 0 0 4 2 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844947233168 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11729] ppid=11720 vsize=28834900 memory=6009305379508348266 CPUtime=0.06 cores=0-7
/proc/11722/task/11729/stat : 11729 (java) S 11720 11720 3200 0 -1 1077944384 102 0 0 0 3 3 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844946180368 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11730] ppid=11720 vsize=28834900 memory=56 CPUtime=0.05 cores=0-7
/proc/11722/task/11730/stat : 11730 (java) S 11720 11720 3200 0 -1 1077944384 116 0 0 0 3 2 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844945128080 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11731] ppid=11720 vsize=28834900 memory=1943562 CPUtime=0.07 cores=0-7
/proc/11722/task/11731/stat : 11731 (java) S 11720 11720 3200 0 -1 1077944384 114 0 0 0 4 3 0 0 20 0 28 0 476665329 29526937600 99366 33554432000 4194304 4196468 140731555438000 139844944075280 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11732] ppid=11720 vsize=28834900 memory=1944740 CPUtime=0 cores=0-7
/proc/11722/task/11732/stat : 11732 (java) S 11720 11720 3200 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 28 0 476665330 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843377871472 139844998834818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11733] ppid=11720 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11733/stat : 11733 (java) S 11720 11720 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476665331 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843376817504 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11734] ppid=11720 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11734/stat : 11734 (java) S 11720 11720 3200 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476665331 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843375765120 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11735] ppid=11720 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11735/stat : 11735 (java) S 11720 11720 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843374713424 139844998842267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11736] ppid=11720 vsize=28834900 memory=0 CPUtime=1.28 cores=0-7
/proc/11722/task/11736/stat : 11736 (java) S 11720 11720 3200 0 -1 1077944384 4303 0 0 0 127 1 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843373660272 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11737] ppid=11720 vsize=28834900 memory=4580 CPUtime=1.28 cores=0-7
/proc/11722/task/11737/stat : 11737 (java) S 11720 11720 3200 0 -1 1077944384 3780 0 0 0 127 1 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843372607472 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11738] ppid=11720 vsize=28834900 memory=0 CPUtime=1.32 cores=0-7
/proc/11722/task/11738/stat : 11738 (java) R 11720 11720 3200 0 -1 4202560 3879 0 0 0 131 1 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843371555184 139844978069470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11739] ppid=11720 vsize=28834900 memory=0 CPUtime=0.77 cores=0-7
/proc/11722/task/11739/stat : 11739 (java) S 11720 11720 3200 0 -1 1077944384 4780 0 0 0 75 2 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843370502384 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11740] ppid=11720 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11740/stat : 11740 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476665333 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843369450336 139844998833877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
[pid=11722/tid=11741] ppid=11720 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/11722/task/11741/stat : 11741 (java) S 11720 11720 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476665334 29526937600 99366 33554432000 4194304 4196468 140731555438000 139843368397616 139844998834818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28397568 140731555439580 140731555439755 140731555439755 140731555442639 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 398916 KiB

Child status: 0
Real time (s): 2.1447
CPU time (s): 8.65269
CPU user time (s): 8.22901
CPU system time (s): 0.423688
CPU usage (%): 403.446
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 398916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.22901
system time used= 0.423688
maximum resident set size= 398480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4533
involuntary context switches= 57


# summary of solver processes directly reported to runsolver:
#   pid: 11720
#   total CPU time (s): 8.65269
#   total CPU user time (s): 8.22901
#   total CPU system time (s): 0.423688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039379 second user time and 0.067569 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-20 20:30:29
IDJOB=4404870
IDBENCH=126829
IDSOLVER=2866
FILE ID=node149/4404870-1569004267
RUNJOBID= node149-1568994522-3227
PBS_JOBID= 21704727
Free space on /var/tmp= 13484 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-20-1.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-4404870-1569004267/watcher-4404870-1569004267 -o /var/tmp/evaluation-result-4404870-1569004267/solver-4404870-1569004267 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1652979874 HOME/instance-4404870-1569004267.xml

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

MD5SUM BENCH= e6e5223db5de59749ca81141a6ec4e70
RANDOM SEED=1652979874

node149.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.81
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.81
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.81
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.81
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:        11798208 kB
MemAvailable:   31813564 kB
Buffers:          165764 kB
Cached:         19741692 kB
SwapCached:        41664 kB
Active:          9630500 kB
Inactive:       10321412 kB
Active(anon):       5072 kB
Inactive(anon):    83688 kB
Active(file):    9625428 kB
Inactive(file): 10237724 kB
Unevictable:      110220 kB
Mlocked:          110220 kB
SwapTotal:      67108860 kB
SwapFree:       66956720 kB
Dirty:             26240 kB
Writeback:             0 kB
AnonPages:        126528 kB
Mapped:            52036 kB
Shmem:             35688 kB
Slab:             611108 kB
SReclaimable:     580664 kB
SUnreclaim:        30444 kB
KernelStack:        3728 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node149 at 2019-09-20 20:30:31