Trace number 4406744

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT 322.72 254.321

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-116.xml
MD5SUMd517e275a321760c6bd42601d2b728d6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark23.7128
Satisfiable
(Un)Satisfiability was proved
Number of variables232
Number of constraints124
Number of domains2
Minimum domain size116
Maximum domain size13456
Distribution of domain sizes[{"size":116,"count":116},{"size":13456,"count":116}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":116},{"degree":4,"count":115},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity116
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":116},{"arity":58,"count":6},{"arity":116,"count":1}]
Number of extensional constraints0
Number of intensional constraints117
Distribution of constraint types[{"type":"intension","count":117},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406744-1569345878.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406744-1569345878.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
266.57/247.08	c solve instance...
322.21/254.25	s SATISFIABLE
322.21/254.25	v <instantiation>
322.21/254.25	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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] </list>
322.21/254.25	v 	<values>1 2 3 5 22 23 24 25 26 27 28 29 30 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 67 68 71 72 73 75 76 77 78 79 89 90 93 102 103 104 107 108 109 110 111 112 113 115 116 4 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 31 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 69 70 74 80 81 82 83 84 85 86 87 88 91 92 94 95 96 97 98 99 100 101 105 106 114 1 4 9 25 484 529 576 625 676 729 784 841 900 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 4489 4624 5041 5184 5329 5625 5776 5929 6084 6241 7921 8100 8649 10404 10609 10816 11449 11664 11881 12100 12321 12544 12769 13225 13456 16 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 961 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4761 4900 5476 6400 6561 6724 6889 7056 7225 7396 7569 7744 8281 8464 8836 9025 9216 9409 9604 9801 10000 10201 11025 11236 12996 </values>
322.21/254.25	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406744-1569345878/watcher-4406744-1569345878 -o /tmp/evaluation-result-4406744-1569345878/solver-4406744-1569345878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4406744-1569345878.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=12241, runsolver pid=12238
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.01 4.87 4.28 2/212 12262
/proc/meminfo: memFree=23314980/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28227396 memory=29876 CPUtime=0.12 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 5882 0 0 0 11 1 0 0 20 0 20 0 510859075 28904853504 7469 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7056849 7469 3150 1 0 7019032 0
[pid=12243/tid=12244] ppid=12241 vsize=28227396 memory=7824611210718780571 CPUtime=0.09 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) R 12241 12241 8819 0 -1 1077944384 3826 0 0 0 8 1 0 0 20 0 20 0 510859076 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161097961728 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28227396 memory=732370847471725541 CPUtime=0 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28227396 memory=140709134272128 CPUtime=0 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12248] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12248/stat : 12248 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161043192976 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12249] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12249/stat : 12249 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161042139408 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12250] ppid=12241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12243/task/12250/stat : 12250 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161041086864 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12251] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12251/stat : 12251 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161040034320 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12252] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12252/stat : 12252 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 7469 33554432000 4194304 4196468 140728541523616 140161038981776 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12253] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12253/stat : 12253 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859078 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160142371312 140161093741186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12254] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12254/stat : 12254 (java) S 12241 12241 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510859078 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160141317536 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12255] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12255/stat : 12255 (java) S 12241 12241 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510859079 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160140264944 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12256] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12256/stat : 12256 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160139213520 140161093748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12257] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12257/stat : 12257 (java) S 12241 12241 8819 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160138160112 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12258] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12258/stat : 12258 (java) R 12241 12241 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160137107568 140161093741186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12259] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12259/stat : 12259 (java) R 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160136055024 140161093741186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12260] ppid=12241 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12243/task/12260/stat : 12260 (java) S 12241 12241 8819 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160135002480 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12261] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12261/stat : 12261 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160133950176 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12262] ppid=12241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12243/task/12262/stat : 12262 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859082 28904853504 7469 33554432000 4194304 4196468 140728541523616 140160132897712 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31328 KiB

[startup+0.210372 s]*
/proc/loadavg: 7.01 4.87 4.28 2/212 12262
/proc/meminfo: memFree=23300920/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28227396 memory=41132 CPUtime=0.33 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 9533 0 0 0 30 3 0 0 20 0 20 0 510859075 28904853504 10283 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7056849 10283 3303 1 0 7019032 0
[pid=12243/tid=12244] ppid=12241 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) R 12241 12241 8819 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 20 0 510859076 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161097961568 140161093751386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28227396 memory=732370847471725541 CPUtime=0 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28227396 memory=140709134272128 CPUtime=0 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12248] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12248/stat : 12248 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161043192976 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12249] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12249/stat : 12249 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161042139408 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12250] ppid=12241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12243/task/12250/stat : 12250 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161041086864 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12251] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12251/stat : 12251 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161040034320 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12252] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12252/stat : 12252 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859077 28904853504 10283 33554432000 4194304 4196468 140728541523616 140161038981776 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12253] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12253/stat : 12253 (java) S 12241 12241 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510859078 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160142371312 140161093741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12254] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12254/stat : 12254 (java) S 12241 12241 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510859078 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160141317536 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12255] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12255/stat : 12255 (java) S 12241 12241 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510859079 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160140264944 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12256] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12256/stat : 12256 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160139213520 140161093748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12257] ppid=12241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12243/task/12257/stat : 12257 (java) S 12241 12241 8819 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160138160112 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12258] ppid=12241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12243/task/12258/stat : 12258 (java) S 12241 12241 8819 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160137107568 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12259] ppid=12241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12243/task/12259/stat : 12259 (java) S 12241 12241 8819 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160136055024 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12260] ppid=12241 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/12243/task/12260/stat : 12260 (java) R 12241 12241 8819 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160135002480 140161093741974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12261] ppid=12241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12261/stat : 12261 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859081 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160133950176 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12262] ppid=12241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12243/task/12262/stat : 12262 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859082 28904853504 10283 33554432000 4194304 4196468 140728541523616 140160132897712 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42584 KiB

[startup+0.310207 s]*
/proc/loadavg: 7.01 4.87 4.28 3/212 12262
/proc/meminfo: memFree=23295944/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28231652 memory=49852 CPUtime=0.52 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 10835 0 0 0 47 5 0 0 20 0 20 0 510859075 28909211648 12463 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7057913 12463 3346 1 0 7019032 0
[pid=12243/tid=12244] ppid=12241 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) R 12241 12241 8819 0 -1 4202560 7750 0 0 0 26 3 0 0 20 0 20 0 510859076 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161097961152 140161077810526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12248] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12248/stat : 12248 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161043192976 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12249] ppid=12241 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/12243/task/12249/stat : 12249 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161042139408 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12250] ppid=12241 vsize=28231652 memory=140709034292143 CPUtime=0 cores=0-7
/proc/12243/task/12250/stat : 12250 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161041086864 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12251] ppid=12241 vsize=28231652 memory=140709034294448 CPUtime=0 cores=0-7
/proc/12243/task/12251/stat : 12251 (java) S 12241 12241 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161040034320 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12252] ppid=12241 vsize=28231652 memory=140709034296752 CPUtime=0 cores=0-7
/proc/12243/task/12252/stat : 12252 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859077 28909211648 12503 33554432000 4194304 4196468 140728541523616 140161038981776 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12253] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12253/stat : 12253 (java) S 12241 12241 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510859078 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160142371312 140161093741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12254] ppid=12241 vsize=28231652 memory=281418068600464 CPUtime=0 cores=0-7
/proc/12243/task/12254/stat : 12254 (java) S 12241 12241 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510859078 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160141317536 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12255] ppid=12241 vsize=28231652 memory=281418068607376 CPUtime=0 cores=0-7
/proc/12243/task/12255/stat : 12255 (java) S 12241 12241 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510859079 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160140264944 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12256] ppid=12241 vsize=28231652 memory=281418068548656 CPUtime=0 cores=0-7
/proc/12243/task/12256/stat : 12256 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160139213520 140161093748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12257] ppid=12241 vsize=28231652 memory=281418068621200 CPUtime=0.02 cores=0-7
/proc/12243/task/12257/stat : 12257 (java) S 12241 12241 8819 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160138160112 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12258] ppid=12241 vsize=28231652 memory=281418068628112 CPUtime=0.02 cores=0-7
/proc/12243/task/12258/stat : 12258 (java) S 12241 12241 8819 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160137107568 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12259] ppid=12241 vsize=28231652 memory=281418068625808 CPUtime=0.02 cores=0-7
/proc/12243/task/12259/stat : 12259 (java) R 12241 12241 8819 0 -1 4202560 133 0 0 0 2 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160136036040 140161073583635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12260] ppid=12241 vsize=28231652 memory=281418068641968 CPUtime=0.12 cores=0-7
/proc/12243/task/12260/stat : 12260 (java) S 12241 12241 8819 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160135002480 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12261] ppid=12241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12243/task/12261/stat : 12261 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510859081 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160133950176 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12262] ppid=12241 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12243/task/12262/stat : 12262 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510859082 28909211648 12503 33554432000 4194304 4196468 140728541523616 140160132897712 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51304 KiB

[startup+0.70105 s]
/proc/loadavg: 7.01 4.87 4.28 4/212 12262
/proc/meminfo: memFree=23278752/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28233776 memory=188720 CPUtime=1.38 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 13386 0 0 0 128 10 0 0 20 0 20 0 510859075 28911386624 47180 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7058444 47180 3465 1 0 7019544 0
[pid=12243/tid=12244] ppid=12241 vsize=28233776 memory=281418068936896 CPUtime=0.66 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) R 12241 12241 8819 0 -1 4202560 8682 0 0 0 61 5 0 0 20 0 20 0 510859076 28911386624 47180 33554432000 4194304 4196468 140728541523616 140161097968112 140160707879871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 510859077 28911386624 47180 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510859077 28911386624 47180 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510859077 28911386624 47180 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0

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

[pid=12243/tid=12281] ppid=12241 vsize=28768336 memory=1452 CPUtime=4.84 cores=0-7
/proc/12243/task/12281/stat : 12281 (java) R 12241 12241 8819 0 -1 4202560 497 0 0 0 484 0 0 0 20 0 28 0 510883784 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160121810456 140160711020715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12282] ppid=12241 vsize=28768336 memory=9156560 CPUtime=4.82 cores=0-7
/proc/12243/task/12282/stat : 12282 (java) R 12241 12241 8819 0 -1 4202560 793 0 0 0 481 1 0 0 20 0 28 0 510883784 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160120757608 140160704583151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12283] ppid=12241 vsize=28768336 memory=2832 CPUtime=4.84 cores=0-7
/proc/12243/task/12283/stat : 12283 (java) R 12241 12241 8819 0 -1 4202560 460 0 0 0 484 0 0 0 20 0 28 0 510883900 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160119705656 140160704524027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12284] ppid=12241 vsize=28768336 memory=1548 CPUtime=4.93 cores=0-7
/proc/12243/task/12284/stat : 12284 (java) R 12241 12241 8819 0 -1 4202560 813 0 0 0 492 1 0 0 20 0 28 0 510883900 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160118655176 140160711019076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12285] ppid=12241 vsize=28768336 memory=1056 CPUtime=4.75 cores=0-7
/proc/12243/task/12285/stat : 12285 (java) R 12241 12241 8819 0 -1 1077944384 323 0 0 0 473 2 0 0 20 0 28 0 510883900 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160117599888 140161093740245 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12286] ppid=12241 vsize=28768336 memory=744 CPUtime=4.98 cores=0-7
/proc/12243/task/12286/stat : 12286 (java) R 12241 12241 8819 0 -1 4202560 1257 0 0 0 497 1 0 0 20 0 28 0 510883901 29458776064 2291262 33554432000 4194304 4196468 140728541523616 140160116543936 140160704571125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 317.45 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 9166424 KiB

[startup+254.002 s]*
/proc/loadavg: 1.47 2.66 3.48 9/219 12286
/proc/meminfo: memFree=14160572/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28768336 memory=9165776 CPUtime=320.7 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 131118 0 0 0 31492 578 0 0 20 0 28 0 510859075 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7192084 2291444 3543 1 0 7153184 0
[pid=12243/tid=12244] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=244.1 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) S 12241 12241 8819 0 -1 1077944384 58724 0 0 0 24194 216 0 0 20 0 28 0 510859076 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161097970816 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28768336 memory=-7003737579269690708 CPUtime=3.63 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 2661 0 0 0 322 41 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28768336 memory=984 CPUtime=3.63 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 1934 0 0 0 320 43 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28768336 memory=2032 CPUtime=3.62 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 2465 0 0 0 322 40 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12248] ppid=12241 vsize=28768336 memory=1328 CPUtime=3.58 cores=0-7
/proc/12243/task/12248/stat : 12248 (java) S 12241 12241 8819 0 -1 1077944384 2335 0 0 0 318 40 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161043192976 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12249] ppid=12241 vsize=28768336 memory=1560 CPUtime=3.6 cores=0-7
/proc/12243/task/12249/stat : 12249 (java) S 12241 12241 8819 0 -1 1077944384 1625 0 0 0 320 40 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161042139408 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12250] ppid=12241 vsize=28768336 memory=976 CPUtime=3.61 cores=0-7
/proc/12243/task/12250/stat : 12250 (java) S 12241 12241 8819 0 -1 1077944384 2178 0 0 0 321 40 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161041086864 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12251] ppid=12241 vsize=28768336 memory=772 CPUtime=3.62 cores=0-7
/proc/12243/task/12251/stat : 12251 (java) S 12241 12241 8819 0 -1 1077944384 1950 0 0 0 320 42 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161040034320 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12252] ppid=12241 vsize=28768336 memory=1452 CPUtime=3.63 cores=0-7
/proc/12243/task/12252/stat : 12252 (java) S 12241 12241 8819 0 -1 1077944384 2995 0 0 0 321 42 0 0 20 0 28 0 510859077 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140161038981776 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12253] ppid=12241 vsize=28768336 memory=9159108 CPUtime=0.31 cores=0-7
/proc/12243/task/12253/stat : 12253 (java) S 12241 12241 8819 0 -1 1077944384 9569 0 0 0 26 5 0 0 20 0 28 0 510859078 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160142371312 140161093741186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12254] ppid=12241 vsize=28768336 memory=9004156 CPUtime=0 cores=0-7
/proc/12243/task/12254/stat : 12254 (java) S 12241 12241 8819 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 510859078 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160141317600 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12255] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12243/task/12255/stat : 12255 (java) S 12241 12241 8819 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 510859079 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160140264960 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12256] ppid=12241 vsize=28768336 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/12243/task/12256/stat : 12256 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160139213520 140161093748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12257] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=1.7 cores=0-7
/proc/12243/task/12257/stat : 12257 (java) S 12241 12241 8819 0 -1 1077944384 10258 0 0 0 169 1 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160138160112 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12258] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=1.59 cores=0-7
/proc/12243/task/12258/stat : 12258 (java) R 12241 12241 8819 0 -1 4202560 10497 0 0 0 158 1 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160137107568 140161079753824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12259] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=1.44 cores=0-7
/proc/12243/task/12259/stat : 12259 (java) R 12241 12241 8819 0 -1 1077944384 5753 0 0 0 142 2 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160136055024 140161093741186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12260] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=0.87 cores=0-7
/proc/12243/task/12260/stat : 12260 (java) S 12241 12241 8819 0 -1 1077944384 10906 0 0 0 84 3 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160135002480 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12261] ppid=12241 vsize=28768336 memory=-8412652160765825907 CPUtime=0 cores=0-7
/proc/12243/task/12261/stat : 12261 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510859081 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160133950176 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12262] ppid=12241 vsize=28768336 memory=7897517683652307531 CPUtime=0.14 cores=0-7
/proc/12243/task/12262/stat : 12262 (java) S 12241 12241 8819 0 -1 1077944384 551 0 0 0 7 7 0 0 20 0 28 0 510859082 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160132897712 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12279] ppid=12241 vsize=28768336 memory=3047711553320166262 CPUtime=5.03 cores=0-7
/proc/12243/task/12279/stat : 12279 (java) R 12241 12241 8819 0 -1 4202560 587 0 0 0 502 1 0 0 20 0 28 0 510883784 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160123915880 140160711020675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12280] ppid=12241 vsize=28768336 memory=7824336315716348491 CPUtime=5.23 cores=0-7
/proc/12243/task/12280/stat : 12280 (java) R 12241 12241 8819 0 -1 4202560 357 0 0 0 523 0 0 0 20 0 28 0 510883784 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160122864712 140160711685548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12281] ppid=12241 vsize=28768336 memory=-8412652169205224307 CPUtime=5.21 cores=0-7
/proc/12243/task/12281/stat : 12281 (java) R 12241 12241 8819 0 -1 4202560 499 0 0 0 521 0 0 0 20 0 28 0 510883784 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160121810536 140160711020721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12282] ppid=12241 vsize=28768336 memory=7738700851965289809 CPUtime=5.21 cores=0-7
/proc/12243/task/12282/stat : 12282 (java) R 12241 12241 8819 0 -1 4202560 955 0 0 0 520 1 0 0 20 0 28 0 510883784 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160120760088 140160711019175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12283] ppid=12241 vsize=28768336 memory=7523939726867653484 CPUtime=5.2 cores=0-7
/proc/12243/task/12283/stat : 12283 (java) R 12241 12241 8819 0 -1 4202560 470 0 0 0 520 0 0 0 20 0 28 0 510883900 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160119706056 140160706962099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12284] ppid=12241 vsize=28768336 memory=7235710566141946944 CPUtime=5.2 cores=0-7
/proc/12243/task/12284/stat : 12284 (java) R 12241 12241 8819 0 -1 4202560 827 0 0 0 519 1 0 0 20 0 28 0 510883900 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160118653592 140160712426205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12285] ppid=12241 vsize=28768336 memory=5450909908396308010 CPUtime=5.06 cores=0-7
/proc/12243/task/12285/stat : 12285 (java) R 12241 12241 8819 0 -1 4202560 332 0 0 0 504 2 0 0 20 0 28 0 510883900 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160117600744 140160711465368 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12286] ppid=12241 vsize=28768336 memory=7954030291162261611 CPUtime=5.26 cores=0-7
/proc/12243/task/12286/stat : 12286 (java) R 12241 12241 8819 0 -1 4202560 1269 0 0 0 524 2 0 0 20 0 28 0 510883901 29458776064 2291444 33554432000 4194304 4196468 140728541523616 140160116547768 140160711019220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 320.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 9167228 KiB

[startup+254.202 s]
/proc/loadavg: 1.47 2.66 3.48 9/219 12286
/proc/meminfo: memFree=14160572/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
[pid=12243] ppid=12241 vsize=28768336 memory=9165980 CPUtime=322.21 cores=0-7
/proc/12243/stat : 12243 (java) S 12241 12241 8819 0 -1 1077944320 131260 0 0 0 31643 578 0 0 20 0 28 0 510859075 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140728541506160 140161093730039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
/proc/12243/statm: 7192084 2291495 3543 1 0 7153184 0
[pid=12243/tid=12244] ppid=12241 vsize=28768336 memory=16098178197882675 CPUtime=244.1 cores=0-7
/proc/12243/task/12244/stat : 12244 (java) S 12241 12241 8819 0 -1 1077944384 58724 0 0 0 24194 216 0 0 20 0 28 0 510859076 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161097970816 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12245] ppid=12241 vsize=28768336 memory=2594 CPUtime=3.63 cores=0-7
/proc/12243/task/12245/stat : 12245 (java) S 12241 12241 8819 0 -1 1077944384 2661 0 0 0 322 41 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161046350608 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12246] ppid=12241 vsize=28768336 memory=1340 CPUtime=3.63 cores=0-7
/proc/12243/task/12246/stat : 12246 (java) S 12241 12241 8819 0 -1 1077944384 1934 0 0 0 320 43 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161045298064 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12247] ppid=12241 vsize=28768336 memory=290 CPUtime=3.62 cores=0-7
/proc/12243/task/12247/stat : 12247 (java) S 12241 12241 8819 0 -1 1077944384 2465 0 0 0 322 40 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161044245520 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12248] ppid=12241 vsize=28768336 memory=-7003737579269690708 CPUtime=3.58 cores=0-7
/proc/12243/task/12248/stat : 12248 (java) S 12241 12241 8819 0 -1 1077944384 2335 0 0 0 318 40 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161043192976 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12249] ppid=12241 vsize=28768336 memory=2 CPUtime=3.6 cores=0-7
/proc/12243/task/12249/stat : 12249 (java) S 12241 12241 8819 0 -1 1077944384 1625 0 0 0 320 40 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161042139408 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12250] ppid=12241 vsize=28768336 memory=1984 CPUtime=3.61 cores=0-7
/proc/12243/task/12250/stat : 12250 (java) S 12241 12241 8819 0 -1 1077944384 2178 0 0 0 321 40 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161041086864 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12251] ppid=12241 vsize=28768336 memory=2532 CPUtime=3.62 cores=0-7
/proc/12243/task/12251/stat : 12251 (java) S 12241 12241 8819 0 -1 1077944384 1950 0 0 0 320 42 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161040034320 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12252] ppid=12241 vsize=28768336 memory=1440 CPUtime=3.63 cores=0-7
/proc/12243/task/12252/stat : 12252 (java) S 12241 12241 8819 0 -1 1077944384 2995 0 0 0 321 42 0 0 20 0 28 0 510859077 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140161038981776 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12253] ppid=12241 vsize=28768336 memory=800 CPUtime=0.31 cores=0-7
/proc/12243/task/12253/stat : 12253 (java) S 12241 12241 8819 0 -1 1077944384 9571 0 0 0 26 5 0 0 20 0 28 0 510859078 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160142371312 140161093741186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12254] ppid=12241 vsize=28768336 memory=1772 CPUtime=0 cores=0-7
/proc/12243/task/12254/stat : 12254 (java) S 12241 12241 8819 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 510859078 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160141317600 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12255] ppid=12241 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/12243/task/12255/stat : 12255 (java) S 12241 12241 8819 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 510859079 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160140264960 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12256] ppid=12241 vsize=28768336 memory=7013037471385022828 CPUtime=0 cores=0-7
/proc/12243/task/12256/stat : 12256 (java) S 12241 12241 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160139213520 140161093748635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12257] ppid=12241 vsize=28768336 memory=7738962449766310504 CPUtime=1.81 cores=0-7
/proc/12243/task/12257/stat : 12257 (java) R 12241 12241 8819 0 -1 1077944384 10313 0 0 0 180 1 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160138146192 140161093751229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12258] ppid=12241 vsize=28768336 memory=7162764532348643186 CPUtime=1.65 cores=0-7
/proc/12243/task/12258/stat : 12258 (java) R 12241 12241 8819 0 -1 1077944384 10506 0 0 0 164 1 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160137107568 140161093741186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12259] ppid=12241 vsize=28768336 memory=8098430081202415719 CPUtime=1.52 cores=0-7
/proc/12243/task/12259/stat : 12259 (java) R 12241 12241 8819 0 -1 4202560 5765 0 0 0 150 2 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160136043552 140161073020679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12260] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=0.89 cores=0-7
/proc/12243/task/12260/stat : 12260 (java) S 12241 12241 8819 0 -1 1077944384 10955 0 0 0 86 3 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160135002480 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12261] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=0 cores=0-7
/proc/12243/task/12261/stat : 12261 (java) S 12241 12241 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510859081 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160133950176 140161093740245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12262] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=0.14 cores=0-7
/proc/12243/task/12262/stat : 12262 (java) S 12241 12241 8819 0 -1 1077944384 553 0 0 0 7 7 0 0 20 0 28 0 510859082 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160132897712 140161093741186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12279] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=5.17 cores=0-7
/proc/12243/task/12279/stat : 12279 (java) R 12241 12241 8819 0 -1 4202560 587 0 0 0 516 1 0 0 20 0 28 0 510883784 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160123915912 140160711201737 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12280] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=5.37 cores=0-7
/proc/12243/task/12280/stat : 12280 (java) R 12241 12241 8819 0 -1 4202560 360 0 0 0 537 0 0 0 20 0 28 0 510883784 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160122866392 140160712474320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12281] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=5.36 cores=0-7
/proc/12243/task/12281/stat : 12281 (java) R 12241 12241 8819 0 -1 4202560 499 0 0 0 536 0 0 0 20 0 28 0 510883784 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160121810032 140160711641222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12282] ppid=12241 vsize=28768336 memory=6791534058613427641 CPUtime=5.33 cores=0-7
/proc/12243/task/12282/stat : 12282 (java) R 12241 12241 8819 0 -1 4202560 964 0 0 0 532 1 0 0 20 0 28 0 510883784 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160120757840 140160710447116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12283] ppid=12241 vsize=28768336 memory=7091589867756545856 CPUtime=5.39 cores=0-7
/proc/12243/task/12283/stat : 12283 (java) R 12241 12241 8819 0 -1 4202560 470 0 0 0 539 0 0 0 20 0 28 0 510883900 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160119705464 140160706670005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12284] ppid=12241 vsize=28768336 memory=5860417224189767779 CPUtime=5.36 cores=0-7
/proc/12243/task/12284/stat : 12284 (java) R 12241 12241 8819 0 -1 4202560 827 0 0 0 535 1 0 0 20 0 28 0 510883900 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160118652416 140160706669758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12285] ppid=12241 vsize=28768336 memory=7308042921786370659 CPUtime=5.25 cores=0-7
/proc/12243/task/12285/stat : 12285 (java) R 12241 12241 8819 0 -1 4202560 333 0 0 0 523 2 0 0 20 0 28 0 510883900 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160117601144 140160706669822 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
[pid=12243/tid=12286] ppid=12241 vsize=28768336 memory=7737836532646175593 CPUtime=5.43 cores=0-7
/proc/12243/task/12286/stat : 12286 (java) R 12241 12241 8819 0 -1 4202560 1269 0 0 0 541 2 0 0 20 0 28 0 510883901 29458776064 2291495 33554432000 4194304 4196468 140728541523616 140160116548216 140160706670389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11751424 140728541529066 140728541529238 140728541529238 140728541532111 0
Current children cumulated CPU time: 322.21 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 9167432 KiB

[startup+254.301 s]
/proc/loadavg: 1.47 2.66 3.48 9/219 12286
/proc/meminfo: memFree=14160572/32770624 swapFree=66956500/67108860
[pid=12241] ppid=12238 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12241/stat : 12241 (xcsp3-exec) S 12238 12241 8819 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510859075 115843072 363 33554432000 4194304 5098028 140730931465104 140730931463208 140686954390140 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15761408 140730931471221 140730931471465 140730931471465 140730931474378 0
/proc/12241/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 254.321
CPU time (s): 322.72
CPU user time (s): 316.877
CPU system time (s): 5.8436
CPU usage (%): 126.895
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 9167432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 316.877
system time used= 5.8436
maximum resident set size= 9166140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132305
page faults= 0
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17527
involuntary context switches= 2672


# summary of solver processes directly reported to runsolver:
#   pid: 12241
#   total CPU time (s): 322.72
#   total CPU user time (s): 316.877
#   total CPU system time (s): 5.8436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95321 second user time and 2.5018 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 19:23:57
IDJOB=4406744
IDBENCH=122910
IDSOLVER=2871
FILE ID=node151/4406744-1569345878
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-116.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 /tmp/evaluation-result-4406744-1569345878/watcher-4406744-1569345878 -o /tmp/evaluation-result-4406744-1569345878/solver-4406744-1569345878 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4406744-1569345878.xml

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

MD5SUM BENCH= d517e275a321760c6bd42601d2b728d6
RANDOM SEED=1403632523

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23332228 kB
MemAvailable:   31797536 kB
Buffers:           96176 kB
Cached:          8529432 kB
SwapCached:        50740 kB
Active:          2760548 kB
Inactive:        5919188 kB
Active(anon):       2236 kB
Inactive(anon):   106476 kB
Active(file):    2758312 kB
Inactive(file):  5812712 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956500 kB
Dirty:             26332 kB
Writeback:             0 kB
AnonPages:         98424 kB
Mapped:            54496 kB
Shmem:             45964 kB
Slab:             352204 kB
SReclaimable:     322744 kB
SUnreclaim:        29460 kB
KernelStack:        3536 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12388 MiB
End job on node151 at 2019-09-24 19:28:12